Matches in SemOpenAlex for { <https://semopenalex.org/work/W53115816> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W53115816 endingPage "136" @default.
- W53115816 startingPage "121" @default.
- W53115816 abstract "This paper describes a combination of several Mizar-based tools (the MPTP translator, XSL style sheets for Mizar), and TPTP-based tools (IDV, AGInT, SystemOnTPTP, GDV) used for visualizing, analyzing, and independent verication of Mizar proofs. The combination delivers to the readers of the Mizar Mathematical Library (MML) an easy, powerful, and almost playful way of exploring the semantics and the structure of the li- brary. The key factors for the relative easiness of having these functionalities are the choice of XML as both internal and external interface of Mizar, and the existence of a TPTP representation of MML articles. This shows the great added value that can be obtained by cooperation of several quite di- verse (and quite often separately developed) projects, provided that they are based on the same communication standards." @default.
- W53115816 created "2016-06-24" @default.
- W53115816 creator A5015555893 @default.
- W53115816 creator A5031019731 @default.
- W53115816 creator A5051126529 @default.
- W53115816 creator A5082611129 @default.
- W53115816 date "2009-01-01" @default.
- W53115816 modified "2023-09-24" @default.
- W53115816 title "COMBINING MIZAR AND TPTP SEMANTIC PRESENTATION AND VERIFICATION TOOLS" @default.
- W53115816 cites W1482739915 @default.
- W53115816 cites W1541015300 @default.
- W53115816 cites W1576385805 @default.
- W53115816 cites W1579496588 @default.
- W53115816 cites W1584954960 @default.
- W53115816 cites W160339868 @default.
- W53115816 cites W1623345509 @default.
- W53115816 cites W1840071381 @default.
- W53115816 cites W1875347247 @default.
- W53115816 cites W1973799428 @default.
- W53115816 cites W1995539874 @default.
- W53115816 cites W2075123415 @default.
- W53115816 cites W2078574774 @default.
- W53115816 cites W2116844295 @default.
- W53115816 cites W2149404447 @default.
- W53115816 cites W131990850 @default.
- W53115816 hasPublicationYear "2009" @default.
- W53115816 type Work @default.
- W53115816 sameAs 53115816 @default.
- W53115816 citedByCount "3" @default.
- W53115816 countsByYear W531158162016 @default.
- W53115816 countsByYear W531158162018 @default.
- W53115816 crossrefType "journal-article" @default.
- W53115816 hasAuthorship W53115816A5015555893 @default.
- W53115816 hasAuthorship W53115816A5031019731 @default.
- W53115816 hasAuthorship W53115816A5051126529 @default.
- W53115816 hasAuthorship W53115816A5082611129 @default.
- W53115816 hasConcept C136764020 @default.
- W53115816 hasConcept C17744445 @default.
- W53115816 hasConcept C184337299 @default.
- W53115816 hasConcept C199360897 @default.
- W53115816 hasConcept C199539241 @default.
- W53115816 hasConcept C204321447 @default.
- W53115816 hasConcept C2776359362 @default.
- W53115816 hasConcept C41008148 @default.
- W53115816 hasConcept C8797682 @default.
- W53115816 hasConcept C94625758 @default.
- W53115816 hasConceptScore W53115816C136764020 @default.
- W53115816 hasConceptScore W53115816C17744445 @default.
- W53115816 hasConceptScore W53115816C184337299 @default.
- W53115816 hasConceptScore W53115816C199360897 @default.
- W53115816 hasConceptScore W53115816C199539241 @default.
- W53115816 hasConceptScore W53115816C204321447 @default.
- W53115816 hasConceptScore W53115816C2776359362 @default.
- W53115816 hasConceptScore W53115816C41008148 @default.
- W53115816 hasConceptScore W53115816C8797682 @default.
- W53115816 hasConceptScore W53115816C94625758 @default.
- W53115816 hasLocation W531158161 @default.
- W53115816 hasOpenAccess W53115816 @default.
- W53115816 hasPrimaryLocation W531158161 @default.
- W53115816 hasRelatedWork W1575728221 @default.
- W53115816 hasRelatedWork W1623345509 @default.
- W53115816 hasRelatedWork W2049222190 @default.
- W53115816 hasRelatedWork W22334345 @default.
- W53115816 hasRelatedWork W2407449958 @default.
- W53115816 hasRelatedWork W2504382997 @default.
- W53115816 isParatext "false" @default.
- W53115816 isRetracted "false" @default.
- W53115816 magId "53115816" @default.
- W53115816 workType "article" @default.