Context: The Logic and Metaphysics have been extensively reprinted, the latter, e.g., at Venice in 1493, 1495, and 1546. Some of his shorter essays on medicine, logic, etc., take a poetical form (the poem on logic was published by Schmoelders in 1836).[citation needed] Two encyclopaedic treatises, dealing with philosophy, are often mentioned. The larger, Al-Shifa' (Sanatio), exists nearly complete in manuscript in the Bodleian Library and elsewhere; part of it on the De Anima appeared at Pavia (1490) as the Liber Sextus Naturalium, and the long account of Ibn Sina's philosophy given by Muhammad al-Shahrastani seems to be mainly an analysis, and in many places a reproduction, of the Al-Shifa'. A shorter form of the work is known as the An-najat (Liberatio). The Latin editions of part of these works have been modified by the corrections which the monastic editors confess that they applied. There is also a حكمت مشرقيه (hikmat-al-mashriqqiyya, in Latin Philosophia Orientalis), mentioned by Roger Bacon, the majority of which is lost in antiquity, which according to Averroes was pantheistic in tone.

Question: Who published Avicenna's poem on logic?
Answer: Schmoelders

Question: What is the name of Avicenna's larger encyclopedic treatise? 
Answer: Al-Shifa'

Question: Where is Avicenna's Al-Shifa manuscript located?
Answer: the Bodleian Library

Question: What is the shorter form of Al-Shifa called?
Answer: the An-najat

Question: What two subjects of Avicenna's have been reprinted extensively?
Answer: Logic and Metaphysics

Question: Who published Avicenna's song on logic?
Answer: Unanswerable

Question: What is not the name of Avicenna's larger encyclopedic treatise? 
Answer: Unanswerable

Question: Where is Avicenna's Al-Shifa manuscript not located?
Answer: Unanswerable

Question: What is the longer form of Al-Shifa called?
Answer: Unanswerable

Question: What two subjects of Avicenna's have been reprinted a little bit?
Answer: Unanswerable