Pages that link to "Item:Q5200129"
From MaRDI portal
The following pages link to Project Abstract: Logic Atlas and Integrator (LATIN) (Q5200129):
Displaying 17 items.
- The future of logic: foundation-independence (Q263104) (← links)
- A scalable module system (Q391632) (← links)
- A Maude environment for CafeOBJ (Q520244) (← links)
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- Semantics of \textsc{OpenMath} and \textsc{MathML3} (Q1948675) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- Logic-independent proof search in logical frameworks (short paper) (Q2096460) (← links)
- Structuring theories with implicit morphisms (Q2185893) (← links)
- Structure-preserving diagram operators (Q2237343) (← links)
- Classification of alignments between concepts of formal mathematical systems (Q2364703) (← links)
- A Query Language for Formal Mathematical Libraries (Q2907320) (← links)
- Math Literate Knowledge Management via Induced Material (Q3453114) (← links)
- Lax Theory Morphisms (Q5277906) (← links)
- Parchments for CafeOBJ Logics (Q5403068) (← links)
- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics (Q5495921) (← links)
- System Description: MathHub.info (Q5495942) (← links)
