Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Uclid> ?p ?o }
Showing triples 1 to 50 of
50
with 100 triples per page.
- Uclid abstract "UCLID (/ˈjuːklɪd/, the same as \"Euclid\") is a decision procedure for CLU logic and can be used as a tool for bounded model checking of infinite-state systems.".
- Uclid wikiPageExternalLink ~bryant.
- Uclid wikiPageExternalLink Main_Page.
- Uclid wikiPageExternalLink ~bbrady.
- Uclid wikiPageExternalLink ~jha.
- Uclid wikiPageExternalLink ~sseshia.
- Uclid wikiPageExternalLink uclid.html.
- Uclid wikiPageID "9428726".
- Uclid wikiPageLength "7065".
- Uclid wikiPageOutDegree "20".
- Uclid wikiPageRevisionID "641385233".
- Uclid wikiPageWikiLink Automated_theorem_proving.
- Uclid wikiPageWikiLink Beaver_bit-vector_decision_procedure.
- Uclid wikiPageWikiLink Boolean_algebra.
- Uclid wikiPageWikiLink Boolean_satisfiability_problem.
- Uclid wikiPageWikiLink Carnegie_Mellon_University.
- Uclid wikiPageWikiLink Category:SMT_solvers.
- Uclid wikiPageWikiLink Category:Theorem_proving_software_systems.
- Uclid wikiPageWikiLink Communications_protocol.
- Uclid wikiPageWikiLink Decision_problem.
- Uclid wikiPageWikiLink Euclid.
- Uclid wikiPageWikiLink First-order_logic.
- Uclid wikiPageWikiLink Hybrid_system.
- Uclid wikiPageWikiLink Infinite-state.
- Uclid wikiPageWikiLink Microprocessor.
- Uclid wikiPageWikiLink Microsoft_Research.
- Uclid wikiPageWikiLink Model_checking.
- Uclid wikiPageWikiLink Thomas_W._Reps.
- Uclid wikiPageWikiLink University_of_California,_Berkeley.
- Uclid wikiPageWikiLink Wiki.
- Uclid date "September 2013".
- Uclid reason "What is 'CLU logic'?".
- Uclid wikiPageUsesTemplate Template:Clarify.
- Uclid wikiPageUsesTemplate Template:IPAc-en.
- Uclid wikiPageUsesTemplate Template:Multiple_issues.
- Uclid wikiPageUsesTemplate Template:Orphan.
- Uclid wikiPageUsesTemplate Template:Refimprove.
- Uclid wikiPageUsesTemplate Template:Reflist.
- Uclid subject Category:SMT_solvers.
- Uclid subject Category:Theorem_proving_software_systems.
- Uclid hypernym Procedure.
- Uclid type AnatomicalStructure.
- Uclid type Tool.
- Uclid comment "UCLID (/ˈjuːklɪd/, the same as \"Euclid\") is a decision procedure for CLU logic and can be used as a tool for bounded model checking of infinite-state systems.".
- Uclid label "Uclid".
- Uclid sameAs Q7876797.
- Uclid sameAs m.0288l3y.
- Uclid sameAs Q7876797.
- Uclid wasDerivedFrom Uclid?oldid=641385233.
- Uclid isPrimaryTopicOf Uclid.