<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Formal_methods> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Outline_of_academic_disciplines> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(I%E2%80%93Q)> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Formal_method> .
<http://caligraph.org/resource/Helmut_Veith>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Logic_in_computer_science> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/2004/02/skos/core#altLabel>	"logic" .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Logic in computer science" .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Fluidinfo> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Computer_architecture> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_model_checking_tools> .
<http://caligraph.org/resource/Georg_Gottlob>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Logic_in_computer_science> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Tom_Ritchey> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/BACPAC> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/TUM_Department_of_Informatics> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Outline_of_philosophy> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Statistical_relational_learning> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/2004/02/skos/core#altLabel>	"computer logic" .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/2000/01/rdf-schema#label>	"Logic in computer science" .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Computation> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Integrated_circuit_design> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/John_P._Hayes> .
<http://caligraph.org/resource/Miko%C5%82aj_Boja%C5%84czyk>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Logic_in_computer_science> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Bachelor_of_Computer_Science> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/2004/02/skos/core#altLabel>	"relevance to computer science" .
<http://caligraph.org/resource/Ray_Turner_(computer_scientist)>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Logic_in_computer_science> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Motorola_68000_series> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Logic" .
<http://caligraph.org/resource/Ian_Horrocks>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Logic_in_computer_science> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Academic_discipline> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Glue_logic> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/2004/02/skos/core#altLabel>	"logic in computer science" .
<http://caligraph.org/resource/Alexander_Razborov>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Logic_in_computer_science> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Design_closure> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Model_checking_tool> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/2004/02/skos/core#altLabel>	"LICS" .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/2004/02/skos/core#altLabel>	"logic elements" .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_academic_fields> .
<http://caligraph.org/resource/Logic_in_computer_science>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Logic_in_computer_science> .