{"entities":{"Q1581847":{"pageid":1592587,"ns":120,"title":"Item:Q1581847","lastrevid":47513254,"modified":"2026-01-01T23:03:29Z","type":"item","id":"Q1581847","labels":{"en":{"language":"en","value":"New worst-case upper bounds for SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1515406"}},"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":"Q1581847$B6375A52-FA63-47B9-9806-158DF3C647E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0faad9f9d04e36342c041966a64520c54b567866","datavalue":{"value":{"text":"New worst-case upper bounds for SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1581847$9603A3F3-C44A-49DD-819F-57488F08A59F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d66e764a4f3e65d0b578f965ec96342dfcdebde1","datavalue":{"value":"0960.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581847$72D729B2-CEBF-4DC5-832B-F85B02E24DAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d51ddfdf5e629515d1e6f20ab64726719b9a9b0b","datavalue":{"value":"10.1023/A:1006340920104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581847$BDAE91CB-B620-4DF9-8179-A3AB62D2731A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"082fc9f964d52bb224385bf2fb43b8343199b054","datavalue":{"value":{"entity-type":"item","numeric-id":234710,"id":"Q234710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1581847$7EBBE4AA-3D5D-4A89-B4C9-D48200639015","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1581847$2FF51138-2EA5-4F99-AF10-2EE4A23B8861","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0a8ef751728b2b17bbcf17280282a4718c22627","datavalue":{"value":{"time":"+2001-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1581847$EE9D2D63-C32F-49D7-8EC3-77E44451CD2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581847$49E4A27B-E548-4640-AEDD-232576BAA37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581847$570B2DB9-1669-4574-B6DA-96EF75B26B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581847$3182FD3B-2CCE-4AAC-9571-75C489261A17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58e9fd9f71f1d3128f5580aa9dfbe94f98170088","datavalue":{"value":"1515406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581847$20BEAA36-DDE9-4370-A9FB-93F4F8C32BF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3295073e9929d49c5619297053c8483cb017a991","datavalue":{"value":"satisfiability of a propositional formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581847$38710F44-6BE6-4B15-84EE-041F97523A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302ac378ac456914225e7a4d0cd4a07d6139e2bf","datavalue":{"value":"transformation rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581847$E46EFA92-CA04-4302-B1C7-3AF3FBCBAB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581847$9466842E-ABFA-4063-BB5C-ADF1D5CAA3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8528982478876c30b3f0579eb83f90594193719f","datavalue":{"value":"worst-case upper bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581847$FF65A38C-5DB0-46AD-A70A-71182F9762C8","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":"Q1581847$E71D97C4-7293-4458-82DD-F8FA38B1155D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"929818aa4ea96da7e951ea1bc16b99dc9ae21d66","datavalue":{"value":"https://doi.org/10.1023/a:1006340920104","type":"string"},"datatype":"url"},"type":"statement","id":"Q1581847$8687388C-1E86-4346-9A6F-CCDA32A986BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7191e4f7ae9ec422c736208e00a62a2d827591d3","datavalue":{"value":"W1564428908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581847$FFA508E4-5A50-46E1-A17C-55EE4AC3CCD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407d4b832dcced774bee8e907a04090e6f44ff42","datavalue":{"value":{"entity-type":"item","numeric-id":2749858,"id":"Q2749858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa69510b59cc163087f652563d27bba08ab4e1b","datavalue":{"value":{"amount":"+0.996273159980774","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":"Q1581847$F5320682-1BD7-4380-A706-9EE872B3803C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb99da77c4cad897c30658ec35cd00f2752b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":2487388,"id":"Q2487388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa69510b59cc163087f652563d27bba08ab4e1b","datavalue":{"value":{"amount":"+0.996273159980774","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":"Q1581847$68758204-5A64-4157-B0A0-02670F37BAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3c844e351da2b9f5c57b5b0cc942721bf25babe","datavalue":{"value":{"entity-type":"item","numeric-id":4250220,"id":"Q4250220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ba58b95404394f9124c6709a606fd6fe4e86fe","datavalue":{"value":{"amount":"+0.9596867561340332","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":"Q1581847$8403F427-564B-4348-97C7-6781E6189662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e366a6ae1ffcd391788169251187e485eed88162","datavalue":{"value":{"entity-type":"item","numeric-id":5687274,"id":"Q5687274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87a4b8cd388b2e62f21a47f87e6cd9f12c39b697","datavalue":{"value":{"amount":"+0.9594182968139648","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":"Q1581847$DD743D29-B3B9-445A-8C4F-DC41CEF8A75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118268bcb2efb9dcfffebdca687687ef3d23e906","datavalue":{"value":{"entity-type":"item","numeric-id":4500858,"id":"Q4500858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67928a66024e479dce94e02fc9c7e36dab92bffb","datavalue":{"value":{"amount":"+0.8413363099098206","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":"Q1581847$296893B7-0B0C-4162-BA8E-BA361AAFD8F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1581847","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1581847"}}}}}