Browse Wiki & Semantic Web

Jump to: navigation, search
Http://fr.dbpedia.org/resource/Dag Prawitz
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
http://fr.dbpedia.org/resource/Dag_Prawitz
Birthplace http://fr.dbpedia.org/resource/Stockholm +
http://dbpedia.org/ontology/abstract Dag Prawitz, né le 16 mai 1936, est un philosophe et logicien suédois. Il est surtout connu pour ses travaux en théorie de la démonstration et en déduction naturelle.
http://dbpedia.org/ontology/citizenship http://fr.dbpedia.org/resource/Su%C3%A8de +
http://dbpedia.org/ontology/discipline http://fr.dbpedia.org/resource/Th%C3%A9orie_de_la_d%C3%A9monstration + , http://fr.dbpedia.org/resource/Logique_math%C3%A9matique +
http://dbpedia.org/ontology/employer http://fr.dbpedia.org/resource/Universit%C3%A9_de_Stockholm +
http://dbpedia.org/ontology/occupation http://fr.dbpedia.org/resource/Math%C3%A9maticien + , http://fr.dbpedia.org/resource/Philosophe +
http://dbpedia.org/ontology/wikiPageExternalLink http://www.philosophy.su.se/eng/prawitz.htm + , https://books.google.com/books%3Fid=sJj3DQAAQBAJ&printsec=frontcover +
http://dbpedia.org/ontology/wikiPageID 630606
http://dbpedia.org/ontology/wikiPageLength 1230
http://dbpedia.org/ontology/wikiPageRevisionID 190978249
http://dbpedia.org/ontology/wikiPageWikiLink http://fr.dbpedia.org/resource/Su%C3%A8de + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Laur%C3%A9at_du_prix_Schock + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Logicien_su%C3%A9dois + , http://fr.dbpedia.org/resource/D%C3%A9duction_naturelle + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_%C3%A0_Stockholm + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_en_mai_1936 + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_th%C3%A9orie_de_la_d%C3%A9monstration + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_logique_math%C3%A9matique + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Math%C3%A9maticien_su%C3%A9dois_du_XXe_si%C3%A8cle + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Math%C3%A9maticien_su%C3%A9dois_du_XXIe_si%C3%A8cle + , http://fr.dbpedia.org/resource/Th%C3%A9orie_de_la_d%C3%A9monstration + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Philosophe_su%C3%A9dois_du_XXIe_si%C3%A8cle + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Philosophe_su%C3%A9dois_du_XXe_si%C3%A8cle +
http://fr.dbpedia.org/property/année 2006
http://fr.dbpedia.org/property/annéePremièreÉdition 1965
http://fr.dbpedia.org/property/isbn 978
http://fr.dbpedia.org/property/langue en
http://fr.dbpedia.org/property/lieu Mineola, New York
http://fr.dbpedia.org/property/lireEnLigne https://books.google.com/books%3Fid=sJj3DQAAQBAJ&printsec=frontcover +
http://fr.dbpedia.org/property/nom Prawitz
http://fr.dbpedia.org/property/pagesTotales 113
http://fr.dbpedia.org/property/prénom Dag
http://fr.dbpedia.org/property/sousTitre A proof-theoretical study
http://fr.dbpedia.org/property/titre Natural deduction
http://fr.dbpedia.org/property/wikiPageUsesTemplate http://fr.dbpedia.org/resource/Mod%C3%A8le:Portail + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Infobox_Biographie2 + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Ouvrage + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Date_de_naissance + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Vide + , http://fr.dbpedia.org/resource/Mod%C3%A8le:Liens +
http://fr.dbpedia.org/property/éditeur Dover Publications
http://purl.org/dc/terms/subject http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_th%C3%A9orie_de_la_d%C3%A9monstration + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Logicien_su%C3%A9dois + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_en_mai_1936 + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Laur%C3%A9at_du_prix_Schock + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Math%C3%A9maticien_su%C3%A9dois_du_XXIe_si%C3%A8cle + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Math%C3%A9maticien_su%C3%A9dois_du_XXe_si%C3%A8cle + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_%C3%A0_Stockholm + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Philosophe_su%C3%A9dois_du_XXIe_si%C3%A8cle + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Philosophe_su%C3%A9dois_du_XXe_si%C3%A8cle + , http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_logique_math%C3%A9matique +
http://www.w3.org/ns/prov#wasDerivedFrom http://fr.wikipedia.org/wiki/Dag_Prawitz?oldid=190978249&ns=0 +
http://xmlns.com/foaf/0.1/isPrimaryTopicOf http://fr.wikipedia.org/wiki/Dag_Prawitz +
owl:sameAs http://fr.dbpedia.org/resource/Dag_Prawitz + , https://id.loc.gov/authorities/names/n94000209 + , http://g.co/kg/m/03p4ks + , https://libris.kb.se/nl024tw61tnh6j3 + , http://dbpedia.org/resource/Dag_Prawitz + , http://id.worldcat.org/fast/333485 + , http://data.bnf.fr/ark:/12148/cb12476324v#about + , https://d-nb.info/gnd/122972317 + , http://libris.kb.se/resource/auth/233736 + , http://sv.dbpedia.org/resource/Dag_Prawitz + , http://ja.dbpedia.org/resource/%E3%83%80%E3%82%B0%E3%83%BB%E3%83%97%E3%83%A9%E3%82%A6%E3%82%A3%E3%83%83%E3%83%84 + , http://www.idref.fr/033959307/id + , https://data.bibliotheken.nl/doc/thes/p118536974 + , http://www.wikidata.org/entity/Q3011853 + , http://de.dbpedia.org/resource/Dag_Prawitz + , http://viaf.org/viaf/12407772 + , http://it.dbpedia.org/resource/Dag_Prawitz + , http://pt.dbpedia.org/resource/Dag_Prawitz +
rdf:type http://dbpedia.org/ontology/Person + , http://www.wikidata.org/entity/Q729 + , http://www.wikidata.org/entity/Q5 + , http://dbpedia.org/ontology/Animal + , http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson + , http://dbpedia.org/ontology/Eukaryote + , http://schema.org/Person + , http://xmlns.com/foaf/0.1/Person + , http://dbpedia.org/ontology/Species + , http://www.wikidata.org/entity/Q215627 + , http://www.wikidata.org/entity/Q19088 +
rdfs:comment Dag Prawitz, né le 16 mai 1936, est un philosophe et logicien suédois. Il est surtout connu pour ses travaux en théorie de la démonstration et en déduction naturelle.
rdfs:label Dag Prawitz , ダグ・プラウィッツ
rdfs:seeAlso https://www.ne.se/uppslagsverk/encyklopedi/l%C3%A5ng/dag-prawitz + , https://zbmath.org/authors/?q=ai:prawitz.dag + , https://inpho.cogs.indiana.edu/idea/thinker/3745.html + , http://isni.org/isni/0000_0001_0870_705X + , http://catalogo.share-cat.unina.it/sharecat/searchNames?n_cluster_id=49914 + , http://www.vitterhetsakad.se/ledamoter/matrikel/111 +
hide properties that link here 
http://fr.dbpedia.org/resource/1936_en_science + , http://fr.dbpedia.org/resource/Calcul_des_s%C3%A9quents + , http://fr.dbpedia.org/resource/D%C3%A9duction_naturelle + , http://fr.dbpedia.org/resource/Jean-Yves_Girard + , http://fr.dbpedia.org/resource/Prix_Schock + , http://fr.dbpedia.org/resource/S%C3%A9mantique_de_la_th%C3%A9orie_de_la_preuve + , http://fr.dbpedia.org/resource/S%C3%A9mantique_formelle_%28logique%29 + http://dbpedia.org/ontology/wikiPageWikiLink
http://fr.dbpedia.org/tag/JaFrResource + http://www.w3.org/ns/oa#hasTarget
http://fr.wikipedia.org/wiki/Dag_Prawitz + http://xmlns.com/foaf/0.1/primaryTopic
http://fr.dbpedia.org/resource/Dag_Prawitz + owl:sameAs
 

 

Enter the name of the page to start semantic browsing from.