About: MINLOG

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Proof assistant

Property	Value
dbo:description	proof assistant (en)
dbo:wikiPageExternalLink	http://www.mathematik.uni-muenchen.de/~logik/minlog/
dbo:wikiPageWikiLink	dbr:Intuitionistic_logic dbc:Proof_assistants dbr:Natural_deduction dbr:Proof_assistant dbr:Classical_logic dbr:First-order_logic dbr:Helmut_Schwichtenberg dbr:Minimal_logic dbr:Term_rewriting dbr:Normalization_by_evaluation dbr:A-translation dbr:Computable_functionals
dbp:wikiPageUsesTemplate	dbt:Refimprove dbt:Reflist dbt:Short_description dbt:Formalmethods-stub
dct:subject	dbc:Proof_assistants
gold:hypernym	dbr:Assistant
rdfs:label	MINLOG (en)
owl:sameAs	yago-res:MINLOG freebase:MINLOG wikidata:MINLOG dbpedia-global:MINLOG
prov:wasDerivedFrom	wikipedia-en:MINLOG?oldid=1295261999&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:MINLOG
is dbo:wikiPageWikiLink of	dbr:Proof_assistant dbr:Normalisation_by_evaluation
is foaf:primaryTopic of	wikipedia-en:MINLOG

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International