{"entities":{"Q4993280":{"pageid":7022857,"ns":120,"title":"Item:Q4993280","lastrevid":91074965,"modified":"2026-06-04T22:11:32Z","type":"item","id":"Q4993280","labels":{"en":{"language":"en","value":"Pseudo-deterministic proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7359354"}},"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":"Q4993280$3BE7ACB3-FFE5-4775-A053-55B420191A53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bad6579a5d8a8585b7241d42db955d31da279d81","datavalue":{"value":"1462.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993280$4474A541-B9DA-4E8A-928C-F12D7C5571A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d9845fab6a613eb097b0f8760f64dd0f705dcb7","datavalue":{"value":{"entity-type":"item","numeric-id":2119093,"id":"Q2119093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$82486540-C244-45E0-87E5-52215EC239A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24c2b679107a1d1ea5d0cd7d81d0b089214242c7","datavalue":{"value":{"entity-type":"item","numeric-id":2410682,"id":"Q2410682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$101DD115-9640-4301-8C01-5CC80EB04687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46a19aabcc7af8f26d97e8183ee72dbc292f645f","datavalue":{"value":{"entity-type":"item","numeric-id":6480587,"id":"Q6480587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$0DE33905-7789-43A4-8EBD-FD0108C4702F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19226134edc7102663c447aa756e808a7a8d2948","datavalue":{"value":{"time":"+2021-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4993280$063BDA32-0391-404E-96AC-1053E6789704","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5469d2ebf3a2bd27115d8e186b907349f2c13e1c","datavalue":{"value":"https://arxiv.org/abs/1706.04641","type":"string"},"datatype":"url"},"type":"statement","id":"Q4993280$5BF4A1ED-2A8C-4B21-B11E-7AF95F6082B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993280$D126B941-BC40-4A0E-8F50-F808D7BE9269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993280$782569C3-5E21-4CE6-9E72-32DE64F0961F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993280$B029A055-A7A3-4A20-8E35-FA4F7C8778AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993280$2F029828-C560-4023-B11F-59D49824D078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993280$BB237BD2-892D-415C-B6F6-8860A29B8922","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2610dd15525c7d336c493a042a16bc0997760b92","datavalue":{"value":"7359354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993280$3395098A-3BBD-4D09-85CD-E77400D1167D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93438a567ec56567f521313a0fe17729d9752937","datavalue":{"value":"pseudo-deterministic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993280$0EA2C198-333A-4D01-90C4-F11E4A128702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8428c3fa111c0542ed22960ce5dd7f76f7043e0","datavalue":{"value":"interactive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993280$28858921-0912-4FCA-9593-6F1DE2404084","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":"Q4993280$45639F88-4E99-4DBD-9051-666440E21C4B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdc5350a9e25be5363ac8a30af2293343f7dd2b","datavalue":{"value":{"entity-type":"item","numeric-id":3546284,"id":"Q3546284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$DAB06DF3-AE2E-45AB-9C67-4C584E7366B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651595b6045c6157b9e1cb45dd17869413d65f08","datavalue":{"value":{"entity-type":"item","numeric-id":1775885,"id":"Q1775885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$BE776A1C-1EEC-4358-9C52-86E08AF61B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eae3b5669d15dccd78f39103441d167c22cbc44","datavalue":{"value":{"entity-type":"item","numeric-id":759098,"id":"Q759098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$A0F164CE-8D44-48A3-8621-407B5DCD429A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b9934e4330ebc62619a24483f8517d80241bf9","datavalue":{"value":{"entity-type":"item","numeric-id":1273742,"id":"Q1273742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$0B1077F1-7FF2-4B14-AB6A-12788D4A398C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e5570fa429d84ec4d5b08106a0a8249f8fecce","datavalue":{"value":{"entity-type":"item","numeric-id":2986864,"id":"Q2986864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$89C898DA-54A3-4AD9-BC55-DD4AF7EC1146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4c62e6619c90e64a6184568783067da56015e6","datavalue":{"value":{"entity-type":"item","numeric-id":4302852,"id":"Q4302852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$00F70540-75D8-4FC4-A0B1-406C9CFDE863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa96b7c0ec9bc7a683e7636e258c3fded01e42","datavalue":{"value":{"entity-type":"item","numeric-id":3787917,"id":"Q3787917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$BE09DF61-B117-4347-A7E2-52EA3684B401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066c38b3033a044ab93ef2a334247a303dfc1958","datavalue":{"value":{"entity-type":"item","numeric-id":2957899,"id":"Q2957899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$94A4383D-2BB8-4C81-90B7-CFFDBA68EE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"060af8f3e101d9cd6773c46ed2fc74ebc353bcf0","datavalue":{"value":{"entity-type":"item","numeric-id":4895826,"id":"Q4895826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$8C145DB5-F3BC-46E1-85F0-269BDEE39C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c767919e94a3332b8d198174b1921d5e4026fe","datavalue":{"value":{"entity-type":"item","numeric-id":3821586,"id":"Q3821586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$B1522D28-60CA-485A-AF30-57D0ACD4E564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1601fa351336c9b1b39e0d452ad761d903354e0","datavalue":{"value":{"entity-type":"item","numeric-id":1253098,"id":"Q1253098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$013991B4-37DB-4DD6-914A-043A84EF2264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8370a62220455086d6e5eaccb93619f2288af3","datavalue":{"value":{"entity-type":"item","numeric-id":4938667,"id":"Q4938667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$09D74BC0-4B13-47C8-9EBA-DD05C0BD991B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b409306bdf364930adcbf624496cede43048b2af","datavalue":{"value":{"entity-type":"item","numeric-id":1337458,"id":"Q1337458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$340ACE9F-440B-4DDE-A845-51189FD37706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc72d21d33f60485ee2ac0fdffc03aeaf1bc2370","datavalue":{"value":{"entity-type":"item","numeric-id":4978012,"id":"Q4978012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$ACEE6AF8-549F-4286-BF40-EFE92F240801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49619dec3350544886d04ab96358c814f5378a9b","datavalue":{"value":{"entity-type":"item","numeric-id":5361818,"id":"Q5361818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$2B2CB6FF-6A0D-42DC-ACD1-FFE0D854E325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d268b2809bbcd70c788c93a5e38330e04b05334","datavalue":{"value":{"entity-type":"item","numeric-id":4302793,"id":"Q4302793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$ADFBD4A6-E136-4ED8-B814-16992EACD90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186efa9cbcaad91d0d4ad1f36de56ca7d39bfe2e","datavalue":{"value":{"entity-type":"item","numeric-id":1099620,"id":"Q1099620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993280$FEF59B6E-8203-47CE-B9CC-0C0CAE108FC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"837391a89db37ad043414cc56a92a3387b6dd870","datavalue":{"value":"W2962853121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993280$2219404C-1A1E-4479-BDBC-E2C84E6C5899","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe8944743e49ae9f732ae6efe4718a2c4a9c3e80","datavalue":{"value":{"text":"Pseudo-deterministic Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4993280$36BBDA4E-63FA-4747-9E7C-29C56DE66F09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"449c284a55cf9b14f7ed06954ac2aac5d574693b","datavalue":{"value":"10.4230/LIPICS.ITCS.2018.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993280$4463A63A-00E1-47A3-8ADB-D4669991DDEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d02669fdf51b16e1d5ef7cfdab3e5eb16deaaaf","datavalue":{"value":{"entity-type":"item","numeric-id":4011253,"id":"Q4011253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56f27e8e3529fbcecae4f95a0a26ce534a0c721","datavalue":{"value":{"amount":"+0.7737546563148499","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":"Q4993280$711253C6-2B3A-477D-A8F5-B0B2BF7B896C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d51a44056561647607d5810925591d527483cb1","datavalue":{"value":{"entity-type":"item","numeric-id":5146838,"id":"Q5146838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56f27e8e3529fbcecae4f95a0a26ce534a0c721","datavalue":{"value":{"amount":"+0.7737546563148499","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":"Q4993280$4F0028E8-6C7A-4963-94CD-F1AD08ED1B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768d8db91f12246dee4ba08b4b704f41223f7dea","datavalue":{"value":{"entity-type":"item","numeric-id":4302793,"id":"Q4302793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de71ba014442267dc7e605e2f52e4421e4bb5535","datavalue":{"value":{"amount":"+0.7528775334358215","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":"Q4993280$1FC77AF8-8980-49B8-90E6-500B632560FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de1fad9f7dc233832495f08c71e05a3e37075c5","datavalue":{"value":{"entity-type":"item","numeric-id":2986864,"id":"Q2986864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688bd36e5eb16b6b6a8945c06c39f585a8d568f5","datavalue":{"value":{"amount":"+0.7485861778259277","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":"Q4993280$E3D4289E-1A45-42E6-AC4A-3A366B4DBFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b19d173d95d3c13cc5706d7ebdcb3ed100eb513","datavalue":{"value":{"entity-type":"item","numeric-id":4997311,"id":"Q4997311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d1cb22bade586bda0474e623c021db79a228b8","datavalue":{"value":{"amount":"+0.7452986836433411","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":"Q4993280$4B41186D-8EED-450F-A067-2E3070BED629","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pseudo-deterministic proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pseudo-deterministic_proofs"}}}}}