{"entities":{"Q5956016":{"pageid":8132818,"ns":120,"title":"Item:Q5956016","lastrevid":97703372,"modified":"2026-06-05T15:15:39Z","type":"item","id":"Q5956016","labels":{"en":{"language":"en","value":"Integer circuit evaluation is PSPACE-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1708336"}},"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":"Q5956016$9D2C42C1-4F48-4B2E-BAD2-645752B7CF36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54c6df8d766f5c54623a095f203919838e40f404","datavalue":{"value":{"text":"Integer circuit evaluation is PSPACE-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5956016$DB8FD653-6C40-4B7B-A1CB-210C0CA329C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7113d00935cdfcb8b6fac1ca26d395d23854c401","datavalue":{"value":"0992.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956016$FF728A7F-CFEC-4123-9201-1E4F39C6794A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbaeb9ba610906910ad7fdc6c6697f8950771376","datavalue":{"value":{"entity-type":"item","numeric-id":230575,"id":"Q230575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956016$D2C9D7FF-6753-4FCC-8F4A-B3AA759B1ED2","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":"Q5956016$7945B3D2-DF9E-49EE-8168-BDCDC3A88045","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bd22e9bdafff3cc4af9c050513c24081452898e","datavalue":{"value":{"time":"+2002-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5956016$A85264F8-C48C-4336-BD81-8730F0AD77DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81b0d2f14d643183de3c423d91ea7138391d4625","datavalue":{"value":"https://semanticscholar.org/paper/c58e32f7ae7b2b98aff91ab10c1a076c0c25d286","type":"string"},"datatype":"url"},"type":"statement","id":"Q5956016$5F04DB87-C813-4BEE-BA94-3B00540EE37D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956016$7E4F4218-9FB8-49D6-84D2-75CF2A4A6EF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de8ce032e208caa14835e3ac0bf3a6e659ed2188","datavalue":{"value":"1708336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956016$208A45AB-F7B9-41EB-BB0D-01CC71F9E81D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05cfd9da536bc8387292ab9359d3f7e9902a360","datavalue":{"value":"PSPACE-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956016$8D7DF22C-D0B6-4297-8ED5-DFBD5DA607B5","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":"Q5956016$FEC5122E-24D1-42BF-8D77-38EADF91F4C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70bcfa91835c570895fbe6849337ef62df878d52","datavalue":{"value":"W1964424583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956016$328461AC-4CC7-4717-8203-0C09FD570130","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a10a48192397756c56e8d239a6da6afe78ad78","datavalue":{"value":{"entity-type":"item","numeric-id":1274913,"id":"Q1274913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956016$77E6124D-8771-4BB1-ABB1-09DE46FCB0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233b0d1b99b8001d6aea8c4b2bab778ddad6115e","datavalue":{"value":{"entity-type":"item","numeric-id":685721,"id":"Q685721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956016$31FF377E-7DA0-46DE-9404-2C59950A6F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd3b69ca7f444fb234394be50ac65546c1316e3","datavalue":{"value":{"entity-type":"item","numeric-id":4337437,"id":"Q4337437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956016$E796741A-9259-4BAA-86FD-9AB0E208194A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57feef3d528f5019929dd0017edb14dbaa043758","datavalue":{"value":{"entity-type":"item","numeric-id":3037867,"id":"Q3037867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956016$0F3AD92F-ED3A-4A99-8260-0BC6F115B9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42845ced4ded978e9377603dedf2b3b97946f444","datavalue":{"value":{"entity-type":"item","numeric-id":5510974,"id":"Q5510974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956016$CF753D82-642F-442E-873D-F530A4A2CC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c46a4563288a4c80e317f4f9a1202de7fc593e","datavalue":{"value":{"entity-type":"item","numeric-id":4472442,"id":"Q4472442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956016$6DCA2BB4-8EE7-4193-8F4E-B52F881CD6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956016$14AA27AE-7DC2-49A2-9DC8-5053BC654372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956016$9EC926EF-4910-4DF4-B2F7-589B9A060D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59482766fd3ea4f454a682de35528203c13ab9b8","datavalue":{"value":{"entity-type":"item","numeric-id":3340148,"id":"Q3340148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956016$BFF7106E-191D-42E0-97D1-0CFB94114366","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"868456ce6d2fee33130fb307311bd1dac749e030","datavalue":{"value":"10.1006/JCSS.2001.1768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956016$13EA1217-6A6F-46A5-85E8-639DCEB886C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de082e57e5d5395fcd84c22e834b46d4f3a3362c","datavalue":{"value":{"entity-type":"item","numeric-id":861262,"id":"Q861262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"875205da3d2e230d4780f809285bb840772ba1f3","datavalue":{"value":{"amount":"+0.8246333599090576","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":"Q5956016$38854943-6CDE-4769-A6B8-0DDC9C41192F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eff0a1ad761778e27c09343714103e4a98f34f3","datavalue":{"value":{"entity-type":"item","numeric-id":5311108,"id":"Q5311108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aea418bd52f40579c72c8613c69694cbb37e433","datavalue":{"value":{"amount":"+0.8212743401527405","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":"Q5956016$94E639C4-DDBC-4CA3-A786-6DC5A84AC2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653d52ee6d71208834059eb6053d795196e2dd9d","datavalue":{"value":{"entity-type":"item","numeric-id":2474202,"id":"Q2474202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4582675259c0840a3cd1dc1621d43a9598247d61","datavalue":{"value":{"amount":"+0.7669057846069336","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":"Q5956016$F55B7437-57B0-4AA0-AD5F-0436353F74D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d71dda6a772a8aacbf7ac417578e8cbe73adda38","datavalue":{"value":{"entity-type":"item","numeric-id":4418682,"id":"Q4418682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72eccc2c3eb93153bf02420a2ce9d2ddf93033e3","datavalue":{"value":{"amount":"+0.7643873691558838","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":"Q5956016$D624B320-80CB-47C0-8ED4-029164CD41E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da6165ae5360a8b88af921b3ffe0a7592251d8e","datavalue":{"value":{"entity-type":"item","numeric-id":2182324,"id":"Q2182324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd1b60ab25f1a0a9f2f0e0ea6e1a6113838076df","datavalue":{"value":{"amount":"+0.7603128552436829","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":"Q5956016$0368256F-D40C-4432-83BF-8760594AEE75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integer circuit evaluation is PSPACE-complete","badges":[]}}}}}