{"entities":{"Q842794":{"pageid":844642,"ns":120,"title":"Item:Q842794","lastrevid":64749927,"modified":"2026-04-11T21:58:30Z","type":"item","id":"Q842794","labels":{"en":{"language":"en","value":"Compiling finite linear CSP into SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5607556"}},"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":"Q842794$17293D8C-B0D6-4990-8B31-C4216B96F56A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45a709cb057e59f985cf00ce3d87eee12dcf8d06","datavalue":{"value":{"text":"Compiling finite linear CSP into SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q842794$7A3B67EC-3833-46D1-86C5-C9379618F299","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1129d18eadcfd79ded125467c4429bd1c6bd23f","datavalue":{"value":"1186.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q842794$7DAAEBB0-79EE-4953-96DA-88B02698C0A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44e1ebd063bae01b0015c3747ab277093223f2d7","datavalue":{"value":{"entity-type":"item","numeric-id":842790,"id":"Q842790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$F646FB9B-645C-4BF4-8211-EC3914882EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fff2db95b32abad8dc04ab448ccce663aa264aa1","datavalue":{"value":{"entity-type":"item","numeric-id":842791,"id":"Q842791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$6A55021D-0ECE-4C22-95AB-D6C826015EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53b98bcf6462d33212183f28db3d7a2dccf85c6a","datavalue":{"value":{"entity-type":"item","numeric-id":842792,"id":"Q842792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$9CDBFEE0-E12E-4A94-A6E6-8C731563E8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11eeba1a556b3bf65f38fd098fcc8d38e57d4488","datavalue":{"value":{"entity-type":"item","numeric-id":842793,"id":"Q842793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$64703AF3-75D3-4DBA-93B6-DE9E80A33506","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$46A340B5-E161-419D-AD1D-45F5DC0D1253","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c56145d36def32afc6df012cdc691bd376c4a766","datavalue":{"value":{"time":"+2009-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q842794$20FA27F0-00DE-4619-AE31-08B790F11F9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q842794$E5DCBCD5-619E-49FD-B1FA-227333CAC6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q842794$213DDB93-58A3-4757-8D24-8B8A91CAB15D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88461c096b918d08d9c8718ab8bf4049c02e6c24","datavalue":{"value":"5607556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q842794$69209899-90F6-4821-823C-04B43E51E087","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df25359605a7bacf8d12705a29fce2b79e2bb8b0","datavalue":{"value":"constraint satisfaction problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q842794$44C0C19E-C120-414F-83D7-01EAC9123EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdeacae6ea35d3c55028ade4ac93b6c7813f1db","datavalue":{"value":"SAT encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q842794$857B3A01-7C27-42E5-A729-025C8431426A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f772b5c1bd376c4a6dbc26fc4cdda414cbd87a7","datavalue":{"value":"open-shop scheduling problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q842794$5DF80D2D-F0EC-4792-A581-15499B2DADB3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$AFEE04C1-D27F-4FBD-9ED1-4916E471D029","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":"Q842794$A248F521-840E-417B-99E1-816659891456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54c4db5b3f124efb02306bb4c30dd9d1d636d7cb","datavalue":{"value":{"entity-type":"item","numeric-id":21737,"id":"Q21737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$C9DC531B-B1D3-45FC-B4D7-5CFA5290BE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed23a2902af3dc2eeb8ce356734d4040af8da69d","datavalue":{"value":{"entity-type":"item","numeric-id":23684,"id":"Q23684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$5BA90846-1D8F-4B3F-BBA8-8DF6DDE3726A","rank":"normal"},{"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":"Q842794$FCA473FC-ACC6-43C7-AA7D-8309F10E315A","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":"Q842794$CD005942-F49E-49C5-B864-95BC4FB3BBA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64fbb92ca527e35a9633cadc246ef78ef3c7eb72","datavalue":{"value":"https://doi.org/10.1007/s10601-008-9061-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q842794$E5C1EC54-CD06-4912-BA44-3978B3104637","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1556fc054a2d567d83cdb41743123940645d1bc1","datavalue":{"value":"W2605289564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q842794$D572901D-79BC-4FCF-900B-B75A27889264","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b04da30aa2b32755574ef6294d7141ddca82c13","datavalue":{"value":{"entity-type":"item","numeric-id":1764767,"id":"Q1764767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$96D0C36E-6B1B-446E-992A-4F2D3CB6F977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae876ac61efc171ef5bb969067a86396ebaa9a9e","datavalue":{"value":{"entity-type":"item","numeric-id":1363739,"id":"Q1363739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$90C74141-EEE9-49FF-85DE-B4F4678EAAD2","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":"Q842794$28E7CAFB-D237-45E6-9228-99FCBF1953D9","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":"Q842794$6C3F461D-83F9-4FB3-BB6C-90C40920FB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c29b9a2163649ff6e18080ea9fdbf8bf0e8acb","datavalue":{"value":{"entity-type":"item","numeric-id":1960317,"id":"Q1960317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$C93659C1-DE3B-4D80-B458-93933CEA64CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"417ee01bc0d79e7e4e5b9f507e0d715cc0fbd7ee","datavalue":{"value":{"entity-type":"item","numeric-id":860390,"id":"Q860390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$63E1E5D8-6029-4446-ACC8-518D7AB67B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b137517fe23c8d436635678460a6c51617fb70","datavalue":{"value":{"entity-type":"item","numeric-id":1606115,"id":"Q1606115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$978E14F7-4092-493A-BE75-1B102B711CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c1647842d2c4612622084a5b09fcbaf704ae6d","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$EF947745-F3E4-498D-9587-041E1D00737E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f38345f41d2fdd04972015c7c63bb38dd89a2db","datavalue":{"value":{"entity-type":"item","numeric-id":2366085,"id":"Q2366085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$0BFDE2BA-F396-4D41-85A0-DAD4E3218CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ac3f9f9a816e537d83bd35056a5b61595c7ea5","datavalue":{"value":{"entity-type":"item","numeric-id":3524260,"id":"Q3524260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$03C15F18-A572-4595-A266-3373DE47F627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18a7befb8cbe0803a8aba2c8dd229a96e36f5476","datavalue":{"value":{"entity-type":"item","numeric-id":4473043,"id":"Q4473043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$C06E926A-2D93-4F38-A860-5A8E56965766","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d75e79eb2e9a1c16fc905c1ecaf036ec8c59a975","datavalue":{"value":"10.1007/S10601-008-9061-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q842794$6D5CEB08-67AE-417F-937B-262891EA74CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf50867befe2a1e623fd344b032fa43a0ca1dc30","datavalue":{"value":{"entity-type":"item","numeric-id":3524260,"id":"Q3524260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcbf288000fb9e848bf6377ed804f8fdaf1334fc","datavalue":{"value":{"amount":"+0.9849488139152528","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":"Q842794$731690BA-1A9D-469B-9F47-86E5DD98C0B8","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":"c6393918145bbf7368897bccb114fdb6fad3cd00","datavalue":{"value":{"amount":"+0.8331918716430664","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":"Q842794$DE85B5BC-4359-4430-8CE2-A7DC18DF2620","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":"f3f0deff6dd637e7f7894325f28988befbb1c997","datavalue":{"value":{"amount":"+0.8121123909950256","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":"Q842794$D74FCFFF-13A7-4DDF-B2A1-A64862B089E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f3024398fc52ae32fbcf95d0f3d4d733728233","datavalue":{"value":{"entity-type":"item","numeric-id":3523089,"id":"Q3523089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee60663d36f5d6ae7df7241a623bc8434ef489e4","datavalue":{"value":{"amount":"+0.8014880418777466","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":"Q842794$DF5B1975-CA20-4C09-8A10-0BE007A7306C","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":"1d399f85fcbdf8297c503e86d0e2a74d57f08137","datavalue":{"value":{"amount":"+0.7873894572257996","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":"Q842794$CDAA32B6-E253-4E47-B999-AA25454CD2B1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842794$B9F1A36D-F44B-45EF-A467-E92CCD6C84D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compiling finite linear CSP into SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compiling_finite_linear_CSP_into_SAT"}}}}}