{"entities":{"Q4255975":{"pageid":6285576,"ns":120,"title":"Item:Q4255975","lastrevid":81598469,"modified":"2026-05-06T18:54:01Z","type":"item","id":"Q4255975","labels":{"en":{"language":"en","value":"Is there a logic for polynomial time?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308925"}},"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":"Q4255975$6EE9758E-61EB-4B07-B05F-71FE2DC9043D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b093416d1b427dc9db4ae09213a2bf2e30859bb2","datavalue":{"value":{"text":"Is there a logic for polynomial time?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4255975$F522B517-974F-49B8-8A2C-666029EBEFDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a6f6726959b0118ad05bf6a1f8ac0d4c39d4757","datavalue":{"value":"0936.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255975$C9E284C6-82C6-4502-AD14-36C5DEF9FD36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5866f2312a96c68937ecd247ca8e2756e26159f0","datavalue":{"value":{"entity-type":"item","numeric-id":1201998,"id":"Q1201998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255975$452FE1CD-F60F-4A30-A2DB-4CF9876DED6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71d9a55352a0175487e313516c8c126b663aae3a","datavalue":{"value":{"time":"+1999-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4255975$A80E8768-9941-41A1-BE21-85DD82919B80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255975$6BFFA5AC-D785-4FF0-8247-0C7E03B822B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255975$DECEA3B6-99C7-4858-BB83-CAA0A50CEBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255975$33454E1C-1C4F-497E-9247-9EA4F5D6284D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255975$1D24A425-17C4-4423-A20D-8369CAA8194A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255975$2452127C-E763-4B21-A191-C6506CC73221","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a788c8f7de670fdf8d7c5e2a0d525b89abd3060","datavalue":{"value":"1308925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255975$B47F150D-7390-4519-BF3A-0702801A706C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255975$9C38B135-345C-4B1F-86DF-319341622E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e4ea30093d8fa32dfa08d62053fb8ff3268739","datavalue":{"value":"descriptive complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255975$3E24ADAC-E73A-4730-9AF4-2F1902F5EEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0864d9863a6b0c9bc5b2959d934a4f37fee1b7","datavalue":{"value":"PTIME","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255975$DB4349C4-3B6D-4D08-9E19-A577091F081F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8031cd6d4c7b524c5374fd9d8aaf1342d244392","datavalue":{"value":"polynomial time canonization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255975$163CB4E8-7FDC-4C02-A3F1-53F62575180B","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":"Q4255975$ADC12D4E-A887-4A47-AE3C-518A9B82988C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8249b1109f52053a9a98bf831e7b719d89d88b0","datavalue":{"value":"https://doi.org/10.1093/jigpal/7.3.359","type":"string"},"datatype":"url"},"type":"statement","id":"Q4255975$4ABB419C-ECEC-4E62-8D0A-29001A458E87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61988513b4d80347c33a32124af3d41a67a32cf7","datavalue":{"value":"W2148283143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255975$AF5DC998-DA69-49B5-A370-A20F04F2CD5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b62c285729808698a3d86c3b2eab55024ca7970b","datavalue":{"value":"10.1093/JIGPAL/7.3.359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255975$86578E62-B1C5-40D6-9FF6-A46EB5F8E938","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488a43da5d66bda41a10e9d57c0a3baddf886094","datavalue":{"value":{"entity-type":"item","numeric-id":2947174,"id":"Q2947174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"765f930e41f110cc0ab7c08effb674e3b5f508fa","datavalue":{"value":{"amount":"+0.8390674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255975$134604BE-9732-4FCF-AB8E-FCDD0AE4D740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eb1a54610379cad204476f0458841f8647cc550","datavalue":{"value":{"entity-type":"item","numeric-id":3785941,"id":"Q3785941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a19c4c136dd79f7fb39b5b35f56746dd6f7762","datavalue":{"value":{"amount":"+0.80946547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255975$821E9C1F-B25F-428C-825D-A22E17652E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597c3fac56289fce62c29a176a72264ebd35f91f","datavalue":{"value":{"entity-type":"item","numeric-id":3419785,"id":"Q3419785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f81077174891e781b5d13cb8261e3c9f648654a","datavalue":{"value":{"amount":"+0.80711776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255975$F5AB70A7-9614-4027-9467-6571D41BFCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80d6014d3002ff6b5d6c94a7d144971a48f44875","datavalue":{"value":{"entity-type":"item","numeric-id":4946095,"id":"Q4946095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f460570ce82125d1458a658f97f9aa1ff0339e","datavalue":{"value":{"amount":"+0.79488635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255975$A8A8B75E-734B-4BD4-BBD8-AC3495DCE2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d211143a26989dee2e168f4ecb882f905bdb07c","datavalue":{"value":{"entity-type":"item","numeric-id":1989326,"id":"Q1989326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38504c90a8959adf4d53963e663a1f010e945bd4","datavalue":{"value":{"amount":"+0.79460245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255975$BC578188-3638-4B94-A350-E2DAB12A6346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ab94c6810b68d2e34ffbb221501ae07f7e73cd","datavalue":{"value":{"entity-type":"item","numeric-id":3507419,"id":"Q3507419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42efd29442d6273fff9eecfd5888e11763508ca3","datavalue":{"value":{"amount":"+0.7834151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255975$DE0C8A4E-B8B2-4E9F-B0BD-D97109073373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7dc4f24be770ef1bc9f30ba91e37fa0ff750817","datavalue":{"value":{"entity-type":"item","numeric-id":1900923,"id":"Q1900923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f0114aa220f46c67ee230d5b5aa178936b9c0d","datavalue":{"value":{"amount":"+0.7828586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255975$3B9690A1-345E-4D81-AD53-8E6B74E503A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe1001728599baf9b8c3b21eedc7718e5b4915b","datavalue":{"value":{"entity-type":"item","numeric-id":2753668,"id":"Q2753668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b110f5127af979a3751f946dac7354a6d1e206c0","datavalue":{"value":{"amount":"+0.7812463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255975$ABB10D17-25E9-497D-AC28-89E5BD8D3671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee684cb3e65a6db3c9ed1e89f14b5db88a0caa2e","datavalue":{"value":{"entity-type":"item","numeric-id":4010140,"id":"Q4010140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e587450ed59cb68318415cdef1c0b255ab13917d","datavalue":{"value":{"amount":"+0.77627695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255975$1ED0AB66-F50F-42CC-8F91-8DD29C5419C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255975$305536DC-53FA-4C51-8B84-B7B9B69714C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Is there a logic for polynomial time?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Is_there_a_logic_for_polynomial_time%3F"}}}}}