{"entities":{"Q2031555":{"pageid":2042297,"ns":120,"title":"Item:Q2031555","lastrevid":57604344,"modified":"2026-03-31T14:20:19Z","type":"item","id":"Q2031555","labels":{"en":{"language":"en","value":"Construction of the circle in \\textit{UniMath}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7357172"}},"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":"Q2031555$F707B590-B173-4D70-AD3B-067827FFBB26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32f1c0a384c4d9df65a6037548563f3d3756947b","datavalue":{"value":{"text":"Construction of the circle in \\textit{UniMath}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2031555$A84CE707-C0D7-4007-A312-8E8EDDABA1FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$15CD8E9F-98E0-4256-9AF4-3EFF081E98AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e65812be4cd0be55e195a415cc5c72e9a1b4f46","datavalue":{"value":{"entity-type":"item","numeric-id":1687769,"id":"Q1687769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$01071C87-66FA-448F-AB2E-452D701C1EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43b4544311fb973a7cb4d8e240fb3213b84ed0c5","datavalue":{"value":{"entity-type":"item","numeric-id":638448,"id":"Q638448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$582B9D17-DAC7-47E9-A0BC-28BF2695157E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec988e4b31ab0b3fd008867fb1fbedfd6f4bff","datavalue":{"value":{"entity-type":"item","numeric-id":246332,"id":"Q246332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$674DE356-39EB-4C6A-A73F-4E2A87FAF6E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$F2647D6B-C2A7-44F1-B541-D7E3F5C52783","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77b5c623a3a71eb9e2cd375aecfe8a36962b32c7","datavalue":{"value":{"time":"+2021-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2031555$E372B4EF-5374-4544-B964-1753ABB42891","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7e326a5bbbbcd71b1fd7a4c89f87b9284511056","datavalue":{"value":"https://arxiv.org/abs/1910.01856","type":"string"},"datatype":"url"},"type":"statement","id":"Q2031555$A1F11C72-93B8-4440-A5AA-F9F981F968CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2031555$9E31A19C-2936-40D4-B291-A893762ED321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2031555$6BBA4255-D64E-4E4C-8A53-5CC7EC384A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2031555$A90926FD-A172-4708-AE64-1056612EA85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2031555$90D30482-03FF-4781-870C-95114721DDA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fca1b88231bc6a051ef5f431465355b4739fa36b","datavalue":{"value":"7357172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2031555$CBE01D1C-58DB-472C-9197-7115ED108BD9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b69ae52d53a05f3f4bf4d99cc0f83e03b73ae561","datavalue":{"value":{"entity-type":"item","numeric-id":27033,"id":"Q27033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$662C413C-29C9-43C5-871F-E8A974BB0CC8","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":"Q2031555$95B0437A-501C-4550-8F14-2214F86E4332","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59faaa007194732d951c848093b324debd79c4f9","datavalue":{"value":"W3144774570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2031555$78069C7F-6745-46FB-916A-2D94BE63310A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a573236682e315e594082a3049d10acaf129181","datavalue":{"value":{"entity-type":"item","numeric-id":5145328,"id":"Q5145328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$5CB987AE-10D4-415F-8660-CB0CB82B2E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"682723fdf614c4911b636596a46709b325769eb8","datavalue":{"value":{"entity-type":"item","numeric-id":5121795,"id":"Q5121795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$40BD8B2C-9713-4482-929C-232125B0869F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ebfdec21f1f4eef9e25ed177c9a08b306f38bd","datavalue":{"value":{"entity-type":"item","numeric-id":4958656,"id":"Q4958656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$4D537246-37DD-4CBD-A041-962A2DB3E3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$E2B83216-60C1-45C5-BB72-243B5CCE965D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d13fae8b0edd005619879264a500b259205b13","datavalue":{"value":{"entity-type":"item","numeric-id":5963045,"id":"Q5963045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$94B274B2-731B-4872-A9D6-100C32F29110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784f038b41cf6a95136e868957e992da42f29715","datavalue":{"value":{"entity-type":"item","numeric-id":2819787,"id":"Q2819787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$E1E109AF-75D9-4A4F-8044-B0D22BB9198C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$C08F6119-6F99-4CEB-BAC3-5618F4CB7719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca2cb867ab1553a559727464dc524aa0afdec68","datavalue":{"value":{"entity-type":"item","numeric-id":3456330,"id":"Q3456330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$C8A47EFB-E29E-4940-936C-FF3F0D584F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e485ca54022999efaa9af97b1c2145ea66763b","datavalue":{"value":{"entity-type":"item","numeric-id":2689172,"id":"Q2689172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$2E0A7BA6-AEE2-4E48-912E-C310B72F5ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d796e79a2b7a36b18df7c7ac75d995c9609f65","datavalue":{"value":{"entity-type":"item","numeric-id":2963470,"id":"Q2963470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$FD9C6759-EB78-4E99-A944-6D4B0FF3AE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4b32a8b22bb480ad3bef45e56300bbe474a11b","datavalue":{"value":{"entity-type":"item","numeric-id":2953831,"id":"Q2953831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$30DD298C-4C6D-4AC8-9FBE-055C2534609B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17cc1c219f5741890f6446d2fb52d021dd4b4a8f","datavalue":{"value":{"entity-type":"item","numeric-id":2990151,"id":"Q2990151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$D78F1475-DE7B-41F8-8547-D72739427504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d20f29d0b143bba56fe3edc44e52b85f42068da6","datavalue":{"value":{"entity-type":"item","numeric-id":2963471,"id":"Q2963471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$B01E22AA-E1AA-40FB-B01D-F7FC9B77828E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e51666dac7c022a25d947ac6d813e30c883f326","datavalue":{"value":"10.1016/J.JPAA.2021.106687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2031555$96FD3C5E-1F0E-4221-9857-9F471DBF5348","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf1b4217418240599a3e6e4e1f71dd9c63e2988","datavalue":{"value":{"entity-type":"item","numeric-id":627632,"id":"Q627632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c48db860e04099b453e5c41f09712b075686df","datavalue":{"value":{"amount":"+0.83489156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2031555$918E3977-A876-44BA-B9D7-C98A4D2075F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0872dceb48916b3e74ab53062ee0c2b1cedce716","datavalue":{"value":{"entity-type":"item","numeric-id":583977,"id":"Q583977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8908ba93cf2f0cd2e2f5c290e9ad3deaada0d9d8","datavalue":{"value":{"amount":"+0.8055023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2031555$B5FE8CC0-A4A7-4A7F-A7B5-AE9611CEC005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05861ea3252012fc376c448a7c35080b0371c08b","datavalue":{"value":{"entity-type":"item","numeric-id":2794627,"id":"Q2794627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd1222653f3d0f511d0c0010131616a5f8b69b40","datavalue":{"value":{"amount":"+0.78559357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2031555$620D3C4D-92AC-45FA-A8DD-F72CD78E44F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4edf18065a3081abe2b36d8130754e620fdf659","datavalue":{"value":{"entity-type":"item","numeric-id":3797796,"id":"Q3797796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af8b202f78325c41a51d6a36fa70eded337ef47","datavalue":{"value":{"amount":"+0.7834443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2031555$231B96EA-FF6A-444A-BAB8-9CA7D154AACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4b198a881f211be88c894cd0939a12a7a9e97dd","datavalue":{"value":{"entity-type":"item","numeric-id":4657334,"id":"Q4657334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b239fd5df6c159e2d68d565281af102937c5c937","datavalue":{"value":{"amount":"+0.7785551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2031555$73258342-F80D-498F-9BA2-BB660F22FB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fd89ce5431816887ddd10dc0907984d83a70127","datavalue":{"value":{"entity-type":"item","numeric-id":3728318,"id":"Q3728318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94ec41c214c5912a958a9484bc8af7b5bddcaf0","datavalue":{"value":{"amount":"+0.7763577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2031555$A9362BBD-57CD-4DA2-AE87-BCBC4B454BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c8cd028963c47d4b39b14c3064136c275dfb823","datavalue":{"value":{"entity-type":"item","numeric-id":1185168,"id":"Q1185168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f9f258d93c39ebf99daebd98d7cc543368a5d9","datavalue":{"value":{"amount":"+0.7759969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2031555$E2085621-5AD5-43F4-ABD3-D68440C1B856","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031555$A9137600-F854-41A1-98A6-4121020B9AB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2031555","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2031555"}}}}}