{"entities":{"Q3541829":{"pageid":5571733,"ns":120,"title":"Item:Q3541829","lastrevid":80980994,"modified":"2026-05-06T17:26:37Z","type":"item","id":"Q3541829","labels":{"en":{"language":"en","value":"A Boolean Encoding Including SAT and n-ary CSPs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374404"}},"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":"Q3541829$96430E59-B85B-4ED5-B33F-8B24D3BFDF31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90f1e6d8026cfcdf677820ab16bcac47bd195f65","datavalue":{"value":{"text":"A Boolean Encoding Including SAT and n-ary CSPs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541829$E61F005B-2C38-4AE8-BFC4-9E2606C682A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27e55ff69e1a6153fce2bd58bd9d0c5c0d437c54","datavalue":{"value":"1158.68496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541829$FF5CE6C2-B0BE-46C8-8D33-358A5E54EF6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1eecf013b422b48d925e658d66bdbc73cc1352b","datavalue":{"value":"10.1007/11861461_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541829$560C22AB-BC88-45A1-92A7-99F682282307","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"349543c4d254fa031ce4869fd6d8a64af20ceb85","datavalue":{"value":{"entity-type":"item","numeric-id":438580,"id":"Q438580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541829$5D58D448-A297-4A54-915A-B5D4BEC7FC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"600753bca549340fb431ecc9b427de0a3a645934","datavalue":{"value":{"entity-type":"item","numeric-id":438579,"id":"Q438579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541829$0CCF622A-75CD-45C3-B2F9-A1ABA5C7A139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ea3de18be82a5bbacfbeca4e52065a30217cf35","datavalue":{"value":{"entity-type":"item","numeric-id":438581,"id":"Q438581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541829$E42EC552-1351-414A-B7A2-31695A888EAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aee7cbccf36d5e0c46e52d4bb7450588d8f63b14","datavalue":{"value":{"entity-type":"item","numeric-id":3534655,"id":"Q3534655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541829$888FB816-8457-49B2-92E4-DCE642840FFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5749b126b021d85a2ebf6a8aa65ef57ba3c669","datavalue":{"value":{"time":"+2008-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541829$2C0CA5B4-4D2B-45F7-A7F7-D3EFC5655D7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541829$BBF422F5-9978-432F-8D25-393206A50E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541829$91FE6667-5F31-44A1-89DC-032CA1EA7705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541829$C5288E25-9AC4-4512-A08C-91F046441A57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"697777e679cfeb236191ec01b6dafe3d932f80d3","datavalue":{"value":"5374404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541829$CAA93DB2-A4DA-448F-B8DB-957ABDC6918E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e9eb22b5dc9f6b577773d111e05dadd2076f2e3","datavalue":{"value":"logic and constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3541829$433729A5-0C1E-43E9-A9FB-F9560DA33065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3541829$F005EEC7-9586-4DA4-AE1B-65BC171BCC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99e463b9da3c84cac663d2284dafb56253b13d1e","datavalue":{"value":"knowledge representation and reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3541829$BD7CA33A-AD36-4B69-86A1-42E0F6FBE0EF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541829$369702A1-112D-4202-8FC6-1477C997F2B5","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":"Q3541829$07366304-45F5-4C27-AA66-4662AB3D1D92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f5252c0e8fc650660dec6f6186e4ff4e7c5d917","datavalue":{"value":"https://doi.org/10.1007/11861461_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541829$6AED08EB-24B8-45B9-97DD-9EFF02007933","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"004e9a772665dbc1b54760add2e28050e8bae495","datavalue":{"value":"W1595613959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541829$5AA96408-D0B6-4A6D-B09D-8378BA25B6F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3f745d637a7d8df1a6b719aa4e7fdcf72a26317","datavalue":{"value":{"entity-type":"item","numeric-id":438582,"id":"Q438582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1a3b4050105b5b911f6b4af87c9e6cb40778ec","datavalue":{"value":{"amount":"+0.854441225528717","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":"Q3541829$C8D17641-FE50-41B3-A368-37CA8F900C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d1a613daab5c440126c9e05d8894a98e897a78","datavalue":{"value":{"entity-type":"item","numeric-id":5418737,"id":"Q5418737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8a4fdc32cc72fbe18f2b3a03efc4bb0b2c1a98","datavalue":{"value":{"amount":"+0.8053898215293884","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":"Q3541829$9EEF6455-7318-486F-95FD-6001D0BFC375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0f3fa4df38b83d7bdb45a1902d7117722304721","datavalue":{"value":{"entity-type":"item","numeric-id":5307312,"id":"Q5307312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"590acadfa2c2c5bcdf82296fe405dad66a36c75b","datavalue":{"value":{"amount":"+0.7900907397270203","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":"Q3541829$ED8C550F-7618-44E2-A741-E2511B4A0923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"769515ff4b8c1d15fde20ff305a2c63ef0c02132","datavalue":{"value":{"entity-type":"item","numeric-id":2342599,"id":"Q2342599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4f0d72cf34e80d8b6924e3f363d2a8981c7e0c","datavalue":{"value":{"amount":"+0.7839715480804443","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":"Q3541829$7F5821B6-2719-464D-85DD-50AE4374AC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f56d079705479d9ba616fc54f07bfe99a6cc33","datavalue":{"value":{"entity-type":"item","numeric-id":4583677,"id":"Q4583677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363ed4316580e5e7a51ce7f24c0d0c5163f07982","datavalue":{"value":{"amount":"+0.7713443040847778","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":"Q3541829$A60E6B70-FEF2-4DC6-9B3B-E21BEEB11134","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Boolean Encoding Including SAT and n-ary CSPs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Boolean_Encoding_Including_SAT_and_n-ary_CSPs"}}}}}