| http://dbpedia.org/ontology/abstract
|
In logica matematica, un grafo delle impli … In logica matematica, un grafo delle implicazioni è un grafo orientato G(V, E) composto da un insieme di vertici V ed un insieme di archi E. Ogni vertice in V rappresenta l'assegnazione booleana di un letterale, ed ogni arco orientato da un vertice u ad un vertice v rappresenta l'implicazione materiale "Se il letterale u è vero allora lo è anche illetterale v". Viene utilizzato per analizzare le espressioni booleane più complesse.are le espressioni booleane più complesse.
, In mathematical logic and graph theory, an … In mathematical logic and graph theory, an implication graph is a skew-symmetric, directed graph G = (V, E) composed of vertex set V and directed edge set E. Each vertex in V represents the truth status of a Boolean literal, and each directed edge from vertex u to vertex v represents the material implication "If the literal u is true then the literal v is also true". Implication graphs were originally used for analyzing complex Boolean expressions.for analyzing complex Boolean expressions.
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Implication_graph.svg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageID
|
9419642
|
| http://dbpedia.org/ontology/wikiPageLength
|
2762
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1095811314
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/CDCL +
, http://dbpedia.org/resource/Disjunction +
, http://dbpedia.org/resource/Unit_propagation +
, http://dbpedia.org/resource/File:Implication_graph.svg +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Material_conditional +
, http://dbpedia.org/resource/Directed_graph +
, http://dbpedia.org/resource/Vertex_%28graph_theory%29 +
, http://dbpedia.org/resource/Graph_theory +
, http://dbpedia.org/resource/Boolean_expression +
, http://dbpedia.org/resource/2-satisfiability +
, http://dbpedia.org/resource/Category:Graph_families +
, http://dbpedia.org/resource/Boolean_literal +
, http://dbpedia.org/resource/Category:Directed_graphs +
, http://dbpedia.org/resource/Category:Application-specific_graphs +
, http://dbpedia.org/resource/Boolean_satisfiability_problem +
, http://dbpedia.org/resource/Category:Boolean_algebra +
, http://dbpedia.org/resource/Skew-symmetric_graph +
, http://dbpedia.org/resource/Conjunctive_normal_form +
, http://dbpedia.org/resource/Strongly_connected_component +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Mvar +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Math +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Application-specific_graphs +
, http://dbpedia.org/resource/Category:Directed_graphs +
, http://dbpedia.org/resource/Category:Boolean_algebra +
, http://dbpedia.org/resource/Category:Graph_families +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Implication_graph?oldid=1095811314&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Implication_graph.svg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Implication_graph +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q17098063 +
, http://yago-knowledge.org/resource/Implication_graph +
, https://global.dbpedia.org/id/fQs4 +
, http://dbpedia.org/resource/Implication_graph +
, http://rdf.freebase.com/ns/m.0288369 +
, http://it.dbpedia.org/resource/Grafo_delle_implicazioni +
|
| rdf:type |
http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/WikicatDirectedGraphs +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/WikicatApplication-specificGraphs +
, http://dbpedia.org/class/yago/Graph107000195 +
, http://dbpedia.org/class/yago/VisualCommunication106873252 +
|
| rdfs:comment |
In mathematical logic and graph theory, an … In mathematical logic and graph theory, an implication graph is a skew-symmetric, directed graph G = (V, E) composed of vertex set V and directed edge set E. Each vertex in V represents the truth status of a Boolean literal, and each directed edge from vertex u to vertex v represents the material implication "If the literal u is true then the literal v is also true". Implication graphs were originally used for analyzing complex Boolean expressions.for analyzing complex Boolean expressions.
, In logica matematica, un grafo delle impli … In logica matematica, un grafo delle implicazioni è un grafo orientato G(V, E) composto da un insieme di vertici V ed un insieme di archi E. Ogni vertice in V rappresenta l'assegnazione booleana di un letterale, ed ogni arco orientato da un vertice u ad un vertice v rappresenta l'implicazione materiale "Se il letterale u è vero allora lo è anche illetterale v". Viene utilizzato per analizzare le espressioni booleane più complesse.are le espressioni booleane più complesse.
|
| rdfs:label |
Grafo delle implicazioni
, Implication graph
|
