{"entities":{"Q2996176":{"pageid":3006900,"ns":120,"title":"Item:Q2996176","lastrevid":51238244,"modified":"2026-01-17T09:44:20Z","type":"item","id":"Q2996176","labels":{"en":{"language":"en","value":"Partial implicit unfolding in the Davis-Putnam procedure for quantified Boolean formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884914"}},"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":"Q2996176$922C0381-F0F8-4649-872E-FD2E7AAA907F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b3a87cc26eb9c2af1226c8fe5037465253c7c24","datavalue":{"value":{"text":"Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2996176$4CCA3F42-F66E-4FFF-8E22-7C666C81EE6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12b99a5895b49128368aa7ad47e16787431992c0","datavalue":{"value":"1275.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996176$FAFCE739-5DDB-4157-8AD9-BD04BF825452","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93c2f1471f07203162cddd2119f50eb255081498","datavalue":{"value":"10.1007/3-540-45653-8_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996176$CACD9856-3203-4729-B229-04A01B2138D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8772e17b45726a7a4057c2fc4b665ed88724c35c","datavalue":{"value":{"entity-type":"item","numeric-id":359983,"id":"Q359983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996176$BDE6BF27-08CC-4B9C-801D-1FBE74329E2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996176$81A7F7E1-86D5-48C9-A138-97693DAE54C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da3b7e36e778e75704c29271af6d74f1ce8cd89","datavalue":{"value":{"time":"+2011-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2996176$580E59E0-05C1-4B25-9BC3-2B42A849508C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996176$3C402A8A-9E6C-447D-B531-593EBEA3694D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996176$D011F7FB-AEF1-48B7-8A27-FD404C476119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996176$FDE53FFE-73B0-4C5A-ABD8-63D0F17013C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49ad477f6a99cb482f5c1150e3468f4148214fb1","datavalue":{"value":"5884914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996176$C32E82F8-C496-471E-AD54-4F1E6134B858","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":"Q2996176$919F0658-AC68-4299-B90F-385E46A38B4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87c420277836e3d8016c436564104fc8e2779eed","datavalue":{"value":"https://doi.org/10.1007/3-540-45653-8_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2996176$47B3B052-11F5-4DB0-984C-B72380614986","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"579f435144c9ed37725dd87224ee8def3407b77a","datavalue":{"value":"W1597057550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996176$28E10BE2-15CB-4E19-9F35-EF6CB5A6F0B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6397715b4b253111073a53ff394cddb3612a19b9","datavalue":{"value":{"entity-type":"item","numeric-id":1408385,"id":"Q1408385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b343d9ca2ec05253ce27e01a53b96fb576d8dd","datavalue":{"value":{"amount":"+0.8237313032150269","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":"Q2996176$8B16565C-6FE4-42D6-B2E9-41AE35010A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110ba9c429617ca4e23f2513182619482ae4e3b0","datavalue":{"value":{"entity-type":"item","numeric-id":2751045,"id":"Q2751045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dff8cf5add398c2825c8c020ee0775cee213e48","datavalue":{"value":{"amount":"+0.8119545578956604","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":"Q2996176$4BA5C7ED-BDED-46E6-B3B3-7C874A2A13EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a1f6a4f9cab743941c379bac3f4ba4f59cba99","datavalue":{"value":{"entity-type":"item","numeric-id":1610666,"id":"Q1610666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf6e2cc43a05f331009f1acb10ad99f840df6ee","datavalue":{"value":{"amount":"+0.8060410022735596","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":"Q2996176$7064F392-1420-4522-8D21-892C4230B43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4732629a4972652d98f4bc9874c86637a0c91c78","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"237b8cb08fce7af7d052ee2028935edff6e22489","datavalue":{"value":{"amount":"+0.802491307258606","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":"Q2996176$5C6F51B0-D5C2-4DF2-8AEB-BE4D77E11C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1758042405434138d14efb0c0f39ea4481adfe4d","datavalue":{"value":{"entity-type":"item","numeric-id":5714773,"id":"Q5714773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e37704f12e824d89bb140398a2e9add87a9d1c","datavalue":{"value":{"amount":"+0.7965919375419617","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":"Q2996176$DD3E8B58-7388-47FD-8CEA-BDE7A2205152","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2996176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2996176"}}}}}