{"entities":{"Q2943393":{"pageid":2954113,"ns":120,"title":"Item:Q2943393","lastrevid":52343819,"modified":"2026-01-22T09:45:39Z","type":"item","id":"Q2943393","labels":{"en":{"language":"en","value":"Locally checkable proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481660"}},"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":"Q2943393$041F0FB1-12BF-4981-8268-545DA029FCC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f6c21a9ace2923c25d4e447c1c0852b4783489e","datavalue":{"value":{"text":"Locally checkable proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2943393$FAA525B5-8584-40EE-9E2B-08AAB579CD22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fa8b4d9471963466afd15c9a82ebe815a36de0a","datavalue":{"value":"1321.68465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943393$C08D3181-2751-46B1-8A6B-3DDAAC91EBA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f006241fc6f8ef415eb3fd8c07843ce405baccbf","datavalue":{"value":"10.1145/1993806.1993829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943393$3BF18585-BDE5-4C6F-990C-7B1C3ABC1B8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"207ffe16549c5b4389b28516e26cdf011222b0b3","datavalue":{"value":{"entity-type":"item","numeric-id":269490,"id":"Q269490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$075305A4-296C-4945-8A52-FE36B5ED1285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72eb7577da4ce2320e365d0abc7a6ec50e002098","datavalue":{"value":{"entity-type":"item","numeric-id":642984,"id":"Q642984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$C1340013-8C07-4043-9886-B466BF1A3467","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c141bb8f71a2940aafe66b12a204244d141fc37e","datavalue":{"value":{"entity-type":"item","numeric-id":2943376,"id":"Q2943376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$FB287ABF-1D0C-4EB1-B5E9-25DCCBD4C60F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2943393$AB1B4A6A-3203-4B64-A36A-6DB2B59457F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb494b75c981df1302eb4d4d2d82d87a100423d2","datavalue":{"value":"http://hdl.handle.net/10138/28213","type":"string"},"datatype":"url"},"type":"statement","id":"Q2943393$DDC7AB4F-8FA4-432D-A4BE-343F1436F7A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943393$8F14C412-08D2-45E7-AF70-1C5D937FFF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943393$2614EFDE-C558-4A4C-8F29-26AE1FFBF37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943393$E63B0909-B6A1-42DC-9635-876174212A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943393$194AC4EB-0D2C-4CCE-8E67-A6DCF8C32D20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2de2d0d3d2b75155fdc74fa76092af8f0bdb0944","datavalue":{"value":"6481660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943393$F8DC9B27-F3A6-4CE2-AE3C-D871189EDF82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2943393$B14259D3-34F6-4621-B386-103D75C5A8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e4048fb3bfeb12f1e8c632141b78129e67aee7a","datavalue":{"value":"graph properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2943393$47106B22-C8D7-4701-9927-E7B195D81BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44e399ffa4e03ea8bd4323d252e8b97259689a67","datavalue":{"value":"local algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2943393$F522E785-BAEB-464D-BC4D-A64CB7B0A968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc1a39c7eed62dae49db15e89adb4684cf553d9c","datavalue":{"value":"nondeterministic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2943393$5B7528DA-BCDD-4F93-8F2A-0F384F5017B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2943393$0FA310E8-5F79-4B0F-B152-9C5BB5155D4E","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":"Q2943393$04649B6C-A5BE-468B-B6CE-224793A8F49C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1adc655b22a2c6013a3e1c2cd9c3c9fd3f8c163","datavalue":{"value":"W2065963401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943393$724DA006-6A8A-4A09-9BEE-3BA48D40806A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d71138d88a70b6e76241f4c7e52fc7c8c917e03","datavalue":{"value":{"entity-type":"item","numeric-id":3521913,"id":"Q3521913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$8121EA02-0767-4700-AF1A-8E11D5A0D4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84923c081512bdf56693a89592b4247a851b9852","datavalue":{"value":{"entity-type":"item","numeric-id":757011,"id":"Q757011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$DCEC12AF-36C8-43DF-9CDD-72BDA007A4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372168f9c733014be9e9dadab8b5f4653de9da2c","datavalue":{"value":{"entity-type":"item","numeric-id":5170323,"id":"Q5170323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$E399CCD9-801D-48FD-86AF-BC70F9107D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5b23f5e2d2a1d346a944479d006470fbc8eeeec","datavalue":{"value":{"entity-type":"item","numeric-id":2934348,"id":"Q2934348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$C3514130-7B00-406C-87AB-E926AC42E861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e436318edd321d1de4c0fdde25e4d1f9dd1ddb","datavalue":{"value":{"entity-type":"item","numeric-id":1015809,"id":"Q1015809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$E7685FAC-5851-43D5-BC6C-D0B14F2C4C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88946bb9cc34ce60ae94fa7817f5ecb5c01f2f58","datavalue":{"value":{"entity-type":"item","numeric-id":4033834,"id":"Q4033834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$EC4D9814-CB7B-437C-88B5-B826067DB3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d566b0003c0d0ea68198590d16368997b1d7569","datavalue":{"value":{"entity-type":"item","numeric-id":918186,"id":"Q918186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$35633FD6-08CF-48C1-917F-8D22B0DC8C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50021150a45a020aceac83e02c4236a1baa586d0","datavalue":{"value":{"entity-type":"item","numeric-id":3823119,"id":"Q3823119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$A2F0903E-EFCF-43AD-AFB0-EDA73591BB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$B4A7F3E1-EA5D-4C3A-A108-883C30595DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e878dc8925b8054fd332a86349916b654f5f92","datavalue":{"value":{"entity-type":"item","numeric-id":3588315,"id":"Q3588315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$361310E6-F25B-4516-9EC6-0C4CD1887264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40cdefb7fe9a30f936e5a4cc7b342d62f104d121","datavalue":{"value":{"entity-type":"item","numeric-id":5458599,"id":"Q5458599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$A9F06E1E-7B16-4754-BB92-1A6C6D47342B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$9C3F2C9C-9D07-40D5-88CA-490C8F17F930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3887a22bfd4475c7910c390a0d1cdc736d16ccf4","datavalue":{"value":{"entity-type":"item","numeric-id":5176218,"id":"Q5176218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$90037D3B-DBA7-4DC5-925E-6DE55CA3660C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d545344e596b114996c791bedf5b4f07a8f7f968","datavalue":{"value":{"entity-type":"item","numeric-id":693764,"id":"Q693764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$CF57C638-F765-491A-A462-F155C9E55A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba105bfee0da41805502e1ad58485d8ab29b4438","datavalue":{"value":{"entity-type":"item","numeric-id":2875179,"id":"Q2875179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$6581A7A1-4021-4271-B1FC-6919A22A34A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97dafbf90b163782bba8e8442ce38e49af488d53","datavalue":{"value":{"entity-type":"item","numeric-id":1954252,"id":"Q1954252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$2DB23E0A-8D5F-43DA-9875-66EE5E1BA8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e102b856933837e3af89b0b579a4ca8f3827426a","datavalue":{"value":{"entity-type":"item","numeric-id":1104074,"id":"Q1104074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$40A4C701-54FA-4C2A-BF8C-60D4DA61EC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9155b2a89151bd7c3b2b0d60a86b5cb673950cd","datavalue":{"value":{"entity-type":"item","numeric-id":3873545,"id":"Q3873545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943393$527F6ACF-17AA-4A26-8E6C-14318F511030","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff6f7cf951be869b10c646d19d44130822a672f","datavalue":{"value":{"entity-type":"item","numeric-id":3179347,"id":"Q3179347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21c671f2db88c16e6090ddd0de63e7337ab82982","datavalue":{"value":{"amount":"+0.9793570041656494","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":"Q2943393$4660BD54-B9D7-4BA9-98B4-0D7AB0877BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7e2dd77d3fe093f86fc73eab2cbb22b868ded3b","datavalue":{"value":{"entity-type":"item","numeric-id":5090917,"id":"Q5090917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55b34c2dec819a0d2abd38670ca588650f6cd252","datavalue":{"value":{"amount":"+0.8054572343826294","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":"Q2943393$B4E74507-37FC-4A4B-9BB2-571B197EA9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd2622f4cee03edba91d7c8ba0abc769874579a","datavalue":{"value":{"entity-type":"item","numeric-id":2219059,"id":"Q2219059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"282423cb71fab7d80467f9514cc09de2dfb926be","datavalue":{"value":{"amount":"+0.7930788397789001","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":"Q2943393$26D175FB-350B-44D6-A2C0-C644D9695BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62dfa253553135a7fd431c051cce632f93213b8","datavalue":{"value":{"entity-type":"item","numeric-id":4598260,"id":"Q4598260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b35a4c5761de53ca9e3d9ffd3ed6ece6563055","datavalue":{"value":{"amount":"+0.790860652923584","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":"Q2943393$529BAA72-19FA-4B6E-9192-111C3AC2DAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ddc909d73054c5f4f1bd20bc4640510ad9a3858","datavalue":{"value":{"entity-type":"item","numeric-id":4862796,"id":"Q4862796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f404e52047b43d11be172a49fac69386f570fb17","datavalue":{"value":{"amount":"+0.784684956073761","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":"Q2943393$106684C2-F013-43BA-BB2D-4926943F2618","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2943393","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2943393"}}}}}