Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Proof_net> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- Proof_net wikiPageExternalLink 1203.4912.
- Proof_net wikiPageExternalLink LinLog.
- Proof_net wikiPageExternalLink Proofs+Types.html.
- Proof_net wikiPageID "921927".
- Proof_net wikiPageLength "2607".
- Proof_net wikiPageOutDegree "14".
- Proof_net wikiPageRevisionID "615489541".
- Proof_net wikiPageWikiLink Category:Proof_theory.
- Proof_net wikiPageWikiLink Coherent_space.
- Proof_net wikiPageWikiLink Deep_inference.
- Proof_net wikiPageWikiLink Geometry_of_interaction.
- Proof_net wikiPageWikiLink Interaction_nets.
- Proof_net wikiPageWikiLink Jean-Yves_Girard.
- Proof_net wikiPageWikiLink Linear_logic.
- Proof_net wikiPageWikiLink Long-trip_criterion.
- Proof_net wikiPageWikiLink Ludics.
- Proof_net wikiPageWikiLink Natural_deduction.
- Proof_net wikiPageWikiLink Proof_theory.
- Proof_net wikiPageWikiLink Sequent_calculus.
- Proof_net wikiPageWikiLinkText "Proof net".
- Proof_net wikiPageWikiLinkText "Proof_net".
- Proof_net wikiPageWikiLinkText "proof net".
- Proof_net wikiPageUsesTemplate Template:Logic-stub.
- Proof_net wikiPageUsesTemplate Template:Math.
- Proof_net wikiPageUsesTemplate Template:Tee.
- Proof_net wikiPageUsesTemplate Template:Unicode.
- Proof_net subject Category:Proof_theory.
- Proof_net type Proof.
- Proof_net label "Proof net".
- Proof_net sameAs Q3457091.
- Proof_net sameAs Réseaux_de_preuves.
- Proof_net sameAs m.03q4w5.
- Proof_net sameAs Q3457091.
- Proof_net wasDerivedFrom Proof_net?oldid=615489541.
- Proof_net isPrimaryTopicOf Proof_net.