@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Jean_Gallier	dbo:wikiPageWikiLink	dbr:Boolean_satisfiability .
dbr:Symbolic_artificial_intelligence	dbo:wikiPageWikiLink	dbr:Boolean_satisfiability .
dbr:Stefan_Szeider	dbo:wikiPageWikiLink	dbr:Boolean_satisfiability .
dbr:Marijn_Heule	dbo:wikiPageWikiLink	dbr:Boolean_satisfiability .
dbr:And-inverter_graph	dbo:wikiPageWikiLink	dbr:Boolean_satisfiability .
dbr:Automatic_test_pattern_generation	dbo:wikiPageWikiLink	dbr:Boolean_satisfiability .
dbr:Boolean_Pythagorean_triples_problem	dbo:wikiPageWikiLink	dbr:Boolean_satisfiability .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Boolean_satisfiability	owl:sameAs	dbr:Boolean_satisfiability ;
	dbo:wikiPageWikiLink	dbr:Boolean_satisfiability_problem ;
	dbo:wikiPageRedirects	dbr:Boolean_satisfiability_problem .
dbr:Uri_Zwick	dbo:wikiPageWikiLink	dbr:Boolean_satisfiability .