About: http://dbpedia.org/resource/Courcelle's

Property	Value
dbo:description	твердження в теорії графів (uk) утверждение в теори графов (ru) твердження в теорії графів (uk) утверждение в теори графов (ru)
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Parameterized_complexity dbr:Space_complexity dbr:Hamiltonian_cycle dbr:Naming_convention_(programming) dbr:Tree_decomposition dbr:Automata_theory dbr:Graph_property dbc:Graph_minor_theory dbr:Optimization_problem dbr:Dual_graph dbc:Graph_algorithms dbr:Cardinality dbr:Modular_arithmetic dbr:Paul_Seymour_(mathematician) dbr:Independent_set_(graph_theory) dbr:Cut_(graph_theory) dbr:Crossing_number_(graph_theory) dbr:Knowledge_representation_and_reasoning dbr:Equivalence_class dbr:L_(complexity) dbr:Halin_graph dbr:Algorithm dbr:Graph_theory dbc:Metatheorems dbr:Graph_coloring dbr:Simplicial_complex dbr:Tree_automaton dbr:Equivalence_relation dbr:Manifold dbr:Robertson–Seymour_theorem dbr:Graph_minor dbr:Neil_Robertson_(mathematician) dbr:Approximation_algorithm dbr:Undecidable_problem dbr:Discrete_Morse_theory dbr:Time_complexity dbr:Treewidth dbr:Binary_tree dbr:Bruno_Courcelle dbr:Graph_(discrete_mathematics) dbr:Graph_labeling dbr:Elementary_function dbr:Clique-width dbr:Mikołaj_Bojańczyk dbr:Decision_problem dbr:Database_theory dbr:Logic_of_graphs dbr:Monadic_second-order_logic dbr:Linear_time dbr:Grid_graph dbr:P_=_NP dbr:Meta-theorem dbr:Deterministic_Turing_machine dbr:Quantum_invariants dbr:Satisfiability_problem
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Harvtxt
dct:subject	dbc:Graph_minor_theory dbc:Graph_algorithms dbc:Metatheorems
gold:hypernym	dbr:Statement
rdfs:label	Courcelle's theorem (en) Courcelles Theorem (de) Théorème de Courcelle (fr) Теорема Курселя (ru) Теорема Курселя (uk)
owl:sameAs	freebase:m.0jt8bld yago-res:Courcelle's_theorem wikidata:Q5178114 dbpedia-de:Courcelles_Theorem dbpedia-fr:Théorème_de_Courcelle dbpedia-ru:Теорема_Курселя dbpedia-uk:Теорема_Курселя dbpedia-global:4iRZK dbr:Courcelle's_theorem
prov:wasDerivedFrom	wikipedia-en:Courcelle's_theorem?oldid=1283486977&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Courcelle's_theorem
is dbo:knownFor of	dbr:Bruno_Courcelle
is dbo:wikiPageWikiLink of	dbr:S2S_(mathematics) dbr:Halin_graph dbr:Tree_automaton dbr:Cograph dbr:Distance-hereditary_graph dbr:Treewidth dbr:Bruno_Courcelle dbr:List_of_theorems dbr:Second-order_logic dbr:Clique-width dbr:Trémaux_tree dbr:Logic_of_graphs dbr:Monochromatic_triangle dbr:Monadic_second-order_logic dbr:Büchi-Elgot-Trakhtenbrot_theorem dbr:K-outerplanar_graph
is dbp:knownFor of	dbr:Bruno_Courcelle
is foaf:primaryTopic of	wikipedia-en:Courcelle's_theorem

About: http://dbpedia.org/resource/Courcelle's_theorem