Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q3205992> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- Q3205992 subject Q8374212.
- Q3205992 subject Q8797482.
- Q3205992 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).".
- Q3205992 wikiPageExternalLink lego.
- Q3205992 wikiPageWikiLink Q11387554.
- Q3205992 wikiPageWikiLink Q160302.
- Q3205992 wikiPageWikiLink Q6667502.
- Q3205992 wikiPageWikiLink Q8374212.
- Q3205992 wikiPageWikiLink Q858320.
- Q3205992 wikiPageWikiLink Q8797482.
- Q3205992 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).".
- Q3205992 label "LEGO (proof assistant)".
- Q3205992 homepage lego.