About: Implication graph

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Directed graph representing a Boolean expression

Property	Value
dbo:description	directed graph representing a Boolean expression (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Implication_graph.svg?width=300
dbo:wikiPageWikiLink	dbr:Unit_propagation dbc:Boolean_algebra dbc:Directed_graphs dbr:Directed_graph dbr:Vertex_(graph_theory) dbr:Graph_theory dbr:Boolean_literal dbr:Boolean_satisfiability_problem dbr:Mathematical_logic dbr:Strongly_connected_component dbr:Material_conditional dbr:Conjunctive_normal_form dbr:Boolean_expression dbc:Application-specific_graphs dbc:Graph_families dbr:Skew-symmetric_graph dbr:2-satisfiability dbr:Disjunction dbr:CDCL dbr:File:Implication_graph.svg
dbp:wikiPageUsesTemplate	dbt:Math dbt:Mvar dbt:Short_description
dct:subject	dbc:Boolean_algebra dbc:Directed_graphs dbc:Application-specific_graphs dbc:Graph_families
rdfs:label	Implication graph (en) Grafo delle implicazioni (it)
owl:sameAs	freebase:Implication graph yago-res:Implication graph wikidata:Implication graph dbpedia-it:Implication graph dbpedia-global:Implication graph
prov:wasDerivedFrom	wikipedia-en:Implication_graph?oldid=1230773211&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Implication_graph.svg
foaf:isPrimaryTopicOf	wikipedia-en:Implication_graph
is dbo:wikiPageDisambiguates of	dbr:Implication
is dbo:wikiPageWikiLink of	dbr:True_quantified_Boolean_formula dbr:Implication dbr:Birkhoff's_representation_theorem dbr:Strongly_connected_component dbr:DPLL_algorithm dbr:Skew-symmetric_graph dbr:2-satisfiability dbr:Conflict-driven_clause_learning
is foaf:primaryTopic of	wikipedia-en:Implication_graph

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International