<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.object.key> _:HJPkWYZc1631.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/freebase.type_hints.included_types> <http://rdf.freebase.com/ns/common.topic>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://www.w3.org/1999/xhtml/vocab#license> <http://creativecommons.org/licenses/by/3.0/>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/common.topic>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/freebase.type_profile>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/type.type>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.object.name> "Topic"@en.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/freebase.type_profile.instance_count> "55"^^<http://www.w3.org/2001/XMLSchema#long>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.isabelle_theorem_prover>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.type_polymorphism>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.alonzo_church>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.russells_paradox>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.william_alvin_howard>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.lambda_cube>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.xduce>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.nicolaas_govert_de_bruijn>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.charles_peirce>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.symbolic_logic>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.natural_deduction_logic>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.gottlob_frege>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.miranda_programming_language>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.ml>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.lambda_calculus>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.dag_prawitz>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.lcf_theorem_prover>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.per_martin-lof>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.haskell_curry>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.robin_milner>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000000247bb>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.j_roger_hindley>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.type_inference>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.objective_caml>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.subformula_property>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.hol_theorem_prover>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.typed_lambda_calculus>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.haskell>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.jean-yves_girard>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.sequent_calculus>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.calculus_of_constructions>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.philip_wadler>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.combinatory_logic>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000002062b>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.standard_ml>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.proof-carrying_code>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.begriffsschrift>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.twelf>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.pythagoras>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.join-calculus>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.functional_programming>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.nuprl>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.kleisli>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.peirces_law>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.coq>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.john_c_reynolds>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.curry_howard_correspondence>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.iswim>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.gerhard_gentzen>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.robert_feys>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.typed_assembly_language>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.pi-calculus>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.intuitionistic_type_theory>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.timothy_g_griffin>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.instance> <http://rdf.freebase.com/ns/en.bertrand_russell>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.domain> <http://rdf.freebase.com/ns/base.proofsareprograms>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://creativecommons.org/ns#attributionName> "Source: Freebase - The World's database".
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://creativecommons.org/ns#attributionURL> <http://www.freebase.com/view/base/proofsareprograms/topic>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.properties> <http://rdf.freebase.com/ns/base.proofsareprograms.topic.article>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.properties> <http://rdf.freebase.com/ns/base.proofsareprograms.topic.image>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.properties> <http://rdf.freebase.com/ns/base.proofsareprograms.topic.webpage>.
<http://rdf.freebase.com/ns/base.proofsareprograms.topic> <http://rdf.freebase.com/ns/type.type.properties> <http://rdf.freebase.com/ns/base.proofsareprograms.topic.alias>.
_:HJPkWYZc1631 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/base.proofsareprograms>.
_:HJPkWYZc1631 <http://rdf.freebase.com/ns/type.value.value> "topic".