{"entities":{"Q1318475":{"pageid":1329225,"ns":120,"title":"Item:Q1318475","lastrevid":67414101,"modified":"2026-04-12T17:27:54Z","type":"item","id":"Q1318475","labels":{"en":{"language":"en","value":"PSPACE is provable by two provers in one round"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540554"}},"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":"Q1318475$7EAE6132-36A8-448C-BB9F-D5CF7594841A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9861001c96170abe3c760c839f61c87ade6a3aa2","datavalue":{"value":{"text":"PSPACE is provable by two provers in one round","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1318475$0F35BCBF-7642-41FE-A057-F9EB3F1ADB89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae176d9367a8854cff3a7f785aa9aedbef2559c1","datavalue":{"value":"0802.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318475$09071790-2BC4-4953-965A-71DB4BD6B4DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"149958bfcec86e1f8e3709ad456cb78a68546b87","datavalue":{"value":"10.1016/S0022-0000(05)80026-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318475$4A189DDC-2895-461B-9B46-46412D22946E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afaa11cad02f935fe120c5b18653ba09260c4c57","datavalue":{"value":{"entity-type":"item","numeric-id":268445,"id":"Q268445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318475$1C8EC4C4-91E8-4791-92BE-7BE9958DE423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4efc08bcb427d9602fc487f25b09b09349687cb3","datavalue":{"value":{"entity-type":"item","numeric-id":181990,"id":"Q181990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318475$26FF0B71-345E-4177-B1DC-BF710F8A0BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"153f087410d6445d3ecf9b2f61b070cffa67488f","datavalue":{"value":{"entity-type":"item","numeric-id":269464,"id":"Q269464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318475$77CD9E6D-25BD-488C-9AC7-B92A6EB09BA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318475$65A39B4A-9A8C-45C3-8C84-999D1E623E08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"594eddb6445f88a77e66aaf7d63c86b52ec53a66","datavalue":{"value":{"time":"+1994-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1318475$EE9C22A1-C5F7-4C09-98C6-B5385B704B8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318475$D9ADEF38-7164-49DF-A490-5C093E4F82AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318475$2538BBC7-BCC9-401A-87E8-4022D7AE0DF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b64f5e5f4089ca48442b4e688b93344b07527076","datavalue":{"value":"540554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318475$2A8950F8-AFEA-405E-A2C5-79D18BE4B0ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c107bb63de79565718d188b33fcc483957cfdd","datavalue":{"value":"PSPACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318475$8F74BEC3-F171-4553-B0E9-4331452D25A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81a9630c7b4eaa045098558da4a315bcc1a42ca9","datavalue":{"value":"interactive proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318475$E9B2DCAD-7109-48CA-A164-A3368CBDB410","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":"Q1318475$55C15268-9BD3-4F9B-A175-92A324D9AE6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9c0297ccc7943530d7e60dae41b7cff33d7166","datavalue":{"value":{"entity-type":"item","numeric-id":1106840,"id":"Q1106840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318475$90C9EC8C-53CF-4895-BC24-52E51A136BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5321cf483aab0fa6bee08b9510a1c268bf22de20","datavalue":{"value":{"entity-type":"item","numeric-id":685724,"id":"Q685724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318475$A4909862-5D98-4E0E-9ECC-A2037A965A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe1e75da4f5efac441681b84aa3dfaeb3de0620","datavalue":{"value":{"entity-type":"item","numeric-id":3359734,"id":"Q3359734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318475$A1C269DE-6B6C-4689-BE3E-E5B073221A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"447a0c8405807af628bffa73aac8fc2fe878a433","datavalue":{"value":{"entity-type":"item","numeric-id":1199525,"id":"Q1199525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318475$364C67B5-E16F-4E2C-A3F6-41D15EAE4215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae477ba2300400eec2908d55329cb4248dc074d4","datavalue":{"value":{"entity-type":"item","numeric-id":3833627,"id":"Q3833627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318475$B05FC7E5-C154-43A9-B8C6-6E5A2D7C4189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8ae21491ba55ccab3167ab93db03f932446cf9","datavalue":{"value":{"entity-type":"item","numeric-id":1356878,"id":"Q1356878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318475$08C189D9-32EA-429C-BD27-6AB88F707D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df464dac149d729f68e1f2fcc9775218a4374fc","datavalue":{"value":{"entity-type":"item","numeric-id":3210157,"id":"Q3210157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318475$400EE5FF-72CE-480F-BED4-C715FC345D28","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":"Q1318475$4D0A0B8C-FB99-4359-B788-0310613C9299","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":"Q1318475$42044DFD-7228-47D3-B8C5-3849BB000962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3560cc4279512a542093927dd496e3c6304104b7","datavalue":{"value":{"entity-type":"item","numeric-id":3359758,"id":"Q3359758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318475$1EEB2EE8-54C6-4B27-BF2C-DC51A870907B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c516460706e34bfacf776c096f40a576fd2116","datavalue":{"value":{"entity-type":"item","numeric-id":600247,"id":"Q600247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318475$B8DB2B47-783B-408B-A253-621832C0C701","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdd0e92542d15ea6d94974d59860e53c0a08503a","datavalue":{"value":"https://doi.org/10.1016/s0022-0000(05)80026-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1318475$0FCFA05D-0C9E-4F12-BFF8-A1A153ED5B3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07bad2420a8a806b9f9c31728722831727ee6c89","datavalue":{"value":"W2032606560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318475$F79DDB02-0653-45DD-B181-1B8B45F3BC71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f13aee1b1b9049f646536e2fe35347157cb09d","datavalue":{"value":{"entity-type":"item","numeric-id":4281691,"id":"Q4281691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f1667adf5c8c9328e0636f747cdcbc0e245fef","datavalue":{"value":{"amount":"+0.8705929517745972","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":"Q1318475$232A2EF8-B793-4996-BB1C-C7766996A54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2450aebffe7af9fa189c87ce5c064dcda2f3345","datavalue":{"value":{"entity-type":"item","numeric-id":4035721,"id":"Q4035721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59558d6298359ed5330558a988e1db0a855e2c52","datavalue":{"value":{"amount":"+0.8691049218177795","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":"Q1318475$A330B5B7-5B8A-4328-8289-A8DD19DB6C72","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":"7292c0cfde4c1ea2574a47bfdd0cd8ab8a3c83e0","datavalue":{"value":{"amount":"+0.8197351694107056","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":"Q1318475$5B21D574-5493-45B6-A50C-1E8AC6E62BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c87d7511b811ce88027d34ab476b12ff014f5b","datavalue":{"value":{"entity-type":"item","numeric-id":1341733,"id":"Q1341733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16f6f3d3e1919cbb71afae73668c80612d6b5f9e","datavalue":{"value":{"amount":"+0.8187413215637207","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":"Q1318475$0CF6C3B9-29B7-4E7E-BB7E-595EA264BD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"634e55f2697d64337888e5ad4694cfdd8860c754","datavalue":{"value":{"entity-type":"item","numeric-id":1870552,"id":"Q1870552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08f5274acc0e8ba3eae02018e5ffc0e8c27624c9","datavalue":{"value":{"amount":"+0.8181459307670593","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":"Q1318475$615645E3-4538-4B27-A908-A23AE09F9418","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PSPACE is provable by two provers in one round","badges":[]}}}}}