{"entities":{"Q2011675":{"pageid":2022417,"ns":120,"title":"Item:Q2011675","lastrevid":52872227,"modified":"2026-01-23T16:51:10Z","type":"item","id":"Q2011675","labels":{"en":{"language":"en","value":"Total nondeterministic Turing machines and a p-optimal proof system for SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6756776"}},"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":"Q2011675$83120FB6-30C9-46E6-9DBC-1954F77F4E0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e1afdd51db82fad868b69dadfbe1fec0c658da3","datavalue":{"value":{"text":"Total nondeterministic Turing machines and a p-optimal proof system for SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2011675$0870A043-EEE3-4BBF-BE90-91225823AF03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"666ec0b837fa56714cfc13b98ca3a9155ff57e3a","datavalue":{"value":"1489.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011675$09020D8F-1A35-4FDD-B54C-32AC5D8FB929","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aec8883748f81e89e830ff386762c731d2f3dcd7","datavalue":{"value":"10.1007/978-3-319-58741-7_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011675$6DCAA65B-4644-4FCD-9757-3DE34E8906C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4917cb263d468f2111b70d8f28f6f11a5fc4ba96","datavalue":{"value":{"entity-type":"item","numeric-id":1853506,"id":"Q1853506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011675$169A8F92-CEB7-4121-947E-64A23CBA08F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"727c42383df97611bcf127d7abf9a5bc6c620eae","datavalue":{"value":{"time":"+2017-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2011675$86B75EAE-8F14-4482-A1C0-8B441B9F6D02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011675$A6F9DBCA-8503-4024-93AD-717AD6C149C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011675$0F28BE90-9522-45E0-B308-F5C5B9E72ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011675$42CE918B-4E89-421F-8EDC-3C4E3FFE911D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011675$250FF777-63E3-408F-9FC1-5A46F34169AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b0eb2400cac433bb22621e1619aab0602d14fb5","datavalue":{"value":"6756776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011675$EB4C9FE9-D87E-4697-B905-FA892AFF0BA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1878c1242247d980d76c526f0e98171b8915ffd0","datavalue":{"value":"p-optimal proof system for SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2011675$D4C5D2F4-3959-4EF5-AB0B-1D2BCE5A7A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0bcf5dc79b96b96966f9bb92928e6dda2a1c6d0","datavalue":{"value":"optimal propositional proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2011675$09233B40-BC5C-45FD-9B06-9B3780E39528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f85b8b9c839d554226a0e863ccf24af598a3a1b","datavalue":{"value":"total Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2011675$5ADA59B1-9001-44C2-9460-6685F4D3733A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3b279760df11662980b736532df7fbeff43d8ab","datavalue":{"value":"disjoint NP-pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2011675$56678DD0-DB8F-4571-B57D-E6E37D5D7E95","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":"Q2011675$9280A3EB-D7CD-49B5-92BD-FF1DA85FE0D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f43a63abe28b3be549e4cd617a27b814de1c4e1b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-58741-7_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q2011675$F19B93CA-1876-4046-9F11-D9B8DCFFFF8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84dceecd915d646c67c6e7d84a071c79e34dfc02","datavalue":{"value":"W2613545522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2011675$52EFD2D0-37AC-41B3-AFF9-3409056786A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1b9eeb094380eefc65dfab5eaa83af9315b3e5","datavalue":{"value":{"entity-type":"item","numeric-id":884465,"id":"Q884465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011675$1102745E-E9DA-4288-9D16-1452B69A0470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ec6460cd983c65b027ffcc22d58f349dd92254","datavalue":{"value":{"entity-type":"item","numeric-id":929286,"id":"Q929286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011675$DD3C5187-A5E0-4C7A-921A-BE7E6D24D698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7592b023ac89204897ab3bc752fbf29f253474a","datavalue":{"value":{"entity-type":"item","numeric-id":837177,"id":"Q837177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011675$D8A3BB2A-30F6-4FE7-A8D3-7F9AB6B9A6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eddda2ce833f0cb1464e2213194672ea685e9290","datavalue":{"value":{"entity-type":"item","numeric-id":3107337,"id":"Q3107337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011675$919F104A-8859-4232-8B19-582E908FD2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011675$6FB80186-54CB-461A-9477-CD3854469750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5613ec75f7529c859b1044ac559c162c4a5d5f","datavalue":{"value":{"entity-type":"item","numeric-id":1426007,"id":"Q1426007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011675$DFA4031B-2734-4604-AA69-9D3F0E5502CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4e03bf5b3e8f3211abc8ec442c9eefd10dbc8c","datavalue":{"value":{"entity-type":"item","numeric-id":4258579,"id":"Q4258579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011675$99B2C273-6BC0-4FC0-9D48-DA8735D557D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559db777cfd8d3556503f38e6f593a8dea97b362","datavalue":{"value":{"entity-type":"item","numeric-id":1398371,"id":"Q1398371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011675$AD954FC1-3059-4AED-A246-ED016FD18062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011675$4C703762-37BF-4AC1-AB24-666895010DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42569ded690c444cc0d97eab2621ddecf895fa6f","datavalue":{"value":{"entity-type":"item","numeric-id":4251070,"id":"Q4251070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2011675$851FA303-94C1-4C25-8741-418934E86718","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf87d6b1b612449170fc743effb994c46d6cddee","datavalue":{"value":{"entity-type":"item","numeric-id":4472459,"id":"Q4472459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39928c2aa978eeec1d0a291db088596eaffb4e97","datavalue":{"value":{"amount":"+0.8584824204444885","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":"Q2011675$60FC0567-1F76-44D1-A83B-BCB54DA9A48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eee996fa620e61bdbac66b043c815f7f9f78887","datavalue":{"value":{"entity-type":"item","numeric-id":4530008,"id":"Q4530008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f88b5029b52673a754e7e19c030e602aea249d","datavalue":{"value":{"amount":"+0.8447027206420898","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":"Q2011675$6719011C-932E-496A-946C-11888CD9FE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ba2bc95619a5a8015e0dd8fc8f3852fa6e795f","datavalue":{"value":{"entity-type":"item","numeric-id":837177,"id":"Q837177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773f8863f707d46e105c2904b93c46ea38e5c783","datavalue":{"value":{"amount":"+0.8240432739257812","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":"Q2011675$C306AB52-3A12-44A3-A0C2-71CC7CD39734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267852268ef92e7f3e3d9e8057a1589c67641d67","datavalue":{"value":{"entity-type":"item","numeric-id":4263798,"id":"Q4263798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edc418daf78689d88a94cba28d4355e102a97a96","datavalue":{"value":{"amount":"+0.819379448890686","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":"Q2011675$DE93EE54-D29B-42EE-B768-1892E8656D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2562826fd12df13e4c81cc5fdc25503ab46fbed6","datavalue":{"value":{"entity-type":"item","numeric-id":1398371,"id":"Q1398371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0c6df1297dfbef84f8b2c83244d3180e843b9d","datavalue":{"value":{"amount":"+0.8193792700767517","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":"Q2011675$9B5D9B86-01AA-405E-A319-A988E635F041","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2011675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2011675"}}}}}