{"entities":{"Q6664542":{"pageid":14275699,"ns":120,"title":"Item:Q6664542","lastrevid":55824616,"modified":"2026-02-17T23:28:45Z","type":"item","id":"Q6664542","labels":{"en":{"language":"en","value":"A \\textit{DPLL} procedure with dichotomous branching for propositional product logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7968431"}},"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":"Q6664542$3E6A54D0-8B95-44DF-84C4-F087E0568AFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c99e813cdda61351af876be7a20b1b72cb075743","datavalue":{"value":{"text":"A \\textit{DPLL} procedure with dichotomous branching for propositional product logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6664542$E24768F2-9B35-4D33-897A-42D25D7BA08C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de1f06867ed597d52009da561394aa1479da7ae4","datavalue":{"value":{"entity-type":"item","numeric-id":835102,"id":"Q835102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$1EE93672-4805-4D15-B672-1DA800E58737","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4360b4e30351d9b5ea4ccf9719e2a288adba69da","datavalue":{"value":{"entity-type":"item","numeric-id":2701902,"id":"Q2701902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$4B98B5B2-17AD-4AD3-BC3E-2BB292A63F66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f85465b36fbf3dbb8f92a0ca76ace079c46bcb4f","datavalue":{"value":{"time":"+2025-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6664542$413DB759-5923-4BF3-9E9D-16A37189F4A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6664542$731D5440-A8F4-4EA2-8A23-E6D97E81488E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6664542$15141C43-74E8-41FB-97DB-00FB07DFFAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6664542$A445B581-8F81-4DC3-96CE-573437127185","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdef950c0c726e645545d3e27ecccc4735f2d5ff","datavalue":{"value":"7968431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6664542$D5C03F0B-5D4C-49C6-9A95-3B6A8CACE665","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e6c2d535e525c1e1d5ea7187efa822fbf373465","datavalue":{"value":"product logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6664542$3ECCB259-32EE-454F-AB31-4C8EB5A6923A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"056c2613969784a78b291e5e8c4a94f488d0a6d3","datavalue":{"value":"procedure of Davis, Putnam, Logemann, and Loveland","type":"string"},"datatype":"string"},"type":"statement","id":"Q6664542$50664E76-361F-46A4-9A46-1F867C294674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6664542$72426CE5-B46A-4419-964C-6A4A7F4E72F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcff9e2917a3247e542ea94bf7523dca2f98440e","datavalue":{"value":"\\textit{SAT} solver technology","type":"string"},"datatype":"string"},"type":"statement","id":"Q6664542$6E0313A1-C1E6-44EA-936F-C5CB51F7B95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e665a942ad8aea419f5ff1f9f1046eabe10a807","datavalue":{"value":"fuzzy inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6664542$04C7D01D-11E7-4517-87A7-1550DB1BE7F0","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":"Q6664542$38719118-2027-462F-8A3A-0E329ED4802C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4971710e4358cd9ca63b9a295e880af2959f4d","datavalue":{"value":{"entity-type":"item","numeric-id":4269081,"id":"Q4269081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$41470D42-196A-49C8-B768-1B6F28551914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$AE805265-2E4C-4037-B5AB-B1ACE57DB94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$C28DBBBF-B6F3-48B9-9B27-59CA6B8D998C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3acc9d7231e8f09457c48aea7316005907b56b06","datavalue":{"value":{"entity-type":"item","numeric-id":3178404,"id":"Q3178404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$32F40DB0-00E2-42F8-B67F-B37E04F792C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$B06774C4-F148-4058-8551-ACF2BA39D4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dca4e376739e90cb915f405694b6ab7c37e738c","datavalue":{"value":{"entity-type":"item","numeric-id":773072,"id":"Q773072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$8D2464AB-F728-4AF6-B143-999A8B2E8531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b54a2dd9a2085a52d684d7962240e64f022dc9","datavalue":{"value":{"entity-type":"item","numeric-id":1913299,"id":"Q1913299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$CBA1C508-335E-4267-921E-0B698ACB87A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a5a8514c16b27cd5b5f9310f33915f3161eb75","datavalue":{"value":{"entity-type":"item","numeric-id":4512929,"id":"Q4512929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$5C7CC0EE-E196-4564-994F-67BCE3249388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8084845bc1e7476620c12a49f6dd2abd44035dcc","datavalue":{"value":{"entity-type":"item","numeric-id":1100196,"id":"Q1100196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$0695EA36-B850-4C02-8165-2A7878F2AB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434afbbce3dd3737611c2b9692e650f00936976b","datavalue":{"value":{"entity-type":"item","numeric-id":1971778,"id":"Q1971778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$B1D4FBFA-AFBA-4058-B920-75DED59FEC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00956a9e030c8b1f620845136061c73902c1449","datavalue":{"value":{"entity-type":"item","numeric-id":4680816,"id":"Q4680816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$96634859-F19A-438D-BD8B-3BEE3E07E45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774289da01a364e753a8f9f11afcdd0197edfd1","datavalue":{"value":{"entity-type":"item","numeric-id":1575112,"id":"Q1575112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$023F4ED2-25FC-4B68-890E-2E043F2A479D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5221ae9f5665dd4e4711830b1603643cc70319b","datavalue":{"value":{"entity-type":"item","numeric-id":4600475,"id":"Q4600475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$54C07141-7344-47C9-8EBC-7EF072D11983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d8fba7c7c61939812beaf700ae24a6ef012ece","datavalue":{"value":{"entity-type":"item","numeric-id":5872513,"id":"Q5872513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$63C1E4C7-FAA8-4063-8EBB-3FC22DE8E43C","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":"Q6664542$E5BB9DF0-2F1E-47A2-A20B-07909E77E376","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":"Q6664542$8A7B3A17-5081-4021-A5BD-C8F456872B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$43109A47-8359-48F9-9EA4-D1BA7E168126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df14d7f169ed8ad3c0b920fd998494ca652889a","datavalue":{"value":{"entity-type":"item","numeric-id":2328910,"id":"Q2328910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$6BFAB37B-C960-4EFA-A7E2-20AA0A7C00A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569927fbe93407529f06d41b68d2ef6209ff2db6","datavalue":{"value":{"entity-type":"item","numeric-id":1924752,"id":"Q1924752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$2EAC48CD-A1BA-409B-8D33-26754AF28C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2894a726d38017dcebd287aa2e92de0e26e04dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4323008,"id":"Q4323008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$FA8B5F37-4EE1-4D03-952A-78FD3AD99873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de167d47d94e5785d94c6ded257853f6fc4d1cca","datavalue":{"value":{"entity-type":"item","numeric-id":1697332,"id":"Q1697332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$4E121620-4FD1-4FEE-ADD2-37639FB2085F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4366317ce31b580fcdaeadab2fe1e4c9b8f2e5c9","datavalue":{"value":{"entity-type":"item","numeric-id":2317509,"id":"Q2317509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$8D0E8750-DE6F-4FD5-A6D1-74205C7A1A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$03AE89F2-DBD3-4FEE-A95C-B9050AD8AA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704aa6a93e08ad86249a712577f6e2a837a14490","datavalue":{"value":{"entity-type":"item","numeric-id":4249904,"id":"Q4249904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$4FCDC15A-1D8D-4F92-95FA-FF8272E8A65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19bcc8ceeae09bfe2823325d7d61b377dc18bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5597535,"id":"Q5597535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$5794F74B-C4E9-494E-B7AD-C35CEB7AC272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6628f87566cd73fe6833242aa010996ad43842","datavalue":{"value":{"entity-type":"item","numeric-id":5872488,"id":"Q5872488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$753F6006-8EC2-423F-A28C-6746D18C121B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa55ec93b4f6df2992e001933a6c23dc92e35790","datavalue":{"value":{"entity-type":"item","numeric-id":4691737,"id":"Q4691737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$75C13A1C-39A1-4945-B942-0FCAC6A5833F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e54c09b2b8cc66915ea23e1c66200f99fb03980","datavalue":{"value":{"entity-type":"item","numeric-id":1580660,"id":"Q1580660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6664542$6B9C386A-B9C5-47BC-A879-168ACBD22C98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3598f55ef9799292c4bb4bf6c04a5ba2723e8fba","datavalue":{"value":"10.1142/S0218488524500296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6664542$501317AE-4F2B-4BFA-A82E-483D41421745","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609f540ace4c7f17599df29861646a4bab027516","datavalue":{"value":{"entity-type":"item","numeric-id":2723420,"id":"Q2723420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ecaa31aa2ff0cc33427c1d692cc0549300a3bab","datavalue":{"value":{"amount":"+0.7344377040863037","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":"Q6664542$948E9958-63A3-4031-8BEC-DBB4329CFC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3ea0ee9bad611740c703cd36a57d490ae103ea","datavalue":{"value":{"entity-type":"item","numeric-id":1319449,"id":"Q1319449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81acf160738b35103c5d8a3fa3d28ceaf582a6a4","datavalue":{"value":{"amount":"+0.7255701422691345","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":"Q6664542$4AFA0D53-80C0-40FF-B7F0-F1CE606D7F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91cbddd96c541861adaf78fb8ba4d7d18f50ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3481674,"id":"Q3481674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f4ae3cc1bed2d68eb5b010001e46597a3d242b","datavalue":{"value":{"amount":"+0.7254436612129211","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":"Q6664542$F2BFA864-BF6D-4168-A876-3479108FDD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88e048a538621a26aae1dffbbfee6482cac1e42","datavalue":{"value":{"entity-type":"item","numeric-id":1100931,"id":"Q1100931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d639dd513032f983ea7f9a17c209f4683d02da19","datavalue":{"value":{"amount":"+0.7215661406517029","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":"Q6664542$00979102-4107-44E3-B4DD-D07DA186F1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47227c3ededf306d0bae5b081c3c2eaf0e20bdbf","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b2935e014f8a6ba6780e37238f5a7d1883d3af2","datavalue":{"value":{"amount":"+0.7192882895469666","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":"Q6664542$D7414443-0FFD-4488-8E06-0A3EA0D2D500","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6664542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6664542"}}}}}