<http://rdf.freebase.com/ns/user.mt.default_domain.theorem> <http://rdf.freebase.com/ns/freebase.type_profile.instance_count> "3"^^<http://www.w3.org/2001/XMLSchema#long>.
<http://rdf.freebase.com/ns/user.mt.default_domain.theorem> <http://creativecommons.org/ns#attributionURL> <http://www.freebase.com/view/user/mt/default_domain/theorem>.
<http://rdf.freebase.com/ns/user.mt.default_domain.theorem> <http://rdf.freebase.com/ns/type.type.properties> <http://rdf.freebase.com/ns/user.mt.default_domain.theorem.depends_on>.
<http://rdf.freebase.com/ns/user.mt.default_domain.theorem> <http://rdf.freebase.com/ns/type.type.properties> <http://rdf.freebase.com/ns/user.mt.default_domain.theorem.first_proved_by>.
<http://rdf.freebase.com/ns/user.mt.default_domain.theorem> <http://rdf.freebase.com/ns/type.object.name> "Theorem"@en.
<http://rdf.freebase.com/ns/user.mt.default_domain.theorem> <http://creativecommons.org/ns#attributionName> "Source: Freebase - The World's database".
<http://rdf.freebase.com/ns/user.mt.default_domain.theorem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/common.topic>.
<http://rdf.freebase.com/ns/user.mt.default_domain.theorem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/freebase.type_profile>.
<http://rdf.freebase.com/ns/user.mt.default_domain.theorem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/type.type>.
<http://rdf.freebase.com/ns/user.mt.default_domain.theorem> <http://rdf.freebase.com/ns/type.object.key> _:vELIvEAb249.
<http://rdf.freebase.com/ns/user.mt.default_domain.theorem> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.fermats_last_theorem>.
<http://rdf.freebase.com/ns/user.mt.default_domain.theorem> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.cooks_theorem>.
<http://rdf.freebase.com/ns/user.mt.default_domain.theorem> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.ramseys_theorem>.
<http://rdf.freebase.com/ns/user.mt.default_domain.theorem> <http://rdf.freebase.com/ns/type.type.domain> <http://rdf.freebase.com/ns/user.mt.default_domain>.
<http://rdf.freebase.com/ns/user.mt.default_domain.theorem> <http://rdf.freebase.com/ns/freebase.type_hints.included_types> <http://rdf.freebase.com/ns/common.topic>.
<http://rdf.freebase.com/ns/user.mt.default_domain.theorem> <http://www.w3.org/1999/xhtml/vocab#license> <http://creativecommons.org/licenses/by/3.0/>.
_:vELIvEAb249 <http://rdf.freebase.com/ns/type.value.value> "theorem".
_:vELIvEAb249 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/user.mt.default_domain>.