{"entities":{"Q5301849":{"pageid":7331423,"ns":120,"title":"Item:Q5301849","lastrevid":40742114,"modified":"2025-04-04T13:17:09Z","type":"item","id":"Q5301849","labels":{"en":{"language":"en","value":"The challenge of computer mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5494544"}},"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":"Q5301849$CCB2B64F-5225-4981-8C01-7BC11C0024F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db12cd47a4b7e01c33496fcb2b38ba34c8bf00d8","datavalue":{"value":{"text":"The challenge of computer mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5301849$CE79A485-94D9-488E-A798-81BE0E3BA14F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09eec7c1fdf4ffe64529df25dbb6ad8c9773b679","datavalue":{"value":"1152.03304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301849$510035C7-3B30-40B3-BA0F-8D4048E834FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c24cc198e7b26916e61ffb256f7b2af313e3e7ee","datavalue":{"value":{"entity-type":"item","numeric-id":865657,"id":"Q865657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$C5CB5C3D-EF68-4AC3-BC39-ADC306AD842A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$D91033FF-F7B5-4A7A-B459-5B2E27D8547F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a13ffa206096651a7eda5901a1abc51007a10be2","datavalue":{"value":{"entity-type":"item","numeric-id":144519,"id":"Q144519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$0C9BA380-69F1-44F6-A857-BB3CEECAEF6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17b2bc7aa69b4c70169eb342174f791402649e1a","datavalue":{"value":{"time":"+2009-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5301849$0FDB032D-7D45-445C-B069-DD9B563D88FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301849$99907A93-80E9-4535-869E-476C3F4C1184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301849$8521B4D9-C966-464F-9808-14B0469DF311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301849$D27F08C0-E813-4987-AAB4-5B9B1702F4AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"182bf61c8d0af0c9d59d7bf70916467b5d2769d1","datavalue":{"value":"5494544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301849$B762FDB5-78AC-491C-AE43-B36720A67597","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da7186eeb0b943bb9139c862d5e2f7430658b2c4","datavalue":{"value":"computer mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301849$3AB2E520-0448-479F-BAF4-4FCDFD189DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7cae9f945bdc0c3d1188da4b7d67e4a25043466","datavalue":{"value":"formalized proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301849$C57AA3DE-D39B-496A-97C2-E7899AA49634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a614927b0caf638748bb51c0de92c1b49104311","datavalue":{"value":"proof checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301849$A04062AF-266B-4659-B132-C5CA8F94C642","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$45EA0F8C-DA54-41B3-99E6-9B7EAB23187C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$05F99A45-CAF5-4573-913F-0C3E075FACD1","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":"Q5301849$23256D73-E931-4E3E-BD0D-D19919757786","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b29bf076b15af9ceefea9a629e70b70dfd17c21","datavalue":{"value":"https://doi.org/10.1098/rsta.2005.1650","type":"string"},"datatype":"url"},"type":"statement","id":"Q5301849$151F413F-E630-42E8-99FC-5D8353B75EDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5030e45556d49bb61365f03f84683e4c58cdce80","datavalue":{"value":"W2140583545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301849$855D0B20-8CAD-47F2-BDA3-B3AEDDCFA16F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5a28dff66f5ff2516bf1a7b20ceda8500d2c59c0","datavalue":{"value":"Q33224075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301849$8E491E47-FBBE-4E07-82B1-1995516C2FCF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86187cd049bd6565ddbc4e21f37dc55f378bee76","datavalue":{"value":{"entity-type":"item","numeric-id":1250223,"id":"Q1250223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$034D7420-9310-4DBD-A3AA-50470A5530C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c1d3aa74c5daf972bdae3b19562bb0ca745078","datavalue":{"value":{"entity-type":"item","numeric-id":4826724,"id":"Q4826724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$6DC7517C-32ED-4A9C-A8B0-213C8764D11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076a838bd0092606d2a19431691467a449edab0b","datavalue":{"value":{"entity-type":"item","numeric-id":2751370,"id":"Q2751370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$5231B092-09A6-4901-B252-8FCA8D173A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0b2ea98f51ca5e885b48eab0dbd0cc88c72ee7","datavalue":{"value":{"entity-type":"item","numeric-id":4246942,"id":"Q4246942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$C426B8C9-AD2B-4A95-B805-F1723F161C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$EDE4DDC4-F88E-40B0-81B6-A386A6D5B9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6638576146949e050869fbd017d1f5e9c8d5e17b","datavalue":{"value":{"entity-type":"item","numeric-id":4377762,"id":"Q4377762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$32F27AD1-7DE5-4EF4-B7E0-4F8FC97CFC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$7141DD3B-9427-426C-884F-F0B4D006F1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9873d52a879d61ea5f503e865184e86a80201d","datavalue":{"value":{"entity-type":"item","numeric-id":4237309,"id":"Q4237309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$28A74349-6B81-4097-9B3D-C0D910E74D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b4619cd90eab2ee99da46e38d86e9871623db6","datavalue":{"value":{"entity-type":"item","numeric-id":4736392,"id":"Q4736392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$F4E23519-A013-41C7-A903-D13ECCDC1081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5518e34b7536a8c7a1cf5bc9d876c46982dedff3","datavalue":{"value":{"entity-type":"item","numeric-id":2645327,"id":"Q2645327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$5F1DD4FD-78E8-4B69-98F4-119BC8E9672E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3589abe08309ee0c80b87d4a4fa6a10bf824c734","datavalue":{"value":{"entity-type":"item","numeric-id":1235011,"id":"Q1235011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$F7BB6ABB-AB70-4A77-A361-5F1B8138ED62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52218760a1f331c8d9a1beaa326f86584a33947d","datavalue":{"value":{"entity-type":"item","numeric-id":4340879,"id":"Q4340879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$23A1F6BE-623F-4F68-AAB9-1321339E0311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ce408a109a0f787c113b8dd93aa6eed7ab084c","datavalue":{"value":{"entity-type":"item","numeric-id":1250224,"id":"Q1250224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$E2BEEB19-59F6-4849-932D-ABD3852B9701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37b23b7db99d33ba41b8c893bcac4aca2de8fdd","datavalue":{"value":{"entity-type":"item","numeric-id":4870018,"id":"Q4870018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$4171857D-F810-4ECC-8A61-29CEB3FBD1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32137845c073e84e544eba4c17c52212773e889","datavalue":{"value":{"entity-type":"item","numeric-id":5957856,"id":"Q5957856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$15DC65D6-4F65-4D63-B888-EB1557722D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87660c9c5fdc45e0d7335aa6496613f4289eb45a","datavalue":{"value":{"entity-type":"item","numeric-id":4391214,"id":"Q4391214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$C2FA69DC-CA2B-493E-B5E2-924530368F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$D8F25012-973C-4E2E-AEFA-D9FAC255E598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f2503feeec7eab5bebfae2eefbab2a7d275b1f6","datavalue":{"value":{"entity-type":"item","numeric-id":5712318,"id":"Q5712318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301849$D92F29D2-60EE-4CD8-8DCD-027C21A0FA66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2914dc020d107005d256b0e3775b2355b1bcf09b","datavalue":{"value":"10.1098/RSTA.2005.1650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301849$05B3A8B9-F337-40CC-9EB7-CA33A3F21695","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41c7dc6b87203986b8ecb63da20c3c41f358f57","datavalue":{"value":{"entity-type":"item","numeric-id":4267850,"id":"Q4267850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8fecb1018e5af7a32145f60fd3501f7f15d3e2c","datavalue":{"value":{"amount":"+0.90356994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5301849$036FCADB-7140-4762-9BE5-977E7830C014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f47695ca974927f663cbc09a796dffdab0c663c7","datavalue":{"value":{"entity-type":"item","numeric-id":4326012,"id":"Q4326012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240cbc71a5c89e2a5289e1dd6337230e9c865e22","datavalue":{"value":{"amount":"+0.8980651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5301849$3879DC74-FD2C-4394-B03B-7CA6F97C70D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e342774053fe58b2fd41311bd23ae7baf479c316","datavalue":{"value":{"entity-type":"item","numeric-id":5482446,"id":"Q5482446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d596dd077fb9fc98aad65be5b93c6a98cac65385","datavalue":{"value":{"amount":"+0.88806957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5301849$5F2E055C-754A-4A82-9488-44BE9327149E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3abe0c5f71f1438c8d4475c2f686420833e45ab1","datavalue":{"value":{"entity-type":"item","numeric-id":4108261,"id":"Q4108261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294de61cb67185e9b8f70c824000fad8f3cda9a3","datavalue":{"value":{"amount":"+0.88015103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5301849$A3C56639-D1F0-45CC-8F75-403D9852D186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a01915be802500f6f2d6d6de058264ebcb169d15","datavalue":{"value":{"entity-type":"item","numeric-id":5551392,"id":"Q5551392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba01345cac2c74e99b57b2bab6660671c7cf4cdb","datavalue":{"value":{"amount":"+0.8746126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5301849$B416102C-312D-4088-A66F-97ED40D7B67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"588dd0885cce3511903bb33ec04aa1ceeac0a904","datavalue":{"value":{"entity-type":"item","numeric-id":1323030,"id":"Q1323030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a8a436783b76ad90377bc4026dc2a35538585c","datavalue":{"value":{"amount":"+0.87443966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5301849$B3594AC7-D757-40CC-A230-96B566538499","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5301849","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5301849"}}}}}