Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5178114> ?p ?o }
Showing triples 1 to 50 of
50
with 100 triples per page.
- Q5178114 subject Q7216428.
- Q5178114 subject Q8498914.
- Q5178114 subject Q8622256.
- Q5178114 abstract "In the study of graph algorithms, Courcelle's theorem is the statement that every graph property definable in the monadic second-order logic of graphs can be decided in linear time on graphs of bounded treewidth. The result was first proved by Bruno Courcelle in 1990 and independently rediscovered by Borie, Parker & Tovey (1992).It is considered the archetype of algorithmic meta-theorems.".
- Q5178114 wikiPageWikiLink Q1060343.
- Q5178114 wikiPageWikiLink Q1101814.
- Q5178114 wikiPageWikiLink Q1155722.
- Q5178114 wikiPageWikiLink Q1192782.
- Q5178114 wikiPageWikiLink Q1211071.
- Q5178114 wikiPageWikiLink Q130998.
- Q5178114 wikiPageWikiLink Q131476.
- Q5178114 wikiPageWikiLink Q1350299.
- Q5178114 wikiPageWikiLink Q141488.
- Q5178114 wikiPageWikiLink Q1548746.
- Q5178114 wikiPageWikiLink Q1569697.
- Q5178114 wikiPageWikiLink Q1570441.
- Q5178114 wikiPageWikiLink Q1626444.
- Q5178114 wikiPageWikiLink Q163310.
- Q5178114 wikiPageWikiLink Q17305808.
- Q5178114 wikiPageWikiLink Q203920.
- Q5178114 wikiPageWikiLink Q214526.
- Q5178114 wikiPageWikiLink Q2294516.
- Q5178114 wikiPageWikiLink Q2384512.
- Q5178114 wikiPageWikiLink Q2393193.
- Q5178114 wikiPageWikiLink Q266775.
- Q5178114 wikiPageWikiLink Q273037.
- Q5178114 wikiPageWikiLink Q2872598.
- Q5178114 wikiPageWikiLink Q2913731.
- Q5178114 wikiPageWikiLink Q319400.
- Q5178114 wikiPageWikiLink Q3478658.
- Q5178114 wikiPageWikiLink Q3502995.
- Q5178114 wikiPageWikiLink Q3527155.
- Q5178114 wikiPageWikiLink Q380172.
- Q5178114 wikiPageWikiLink Q4049983.
- Q5178114 wikiPageWikiLink Q462095.
- Q5178114 wikiPageWikiLink Q4809258.
- Q5178114 wikiPageWikiLink Q504843.
- Q5178114 wikiPageWikiLink Q5067368.
- Q5178114 wikiPageWikiLink Q5282039.
- Q5178114 wikiPageWikiLink Q625841.
- Q5178114 wikiPageWikiLink Q6497118.
- Q5178114 wikiPageWikiLink Q7216428.
- Q5178114 wikiPageWikiLink Q722659.
- Q5178114 wikiPageWikiLink Q8366.
- Q5178114 wikiPageWikiLink Q8498914.
- Q5178114 wikiPageWikiLink Q8622256.
- Q5178114 wikiPageWikiLink Q905837.
- Q5178114 wikiPageWikiLink Q994399.
- Q5178114 comment "In the study of graph algorithms, Courcelle's theorem is the statement that every graph property definable in the monadic second-order logic of graphs can be decided in linear time on graphs of bounded treewidth. The result was first proved by Bruno Courcelle in 1990 and independently rediscovered by Borie, Parker & Tovey (1992).It is considered the archetype of algorithmic meta-theorems.".
- Q5178114 label "Courcelle's theorem".