This HTML5 document contains 30 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
schemahttp://schema.org/
n15http://www.dcs.ed.ac.uk/home/lego/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n5http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:LEGO_(logiciel)
rdf:type
schema:Language wikidata:Q9143 dbo:ProgrammingLanguage owl:Thing dbo:Language wikidata:Q315
rdfs:label
LEGO (logiciel)
rdfs:comment
LEGO, est un assistant de preuve interactif, créé par Randy Pollack en 1994 Il possède plusieurs systèmes de types : * le Logical Framework d'Edimbourg * le calcul des constructions * le calcul des constructions généralisé * la théorie unifiée des types dépendants[Quoi ?] Les preuves sont développées dans le style de la déduction naturelle. La synthèse d'argument et le polymorphisme permettent de rendre la formalisation proche des mathématiques informelles[Quoi ?].
owl:sameAs
wikidata:Q3205992 dbr:LEGO_(proof_assistant)
dbo:wikiPageID
2634490
dbo:wikiPageRevisionID
130195004
dbo:wikiPageWikiLink
dbpedia-fr:Assistant_de_preuve category-fr:Assistant_de_preuve dbpedia-fr:1994 dbpedia-fr:Déduction_naturelle dbpedia-fr:Polymorphisme_(informatique) dbpedia-fr:Calcul_des_constructions dbpedia-fr:Type_(informatique)
dbo:wikiPageExternalLink
n15:
dbo:wikiPageLength
784
dct:subject
category-fr:Assistant_de_preuve
prop-fr:wikiPageUsesTemplate
n5:Portail n5:Quoi n5:Ébauche n5:Site_officiel n5:Voir_homonymes
prov:wasDerivedFrom
wikipedia-fr:LEGO_(logiciel)?oldid=130195004&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:LEGO_(logiciel)
dbo:abstract
LEGO, est un assistant de preuve interactif, créé par Randy Pollack en 1994 Il possède plusieurs systèmes de types : * le Logical Framework d'Edimbourg * le calcul des constructions * le calcul des constructions généralisé * la théorie unifiée des types dépendants[Quoi ?] Les preuves sont développées dans le style de la déduction naturelle. La synthèse d'argument et le polymorphisme permettent de rendre la formalisation proche des mathématiques informelles[Quoi ?].