_:ReZmJjbw1642 <http://rdf.freebase.com/ns/type.value.value> "Machines_that_always_halt".
_:ReZmJjbw1642 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:ReZmJjbw1641 <http://rdf.freebase.com/ns/type.value.value> "Decider".
_:ReZmJjbw1641 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:ReZmJjbw1640 <http://rdf.freebase.com/ns/type.value.value> "Machine_that_always_halts".
_:ReZmJjbw1640 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:ReZmJjbw1643 <http://rdf.freebase.com/ns/type.value.value> "machine_that_always_halts".
_:ReZmJjbw1643 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/en>.
_:ReZmJjbw1639 <http://rdf.freebase.com/ns/type.value.value> "1352564".
_:ReZmJjbw1639 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en_id>.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://rdf.freebase.com/ns/type.object.name> "\u041C\u0430\u0448\u0438\u043D\u044B, \u043A\u043E\u0442\u043E\u0440\u044B\u0435 \u0432\u0441\u0435\u0433\u0434\u0430 \u043E\u0441\u0442\u0430\u043D\u0430\u0432\u043B\u0438\u0432\u0430\u044E\u0442\u0441\u044F"@ru.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://rdf.freebase.com/ns/type.object.name> "Decider"@en.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://rdf.freebase.com/ns/type.object.name> "Macchina che termina sempre"@it.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://rdf.freebase.com/ns/type.object.name> "\u5224\u5B9A\u5668"@zh.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://creativecommons.org/ns#attributionURL> <http://www.freebase.com/view/en/machine_that_always_halts>.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://rdf.freebase.com/ns/base.computerscience.automaton.language_class_recognized> <http://rdf.freebase.com/ns/en.recursive_language>.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://creativecommons.org/ns#attributionName> "Source: Freebase - The World's database".
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://rdf.freebase.com/ns/common.topic.article> <http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000004d8441>.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://www.w3.org/1999/xhtml/vocab#license> <http://creativecommons.org/licenses/by/3.0/>.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Machine_that_always_halts>.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Machines_that_always_halt>.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Decider>.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://rdf.freebase.com/ns/common.topic.alias> "total Turing machine"@en.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://rdf.freebase.com/ns/common.topic.alias> "Machine that always halts"@en.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <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.machine_that_always_halts> <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.machine_that_always_halts> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/common.topic>.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://rdf.freebase.com/ns/type.object.key> _:ReZmJjbw1643.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://rdf.freebase.com/ns/type.object.key> _:ReZmJjbw1639.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://rdf.freebase.com/ns/type.object.key> _:ReZmJjbw1642.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://rdf.freebase.com/ns/type.object.key> _:ReZmJjbw1640.
<http://rdf.freebase.com/ns/en.machine_that_always_halts> <http://rdf.freebase.com/ns/type.object.key> _:ReZmJjbw1641.