{"entities":{"Q3434543":{"pageid":3445246,"ns":120,"title":"Item:Q3434543","lastrevid":50084668,"modified":"2026-01-12T22:00:51Z","type":"item","id":"Q3434543","labels":{"en":{"language":"en","value":"Clause Shortening Combined with Pruning Yields a New Upper Bound for Deterministic SAT Algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148456"}},"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":"Q3434543$196C1CEE-5FDF-41A0-B84D-FFED29A41D79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fe40b18ba9852d8eb30365c89382cc3cae1d12e","datavalue":{"value":{"text":"Clause Shortening Combined with Pruning Yields a New Upper Bound for Deterministic SAT Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3434543$4BF7A37B-F725-4CFD-B75F-6675D259E642","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64c3c7641d6167b58ca91d62e45a6b0992c8cd9a","datavalue":{"value":"1183.68305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434543$D520C215-1220-40D9-9A3E-A3D893718126","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74771e883279bcb34cdbde9219d946d58c534645","datavalue":{"value":"10.1007/11758471_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434543$915EEF96-02A5-4617-B18C-7D373B4E7124","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1c49a03637267c4c409651b9049b6f014ea6ca","datavalue":{"value":{"entity-type":"item","numeric-id":234708,"id":"Q234708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434543$44DE56F3-5803-465F-84E8-FA6B0F37ACA1","rank":"normal"},{"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":"Q3434543$AF523707-F6F7-45C8-8C7D-78D24B4A28B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7649139491eb61f49fb33ab9e9af5fa921190939","datavalue":{"value":{"entity-type":"item","numeric-id":1791021,"id":"Q1791021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434543$8E5D5FF5-ACD3-4836-83E3-8B7097B07BF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434543$EB8174BC-619E-4DAD-9CD3-A70FA98DD245","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3434543$44E62993-3923-402A-998C-9F97B5C01B05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434543$7BE595AF-459A-46BE-8D94-A5F3FF26C68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434543$77C8601F-A3EA-4109-A807-0E45B9BA98C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82cc443753140eb126ae7a3bdc240da61c37099a","datavalue":{"value":"5148456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434543$46BBD767-1CC9-4E41-9EA0-3C05ACA31D34","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":"Q3434543$500C61FD-7D67-4237-B915-2398F75DB773","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f16c8f8c05cc87dc6949b0d057fb601f31050890","datavalue":{"value":"https://doi.org/10.1007/11758471_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3434543$67829595-F772-4B97-AA08-4308A27A4141","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aed8ff7dbf7659ec314f07eaf0419ea44f0365ed","datavalue":{"value":"W1710911229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434543$5C9BE3F7-5204-4FD9-91E5-B1E586AA907A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d89c193993855d68878c9b41e3ef8998d8b9254","datavalue":{"value":{"entity-type":"item","numeric-id":3429016,"id":"Q3429016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f920d54b9ed4a0c9fd13bae9993e9e7168c91c80","datavalue":{"value":{"amount":"+0.8876716494560242","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":"Q3434543$7EA36205-B252-4EFF-BF75-BF05D591B9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ba5295930191029d223c1ed02e8d25afa5e364f","datavalue":{"value":{"entity-type":"item","numeric-id":5713730,"id":"Q5713730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9201e7c091a0c7344e28e1253e46780128f6a8a","datavalue":{"value":{"amount":"+0.871283233165741","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":"Q3434543$08F80400-4D3E-4DC6-85A2-6C136329E33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee7e01d5b6bb325dc4bf7203e5bdd4e13c8ca324","datavalue":{"value":{"entity-type":"item","numeric-id":5897897,"id":"Q5897897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02b51deec1bb6a5fdfc416b952097022fc05b4e0","datavalue":{"value":{"amount":"+0.8513745665550232","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":"Q3434543$45A30E04-7D8C-4131-BE21-2665D00D88B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf4c44822b53ae619d62d8b940224636a058b7d2","datavalue":{"value":{"entity-type":"item","numeric-id":2754147,"id":"Q2754147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e95106e4b66c949fa00f39edce5e554d8913a26a","datavalue":{"value":{"amount":"+0.8302412629127502","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":"Q3434543$89599DB1-5D16-4C87-BA02-A53A92749FF9","rank":"normal"},{"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":"24f7461f1578fccea4a06f906f26eb361ddb593a","datavalue":{"value":{"amount":"+0.8227184414863586","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":"Q3434543$6F040536-F705-4B56-977A-C9DCC77F9EBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3434543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3434543"}}}}}