{"entities":{"Q1004056":{"pageid":1005904,"ns":120,"title":"Item:Q1004056","lastrevid":65985117,"modified":"2026-04-12T06:45:34Z","type":"item","id":"Q1004056","labels":{"en":{"language":"en","value":"Pict correctness revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522086"}},"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":"Q1004056$2B465F0B-2994-44E4-AE28-11A0146D1E93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4470c66053f4a2dd5efb3d1370f0420788df2fba","datavalue":{"value":{"text":"Pict correctness revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1004056$59138D9C-E3D3-413D-B254-C8512703CE23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f5f01a64d27a2deaba58aa645da2c06b2eb46da","datavalue":{"value":"1169.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004056$F3805F1D-C8EE-4FC5-ACF3-303D0A705FD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b983717cf371836e5401a601543c8479d22222cb","datavalue":{"value":{"entity-type":"item","numeric-id":930878,"id":"Q930878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$31596B82-4608-4F2D-8910-C2645B31C503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb8a2e87d09ba8c2d92e35d3978f2d996c4ab985","datavalue":{"value":{"entity-type":"item","numeric-id":598198,"id":"Q598198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$A1502B5C-EE41-48FB-B1BF-E9426C7B1BD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$4B831BE6-7B83-49B4-B183-06A415B185BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5283b5da341717bddcc5514d88caea6acf73b725","datavalue":{"value":{"time":"+2009-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1004056$B586BFAF-C363-49B8-8ACF-F76ECD83C82C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004056$24B44869-753A-4E3A-BA94-9477B47464C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004056$F3599ACC-D283-43DB-8C35-AA226BA03E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004056$CE85B3FD-4BA5-49F5-8353-D5B4FBC8E901","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdaef3fdb640e1f292be10f73a7f4c00f92df067","datavalue":{"value":"5522086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004056$9ED21396-628F-42EB-9713-2B3CBE0DCE85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004056$9D2D25EB-F9CF-4E46-905C-9A1A6C8326AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"854c00e8d24a55ad2ac54a90d02cefdf16b5ce4d","datavalue":{"value":"abstract machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004056$7F13BB44-868C-44B7-97A3-CE4B3F8860FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004056$43366B4E-3768-429B-BFA8-F1513BF2C329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b35b88f0d1b68f14f9635a5141844f3d1f96d2","datavalue":{"value":"Pict","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004056$158604FF-2869-4E37-BC76-5A99B62E9022","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"139f9ce8838aba574d1617e4abe2c26cb2f228e6","datavalue":{"value":{"entity-type":"item","numeric-id":20925,"id":"Q20925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$07EB770D-BEFE-4A89-8D70-0DF8806E6A46","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":"Q1004056$7630412C-6872-4590-999C-1FC4AD705612","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eef81fe013d9d3f363438e653469592edf67358e","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.09.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q1004056$36C32800-8086-4064-A41A-DD239D2EE09B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f74807760460e09ecc9183c8182314be3ae0db1","datavalue":{"value":"W1963784496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004056$4BB031D6-5801-4131-987A-C24FB0B556D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"113ba6b8d159c66f8d3665b3ca7b7c94d50e0092","datavalue":{"value":{"entity-type":"item","numeric-id":2852065,"id":"Q2852065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$24A7CC3F-6977-4B27-A7AA-1F4532D03F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a0b30fcfbf66ed216e5240290803033a09cedd","datavalue":{"value":{"entity-type":"item","numeric-id":3343420,"id":"Q3343420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$4F00C7C2-FB38-4D5F-A543-B480D2C8ED16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b556a5c9d5f6419fc1f1c57f2b7c33e76e94e520","datavalue":{"value":{"entity-type":"item","numeric-id":6104384,"id":"Q6104384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$79D4496F-EC35-47CF-B5B6-05BD5044ED5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050df2d24e28bacef25f04d7a8d40db1a2d35f0f","datavalue":{"value":{"entity-type":"item","numeric-id":4536436,"id":"Q4536436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$7133A709-B258-474A-A797-D42B8C57366B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d7f98b0a446ca83e69a5a6b06c45edb60c8a42","datavalue":{"value":{"entity-type":"item","numeric-id":4484502,"id":"Q4484502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$57BD4FD0-C85B-41AE-87E4-972A4D422619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cbef6bb1ec612b15e8497890a7f16de51bc6d6","datavalue":{"value":{"entity-type":"item","numeric-id":5756976,"id":"Q5756976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$F89ED0CC-618D-42CF-AF60-28631D9F6D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a391b43e8f07ac9ef605941f508fce0fdb7a9376","datavalue":{"value":{"entity-type":"item","numeric-id":2581541,"id":"Q2581541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$F3993EDA-855E-4B53-B426-3AECEC7C2A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a1deb32c3728f29f375feef5a9d0014c693fa63","datavalue":{"value":{"entity-type":"item","numeric-id":882488,"id":"Q882488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$15BA439D-6F38-4016-AF6A-959EB9970B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c34087679b8be9a79e599b75c8bfd76ccf1ac3","datavalue":{"value":{"entity-type":"item","numeric-id":2497143,"id":"Q2497143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$C8E5A916-B093-4AC1-B9D4-B5654F8B3A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$58A02AE1-0D16-4D37-A746-6D2C33CD69E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90299c14a68e76265cb2f1fd715311ad1cdacf85","datavalue":{"value":{"entity-type":"item","numeric-id":5308696,"id":"Q5308696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$68E684F5-413F-42F5-8066-C461A75E784C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$D2310757-CBDF-42DB-A630-4AAAC716BEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48f413f99c64c9591f0da46e8b48bfff537ea02","datavalue":{"value":{"entity-type":"item","numeric-id":6044131,"id":"Q6044131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$78C11475-DC02-479B-A26F-0F939611DD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83aff07159084ff4cc72479cdef41368d646789","datavalue":{"value":{"entity-type":"item","numeric-id":5178879,"id":"Q5178879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$F87A5BE2-946C-466E-8A7D-D530AE5080D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a9b187c0bc45cac9e8f62e6b1d9655c9a72046c","datavalue":{"value":{"entity-type":"item","numeric-id":4536373,"id":"Q4536373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004056$CCECC229-5BA2-4599-AC95-F6BFC915419E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e08d7de8f684a48ea01459a0c7b9b2d26861e01c","datavalue":{"value":"10.1016/J.TCS.2008.09.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004056$6B77D245-D62D-4F31-9453-1B054F576948","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1ef2f86f76365c1d846c0247cc9734093c6f54","datavalue":{"value":{"entity-type":"item","numeric-id":5428913,"id":"Q5428913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6245656762012696985847d33d89d6e694c883c6","datavalue":{"value":{"amount":"+1.000001311302185","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":"Q1004056$486C02C1-6095-4789-9890-37520964EF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"257c3bec4a2b164df61100069a6e3dc74c1e6fc7","datavalue":{"value":{"entity-type":"item","numeric-id":6044131,"id":"Q6044131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b94ef492746dc38a9e2ce3aa950e6ded3d1fc71","datavalue":{"value":{"amount":"+0.868436872959137","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":"Q1004056$30EA2425-BB77-4A8D-AC8B-F21213637DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de15efe60a5681af3a4dd5e23f2f0f6d3a5a690a","datavalue":{"value":{"entity-type":"item","numeric-id":2906943,"id":"Q2906943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a758cc528639fb5be2a08e99b90b23f40a11300","datavalue":{"value":{"amount":"+0.7427570819854736","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":"Q1004056$DB3D6178-9628-499F-8E65-34C6DB25E382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8285d9b8a2394b27be1a3eeacbf5e23e3d87d88","datavalue":{"value":{"entity-type":"item","numeric-id":2866341,"id":"Q2866341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9246bc40a5e311d9ace24ca02bd11c2350768dac","datavalue":{"value":{"amount":"+0.7246750593185425","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":"Q1004056$3B463AAA-8E4A-4757-848B-10596488BD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1ecb6054843b0f539cfdf6f6863ba96ed7880d","datavalue":{"value":{"entity-type":"item","numeric-id":793508,"id":"Q793508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd6900f465442322d2c9ffba2e170d4f8761aec2","datavalue":{"value":{"amount":"+0.7144849896430969","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":"Q1004056$90873626-65C5-4068-9DFB-37878929BC43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pict correctness revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pict_correctness_revisited"}}}}}