{"entities":{"Q3399426":{"pageid":3410129,"ns":120,"title":"Item:Q3399426","lastrevid":50781668,"modified":"2026-01-15T03:55:49Z","type":"item","id":"Q3399426","labels":{"en":{"language":"en","value":"Introduction to Mathematics of Satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5613460"}},"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":"Q3399426$CDFB9D99-7D80-42B7-8342-1EE584948AF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58d7f09a38dd5220f660f2f8d223c8add44acad5","datavalue":{"value":{"text":"Introduction to Mathematics of Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3399426$D8B82B4E-5C8B-430E-A889-1BAC02E73CF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"061fd23be05305b8b7a52d1dd646e719ddb448c1","datavalue":{"value":"1184.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399426$BDBA8529-4BE5-41F9-B58B-62B4BB68AE29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3518d72a6559800451d3c28b2e883db663ec171","datavalue":{"value":"10.1201/9781439801741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399426$83DC2B79-32C4-4087-A063-D3FAD3299DF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff666a2845ea1366016230a34f1ca97820fb5d6","datavalue":{"value":{"entity-type":"item","numeric-id":388663,"id":"Q388663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3399426$BB145DBF-FCAE-4589-84E3-E774E9774AFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93f647a4ebf59f456db8e4a403723e6cd39fb2e6","datavalue":{"value":{"time":"+2009-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3399426$D2C49EE5-E65F-4C74-A440-3C23F1452351","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399426$3E4C867F-AEF9-42C0-926A-9A6240FF65CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399426$3E95B0E5-F3C7-421B-BFCF-33F850F1319B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399426$C2E1C95B-8D47-418A-B7F7-91A187B4656A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399426$2318FA47-D298-45F5-A53F-6A7DF9A6F045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399426$E7E89179-FB44-48B8-91F3-B333FB2BC4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399426$416E32A2-14F5-4529-976C-20F3543507B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399426$1D4F7380-8FD9-41D8-9C98-747157C6CB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399426$53E18187-B694-458E-9CC0-C5EAD96DEAF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42e6dea61473ec8390143760e2f0567faef0559e","datavalue":{"value":"5613460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399426$CF864587-A130-44AE-8ABE-A56CAC1DC103","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399426$4546A949-1EBC-4290-B82C-F1F1BB9B8426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399426$FE119F34-2209-4E07-AE28-11503C8D0C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399426$A3C0882E-608E-4089-AC85-6E7F03282572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ca52c5b59b1d5df1304d9220b3f1c331d2e2e","datavalue":{"value":"Craig lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399426$18BD6F8B-0549-40A2-A7F6-BA899BEADD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399426$316AD1A7-98C2-430C-B310-720206B799C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399426$A610ACB1-2AAD-49A8-AC7D-B671DAE2656B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e84e823d13cc576291ee6796377728eca7465f02","datavalue":{"value":"clausal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399426$C0C2474A-B096-4166-8D1A-F1C6211F1209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399426$27BE7B7B-167E-4E59-8FAF-B59C53210D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399426$8CE0F82A-7F93-4B74-AD31-782FEF94B3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7ac674268224c9b1b4b60f07b959745a70f08d","datavalue":{"value":"DPLL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399426$64A26F7F-D9E8-4B14-9FED-C4C1D1109220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d1895598468890b87033a28e992662217884b54","datavalue":{"value":"fixpoint theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399426$BEF0FE76-304E-4040-88A1-96937D10EDA7","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":"Q3399426$F0232B7E-F4A5-445E-8F71-D34EF62A4DC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"924e90d128eccca90ea3a82eb4f5adea5575a76a","datavalue":{"value":"https://doi.org/10.1201/9781439801741","type":"string"},"datatype":"url"},"type":"statement","id":"Q3399426$F9D2D236-2A7D-4A51-A937-C2EE63160F64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a76bb1a4c372acf35643fcd338021659d556dc60","datavalue":{"value":"W576907608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399426$AA11BDE2-8904-4DDC-B8C0-52F3135230D1","rank":"normal"}],"P1643":[{"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":"01a55bf677b25db21c1672634f81a26ce69ef73b","datavalue":{"value":{"amount":"+0.8541402816772461","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":"Q3399426$8C4E4943-E2DF-441D-8493-3779C12862AE","rank":"normal"},{"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":"9f5dd95b1f3bc1e24152da4871c76f8576d636b0","datavalue":{"value":{"amount":"+0.8380009531974792","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":"Q3399426$9ADCF59D-0A68-40DC-ADAD-5C4939E8A36B","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":"23ab66215133bd8123a93f0fce16a7481719e149","datavalue":{"value":{"amount":"+0.8155673146247864","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":"Q3399426$676657C4-8368-4AB2-BC89-E5D14FDF1D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c285bd7756b5432b9005d0722e71df817035e2a","datavalue":{"value":{"entity-type":"item","numeric-id":3378449,"id":"Q3378449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23ab66215133bd8123a93f0fce16a7481719e149","datavalue":{"value":{"amount":"+0.8155673146247864","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":"Q3399426$FFA683AD-3DF1-4EC8-BD4E-002CB92247FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d39e9e2f98468b5b286a1a645167693ca63350","datavalue":{"value":{"entity-type":"item","numeric-id":4826784,"id":"Q4826784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1973ef99765821a474999f8b4f1fec7dff20d4a4","datavalue":{"value":{"amount":"+0.8153666853904724","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":"Q3399426$9D6A03EE-4C02-42C2-AA3D-77F0105A62F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3399426","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3399426"}}}}}