Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/LEGO_(proof_assistant)> ?p ?o }
Showing triples 1 to 37 of
37
with 100 triples per page.
- LEGO_(proof_assistant) abstract "LEGO is a proof assistant developed by Randy Pollack at the University of Edinburgh. It implements several type theories: the Edinburgh Logical Framework (LF), the Calculus of Constructions (CC), the Generalized Calculus of Constructions (GCC) and the Unified Theory of Dependent Types (UTT).".
- LEGO_(proof_assistant) wikiPageExternalLink lego.
- LEGO_(proof_assistant) wikiPageID "33093747".
- LEGO_(proof_assistant) wikiPageLength "544".
- LEGO_(proof_assistant) wikiPageOutDegree "9".
- LEGO_(proof_assistant) wikiPageRevisionID "546222014".
- LEGO_(proof_assistant) wikiPageWikiLink Calculus_of_Constructions.
- LEGO_(proof_assistant) wikiPageWikiLink Calculus_of_constructions.
- LEGO_(proof_assistant) wikiPageWikiLink Category:Dependently_typed_languages.
- LEGO_(proof_assistant) wikiPageWikiLink Category:Proof_assistants.
- LEGO_(proof_assistant) wikiPageWikiLink Edinburgh_Logical_Framework.
- LEGO_(proof_assistant) wikiPageWikiLink Generalized_Calculus_of_Constructions.
- LEGO_(proof_assistant) wikiPageWikiLink Logical_framework.
- LEGO_(proof_assistant) wikiPageWikiLink Proof_assistant.
- LEGO_(proof_assistant) wikiPageWikiLink Randy_Pollack.
- LEGO_(proof_assistant) wikiPageWikiLink Unified_Theory_of_Dependent_Types.
- LEGO_(proof_assistant) wikiPageWikiLink University_of_Edinburgh.
- LEGO_(proof_assistant) wikiPageWikiLinkText "LEGO (proof assistant)".
- LEGO_(proof_assistant) wikiPageWikiLinkText "LEGO".
- LEGO_(proof_assistant) hasPhotoCollection LEGO_(proof_assistant).
- LEGO_(proof_assistant) wikiPageUsesTemplate Template:Comp-sci-stub.
- LEGO_(proof_assistant) wikiPageUsesTemplate Template:Mathlogic-stub.
- LEGO_(proof_assistant) wikiPageUsesTemplate Template:Official.
- LEGO_(proof_assistant) wikiPageUsesTemplate Template:Unreferenced.
- LEGO_(proof_assistant) subject Category:Dependently_typed_languages.
- LEGO_(proof_assistant) subject Category:Proof_assistants.
- LEGO_(proof_assistant) hypernym Assistant.
- LEGO_(proof_assistant) type Person.
- LEGO_(proof_assistant) comment "LEGO is a proof assistant developed by Randy Pollack at the University of Edinburgh. It implements several type theories: the Edinburgh Logical Framework (LF), the Calculus of Constructions (CC), the Generalized Calculus of Constructions (GCC) and the Unified Theory of Dependent Types (UTT).".
- LEGO_(proof_assistant) label "LEGO (proof assistant)".
- LEGO_(proof_assistant) sameAs LEGO_(logiciel).
- LEGO_(proof_assistant) sameAs m.0h63b2_.
- LEGO_(proof_assistant) sameAs Q3205992.
- LEGO_(proof_assistant) sameAs Q3205992.
- LEGO_(proof_assistant) wasDerivedFrom LEGO_(proof_assistant)?oldid=546222014.
- LEGO_(proof_assistant) homepage lego.
- LEGO_(proof_assistant) isPrimaryTopicOf LEGO_(proof_assistant).