<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Formal_methods> .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Satisfiability_modulo_theories#Solvers" .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2004/02/skos/core#altLabel>	"SMT" .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Satisfiability_modulo_theories> .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2000/01/rdf-schema#label>	"Satisfiability modulo theories" .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Satisfiability_modulo_theories#Yices" .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_NP-complete_problems> .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Satisfiability_problem> .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Satisfiability modulo theories#Solvers" .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:NP-complete_problems> .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Satisfiability modulo theories#Verification" .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Satisfiability modulo theories" .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Formal_method> .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Satisfiability_problems> .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2004/02/skos/core#altLabel>	"SMT-solvers" .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Satisfiability modulo theories#SMT solvers" .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2004/02/skos/core#altLabel>	"SMT-solving" .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2004/02/skos/core#altLabel>	"SMT Solvers" .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2004/02/skos/core#altLabel>	"SAT solving" .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/NP-complete_problem> .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2004/02/skos/core#altLabel>	"SMT solver" .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2004/02/skos/core#altLabel>	"satisfiability modulo theories" .
<http://caligraph.org/resource/Greg_Nelson_(computer_scientist)>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Satisfiability_modulo_theories> .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2004/02/skos/core#altLabel>	"SMT solvers" .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Satisfiability_modulo_theories#SMT_solvers" .
<http://caligraph.org/resource/Satisfiability_modulo_theories>	<http://www.w3.org/2004/02/skos/core#altLabel>	"SMT solving" .