{"entities":{"Q6536119":{"pageid":14147262,"ns":120,"title":"Item:Q6536119","lastrevid":103506155,"modified":"2026-06-06T07:30:32Z","type":"item","id":"Q6536119","labels":{"en":{"language":"en","value":"Mathematical reasoning and the computer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7826992"}},"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":"Q6536119$3FA80FDE-1D37-4BF7-9963-DDEB0395778E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdfd37eede11c05dc8e233ed4439052fb2461837","datavalue":{"value":{"text":"Mathematical reasoning and the computer","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536119$7AE6A0F2-8B5F-4283-9C90-61807294403E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95c00a5e88991dc89c3bd73dc454f488f52a771f","datavalue":{"value":"1540.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536119$E37ECE49-E4C3-4391-AF61-3283A7261B72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afe5bd4013c4623c21ffc86823a0152763999043","datavalue":{"value":{"entity-type":"item","numeric-id":605914,"id":"Q605914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536119$98B3F476-D117-4FD5-970B-65D2226CF893","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2d0bfa3cc7fde7fc25b270613d651e8b3ca3c65","datavalue":{"value":{"entity-type":"item","numeric-id":6536118,"id":"Q6536118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536119$690014CE-59A8-4B2C-8D68-688716AA231E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"375721bd68bc74e399be92ce6fc048f85d4426e2","datavalue":{"value":{"time":"+2024-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536119$43C0C297-E93E-4C5C-A524-94FBAA074827","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536119$320F652F-427A-4FAB-9811-2B68C901FEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536119$50EAA3CD-893B-489B-8AAC-F13D5C4FAB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536119$90FA6852-612D-41F1-A599-0D0FE8DA7553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536119$0BD4A3CB-8258-4398-A7AD-2B91FAA1373E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7643e7ccbd4df3b187f07324b5b12365e4162fe4","datavalue":{"value":"7826992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536119$A723A81E-7D0D-4C6B-844B-D788C53A98FE","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":"Q6536119$FBD91432-80D2-4DFB-B938-E4F76EF90FC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b808a0263a217eb22b56bd5a5eba20b61f29bd2","datavalue":{"value":{"entity-type":"item","numeric-id":6109961,"id":"Q6109961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536119$05AEE746-EC22-4870-A12A-AB06E8174F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f03d6bb58e3a416d34a4be7d8207cbcb89f3fcc","datavalue":{"value":{"entity-type":"item","numeric-id":5872646,"id":"Q5872646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536119$D103B89C-7722-4874-BB19-477E7B77A6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5fdb1c8d02902e328f5579e1024445a9ab1ffaf","datavalue":{"value":{"entity-type":"item","numeric-id":2090133,"id":"Q2090133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536119$278DF182-9F0C-4FB4-B99A-562F855E378C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e37db2eef3f9b1d261585b732fcd8910d7ba79","datavalue":{"value":{"entity-type":"item","numeric-id":6130524,"id":"Q6130524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536119$373E0CE0-31E5-482F-802F-2DE1912753E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25e09fec5d336d41c3a34de2171a3b627f63c544","datavalue":{"value":{"entity-type":"item","numeric-id":1273392,"id":"Q1273392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536119$4AE84055-93E4-4969-993D-01B8C18273CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e890c071a9f14afbef6e9775a26dd852b988075","datavalue":{"value":{"entity-type":"item","numeric-id":5875423,"id":"Q5875423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536119$8BEE3304-2C07-4219-B378-7DC38E7AAFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a844a2dfa58457028475ab8213c7e00c151dfb","datavalue":{"value":{"entity-type":"item","numeric-id":509700,"id":"Q509700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536119$5A813D19-11FA-4334-89A1-B1BDC2929F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd50e97f8f35c3e01abead2e13c5db6ac8cb3ec","datavalue":{"value":{"entity-type":"item","numeric-id":2058618,"id":"Q2058618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536119$F82AFD62-3125-4328-B6C4-10C155ABC8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fac8018d67440c6289d41ba6a99a91f9d3e2025","datavalue":{"value":{"entity-type":"item","numeric-id":2494223,"id":"Q2494223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536119$C6E75BB6-AA09-415E-975B-924AFC57FE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af80a122d294a5c218d4e41a85a5062397ac36f4","datavalue":{"value":{"entity-type":"item","numeric-id":2803247,"id":"Q2803247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536119$D3154689-8413-474F-BC3E-8FB67FF3D6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53ad99db7125df6f42cdd5f2bbeb55da8ee979f9","datavalue":{"value":{"entity-type":"item","numeric-id":5003186,"id":"Q5003186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536119$225EF0A6-9B79-4202-B5C9-718208185E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b4a2e778758f9fcc317ad691c55aa58b279734","datavalue":{"value":{"entity-type":"item","numeric-id":4585878,"id":"Q4585878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536119$FE9B615E-3BBC-4967-95BB-C7C1F784E1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e93e18d7d7ce1cd7dc4a72f9b550d3723ab5f492","datavalue":{"value":{"entity-type":"item","numeric-id":6022110,"id":"Q6022110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536119$385F749C-8B39-465E-95ED-8F080466C83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ff40dcc28cde3420aed66b4b44db3d54702e56","datavalue":{"value":{"entity-type":"item","numeric-id":2904699,"id":"Q2904699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536119$20A147C4-757C-45D2-A64D-9DC52C49ADBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018b714c1213b3a8f95bd8e14ce37c4444ca93c0","datavalue":{"value":{"entity-type":"item","numeric-id":5094470,"id":"Q5094470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536119$FCA966B8-FA88-455B-8411-15668DD79B22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4349006b4a148834cd2990c9820fce7a58d8d5a3","datavalue":{"value":"10.1090/BULL/1833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536119$8E781BA8-7B2F-434C-8A61-720166436591","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30c338b15471376e69c1a9415f436ed234c90c2","datavalue":{"value":{"entity-type":"item","numeric-id":2055841,"id":"Q2055841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f2431fbdee39e9c6e829ac84a3706488486197","datavalue":{"value":{"amount":"+0.7808413505554199","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":"Q6536119$9C43149C-3DAE-4699-BB7C-313E69E12B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c615044c32158c5d8381a2646bfdba3029b8e1b","datavalue":{"value":{"entity-type":"item","numeric-id":6123991,"id":"Q6123991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab5e434ee1498f8b130fb3b9a135dba9c101e685","datavalue":{"value":{"amount":"+0.7686713337898254","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":"Q6536119$F9F04C47-BD25-4FD9-9229-E0CC9205EB4C","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":"07916dbc1c13b6d8020f1f4bea06f3343688e8bd","datavalue":{"value":{"amount":"+0.7409953474998474","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":"Q6536119$FA9AB7EC-2DBA-4A86-B0B3-9DB55621E025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce05bb1fd459e915222ffd11d222df4c8e95d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3327746,"id":"Q3327746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06d2b7a65c886662be3a57ba390913b4f467a0eb","datavalue":{"value":{"amount":"+0.7397065758705139","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":"Q6536119$F4AD7A93-C60E-4C25-9B8E-1DEFF3F198F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fee9a4c0d2e087c2c3da4431f2da02e11f5bb43","datavalue":{"value":{"entity-type":"item","numeric-id":4373335,"id":"Q4373335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b66e734c6eb4ebad568f3988485811d5ae1a19","datavalue":{"value":{"amount":"+0.7365137338638306","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":"Q6536119$5EB24045-D284-4019-BEBE-99CD666A0B44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical reasoning and the computer","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_reasoning_and_the_computer"}}}}}