Nothing Special   »   [go: up one dir, main page]
MINLOG

proof assistant

Shapes:

URI: http://yago-knowledge.org/resource/MINLOG

Graph visualizationWikidataOfficial Website
Properties
PredicateObject
schema:mainEntityOfPage
  • "https://en.wikipedia.org/wiki/MINLOG"^^xsd:anyURI
schema:sameAs
  • "/m/0h63wjh"
schema:url
  • "http://www.mathematik.uni-muenchen.de/~logik/minlog/"^^xsd:anyURI
rdf:type
rdfs:comment
  • "proof assistant"@en
rdfs:label
  • "MINLOG"@en
owl:sameAs