_:vhpnGWEB196 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:vhpnGWEB196 <http://rdf.freebase.com/ns/type.value.value> "B$00FCchi_automata".
_:vhpnGWEB191 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en_id>.
_:vhpnGWEB191 <http://rdf.freebase.com/ns/type.value.value> "344912".
_:vhpnGWEB197 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/en>.
_:vhpnGWEB197 <http://rdf.freebase.com/ns/type.value.value> "buchi_automaton".
_:vhpnGWEB195 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:vhpnGWEB195 <http://rdf.freebase.com/ns/type.value.value> "Buchi_automaton".
_:vhpnGWEB194 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:vhpnGWEB194 <http://rdf.freebase.com/ns/type.value.value> "Buchi_automata".
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://rdf.freebase.com/ns/common.topic.alias> "Buchi automaton"@en.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://rdf.freebase.com/ns/common.topic.article> <http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000001ec9d2>.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://rdf.freebase.com/ns/type.object.key> _:vhpnGWEB196.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://rdf.freebase.com/ns/type.object.key> _:vhpnGWEB191.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://rdf.freebase.com/ns/type.object.key> _:vhpnGWEB197.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://rdf.freebase.com/ns/type.object.key> _:vhpnGWEB195.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://rdf.freebase.com/ns/type.object.key> _:vhpnGWEB194.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://rdf.freebase.com/ns/type.object.key> _:vhpnGWEB192.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://rdf.freebase.com/ns/type.object.key> _:vhpnGWEB198.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://rdf.freebase.com/ns/type.object.key> _:vhpnGWEB193.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://rdf.freebase.com/ns/type.object.name> "Automat B\u00FCchiego"@pl.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://rdf.freebase.com/ns/type.object.name> "Automate de B\u00FCchi"@fr.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://rdf.freebase.com/ns/type.object.name> "B\u00FCchi automaton"@en.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://rdf.freebase.com/ns/type.object.name> "\u0E1A\u0E38\u0E02\u0E34\u0E2D\u0E2D\u0E42\u0E15\u0E21\u0E32\u0E15\u0E32"@th.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://rdf.freebase.com/ns/type.object.name> "B\u00FCchi-Automat"@de.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://rdf.freebase.com/ns/base.computerscience.automaton.language_class_recognized> <http://rdf.freebase.com/ns/en.omega-regular_language>.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/base.computerscience.automaton>.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/base.computerscience.topic>.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/common.topic>.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://www.w3.org/1999/xhtml/vocab#license> <http://creativecommons.org/licenses/by/3.0/>.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://creativecommons.org/ns#attributionName> "Source: Freebase - The World's database".
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/B\u00FCchi_automata>.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Buechi_automata>.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Buchi_automata>.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/B\u00FCchi_automaton>.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Buchi_automaton>.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Buechi_automaton>.
<http://rdf.freebase.com/ns/en.buchi_automaton> <http://creativecommons.org/ns#attributionURL> <http://www.freebase.com/view/en/buchi_automaton>.
_:vhpnGWEB192 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:vhpnGWEB192 <http://rdf.freebase.com/ns/type.value.value> "B$00FCchi_automaton".
_:vhpnGWEB198 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:vhpnGWEB198 <http://rdf.freebase.com/ns/type.value.value> "Buechi_automata".
_:vhpnGWEB193 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:vhpnGWEB193 <http://rdf.freebase.com/ns/type.value.value> "Buechi_automaton".