{"entities":{"Q3008409":{"pageid":3019133,"ns":120,"title":"Item:Q3008409","lastrevid":85985681,"modified":"2026-06-03T13:08:16Z","type":"item","id":"Q3008409","labels":{"en":{"language":"en","value":"Solving functional constraints by variable substitution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908209"}},"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":"Q3008409$8EEDDCE6-0333-4832-A267-93DE30C5C297","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff55fd02132910cd0830c6e13cff67c19b5dcfaf","datavalue":{"value":{"text":"Solving functional constraints by variable substitution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3008409$16C437C7-6165-48A1-AE33-12D28C5985D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36bd0890714bd6048ef9a5b7e00b86058bb42112","datavalue":{"value":"1220.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008409$F0C3817B-B30A-4167-89BD-CE2CF7328FAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d3be4c73ac36255f10f7464ea894c7cb6283f6c","datavalue":{"value":"10.1017/S1471068410000591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008409$1912E744-6FC5-49FF-8786-BB4EF6EB0F68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5b3470e2f1805140214711a80178bd373ed75d0","datavalue":{"value":{"entity-type":"item","numeric-id":426320,"id":"Q426320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008409$D62384D4-979B-4B66-89CC-25AA615C808B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b9b4d7b7159e1ae2e39029628a39ee73b050125","datavalue":{"value":{"entity-type":"item","numeric-id":202526,"id":"Q202526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008409$BE3B1098-204E-4E0A-A4EC-EE378E8F93E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008409$E9791E1A-BE09-4741-8D47-D5E6168982C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04f456b7978a84082d01cb786803df58ce3a680c","datavalue":{"value":{"time":"+2011-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3008409$2908EC7E-2845-4C3D-96AC-14629596505C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008409$EA9C2E27-D450-4BB6-8075-C32501D4CA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008409$963D87EE-CE78-48D6-832C-1FD829266E2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e72aaeca3df9bb63d79688e06651f076aa9b787","datavalue":{"value":"5908209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008409$5F254388-F109-49B2-B4F0-187AD7F181D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008409$84B61A23-B937-4086-9839-F102A5DE6321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008409$149A1297-8D0D-42B3-A0B0-48E8168C468E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1cccbc237427d7507eeb24c11692bf58312ca4a","datavalue":{"value":"functional constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008409$387A95E9-6885-4354-97F7-33F8914F1CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3151651b96ed53c831f9445228069b640ffe335d","datavalue":{"value":"variable substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008409$12F8591F-F5EA-4FAF-9BF0-D9CD1BB4DFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8576bc4f7d98b2fd42a6bcf740e0c736ac05fc","datavalue":{"value":"arc consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008409$9F40000B-25C0-4B2C-8757-477ABBC18A2A","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":"Q3008409$8F5FF834-B45D-4216-BBBA-142CC40E37B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aba61b9cdb63b3c0fd757cd9d4db2b118e0be36b","datavalue":{"value":"https://doi.org/10.1017/s1471068410000591","type":"string"},"datatype":"url"},"type":"statement","id":"Q3008409$6D3198FC-3C3A-4F4F-8A93-3A98A739FAB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67e35fa2d1adff266598006f1d88882658c2451e","datavalue":{"value":"W2172664928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008409$B34C89CC-9431-4C40-9401-2A475A043AB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9645c848b2cd54eac02737bb0def7bf55d232e21","datavalue":{"value":{"entity-type":"item","numeric-id":5504684,"id":"Q5504684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eef5f23c9cabd89136005ed44bf556f69c961e0","datavalue":{"value":{"amount":"+0.94965398311615","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":"Q3008409$63642F62-AD63-47E4-B724-325AE4115875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b272c18081a6f5bbb5cae1df7caf8deb3a3f09c","datavalue":{"value":{"entity-type":"item","numeric-id":4446268,"id":"Q4446268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7523d2807b368d62c4edd960c5baf14432cb65b","datavalue":{"value":{"amount":"+0.762282133102417","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":"Q3008409$89214B81-E0A7-4DEA-B0A3-A3F5434AE03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65085caf995b77b4576ff7bec2371a98977d85c1","datavalue":{"value":{"entity-type":"item","numeric-id":4386933,"id":"Q4386933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f3bd4c7d816e7574c8b4376876f269247ec95f","datavalue":{"value":{"amount":"+0.736681342124939","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":"Q3008409$C643A70F-596C-4315-8345-4D6844204630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e689b4490f8bae900a5b5a6b660850bfcf3bf21","datavalue":{"value":{"entity-type":"item","numeric-id":5307071,"id":"Q5307071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271dceb5466323c539fbecbb12a73069665a8ae6","datavalue":{"value":{"amount":"+0.7160249352455139","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":"Q3008409$DF765CCF-2BDF-449F-B79E-AD23E2738F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"675b77663ed3ec01cbd7e1ee9b622d555c408e81","datavalue":{"value":{"entity-type":"item","numeric-id":4253831,"id":"Q4253831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411b9fd6fac460bb1eafd2bb870677a0d05dd5c6","datavalue":{"value":{"amount":"+0.712222695350647","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":"Q3008409$E7A53EF8-8243-44AA-AA9D-95243A9B7F7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving functional constraints by variable substitution","badges":[]}}}}}