{"entities":{"Q6602252":{"pageid":14213409,"ns":120,"title":"Item:Q6602252","lastrevid":55749655,"modified":"2026-02-17T22:08:03Z","type":"item","id":"Q6602252","labels":{"en":{"language":"en","value":"Reasoning with propositional logic: from SAT solvers to knowledge compilation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7910873"}},"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":"Q6602252$09D48A0A-D2B6-4DE8-BF84-CC1789FE750D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96f34b6648c0840a335ddeec496b65ab19698f4c","datavalue":{"value":{"text":"Reasoning with propositional logic: from SAT solvers to knowledge compilation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6602252$944D83D7-3691-4E2C-9F6A-079DAAFE7BAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b396b3bcce44ceb472cb5ea66b8651d0068ce4a","datavalue":{"value":"1547.68729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602252$4F45E47B-D24C-46A6-B594-B8E5DCCEE979","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02cbe0773f0a975af4db218f8e16fe72eb231c71","datavalue":{"value":"10.1007/978-3-030-06167-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602252$D235201C-DC88-4E29-90BD-C5F748E828FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5030f3a1f4f4cc7743a44d19430b0381408bf85","datavalue":{"value":{"entity-type":"item","numeric-id":630953,"id":"Q630953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$85D420CD-E513-4001-9AC1-7DB0768EF644","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"984357184e36bd48b60e905848ca8fb15ede5c75","datavalue":{"value":{"time":"+2024-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6602252$4C177484-AA65-4250-B439-7A9032EAEEC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602252$D024F6AE-5465-4160-89D7-375E9CD7F297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602252$FE548A7A-AC3F-402B-BD81-8C5497E58C62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d01d16c6ccb1dc0e3169a639687621a061995622","datavalue":{"value":"7910873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602252$FB4D283A-D7B0-4C95-8F09-EA2603E1183A","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":"Q6602252$EF939A5F-C683-4F05-BF54-2DD2A3A96B11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c629ed9169963204ae7205e5fd5fc58d308b790","datavalue":{"value":{"entity-type":"item","numeric-id":5189545,"id":"Q5189545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$C9298D71-7095-42F5-B1C8-031C7B494D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7d9c89646f8223557790cb05a8f48d182384af","datavalue":{"value":{"entity-type":"item","numeric-id":3192066,"id":"Q3192066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$F41C5AEC-DD1C-4290-B442-9E6737E61278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0615432fe2dfe8bbe07ba56634ed95d0e319cf","datavalue":{"value":{"entity-type":"item","numeric-id":2767071,"id":"Q2767071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$23F23BA9-4C89-4898-9C14-A17D17A8ACB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ed378042883c33f78646cfc2e282152ec8d9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3502689,"id":"Q3502689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$0B73134D-C100-4063-8BE0-77A059D9AD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff821e90bf8a02f902e29da084cc3e25138a763","datavalue":{"value":{"entity-type":"item","numeric-id":5325873,"id":"Q5325873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$C0D623A2-D7A7-438D-8C07-D1061742E824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926ec579a6e1751bee4f751c2a20e927df8e0825","datavalue":{"value":{"entity-type":"item","numeric-id":5200018,"id":"Q5200018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$31219633-90A6-4FBB-9F50-786347CE3EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5055f3ea458ef6ca5de02238b7254fe4e4933cdc","datavalue":{"value":{"entity-type":"item","numeric-id":3453225,"id":"Q3453225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$05751A8A-708F-4057-B0CC-8346F7037FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$A0A96FFA-2217-482E-A884-19BAEB82DBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$32F955CD-4182-4C4B-A229-89DEEC19C801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$A745B676-1416-4237-A061-657A44B30D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e02e9c674d233134ea38fb41ce14c527d11d38","datavalue":{"value":{"entity-type":"item","numeric-id":4431379,"id":"Q4431379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$A81FEE19-370A-4330-9FFA-EAE3A9A8A89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdd729be56817b334e914e5efd528350c1d80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3457218,"id":"Q3457218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$C34B2BD7-E41D-494E-BA8F-A0FD7F5186CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$15220266-6B8B-4D1A-A005-04DFA45F09A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$0E8F8D35-8C27-4073-8424-95E3D9D2C962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a93a6614d5675b870a2e7fc0382533f284b286","datavalue":{"value":{"entity-type":"item","numeric-id":900872,"id":"Q900872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$A954AA64-F401-410A-AE96-DEB96F4E4AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$2B3CCB2C-C682-46DB-8895-CE396B8CE1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$1A39B8FD-DDC3-46CD-BFF0-C88988617390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$97A3145F-B4D8-437A-9C60-AE238CDE57CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a170af516145ca9c0e5963c08cb024ad4f2af17","datavalue":{"value":{"entity-type":"item","numeric-id":3489523,"id":"Q3489523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$B37F1E28-6477-4ACE-9952-70D6323F159E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6733b7bbb3da2725018c9c6a7b544f9ef86c0eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1101418,"id":"Q1101418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$639949CC-4955-4081-81D6-AE2DB84BBAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc23fa9db53cabf6cb7341125e31b421198676b4","datavalue":{"value":{"entity-type":"item","numeric-id":1199913,"id":"Q1199913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$2DA0E22E-BF14-423C-9D47-02DD920FA3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$46940EBE-FA57-4B07-9F73-7E8367CD55A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$561438CB-6141-499E-9F15-7D15AA1B9F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a157b93c6843fb22f2ec11d758cfb4e2cce5cee","datavalue":{"value":{"entity-type":"item","numeric-id":3579211,"id":"Q3579211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$8F144F3C-2C81-4E4E-A028-B4E7C74F4132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a35cc55e5b10a424a85f3ddcd5c540cf5328ff0d","datavalue":{"value":{"entity-type":"item","numeric-id":1249435,"id":"Q1249435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$05170A7F-7F09-43DC-8FA8-60445DBFC7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$BD2CB961-4A9A-48EE-B147-8653E846B3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dc21616495510372343ba5d18598addacd13ba","datavalue":{"value":{"entity-type":"item","numeric-id":4647549,"id":"Q4647549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$2D7AD499-2428-4056-8B39-833248150A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1a2bc812e5333b5582e9a89d0e222c5015c063","datavalue":{"value":{"entity-type":"item","numeric-id":4539620,"id":"Q4539620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$C4F6BDB0-2553-4526-A998-DC4E0723499B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fcfb988ef10885eb0a5a746c562e10876fedf0","datavalue":{"value":{"entity-type":"item","numeric-id":814445,"id":"Q814445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$8D95F755-F846-4EB0-A9B7-36BB21DC4892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d8b54453dae39d05345c9819daee55430a42ae","datavalue":{"value":{"entity-type":"item","numeric-id":5900298,"id":"Q5900298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$B9B75643-0B57-4B62-9E72-045B7EAD6F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cb5c9d0b0d6ff42b8fb3510f341e870a8e3d24","datavalue":{"value":{"entity-type":"item","numeric-id":3624018,"id":"Q3624018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$968D4B1D-127B-4764-BFB6-0502CBDEEC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"789c9b261b79882661741dd01add5c380b8a4ed3","datavalue":{"value":{"entity-type":"item","numeric-id":787685,"id":"Q787685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$533D2E6A-68D3-49C3-BB85-F48CF4617106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4d41132ba3f484fa35ae298d7e3e344dc8b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":5714743,"id":"Q5714743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602252$9299EA34-11EE-46BD-A898-D923C1D410D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e583181a2765fba372da0ac350c24cae912f430","datavalue":{"value":{"entity-type":"item","numeric-id":5498680,"id":"Q5498680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c038caa98b40060cae3c2f26406b5d7771518ef","datavalue":{"value":{"amount":"+0.8139932155609131","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":"Q6602252$F0F6ABFA-9531-4C72-A34E-C28088F435E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18240ada612154b365e6daf50d72144869500ba","datavalue":{"value":{"entity-type":"item","numeric-id":3176367,"id":"Q3176367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6b1fadb32b787bc8c59da44a18c463474f6dfd","datavalue":{"value":{"amount":"+0.7862801551818848","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":"Q6602252$3EC7EC70-0A21-4617-899F-A2DE7075C472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b91ca97086d9f884255edbbcd731340f2d9579","datavalue":{"value":{"entity-type":"item","numeric-id":5717462,"id":"Q5717462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"412a4e13349c3e1dc0c6b639b83a2e5a644a0bfd","datavalue":{"value":{"amount":"+0.7768256664276123","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":"Q6602252$73C77147-3C5C-48D7-B22C-5B08E45BAE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1b3677be470c48f9f6b1444f1d190a74f1739f2","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10edac7a81b5ad610bc3fffc8ca6ec4fb6918f91","datavalue":{"value":{"amount":"+0.766563892364502","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":"Q6602252$B1B79F49-3A94-4E51-A0D3-F7F6E0439A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53df82030396a58aeacb17ff2ca466c9980c325b","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"077b5b3c01f358f6f06e19f5fdb68a0a1e1872a9","datavalue":{"value":{"amount":"+0.7606233358383179","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":"Q6602252$9A8F2FA8-B7DA-48AC-B6DC-79CC98CFE6F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6602252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6602252"}}}}}