{"entities":{"Q372699":{"pageid":374466,"ns":120,"title":"Item:Q372699","lastrevid":61385685,"modified":"2026-04-10T23:01:57Z","type":"item","id":"Q372699","labels":{"en":{"language":"en","value":"On the role of formalization in computational mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6217248"}},"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":"Q372699$76B2FF62-34F2-45BC-86BD-32AB7E3FA84D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7f5f2083be326e8c3d383ad2fb348de81e89bb4","datavalue":{"value":{"text":"On the role of formalization in computational mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q372699$CC14EFB6-3242-45E0-9F06-037C763FFE07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26a8f131936fafb7c3f2db45bed0ce39ad3bd619","datavalue":{"value":"1274.68415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372699$F76178E8-8401-4687-809E-6A7D8942DD6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4f16ddc5cdb18d4f4fb3ee6d704d6609c3404ba","datavalue":{"value":{"entity-type":"item","numeric-id":223802,"id":"Q223802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372699$4652075A-E87D-4D50-A50A-659519FF931F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06bdca2898df413a78f8d2cdbb7311760f3e2760","datavalue":{"value":{"time":"+2013-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q372699$AD78BA8E-E218-4680-9658-2327B288F8C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a91194bc6e51b3d52e80038b6a41f13e79b4469","datavalue":{"value":"https://projecteuclid.org/euclid.bbms/1378314504","type":"string"},"datatype":"url"},"type":"statement","id":"Q372699$7EB55EFF-7C05-4D68-91FE-096261A337D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372699$384B47EE-8C0F-4C28-AA60-916884B3BDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a2c3a267d39cc0a240359433e7798b450888646","datavalue":{"value":"55-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372699$15C40391-804E-401B-B46A-FB90EAC31A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372699$ED1B621A-5C3D-4A9D-ACF2-50D4A721C37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e402ef99c8e0f5ecec9caa212271be1d3e4c4885","datavalue":{"value":"92C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372699$337D9896-7D4D-4B89-847E-AFC3F4A93E19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c30cb529f92c70fa0c012c2b2d31994161cce1c7","datavalue":{"value":"6217248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372699$96A18F23-1BA0-4A58-9CA7-A4FF23A1C324","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658126897c7f6bf3db78fea48b2876524c1d8c9e","datavalue":{"value":"formalization of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q372699$9C64DC64-BC53-4D23-94D4-2EE51CF14281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q372699$C47430A8-781E-41BE-8A67-41DD1C08DC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99edcf085d65da80623477299991b5a5d282b943","datavalue":{"value":"algebraic topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q372699$25EC323C-359D-4556-9740-EB05C7F6E5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q372699$3471DD56-A582-4ED3-9816-0383CDA5BA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f22114c5b1789f9edaaf2d0692b63d1cfe1178e9","datavalue":{"value":"biomedical imaging","type":"string"},"datatype":"string"},"type":"statement","id":"Q372699$754A5563-B6E8-4D07-97BE-84A33776E046","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2742bc74281e45d5f573cb9dc1b7a4db7f023f65","datavalue":{"value":{"entity-type":"item","numeric-id":1565829,"id":"Q1565829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372699$11F6BCED-B7CE-4770-9CAC-31227A4E0E2E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372699$77DC4EA6-942A-409E-9F69-D814434BF5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372699$B5FFF34B-79EE-4D25-8B31-E10C600CC20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372699$89B0B84C-3540-4B82-ABD9-6CBBBD3DD183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372699$A86D4CB7-1235-4CA4-8428-FD4C0335DB95","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":"Q372699$1243A857-F3B5-41C8-AB48-D374EA967964","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4af1f9318484167a2c6f128780501e62e5c42dc","datavalue":{"value":{"entity-type":"item","numeric-id":2946715,"id":"Q2946715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941a71f923a8186d9ec27070160468cb10ed69f5","datavalue":{"value":{"amount":"+0.7913685441017151","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":"Q372699$D7A5863C-68D1-477D-A663-8CAB7E0C4461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8dd60d8ffa429e9574b03af9bed59b69a12dd50","datavalue":{"value":{"entity-type":"item","numeric-id":5200106,"id":"Q5200106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba03050dbb14a38bb1768f04046421d0b6ae68ec","datavalue":{"value":{"amount":"+0.7666329145431519","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":"Q372699$44622528-E7CE-4A74-92E2-E19C672B2A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a057d646087c1a86968ef69c61f7db8a49a696f","datavalue":{"value":{"entity-type":"item","numeric-id":3088007,"id":"Q3088007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d02a8c9537c592571eda490f7df694ab7d84966b","datavalue":{"value":{"amount":"+0.764930009841919","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":"Q372699$98957D00-5DE5-42EC-B2E4-D0E7BC5E502A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc95125793835122b30d40276e58f8413d89e64","datavalue":{"value":{"entity-type":"item","numeric-id":3062059,"id":"Q3062059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b49cfd0980416edcccbac6f95cd964bbb25f01e4","datavalue":{"value":{"amount":"+0.7630242109298706","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":"Q372699$B9FE8315-4B57-4C4B-A8CE-8EE96B12FBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7725344fd806c8bb0e8ce86201602686f3ebbe9","datavalue":{"value":{"entity-type":"item","numeric-id":2879252,"id":"Q2879252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9de137777b41b3a569642332a52842d21099d62","datavalue":{"value":{"amount":"+0.7466806769371033","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":"Q372699$6A2E6705-C83B-4445-8359-7FFAF3A30385","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the role of formalization in computational mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_role_of_formalization_in_computational_mathematics"}}}}}