{"entities":{"Q1685966":{"pageid":1696707,"ns":120,"title":"Item:Q1685966","lastrevid":73755876,"modified":"2026-04-14T17:09:32Z","type":"item","id":"Q1685966","labels":{"en":{"language":"en","value":"Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820514"}},"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":"Q1685966$AAC04C57-8A10-486E-8436-EE83BFB7A581","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5681d9f5cc6e074a8e290b3de26d4c09281c64e2","datavalue":{"value":{"text":"Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1685966$AFCB4002-BC9F-43E2-9BF3-3E7D45F20F23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe1eca4e8dd74b96600aa03cd20f422c9fab2e8a","datavalue":{"value":"1382.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685966$23132E64-7AF4-4F58-AE10-207F35552948","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73a2468ab546d0f64591ae8a5ad0b2ad8e730787","datavalue":{"value":{"entity-type":"item","numeric-id":730004,"id":"Q730004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685966$93038E7C-1800-42B3-B30F-457EB9A892C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685966$387017C7-417C-4AF5-B7D2-283856E65E4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1f424280bd3a1cce6255069d9afac8f911a0ea0","datavalue":{"value":{"time":"+2017-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1685966$B3B8186D-EC6D-4385-90B2-BC7AFA18062B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685966$4CE3F348-04C4-45E9-8402-3681C721BAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685966$3CFF82FE-D5CB-46E9-8D33-659FA10E0B62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c85ae6d38fc49d940acfc913e9a7756d555fb16f","datavalue":{"value":"6820514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685966$24859FA5-E1F8-41C0-96CC-CE15BD8A1B70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55f22188f120daab160d89caf625f27e583414e1","datavalue":{"value":"cardinality constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685966$C3531388-88FB-4850-A6D1-2EB103AAC986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde58eb7a405f6ff4043a1186922c8dccac7ae2c","datavalue":{"value":"comparator networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685966$216E2771-8F80-4C82-9259-8A3BFC660FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e407b682a529c8de37eb3aeb4131ee0f73bcac","datavalue":{"value":"selection networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685966$96576A4D-19C5-40C1-9820-CB4382574CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0474bb62ecefa8129f5ada226737373a17064226","datavalue":{"value":"arc-consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685966$E3D59603-E6F7-49EC-976B-13AEB70449C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37bd8cee5afb13e25fb0d8131c9af9e127681577","datavalue":{"value":"SAT encodings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685966$F8287ADA-4119-482F-A686-76B0544E8B2B","rank":"normal"}],"P1463":[{"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":"Q1685966$212784E6-6ADB-4A6B-A0D6-20D5C218B1EA","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":"Q1685966$95BB21D5-C85F-45BC-B287-EB7CE17823D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"468808ecf5510f4ed51a79e7ba05173138497d77","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2017.09.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q1685966$19BA96E6-4B1F-4840-91A3-CDCDE7D7EB57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd2463b95a96bfa5d9452c155a7bb6d22dfdc23d","datavalue":{"value":"W2760875619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685966$D12443E4-D046-4284-8B00-7C37E9345274","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"150aa801de356297a68a75e1eebbbf0a3f17eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5415453,"id":"Q5415453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685966$F8A1A1D2-E3D2-4F7A-A5AD-521073FC2025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4a3bf808aa5ef496afec981d0bd4d91c12c920","datavalue":{"value":{"entity-type":"item","numeric-id":538318,"id":"Q538318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685966$69686644-612C-43C4-B661-534BFC13D3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31034d3cfe4350320b40aef6c74f7389b81ed6a3","datavalue":{"value":{"entity-type":"item","numeric-id":475170,"id":"Q475170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685966$0ABFD7A4-E779-4067-ADED-BFBB92104544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17cacec2890c36ff273013586f5d98141e41486f","datavalue":{"value":{"entity-type":"item","numeric-id":3066098,"id":"Q3066098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685966$E791BDB6-B95F-4E03-923A-5CA8D5BC8E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8828146480c327d9a17971b5fa330d92b4921c90","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685966$DBC91FBA-5F5E-492B-B077-0F818D9A7D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30bd9204d9228ac667cbda5db41624f199bf7c4f","datavalue":{"value":{"entity-type":"item","numeric-id":1286689,"id":"Q1286689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685966$F1D90B33-59D7-42C4-8C9F-7D7C7F757B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c2036f192d0e47a9c7d86fbd5938343bfe0da7b","datavalue":{"value":{"entity-type":"item","numeric-id":2009191,"id":"Q2009191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685966$1D163A12-BADE-4427-8ACC-16D06AC90860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0252db8f91fc184001751f0eeb3107ef96bd911b","datavalue":{"value":{"entity-type":"item","numeric-id":4349924,"id":"Q4349924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685966$48E53809-211C-4D56-AFCD-BC5FF3916A1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"533804fc792ec7e6659b8c0a746e036bd83cb15b","datavalue":{"value":"10.1016/J.TCS.2017.09.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685966$6260D5E8-9567-4450-8945-86FACFDD7727","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dda4ceb48b8fbcc45f120b73c47bb40a785bf889","datavalue":{"value":{"entity-type":"item","numeric-id":538318,"id":"Q538318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcefd18754331e7646bdb03a22e4dfb62ffb72b7","datavalue":{"value":{"amount":"+0.8533118367195129","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":"Q1685966$26635834-23B7-4F41-A487-31F588F7A339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ec105112cb1cea23524d211b4b7af2498bbc0d","datavalue":{"value":{"entity-type":"item","numeric-id":3637166,"id":"Q3637166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dd5cc22d0999335f0dfec37aa9ddf7131176983","datavalue":{"value":{"amount":"+0.8478916883468628","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":"Q1685966$537BB8BE-7267-4259-BC1D-BEB3C219650D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34cbbae1ac331190093428bc3ea6b9d5212fe02","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f87c12b804d50993c5375d203d1d1a3fcb059d","datavalue":{"value":{"amount":"+0.7897562384605408","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":"Q1685966$24CDB6C4-40AD-4153-95E2-6CC58042C1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1c7de327aa68f7c37f138ee37ebebc5b3e2f3da","datavalue":{"value":{"entity-type":"item","numeric-id":5222954,"id":"Q5222954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68773fd5f61d2befbec4a47a9d7e85facb6d4c2a","datavalue":{"value":{"amount":"+0.7897359132766724","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":"Q1685966$B1ED1FED-06CC-46D5-9A47-9C90C51798EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"686e43babfb7b02734336c459741adaa30daa674","datavalue":{"value":{"entity-type":"item","numeric-id":2009191,"id":"Q2009191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d30146e23e3582280f2411500102ba145340d6d","datavalue":{"value":{"amount":"+0.7893679738044739","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":"Q1685966$3EF801A8-58B8-4748-8114-B12AA252B43B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency","badges":[]}}}}}