{"entities":{"Q438582":{"pageid":440349,"ns":120,"title":"Item:Q438582","lastrevid":61924806,"modified":"2026-04-11T02:35:19Z","type":"item","id":"Q438582","labels":{"en":{"language":"en","value":"Dealing with satisfiability and \\(n\\)-ary CSPs in a logical framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062065"}},"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":"Q438582$53F32848-98C1-4054-AC09-818A544DCD10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c037c0ed13e00a790a02ff526ad67bfe3fa37ce9","datavalue":{"value":{"text":"Dealing with satisfiability and \\(n\\)-ary CSPs in a logical framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q438582$2381A438-FABB-4506-A87D-1D6A2213358D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9182d6ed00ac938665b0b3de93bb524b093edd5d","datavalue":{"value":"1243.68264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438582$4BA39D7B-2614-49D6-8940-E9779D0C5B96","rank":"normal"}],"P16":[{"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":"Q438582$17A16A32-2147-4218-A825-22D59FDB0BF0","rank":"normal"},{"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":"Q438582$7AB26755-BAC9-4B16-97E7-7F32EE6D3D64","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":"Q438582$08B85131-BF54-4633-9ED9-A2AA9A322E8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438582$9FBA65D9-9449-4AE4-8B09-7DC6AD51E6C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c7ad691786690cf86127845d28cf47311748286","datavalue":{"value":{"time":"+2012-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q438582$E56EC98B-9770-41D7-BF41-5C2D4FA547F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438582$E7FA07FF-CB7F-449B-BDBD-92DFE4A0D39B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abd4dfee0728620b6ed0ce632af43680fe117913","datavalue":{"value":"6062065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438582$FB370BF7-9B4E-406D-ACAA-DCC8D260A6E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15753573976c7198297ee48c0328d7487849b315","datavalue":{"value":"SAT/CSP encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q438582$58A8418B-C23F-45BF-B5BC-397752CF00E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q438582$9B63A0C0-255E-4DD0-AF44-D66F5878FB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9977afeaac4d053aef4e5b5c50df2441a2faf8","datavalue":{"value":"resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q438582$3E844F26-7532-4840-8816-D89129DEEB75","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438582$D32BDF0E-1C85-44C7-853A-4CE234E5027C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438582$6351F718-3A48-423B-9EFB-55529BC43372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5c36222bb9a591f98e2043db31a25ee5a230d02","datavalue":{"value":{"entity-type":"item","numeric-id":16334,"id":"Q16334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438582$FF4FBC73-5AE2-41BC-966C-6543D95C119B","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":"Q438582$49868515-8734-4CA8-AF0F-364803290C5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6aa343b8245e01ba553c198473f2ce7c97534e16","datavalue":{"value":"https://doi.org/10.1007/s10817-010-9204-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q438582$32B60D1D-E013-4A63-9A18-AF0DFEB00B20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c69eec1d91c223bd969c2ff63528e18a3cf17e2","datavalue":{"value":"W1985449294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438582$018A6BAE-C4CF-432F-AB2B-9B7F2E927201","rank":"normal"}],"P223":[{"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":"Q438582$9A620EE6-661D-401D-8C9C-98E6E5EF8EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e5236ce355517f1e8ebc1e630782add473f7c5","datavalue":{"value":{"entity-type":"item","numeric-id":4942636,"id":"Q4942636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438582$9983B341-1E2D-4A9C-9E82-7E4B1D92C3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2757c8a6dd297966d3c93d0a599253b621893718","datavalue":{"value":{"entity-type":"item","numeric-id":1852854,"id":"Q1852854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438582$4B7DEADC-0D51-4B18-A4DB-F1437FE7539C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a071bbd33ff057d05df74aab8cd237f7b1de76ef","datavalue":{"value":{"entity-type":"item","numeric-id":5325869,"id":"Q5325869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438582$B40F8A08-38BD-43E4-A940-8F8E4017CF88","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":"Q438582$661E0406-F1C6-4CB0-9091-9AA54C586814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438582$F31D5AEA-7241-4979-A75E-6CDE5F3B6250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf671107083407062aec6c550157822272c77ea","datavalue":{"value":{"entity-type":"item","numeric-id":4142714,"id":"Q4142714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438582$6F418F3A-4539-4E2D-B608-427E98D9CFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448910d87e19bcf3d507dba8f9ecca33be8c460e","datavalue":{"value":{"entity-type":"item","numeric-id":5949019,"id":"Q5949019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438582$D65DAFA1-8BB9-4BD2-A4F5-B2D2057C1CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438582$5513FB9A-0757-4F23-B7F2-F7B523AB8D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c924d1eb5644d2999e47059fedb8324a75857c","datavalue":{"value":{"entity-type":"item","numeric-id":2638780,"id":"Q2638780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438582$4847D5BB-3759-450C-A037-9D6519CCA2E0","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":"Q438582$A745A6AE-8554-4E57-94CC-E6C4E2B8C003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45182f291ed147235b4829e652a090e88e6a259","datavalue":{"value":{"entity-type":"item","numeric-id":3524245,"id":"Q3524245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438582$D015CC2F-B9CE-44EC-A21F-B33F064DF476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8409c6b47904da9ba25328ffb35bebdb7d310a8","datavalue":{"value":{"entity-type":"item","numeric-id":1844713,"id":"Q1844713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438582$71E7765F-9C04-4F04-9CF0-70EC6453FCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db859b8619008974006d015bfb23f842720f56ed","datavalue":{"value":{"entity-type":"item","numeric-id":4473037,"id":"Q4473037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438582$997078E7-D6C9-4DE7-A57D-445587391DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438582$27E9D74E-F25C-429E-B562-9AF3EA336627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ec7b6498d21cf7bf18db5a229c82ff0a4ad418","datavalue":{"value":{"entity-type":"item","numeric-id":4954175,"id":"Q4954175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438582$10ABC14E-F403-49B3-9F08-70E389A98657","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d71e94c217d74db75248366ec85103b48eb4a896","datavalue":{"value":"10.1007/S10817-010-9204-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438582$EE5CAB31-AE93-49B9-A94A-D9D5208A1A8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"383495a0d3327bb631ab85f02d8bbf90241bd637","datavalue":{"value":{"entity-type":"item","numeric-id":3541829,"id":"Q3541829"},"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":"Q438582$3DA1B075-1739-4940-B2BB-556B0CB0DB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358aba32ae3a7472b0cf0d801b8f015416b08e80","datavalue":{"value":{"entity-type":"item","numeric-id":3612452,"id":"Q3612452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77c622df828fc41ae21c34ad135e5b1857fecddc","datavalue":{"value":{"amount":"+0.7783764004707336","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":"Q438582$5A955DA1-C66C-4F9C-841D-9DAF4C075F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16e2356fda2ba53321e54d1699aab91ed7953207","datavalue":{"value":{"entity-type":"item","numeric-id":1204865,"id":"Q1204865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f470f455fafb3e4961f607af6f0027f10dc05d3c","datavalue":{"value":{"amount":"+0.7609870433807373","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":"Q438582$C2CB396D-A441-4D36-A6C2-7C854AA771F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c277363cf03217e922a94c25ff02fb87426df214","datavalue":{"value":{"entity-type":"item","numeric-id":5897216,"id":"Q5897216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1833c222d81a2f564a5f277748c45cb8aba78148","datavalue":{"value":{"amount":"+0.7484700679779053","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":"Q438582$CCEC4202-73E5-407F-A833-117267C8AB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6565db24b3d36c9b4e9d58768648d85bdab382","datavalue":{"value":{"entity-type":"item","numeric-id":3523055,"id":"Q3523055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8732f89fc7300ccc4d24a265b447c254a7a34100","datavalue":{"value":{"amount":"+0.7442669868469238","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":"Q438582$33863C28-73DA-49F3-B096-6E4B774DC92B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dealing with satisfiability and \\(n\\)-ary CSPs in a logical framework","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dealing_with_satisfiability_and_%5C(n%5C)-ary_CSPs_in_a_logical_framework"}}}}}