About: Calculus ratiocinator

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Theoretical universal logical calculation framework

Property	Value
dbo:description	theoretical universal logical calculation framework (en) marc teòric universal del càlcul (ca) machine calculatoire théorique inventé par Gottfried Wilhelm Leibniz (fr)
dbo:thumbnail	wiki-commons:Special:FilePath/Leibniz_Stepped_Reckoner_mechanism.png?width=300
dbo:wikiPageExternalLink	http://philosophyfaculty.ucsd.edu/faculty/rutherford/Leibniz/contents.htm%7Carchive-url=https:/web.archive.org/web/20120814062611/http:/philosophyfaculty.ucsd.edu/faculty/rutherford/Leibniz/contents.htm http://www.ontology.co/two-views-language.htm
dbo:wikiPageWikiLink	dbr:Herbert_Spencer dbr:Inference_engine dbr:Stepped_reckoner dbc:Gottfried_Wilhelm_Leibniz dbr:Computer_hardware dbr:Cybernetics dbr:Annals_of_the_New_York_Academy_of_Sciences dbr:Proof_theory dbr:Mathesis_universalis dbr:The_American_Mathematical_Monthly dbc:History_of_computing dbc:Philosophy_of_language dbr:Logic dbr:Begriffsschrift dbr:Algorithm dbc:Mechanical_calculators dbr:Norbert_Wiener dbr:Computer_program dbr:Charles_Sanders_Peirce dbr:Electronic_engineering dbr:Mathematical_logic dbr:Analytic_philosophy dbr:Characteristica_universalis dbr:Louis_Couturat dbc:History_of_philosophy dbr:The_MIT_Press dbr:Hartley_Rogers dbr:General_systems_theory dbr:Frege dbr:Computer_software dbr:Gottfried_Leibniz
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Quote dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:Gallery dbt:Refend dbt:Sfnp dbt:Italic_title dbt:Refbegin dbt:Gottfried_Wilhelm_Leibniz dbt:Section_link dbt:Harvtxt dbt:More_footnotes dbt:Short_description
dct:subject	dbc:Gottfried_Wilhelm_Leibniz dbc:Concepts_in_logic dbc:History_of_computing dbc:Concepts_in_the_philosophy_of_language dbc:Mechanical_calculators
gold:hypernym	dbr:Framework
rdf:type	owl:Thing owl:Thing
rdfs:label	Calculus ratiocinator (en) أداة الاستدلال المنطقي لحساب التفاضل والتكامل (ar) Calculus ratiocinator (ca) Calculus ratiocinator (es) Calculus ratiocinator (fr) Calculus Ratiocinator (pt)
owl:sameAs	yago-res:Calculus ratiocinator freebase:Calculus ratiocinator wikidata:Calculus ratiocinator dbpedia-fr:Calculus ratiocinator dbpedia-pt:Calculus ratiocinator dbpedia-es:Calculus ratiocinator dbpedia-ca:Calculus ratiocinator dbpedia-ar:Calculus ratiocinator dbpedia-sk:Calculus ratiocinator dbpedia-global:Calculus ratiocinator dbr:Calculus ratiocinator
prov:wasDerivedFrom	wikipedia-en:Calculus_ratiocinator?oldid=1291625132&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Leibnitzrechenmaschine.jpg wiki-commons:Special:FilePath/Leibniz_Stepped_Reckoner_mechanism.png
foaf:isPrimaryTopicOf	wikipedia-en:Calculus_ratiocinator
is dbo:notableIdea of	dbr:Gottfried_Wilhelm_Leibniz
is dbo:wikiPageWikiLink of	dbr:Classical_logic dbr:History_of_logic dbr:Propositional_calculus dbr:Mathesis_universalis dbr:Diagrammatic_reasoning dbr:Common_sense dbr:Metamathematics dbr:Index_of_philosophy_articles_(A–C) dbr:Begriffsschrift dbr:Index_of_philosophy_of_language_articles dbr:Algorithm dbr:Gottfried_Wilhelm_Leibniz dbr:Universal_language dbr:List_of_pioneers_in_computer_science dbr:List_of_important_publications_in_mathematics dbr:Characteristica_universalis dbr:Outline_of_Gottfried_Wilhelm_Leibniz
is foaf:primaryTopic of	wikipedia-en:Calculus_ratiocinator