{"entities":{"Q5094535":{"pageid":7124111,"ns":120,"title":"Item:Q5094535","lastrevid":94310645,"modified":"2026-06-05T06:29:13Z","type":"item","id":"Q5094535","labels":{"en":{"language":"en","value":"Euclid after Computer Proof-Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7566943"}},"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":"Q5094535$C8B1995F-C619-43B2-AA9F-35643C422061","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db7b1176311d4949ee4f22d323833c63d3c557cc","datavalue":{"value":{"text":"Euclid after Computer Proof-Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5094535$016752A5-7111-4FF5-91EB-FFDB019A4AB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47d6c54ddd4d5b82647fe87836f73392af5f6632","datavalue":{"value":"10.1080/00029890.2022.2069985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094535$BAEC7BB7-2F2A-4299-B7DF-78C8196F0F54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb96b4ac991d1c9fabb6ef3d281db52e4eb2e155","datavalue":{"value":{"entity-type":"item","numeric-id":93751,"id":"Q93751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$C9E90F03-F377-4934-9361-9E01DBE54289","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa016bb6723a582b7104f77969047fbd7302b4b2","datavalue":{"value":{"time":"+2022-08-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":"Q5094535$D7FEBA56-7E85-40CD-91DF-DCA8A64C9A50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72962143c32c5d74a374bf0c08ddf5e66fe78135","datavalue":{"value":"https://arxiv.org/abs/2103.09623","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094535$6CEAF9B4-49D0-4C2A-A788-3D445B9E9515","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33f385b1d210bd01cec38c387318069604e5ba7b","datavalue":{"value":"03A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094535$A5641788-64F4-4950-9959-67E3C32869C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0166df3f2ef85a87e85fad615c3f5cc3979e4161","datavalue":{"value":"51M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094535$2E6C6EB2-DDD3-461F-BC6C-31816E8CCB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"473a4e3037d3bf0fb4633c4c3d55d703a11f6a74","datavalue":{"value":"51-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094535$5CEECAEF-132F-41AD-A94B-DFAF424D4BAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"452aa40bda733602744291d84fb4970689e568d1","datavalue":{"value":"7566943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094535$A7498601-9E3D-4661-91ED-B00A2328506B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aca09d64b83413583793ec7798a6c3fedb879179","datavalue":{"value":"Q113853655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094535$A454E115-9C1E-4AB4-B920-7E3EFF422BE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce2cc6380726fb10d79b2328ed8cc6bcf2ac9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1224088,"id":"Q1224088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$329C0136-F03C-40A1-9965-AE4CE617F52D","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":"Q5094535$494D94E5-813D-4AB6-9A42-67B0D26DECD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb9bf12e4d12421ef18f83d7939f754eceea0819","datavalue":{"value":"W3137909112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094535$3A348D47-BAAE-4653-A073-B5268AEF75AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"686d8c1af79a48830313f258a972641c870a4f2f","datavalue":{"value":{"entity-type":"item","numeric-id":2631965,"id":"Q2631965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$6707D10D-2A68-4701-B364-C35C03890C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38383be6544c4bbb966b4913b30ffc7a974185f7","datavalue":{"value":{"entity-type":"item","numeric-id":2362499,"id":"Q2362499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$F4D8972C-C78A-4CE7-88E5-4AA933124916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1e5464af3f53ea11d699a3d8093be293f6dfabd","datavalue":{"value":{"entity-type":"item","numeric-id":1640646,"id":"Q1640646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$18BB7488-3E82-43E8-97EF-79F2169CC5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2d52bb81737c531e4b9955919288175749019e","datavalue":{"value":{"entity-type":"item","numeric-id":1725841,"id":"Q1725841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$2BBB9909-F2F2-406C-842B-98E73E71A940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce2a72a0fc3795c683b3cb0e52daf0929c09301","datavalue":{"value":{"entity-type":"item","numeric-id":2362204,"id":"Q2362204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$D304DF49-5741-4DF2-A41E-795CA9CDEEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8be7b256e0e471d34f000fb0741c096f2b34ab","datavalue":{"value":{"entity-type":"item","numeric-id":343827,"id":"Q343827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$FB73F3C1-A665-49BA-A25B-6B669705103A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c70a39d9e68b2714359be12116892eb07f94b10","datavalue":{"value":{"entity-type":"item","numeric-id":3297219,"id":"Q3297219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$0A278ED5-4A2D-46D3-9FAC-826C6746CA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6681f36b726a7445d538b08e15c06deb16569a","datavalue":{"value":{"entity-type":"item","numeric-id":2152377,"id":"Q2152377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$39CCF454-5170-4D24-A1DE-46D6B5A34048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34070298881ffe0d4f53738836dad999109b0f75","datavalue":{"value":{"entity-type":"item","numeric-id":3234138,"id":"Q3234138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$DD68C088-B68C-48E5-BB67-D81094504BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c3619e54d23805be501ac56b166e67b0585f38","datavalue":{"value":{"entity-type":"item","numeric-id":5507983,"id":"Q5507983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$94F02C09-DEFA-42BC-B812-0DF0152328A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0528fd5ec6b4cfdb33449de9a7aba36f94d9a260","datavalue":{"value":{"entity-type":"item","numeric-id":4485800,"id":"Q4485800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$D5992303-4C08-4D88-AD86-84841BF29E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ff90865c14a195cc1114ae57dc84bca8bcb30b","datavalue":{"value":{"entity-type":"item","numeric-id":3270252,"id":"Q3270252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$1CB0B701-3A68-4BD4-B169-3172B7046AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa9e3b995072ea53e119ea22b3a2416ce276ae5","datavalue":{"value":{"entity-type":"item","numeric-id":5636801,"id":"Q5636801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$2878584A-EF80-49BF-96DF-168698DD177E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a59397d9b4b8b00f530eca7213864f3d63210dc","datavalue":{"value":{"entity-type":"item","numeric-id":5582816,"id":"Q5582816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$9EE98857-924C-4F73-93D2-1F01FDBEE639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcedebb23582f9ea1659a09be058d350bd0492f","datavalue":{"value":{"entity-type":"item","numeric-id":4189244,"id":"Q4189244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$DD23E0F0-877A-4913-9673-BFD759869F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19660e62178d070f5602df5aa8bf489bf730f81","datavalue":{"value":{"entity-type":"item","numeric-id":2449335,"id":"Q2449335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$A787C36D-21DA-49D9-9C2D-128E0344D524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8549a72adcf761e26ac06f668c8502d7f581da97","datavalue":{"value":{"entity-type":"item","numeric-id":3678266,"id":"Q3678266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$285BD186-75B1-4C9C-A04B-170855099B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f254dc699e6de64f13b43289ed906972df020661","datavalue":{"value":{"entity-type":"item","numeric-id":1210545,"id":"Q1210545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$30D2F575-BC79-4963-8DF3-D2E2C5F62D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43144c4a0a56b8fe6b196541305aec6c39695ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4262603,"id":"Q4262603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094535$ECFA7AD2-358E-4304-9A93-3A4946398116","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f662783a08010d6bb99cca67b233b891a4515bf2","datavalue":{"value":{"entity-type":"item","numeric-id":2631965,"id":"Q2631965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603e28cf2fd2113133482e6d638fe8eaafff13d5","datavalue":{"value":{"amount":"+0.8241226673126221","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":"Q5094535$E2639D29-1ABC-4751-B05A-9ECB54DFE90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6cc4e28fe1118af69cd2e83a0e77012518858c0","datavalue":{"value":{"entity-type":"item","numeric-id":3126575,"id":"Q3126575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14ad183381cbc853d25712f93eb404e517c36d9","datavalue":{"value":{"amount":"+0.7508987188339233","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":"Q5094535$F700432E-E08A-45B5-A0A0-483FC694A169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3867877e19132b6614a550e5c6c32a2f2edfc26b","datavalue":{"value":{"entity-type":"item","numeric-id":4257165,"id":"Q4257165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5fd48646d76f877c7c5677774757d6b14d5fa4b","datavalue":{"value":{"amount":"+0.7352980375289917","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":"Q5094535$ED0DA220-0669-4CAA-B2E9-4EC065823A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea256b8d74ac16ab85fe3ac5985db0c56b618e4a","datavalue":{"value":{"entity-type":"item","numeric-id":3741597,"id":"Q3741597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0fad6a8cbb9647285cec8f6ea8ddf3e0fb609bf","datavalue":{"value":{"amount":"+0.72955322265625","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":"Q5094535$AE0693F5-4E53-4A4D-8D57-DD6DEE593377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5584616e52613746b3f34c8ef08a131df5fc223c","datavalue":{"value":{"entity-type":"item","numeric-id":5387922,"id":"Q5387922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7caa436e25e5ac3ac245b4aacba465dcbc46b463","datavalue":{"value":{"amount":"+0.7278019189834595","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":"Q5094535$41B96B00-9C49-4891-A708-07D73BB824C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Euclid after Computer Proof-Checking","badges":[]}}}}}