{"entities":{"Q4890909":{"pageid":6920488,"ns":120,"title":"Item:Q4890909","lastrevid":47409673,"modified":"2026-01-01T16:15:53Z","type":"item","id":"Q4890909","labels":{"en":{"language":"en","value":"Mathematical proofs in the computer age"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 920709"}},"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":"Q4890909$637C6827-4F97-4687-971F-EF347B3F47FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4227e77ae34c78b453c4f7f0c79fc214884d6b1b","datavalue":{"value":{"text":"Mathematical proofs in the computer age","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4890909$5B502D50-C758-44BE-BF0A-95C1F509D310","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1b2f9e68775c19089227cc8c7b3f286a0f0b57e","datavalue":{"value":"0860.00012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890909$E142A18A-30FF-431D-ABAA-80F159B1BB8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f658b7acb733abb68e8f16a4af83ac9fdb24139","datavalue":{"value":"10.2307/3620344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890909$C994D254-7CBB-4FCA-9081-5D592FA6D2B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5e30aeaa6a8024ccfad902b55e5490b3a2297c0","datavalue":{"value":{"entity-type":"item","numeric-id":559294,"id":"Q559294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4890909$4944A742-77E7-482C-A203-0F43EC4345E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b48ee32f066804625cac8fb25dac0319ff6f3d4","datavalue":{"value":{"time":"+1997-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4890909$15E3236D-4C36-4828-B601-35DEA1B3FC54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890909$2027188D-A37F-4A25-BB61-DEF13A8B355F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890909$AE071D2C-9D0D-4E9C-A787-548C2DA6C582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890909$C9CC709F-B28C-4142-81D7-1D8FACC57644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890909$07DEC164-30D4-4812-920B-7329CFF75629","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbc76b1f6d8754f7ae8f6496db85a553f1eddd73","datavalue":{"value":"920709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890909$D2D9FBBC-35C5-47C4-AC65-D9F06DB04718","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e977db44bd54fd53e55c7cddc5eaab507bef6107","datavalue":{"value":"philosophy of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890909$7FD6E673-BA9E-4B04-BC2A-ECF21921A5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13569e8806493db31cd325862c6300c5e1579d9","datavalue":{"value":"mathematical practice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890909$CDCAC88B-6592-40F9-8423-7CFA59193E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e387b99154d26aa609b68058fc2c4480ac6963b9","datavalue":{"value":"proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890909$8DA0DA68-3AF4-4315-BEF7-5270E3AAA5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beeaad23045d8d85f6078bc2a44e7f5cc80c6692","datavalue":{"value":"search for a proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890909$9ECE9E80-FDD3-4DED-8235-0C2761221D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03448293d9200fa21b53d21f43378414762608c5","datavalue":{"value":"use of computers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890909$E5E3EA26-C44D-4321-A157-689D91299398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb9e83f70f5e4b6bb60443a4ddaeeb06b9fb105e","datavalue":{"value":"theory of situations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890909$A272F888-3DC1-40E0-8950-8A30EB0A78C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3702e20aa2b5746c3c7ac14d24195909e42e553a","datavalue":{"value":{"entity-type":"item","numeric-id":1138544,"id":"Q1138544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4890909$18D31EBB-CDB0-4E27-88C8-76634B6FB5A9","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":"Q4890909$136CC3A2-5F94-4531-9CA6-5755DC2E6713","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6f4f3903fdfaa55b7e3c82c652c10f01a67cdf8","datavalue":{"value":"https://doi.org/10.2307/3620344","type":"string"},"datatype":"url"},"type":"statement","id":"Q4890909$3067A3A9-7CA1-477F-A167-6A05B88A4D36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9167b39a7e7e7d41b574371f16ef52a8249a221","datavalue":{"value":"W2794856552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890909$EC3C10ED-524F-4CA4-AF51-604EF7E2EA00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f376d6acb38f83573c22ba664926099fa5806f9","datavalue":{"value":{"entity-type":"item","numeric-id":2997766,"id":"Q2997766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3570979d6d42cf31c5465970256439f7d3bdecbd","datavalue":{"value":{"amount":"+0.8074901700019836","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":"Q4890909$A8354926-21A5-4DEB-AB6E-BF9585163453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6ba7746db3411117fef3a34be889dfb4c4e69a","datavalue":{"value":{"entity-type":"item","numeric-id":5448310,"id":"Q5448310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3dceeae8f6ceed3e456a8de9813e32db2954466","datavalue":{"value":{"amount":"+0.8002396821975708","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":"Q4890909$66A27807-6C36-49FA-ACF5-52218E39A9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698e157db28629ef10c9bedc71d22dda03a2adfb","datavalue":{"value":{"entity-type":"item","numeric-id":3602565,"id":"Q3602565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a989b014a576fc07c5f373801d588ac30e6cc0e4","datavalue":{"value":{"amount":"+0.7973893880844116","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":"Q4890909$AFC6F1ED-0BD8-4CAB-96C6-FF060BEDF46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95879e37b088d3a6f41b86d40ae8b8d0456823cd","datavalue":{"value":{"entity-type":"item","numeric-id":4892490,"id":"Q4892490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91fd9c1679467f1d5fffe39aa2d1ba3b0590f19c","datavalue":{"value":{"amount":"+0.7914234399795532","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":"Q4890909$7494202C-7051-4A72-801A-DD8B8FE7B409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b766aba7b7528e1562f2ec8a00e4cfac9e99e351","datavalue":{"value":{"entity-type":"item","numeric-id":4325964,"id":"Q4325964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0615efe29c655d6c47550ca81c342db0ec89838a","datavalue":{"value":{"amount":"+0.7900692224502563","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":"Q4890909$2B6D3147-B6AE-4A16-ADA1-4F3C848E54F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4890909","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4890909"}}}}}