About: Logic of graphs

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

Logical formulation of graph properties

Property	Value
dbo:description	logical formulation of graph properties (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Undirected_graph_no_background.svg?width=300
dbo:wikiPageExternalLink	http://mathsci.kaist.ac.kr/~sangil/pdf/2006co.pdf https://informatik-rub.de/wp-content/uploads/2021/03/Zeume2017-dynclique-journal.pdf http://researcher.ibm.com/researcher/files/us-fagin/jsl76.pdf http://wwwmayr.in.tum.de/konferenzen/Sommerakademie2010/talks/tantau_paper.pdf http://www.labri.fr/perso/courcell/Textes/DIMACS(1997).pdf https://archive.org/details/elementsoffinite00libk
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Parameterized_complexity dbr:Predicate_(mathematical_logic) dbr:Fragment_(logic) dbr:Hamiltonian_path dbr:Undirected_graph dbr:Graph_property dbr:Data_compression dbr:Journal_of_the_American_Mathematical_Society dbr:Cambridge_University_Press dbc:Graph_theory dbr:First-order_logic dbr:Satisfiability dbr:Lecture_Notes_in_Computer_Science dbr:Multigraph dbr:Courcelle's_theorem dbr:Crossing_number_(graph_theory) dbr:Compactness_theorem dbr:Sentence_(mathematical_logic) dbr:End_(graph_theory) dbr:Directed_graph dbc:Finite_model_theory dbr:Exponential_time_hypothesis dbr:Information_and_Computation dbr:Handshaking_lemma dbr:Interval_graph dbr:Clique_problem dbr:Isolated_vertex dbr:Vertex_(graph_theory) dbr:Graph_canonization dbr:Graph_structure_theorem dbr:Alan_Turing dbr:Graph_theory dbr:Subgraph_isomorphism_problem dbr:Sparse_graph dbr:Least_fixed_point dbr:Rado_graph dbr:Theoretical_Computer_Science_(journal) dbr:Axiom dbr:Alonzo_Church dbr:Computational_complexity_theory dbr:Mathematical_logic dbr:Complete_bipartite_graph dbr:Graph_minor dbr:PSPACE-complete dbr:Random_graph dbr:Shallow_minor dbr:Entscheidungsproblem dbr:Erdős–Rényi_model dbr:Undecidable_problem dbr:Graph_isomorphism_problem dbr:Journal_of_Combinatorial_Theory dbr:Loop_(graph_theory) dbr:Finite_model_theory dbr:Treewidth dbr:Orientation_(graph_theory) dbr:Degree_(graph_theory) dbr:Clique-width dbr:Combinatorica dbr:Trémaux_tree dbr:Superparticular_ratio dbr:Symposium_on_Foundations_of_Computer_Science dbr:Symposium_on_Theory_of_Computing dbr:Decision_problem dbr:Bounded_expansion dbr:Polynomial_delay dbr:Journal_of_Computer_and_System_Sciences dbr:Journal_of_Symbolic_Logic dbr:Quantifier_rank dbr:Monadic_second-order_logic dbr:Zero–one_law dbr:Polynomial_time dbr:Graph_invariant dbr:Linear_time dbr:Brute_force_search dbr:Graph_connectivity dbr:Grid_graph dbr:Inclusion_probability dbr:Almost_always dbr:Descriptive_complexity dbr:Forbidden_minor dbr:W(1) dbr:Logarithmic_space dbr:Satisfiability_problem dbr:File:Rado_graph.svg dbr:File:Undirected_graph_no_background.svg
dbp:wikiPageUsesTemplate	dbt:Good_article dbt:Reflist dbt:Citation dbt:Refend dbt:Sfnp dbt:Refbegin dbt:Mvar dbt:Bi dbt:GBurl dbt:Harvtxt dbt:Short_description
dct:subject	dbc:Graph_theory dbc:Finite_model_theory
rdfs:label	Logic of graphs (en)
owl:sameAs	wikidata:Logic of graphs dbpedia-global:Logic of graphs
prov:wasDerivedFrom	wikipedia-en:Logic_of_graphs?oldid=1253322578&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Graph_2-core.svg wiki-commons:Special:FilePath/Undirected_graph_no_background.svg wiki-commons:Special:FilePath/Rado_graph.svg
foaf:isPrimaryTopicOf	wikipedia-en:Logic_of_graphs
is dbo:wikiPageWikiLink of	dbr:List_of_undecidable_problems dbr:Glossary_of_graph_theory dbr:Graph_property dbr:First-order_logic dbr:Courcelle's_theorem dbr:Order_(mathematics) dbr:Rado_graph dbr:Cograph dbr:Finite_model_theory dbr:Treewidth dbr:Trémaux_tree dbr:Bounded_expansion dbr:Monochromatic_triangle dbr:Monadic_second-order_logic dbr:K-outerplanar_graph dbr:The_Strange_Logic_of_Random_Graphs dbr:Universal_vertex dbr:Martin_Grohe dbr:Twin-width
is foaf:primaryTopic of	wikipedia-en:Logic_of_graphs