{"entities":{"Q3537709":{"pageid":5567613,"ns":120,"title":"Item:Q3537709","lastrevid":50489753,"modified":"2026-01-14T04:49:15Z","type":"item","id":"Q3537709","labels":{"en":{"language":"en","value":"The metamorphoses of the calculus. An amazing history of mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5363672"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3537709$35E1E968-854E-4C0A-8E9B-B8173D224AD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e5314d34c1b09b3026906cb039f9ffe8284d048","datavalue":{"value":"1161.01001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3537709$C04E36F8-57FA-4D17-A223-07A09D344248","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3537709$057B09CB-E530-422B-BB6A-0626186F3EEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b95bf91147476ab26723f123a6ad0d60d5ec6214","datavalue":{"value":{"time":"+2008-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3537709$FBADEC0C-3C4D-48F9-80BD-5D22D34FCC70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"66b8121e6b72a4ef8dd2842f0694889ce95a13fd","datavalue":{"value":"01-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3537709$5DF32FC9-1BE7-459E-9301-A620C32A98E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3537709$906DFCF0-FE82-4EFC-A596-7CEF5393A1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3537709$FEE4691B-CC94-436C-B6A9-21F61FC03DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3537709$A585D7A6-5F58-4DC7-B989-C13E9BAC201B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3537709$8085324B-B4E0-4476-97EA-6761BCDFC5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3537709$59D346D1-93CC-41CF-A17F-31E704B1B7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3537709$62BF09BD-4FD4-4D78-A38E-007AB7BC5CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3537709$2BC1361A-F670-4FF9-906B-DD520E56AEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3537709$0681C580-661E-4EB4-8C51-9588C5169C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3537709$363F03F4-1D34-4629-BEA8-47C0AF489F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3537709$928CF3EE-4AE5-4DD7-8B04-AF5C6F7A9AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3537709$8D230981-B0E2-4F05-850C-77E64B7ECAF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccada9f64deb0e20c3b5a5993f7f028cd590528f","datavalue":{"value":"5363672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3537709$9482E0E9-B7EC-4BF4-B1EF-EC1791D81F74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537709$33C89FF0-109C-44A0-8B05-097FB95DE933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537709$230940DA-AC50-4B76-810B-4268061330E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1083bbb7d0965b31d194958bae432d6456c6681a","datavalue":{"value":"constructibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537709$34EF71B4-B038-44B7-9BA0-0EF9009853EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537709$B15B53A2-A51B-4058-8B4C-3EEB005F07B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e492b54f62811c5312173a1a35bcc710f9ad0178","datavalue":{"value":"four-color-theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537709$DC674AE9-1137-41AE-AAED-D8D05A984C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1f89a774d2b01461b718c178e7e356709245995","datavalue":{"value":"axiomatic method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537709$F301DED1-59D5-455C-85CB-50EE8D9470D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537709$A478FE09-5CB5-432A-8C6D-8FD6EA5AA87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537709$7E93CDD2-7197-4829-9B84-1BBF786CB418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5336801af2caa7ce5bf2a3e64729f3757f13ce59","datavalue":{"value":"computer verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537709$C823E51E-B219-4EDC-B923-7022FE765824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"099e46a043c96144c16a0bc35c96708963b07079","datavalue":{"value":"Brower","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537709$78F28BDF-CF6E-49C9-BF23-B2D7203206E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3fa795441cc5f9cd46dce7d5f483555e28d64a9","datavalue":{"value":"Skolem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537709$1E4418BC-FFA3-427C-9363-C52C3A3BAC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09764f38a677cc419c41406e4cd115ba9eb2d6b6","datavalue":{"value":"Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537709$B5480959-39FB-4411-86D2-ED035CD2576D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4282b5b6410186b7da0f96710e20658f12aa55f","datavalue":{"value":"G\u00f6del","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537709$74B5DB7F-0247-4518-A960-EC5654C32035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cec3a4fd0f5f73561cce57f4c23b522ff917d49","datavalue":{"value":"Kleene","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537709$379611AA-95C8-489E-8B1E-5D08CBF7B5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a25798920f381cdf9fe9d0cd4bfdb22158b101","datavalue":{"value":"Gentzen","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537709$AA7A44AF-7214-41F4-9DC2-6DDB42322B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13f08b5f18719490a4aa0d9dac6fe37a1eb644cb","datavalue":{"value":"Turing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537709$E7D442D8-F0D0-41E1-8772-9ABB561B6B6D","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3537709$A539A361-ACB7-4347-9EFB-21EF109DFC9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5584616e52613746b3f34c8ef08a131df5fc223c","datavalue":{"value":{"entity-type":"item","numeric-id":5387922,"id":"Q5387922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2397310ecb9f1e756798ff5f1450ad570876a50a","datavalue":{"value":{"amount":"+0.7903788685798645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3537709$15BCABFC-20A0-4C6B-9813-D0DE1D0D9EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eac0cdf02afd97c30a2ded26012ee2886b5ae282","datavalue":{"value":{"entity-type":"item","numeric-id":5866462,"id":"Q5866462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54308577ba9ec7e5550a3bd36dafb00e850d81eb","datavalue":{"value":{"amount":"+0.7867648601531982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3537709$D7CCD02D-A162-4C33-B68D-0E80B498B757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc268baf51e6f99f0ec7fc0e4bd70830f2cc4651","datavalue":{"value":{"entity-type":"item","numeric-id":5302560,"id":"Q5302560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b035524244e808da5289953bfafdbb01f0f19395","datavalue":{"value":{"amount":"+0.7756450176239014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3537709$F7667185-A809-413D-AC3D-AABFDF6E58AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0c3736d4a52fa5a323ba7bdfb435bf73623b62","datavalue":{"value":{"entity-type":"item","numeric-id":3999361,"id":"Q3999361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ec014e1c515c7b1b4d98307b60003b510fd46f","datavalue":{"value":{"amount":"+0.7660998106002808","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3537709$D6F0B998-7473-4281-BB12-B9700B7542DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3402ca78550be85cdc6de3757cefccaa74df2e2f","datavalue":{"value":{"entity-type":"item","numeric-id":4664201,"id":"Q4664201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ac75fe29f859c643ee35ead870be8c97b09724","datavalue":{"value":{"amount":"+0.7588247060775757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3537709$1E704B72-F41C-4706-8AE6-06D17F4AA295","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3537709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3537709"}}}}}