Nothing Special   »   [go: up one dir, main page]
Graph visualization schema:Thingschema:Productschema:CreativeWorkyago:Intellectual_Work_Q15621286yago:Written_Work_Q47461344yago:Softwareyago:Application_softwareyago:Science_Software_Q15544757yago:Proof_assistantyago:MINLOGhttps://en.wikipedia.org/wiki/MINLOGhttps://en.wikipedi… schema:mainEntityOfPageschema:mainEnti… "/m/0h63wjh"schema:sameAshttp://www.mathematik.uni-muenchen.de/~logik/minlog/http://www.mathemat… schema:url "proof assistant"@enrdfs:comment "MINLOG"@enrdfs:labelwd:Q6716163owl:sameAs