{"entities":{"Q6629521":{"pageid":14240673,"ns":120,"title":"Item:Q6629521","lastrevid":57272436,"modified":"2026-03-27T18:56:07Z","type":"item","id":"Q6629521","labels":{"en":{"language":"en","value":"A resolution-based interactive proof system for UNSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7935762"}},"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":"Q6629521$27934CA0-21C3-411C-8C08-870BCCE36BAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"702810e7d9ddaa3c4fd5e6ed019f4dce65f670df","datavalue":{"value":{"text":"A resolution-based interactive proof system for UNSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6629521$FEC77448-40AB-4417-ABA9-ACB3068FF9E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e4fa59773b81f4897122c04f001218ef185e72a","datavalue":{"value":"10.1007/978-3-031-57231-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629521$B6AE3F5E-D4CD-4902-9EDC-1EBD26B7FFC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bed9a173331827402c240564924c81cb349a052","datavalue":{"value":{"entity-type":"item","numeric-id":2233401,"id":"Q2233401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629521$3939A7CF-2445-4329-B6B7-F26E86289E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629521$95C7FD8C-156C-42BE-826F-79CF53579F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf143e66147e89e2c73e4e47330a851fcce7f31e","datavalue":{"value":{"entity-type":"item","numeric-id":6629520,"id":"Q6629520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629521$60BCCEAF-7587-44BF-9357-408B7C8C2D98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fbcb7acea0df8945200a3d2551e2bc51375e32","datavalue":{"value":{"time":"+2024-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6629521$5D96AFF6-3200-4C61-8984-588CD71AF0E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629521$D72B7EB5-655E-41A4-A51E-8CA46CBC3BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629521$443B36E9-04DC-4603-ADED-3D71DE9F0E13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebc1ed5f400ae7b7fa4750037eae6b6738112286","datavalue":{"value":"7935762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629521$304F5596-674E-4B33-99E9-A5CB68774F6F","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":"Q6629521$8478541D-530C-44D7-943E-7CB567316920","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbbd10679bf2d321eb9db870479cc35412cbd39","datavalue":{"value":{"entity-type":"item","numeric-id":2104495,"id":"Q2104495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629521$91153C98-FEDA-4431-A8C5-10984B0F8326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5035ead90ebf2e92af4cb88fdfc91c7dfa88c06a","datavalue":{"value":{"entity-type":"item","numeric-id":920967,"id":"Q920967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629521$33F4ADF7-A33B-4773-AC96-07B4D044B333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e55f7b472c5d0d4dde737947dbcf2c30508d645","datavalue":{"value":{"entity-type":"item","numeric-id":6535701,"id":"Q6535701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629521$B08F5593-0ACF-4F5E-908D-4B80E1F57D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629521$D888F74A-00AC-48E7-8873-5E0F41D1EA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4feb58a2ab8f89621eb4513d36fed4a40d625b","datavalue":{"value":{"entity-type":"item","numeric-id":4365519,"id":"Q4365519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629521$90BF6E21-A0B7-4B35-AC25-AA8CD0DA7BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629521$19510881-0850-42C9-940A-AF769DBEFBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629521$F25DE8FF-4C6C-4FDE-8019-637B91222F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada1809381f98716513d6e2527d3dd471ebbf1ef","datavalue":{"value":{"entity-type":"item","numeric-id":4804923,"id":"Q4804923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629521$1B9B1FAB-8960-427D-B804-E2757BFC7CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d43182de98d159f0ebb543c5126e0ae385036ba","datavalue":{"value":{"entity-type":"item","numeric-id":1687744,"id":"Q1687744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629521$6D3E1414-500E-4CF9-B7DD-4F6BBC8EE32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b011ab831949ce741780553369025dd5b73c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629521$196FACC1-C155-423C-ACBF-2A61F887D1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bde4b025fbab0e314d967e2b84c5779cb3c464d","datavalue":{"value":{"entity-type":"item","numeric-id":4764348,"id":"Q4764348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629521$59AA9D40-2AF0-420C-81A8-825346FBB7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ddc25bc6ddeb4fef28927db93d392a886040f2","datavalue":{"value":{"entity-type":"item","numeric-id":4302792,"id":"Q4302792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629521$F50EE562-9F7B-48DA-9FDF-BD670A27BE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7f5135c5ce9e5fab4f02c906a9b2b56f6abaf1","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629521$B6B24889-DE9A-4C8D-9EB5-2E0D82233220","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":"Q6629521$AD4A840F-BF90-4148-B08A-89CC733E65DB","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":"Q6629521$04245316-3C48-480B-A68C-CDB3CABBE2F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6629521","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6629521"}}}}}