{"entities":{"Q3587449":{"pageid":5617353,"ns":120,"title":"Item:Q3587449","lastrevid":51073334,"modified":"2026-01-16T12:38:34Z","type":"item","id":"Q3587449","labels":{"en":{"language":"en","value":"On \\(p\\)-optimal proof systems and logics for PTIME"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5780555"}},"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":"Q3587449$66100BC4-EA88-45EA-AB09-D0E6B31D606F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"347b43f22ed2704611e81cbacd5fa843c5b80d95","datavalue":{"value":{"text":"On p-Optimal Proof Systems and Logics for PTIME","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3587449$7FAB07A8-786B-41A4-81A2-B94552D0571B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1eccd9951a86cc008cd717cdd00d7e31feba53d6","datavalue":{"value":"1288.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587449$BDC748A2-482A-451D-8361-FA93B1CA719F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"370c48e942b3ed23015cd2b4107882abb1aabb18","datavalue":{"value":"10.1007/978-3-642-14162-1_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587449$FA82055F-7D55-403B-8458-031CD08CB317","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8704f55b81438dec9b36ef863240a213d13e9a33","datavalue":{"value":{"entity-type":"item","numeric-id":490657,"id":"Q490657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587449$622A3B01-A94E-4CA2-A314-1AD2B6B34706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"533e6a2f2483a32398b8daadaa250165970e45d9","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587449$831E0692-02F3-47A3-8C06-25075A6CB476","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587449$A7D94FD2-AA5B-4687-A781-C461BAFBAAE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2243fd9e92593f5db7a6acc36a5542d36cbb6fd7","datavalue":{"value":{"time":"+2010-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3587449$F41EB5F0-C05D-4E67-A333-27B6B28FD889","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587449$7E680BB2-9F38-40D5-B860-B284E8B738E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587449$81FCB598-CC61-4BF5-BB9F-6FD4C98A41D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587449$7178E784-7CC5-47ED-9BE8-29D1E4EC8489","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"813728a3a3778fea05b1133eafc36ec270077dfa","datavalue":{"value":"5780555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587449$25F01EF5-7E66-44DB-9628-4812FDF309A7","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":"Q3587449$C9D01561-49A4-44B3-8B8C-000708FEDDCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d454e70e3cc2970bd9715d35356df70d32f5731","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14162-1_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3587449$7FDCEA04-14CE-4E03-8B5E-43E65EBC2E24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e36f5ba8ef1a1c5591a23cbd2e6069955be8c921","datavalue":{"value":"W1712906147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587449$BCCA1BFC-E9CC-4593-910D-D0EC58B1C89C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe776d3fe927c40ec99f1c0a53436cc939d25ea","datavalue":{"value":{"entity-type":"item","numeric-id":4381398,"id":"Q4381398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc4710b10b3bbb8d4053a87515b3507e1a0b6c9b","datavalue":{"value":{"amount":"+0.8362311720848083","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":"Q3587449$108CD106-8DBC-4A80-9854-E3F5BB17CE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e85c4ef9e6a90bd6b26b9adba361acdf723a4fa","datavalue":{"value":{"entity-type":"item","numeric-id":2011675,"id":"Q2011675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc4710b10b3bbb8d4053a87515b3507e1a0b6c9b","datavalue":{"value":{"amount":"+0.8362311720848083","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":"Q3587449$B8606B1D-89A6-46C7-8667-3E2BA542809A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b4b1a79dc2ad68632bec7a19686527bfbeafbfc","datavalue":{"value":{"entity-type":"item","numeric-id":1853507,"id":"Q1853507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"364a41e4a7b091434233c3ad8f6b3dcf5b030c1e","datavalue":{"value":{"amount":"+0.8057329058647156","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":"Q3587449$41C82DB4-4B7A-4143-91A4-FB8BE396BE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd1018e4305d1f7805c1760e3db7749c14f5f93e","datavalue":{"value":{"entity-type":"item","numeric-id":4251070,"id":"Q4251070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d76262ec5bd80d9c1cc4fb4cd62ebe3f874bce8","datavalue":{"value":{"amount":"+0.7940038442611694","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":"Q3587449$911005F5-5905-4594-868A-C4F07080961A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2c54ea03aaecb98f0ed62596f9edeaef7122c1","datavalue":{"value":{"entity-type":"item","numeric-id":3586043,"id":"Q3586043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"983b3cd32039503b6ec543c6e3d1203f895c90c0","datavalue":{"value":{"amount":"+0.7902527451515198","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":"Q3587449$41D71AA1-6B4D-4C0A-BCA2-758D3032D2D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3587449","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3587449"}}}}}