Matches in SemOpenAlex for { <https://semopenalex.org/work/W1592737845> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1592737845 abstract "The constructor system of the Mizar proof checking system is explained here on examples from Mizar articles, and its translation to untyped first-order syntax is described and discussed. This makes the currently largest library of formalized mathematics available to first-order theorem provers." @default.
- W1592737845 created "2016-06-24" @default.
- W1592737845 creator A5031019731 @default.
- W1592737845 date "2003-01-01" @default.
- W1592737845 modified "2023-09-27" @default.
- W1592737845 title "Translating Mizar for First Order Theorem Provers" @default.
- W1592737845 cites W1495433690 @default.
- W1592737845 cites W1540527391 @default.
- W1592737845 cites W1578345075 @default.
- W1592737845 cites W2029176884 @default.
- W1592737845 doi "https://doi.org/10.1007/3-540-36469-2_16" @default.
- W1592737845 hasPublicationYear "2003" @default.
- W1592737845 type Work @default.
- W1592737845 sameAs 1592737845 @default.
- W1592737845 citedByCount "27" @default.
- W1592737845 countsByYear W15927378452012 @default.
- W1592737845 countsByYear W15927378452013 @default.
- W1592737845 countsByYear W15927378452014 @default.
- W1592737845 countsByYear W15927378452015 @default.
- W1592737845 countsByYear W15927378452016 @default.
- W1592737845 countsByYear W15927378452018 @default.
- W1592737845 countsByYear W15927378452019 @default.
- W1592737845 countsByYear W15927378452020 @default.
- W1592737845 countsByYear W15927378452021 @default.
- W1592737845 crossrefType "book-chapter" @default.
- W1592737845 hasAuthorship W1592737845A5031019731 @default.
- W1592737845 hasConcept C10138342 @default.
- W1592737845 hasConcept C104317684 @default.
- W1592737845 hasConcept C105580179 @default.
- W1592737845 hasConcept C11413529 @default.
- W1592737845 hasConcept C149364088 @default.
- W1592737845 hasConcept C154945302 @default.
- W1592737845 hasConcept C162324750 @default.
- W1592737845 hasConcept C182306322 @default.
- W1592737845 hasConcept C185592680 @default.
- W1592737845 hasConcept C199343813 @default.
- W1592737845 hasConcept C199360897 @default.
- W1592737845 hasConcept C206880738 @default.
- W1592737845 hasConcept C2777686260 @default.
- W1592737845 hasConcept C41008148 @default.
- W1592737845 hasConcept C55493867 @default.
- W1592737845 hasConcept C60048249 @default.
- W1592737845 hasConcept C71924100 @default.
- W1592737845 hasConceptScore W1592737845C10138342 @default.
- W1592737845 hasConceptScore W1592737845C104317684 @default.
- W1592737845 hasConceptScore W1592737845C105580179 @default.
- W1592737845 hasConceptScore W1592737845C11413529 @default.
- W1592737845 hasConceptScore W1592737845C149364088 @default.
- W1592737845 hasConceptScore W1592737845C154945302 @default.
- W1592737845 hasConceptScore W1592737845C162324750 @default.
- W1592737845 hasConceptScore W1592737845C182306322 @default.
- W1592737845 hasConceptScore W1592737845C185592680 @default.
- W1592737845 hasConceptScore W1592737845C199343813 @default.
- W1592737845 hasConceptScore W1592737845C199360897 @default.
- W1592737845 hasConceptScore W1592737845C206880738 @default.
- W1592737845 hasConceptScore W1592737845C2777686260 @default.
- W1592737845 hasConceptScore W1592737845C41008148 @default.
- W1592737845 hasConceptScore W1592737845C55493867 @default.
- W1592737845 hasConceptScore W1592737845C60048249 @default.
- W1592737845 hasConceptScore W1592737845C71924100 @default.
- W1592737845 hasLocation W15927378451 @default.
- W1592737845 hasOpenAccess W1592737845 @default.
- W1592737845 hasPrimaryLocation W15927378451 @default.
- W1592737845 hasRelatedWork W1487533857 @default.
- W1592737845 hasRelatedWork W1497011154 @default.
- W1592737845 hasRelatedWork W1500133066 @default.
- W1592737845 hasRelatedWork W1500667683 @default.
- W1592737845 hasRelatedWork W1525531290 @default.
- W1592737845 hasRelatedWork W1532087281 @default.
- W1592737845 hasRelatedWork W1546768125 @default.
- W1592737845 hasRelatedWork W1554551469 @default.
- W1592737845 hasRelatedWork W1623345509 @default.
- W1592737845 hasRelatedWork W1646117648 @default.
- W1592737845 hasRelatedWork W1780472831 @default.
- W1592737845 hasRelatedWork W1789208025 @default.
- W1592737845 hasRelatedWork W1807555267 @default.
- W1592737845 hasRelatedWork W1969526428 @default.
- W1592737845 hasRelatedWork W1995539874 @default.
- W1592737845 hasRelatedWork W2064800569 @default.
- W1592737845 hasRelatedWork W2106192381 @default.
- W1592737845 hasRelatedWork W2113065066 @default.
- W1592737845 hasRelatedWork W2307915363 @default.
- W1592737845 hasRelatedWork W292985968 @default.
- W1592737845 isParatext "false" @default.
- W1592737845 isRetracted "false" @default.
- W1592737845 magId "1592737845" @default.
- W1592737845 workType "book-chapter" @default.