{"entities":{"Q2741517":{"pageid":2752256,"ns":120,"title":"Item:Q2741517","lastrevid":47667610,"modified":"2026-01-02T09:26:11Z","type":"item","id":"Q2741517","labels":{"en":{"language":"en","value":"Phase transitions of PP-complete satisfiability problems. (Abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642916"}},"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":"Q2741517$2589701F-E5D6-4E4B-A41D-3D1CE165782A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5d8a5135efb9355eee08d108101c2274c5cbc64","datavalue":{"value":"0990.90547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741517$61D79C2A-D850-4A65-B068-61A33315B180","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"540c7a09973028cb60a215e35b4069ceb54f8f2b","datavalue":{"value":{"entity-type":"item","numeric-id":2643308,"id":"Q2643308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741517$489F3256-D60B-4B85-86F8-A0A8D60ECAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"718fad4f39e94f2b62c8ef1dd9aa954379d270c0","datavalue":{"value":{"entity-type":"item","numeric-id":259043,"id":"Q259043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741517$52D6BF94-D1DC-47E8-BD3C-391990C41A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03a244f3a3971e8ae5c09ca1ba10c024a323f6db","datavalue":{"value":{"entity-type":"item","numeric-id":269316,"id":"Q269316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741517$BE4AA047-146B-4E9B-BABA-CE0ACE0E6123","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b975fb917d02ff3cd909fbcf7490582affd2f02","datavalue":{"value":{"time":"+2001-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2741517$46572DDA-01F3-43D3-A03B-0F62E727203B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741517$AD806D37-6FFE-4F03-BA82-91964A2C9EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a075736dd24125fb22e78e1f01acbe15d48baf3f","datavalue":{"value":"90C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741517$5DC19EC8-F358-4BFD-8D7E-12151F5C857D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83b330fa3409da453fe1670735c774c7e4f9b186","datavalue":{"value":"1642916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741517$4CFF592C-6F6D-4B9D-B0B4-B632B43C3865","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741517$7EB5F729-576B-4C26-AFE1-CCA7E7625F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"035809b3013ff1cc10511cfed2ee7b4f1ef1445f","datavalue":{"value":"Davis-Putnam-Logemann-Loveland (DPLL) procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741517$041F1485-56FB-4648-A317-CF96D83F69D6","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":"Q2741517$743F5FCB-9548-4A5C-AAD2-6B3E8833B99A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3f8933ddb7577c525ccca0eaddb06353af7ef81","datavalue":{"value":{"text":"Phase transitions of PP-complete satisfiability problems. (Abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2741517$08F9586C-8588-4144-8B7F-7E6580B08CB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e363efcc982e5a70fbd5d739f48cafbef4c2ed0","datavalue":{"value":{"entity-type":"item","numeric-id":2643309,"id":"Q2643309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a06609a863b30b688861280943d3438079b93a5a","datavalue":{"value":{"amount":"+0.9972045421600342","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":"Q2741517$8DCCE45B-9D2F-4B64-B6C6-56F7DD323636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0fa8fa0da3b9c3652e47109f938819ce1319f92","datavalue":{"value":{"entity-type":"item","numeric-id":4704799,"id":"Q4704799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d705d9b4abf2b6f7a45c35b3cd2742bfa4ed1cc","datavalue":{"value":{"amount":"+0.775479257106781","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":"Q2741517$9CB12FEA-A4CB-41CD-BA77-F140FFEE2475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24057c8837c202f0459cda5295dafb5fb3ab8fb","datavalue":{"value":{"entity-type":"item","numeric-id":3439118,"id":"Q3439118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8304926c158ad089f704c4799503b02aa55e5a6b","datavalue":{"value":{"amount":"+0.7738643288612366","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":"Q2741517$C1479420-FBB1-474A-881F-6DEFA54A4FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c23a846729122c8dc7ac2119aec61a12ab68a3b","datavalue":{"value":{"entity-type":"item","numeric-id":1583531,"id":"Q1583531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0db0e58afcfa78683b81c0ee6b97cbedd09ee7","datavalue":{"value":{"amount":"+0.7735109925270081","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":"Q2741517$7F906072-D735-49FB-A8C9-C881D6225E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb18ccb651ab15f57db6102f0140b9aa69ada9c7","datavalue":{"value":{"entity-type":"item","numeric-id":4739606,"id":"Q4739606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54cf3766756a470f5c0db767526efb11e12bff62","datavalue":{"value":{"amount":"+0.7638300061225891","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":"Q2741517$65F2BB05-1FDF-4BA3-8A46-01F4FF869E8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2741517","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2741517"}}}}}