{"entities":{"Q2398511":{"pageid":2409254,"ns":120,"title":"Item:Q2398511","lastrevid":52877900,"modified":"2026-01-23T17:12:40Z","type":"item","id":"Q2398511","labels":{"en":{"language":"en","value":"Extending SMT solvers with support for finite domain \\texttt{alldifferent} constraint"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6760810"}},"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":"Q2398511$E1B92126-5A4A-482F-858F-5329E1ADC40D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"193010b3656d975429a939666619938d833e3f10","datavalue":{"value":{"text":"Extending SMT solvers with support for finite domain \\texttt{alldifferent} constraint","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2398511$ABACF25D-C100-4166-A49B-E367DD7B056D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31a30c57a080ca1b2ff5bbd357cb414ba88af8f6","datavalue":{"value":"1409.68266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398511$2CFB02D3-6F67-4F64-8764-835AF1A37782","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13183956f2f5e21710231c15e3dd696247f2edd0","datavalue":{"value":{"entity-type":"item","numeric-id":2230396,"id":"Q2230396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$E3032CDD-1EAD-40DD-B6C0-6C3907FB79A0","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":"Q2398511$06D55980-30C7-4039-BAA4-DF4256576724","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1d7c0d25932e6c783b5452f9f0c5ca5bd63b788","datavalue":{"value":{"time":"+2017-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2398511$7070E5BA-1E9B-41A1-B675-BB54ED706E02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398511$AF2C1D93-E2C4-4FE5-AEF5-99DBD34F8005","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a73c81e8c9ff008c10ec5bab7825dd2b3b6b442b","datavalue":{"value":"6760810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398511$4F8C6B10-7B2E-4911-879F-0C11F5977937","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac36a0d5bcef050bd5c5ec480998b0eb01458a6","datavalue":{"value":"SMT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398511$FB45C03F-AF6E-42A7-A8A7-D0D3B71AF87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f2ab7e1d6e7db982e70dc0cdf9f0be87147c565","datavalue":{"value":"CSP solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398511$80985AF9-AACF-4578-B795-309ABD02AE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4adeafc722ae85d4c3d1be770be56647353816eb","datavalue":{"value":"alldifferent constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398511$57347043-2239-4944-9FDC-6828DF5BBC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9df2b796d366051406c624ea6727afcf135e1ef6","datavalue":{"value":"explanation algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398511$75E78093-6AC7-4C94-B484-EAF6564D5725","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$F6F0116D-D425-4432-9044-A4BEE3106C12","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":"Q2398511$F5D9772A-18FE-4CCC-AF81-2C27B61EA16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8b4dd4a1b79eb58383b560cc3e564deb1a853c3","datavalue":{"value":{"entity-type":"item","numeric-id":41356,"id":"Q41356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$E30C02EE-5373-4A83-B715-B99030946A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$516F3AB7-EA65-4BB4-AB7C-23271CCBF3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"819305f873e76c90d91a03741ddef3564d02d474","datavalue":{"value":{"entity-type":"item","numeric-id":22143,"id":"Q22143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$B4CA03C5-41CB-43FD-8DEF-7296C4448E89","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":"Q2398511$026238F5-3DEE-4178-BFEF-9FEEE331A5EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"503bbc04040f86ffb2f044afe2e0f278b4c1d05a","datavalue":{"value":"https://doi.org/10.1007/s10601-015-9232-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2398511$FA00C1E6-97E8-4BB5-BF7A-DBA4259B363F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b43d4ad0ba0749340a8d1117f40cc832f2dafdf1","datavalue":{"value":"W2249204130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398511$2E124D93-535A-4AF6-87AC-2AAB55DE3258","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f091a2487faa4320a607c7fc5ddd1d40ffc78957","datavalue":{"value":{"entity-type":"item","numeric-id":5615282,"id":"Q5615282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$F05317A4-01DE-4D44-B1FB-CBC87842663B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31bcf28a807f52161c1ed13409bf1380e12b56dc","datavalue":{"value":{"entity-type":"item","numeric-id":487632,"id":"Q487632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$7DC58EC8-318C-47B1-A9FE-AAC262DF6F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394181bab27f4b1815f35966a93faec66f222ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5703769,"id":"Q5703769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$851D0E04-ED3C-4346-9E99-C08C264D5F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$251BC511-4A8E-4CD3-9274-FE2653C37B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e067b6bacb686f4bd2edceb36734424f1a098c","datavalue":{"value":{"entity-type":"item","numeric-id":2389692,"id":"Q2389692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$60FADBB5-E0DA-4A41-BFF9-26DA8793D8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9df03d940bbd4c025d80e4f6d96f2a49bffb4fd","datavalue":{"value":{"entity-type":"item","numeric-id":3237973,"id":"Q3237973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$361899DD-AAAA-4A08-B093-6C9A1D98512F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$F4857FFE-EB8B-43DF-8A78-EF9571262271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033b732388fddce519404f1b25f641126047c819","datavalue":{"value":{"entity-type":"item","numeric-id":5747772,"id":"Q5747772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$85021EB8-1772-4FFA-81B6-FC8313EB3AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e6adf13c6408e6c2eebe9bb0eee05dbe30b987","datavalue":{"value":{"entity-type":"item","numeric-id":3524998,"id":"Q3524998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$475A076A-B6B8-438A-9F4E-7AA14907AB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1eb2c7fe3771565da9701c0fc3df1bd444668f","datavalue":{"value":{"entity-type":"item","numeric-id":5432330,"id":"Q5432330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$10CB9B1F-4A73-4366-9F70-E78148F10FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6001162ebde1a71c571b2cb37da559aca8aeb55","datavalue":{"value":{"entity-type":"item","numeric-id":2272160,"id":"Q2272160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$8777FC11-C118-42AB-89A5-BE9894F3405D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$4701184E-E27B-4842-9E62-D2DE84E80AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2216d4b9e6bef4fa2144a03da1fa1ef378d738e","datavalue":{"value":{"entity-type":"item","numeric-id":5900322,"id":"Q5900322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$91BF0A95-4DA0-421D-9FFF-27428F198AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba936292b690eb04a8032b8f600cd20d9d30cae","datavalue":{"value":{"entity-type":"item","numeric-id":2342599,"id":"Q2342599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$FEDA72E5-0084-4F3B-939D-8420BB8886A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599368c630a43bc0f2b051ceb66376ed557f7dfd","datavalue":{"value":{"entity-type":"item","numeric-id":3569913,"id":"Q3569913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$C3E32748-D848-4715-A10C-2CAF0E75A40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ce96310995707dfc9099afb4c4d6d02e16acb8","datavalue":{"value":{"entity-type":"item","numeric-id":842794,"id":"Q842794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$B7E4037A-14EA-45B4-A49E-E74EB88A9F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398511$838DACD1-A7E4-43CA-B53F-D3C71785CD11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cb6a0545165b313e0c29772aa6bd2ddeca586b4","datavalue":{"value":"10.1007/S10601-015-9232-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398511$05333C72-CA1E-4C06-AE0B-661DE6E27AFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e4d280297ba67f88fdd77a217e85a20a6e58be","datavalue":{"value":{"entity-type":"item","numeric-id":2974776,"id":"Q2974776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3773ff53a332780aaa588bfb91775571e12fc882","datavalue":{"value":{"amount":"+0.8009611964225769","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":"Q2398511$F119A05E-01FA-44E4-9EFA-39BA8665D05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76729df570c7e1b7eacd2a5d8d2fe2be8e9765f9","datavalue":{"value":{"entity-type":"item","numeric-id":4930597,"id":"Q4930597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc97da303870008af4752456910c502f7ee6c3f","datavalue":{"value":{"amount":"+0.7397724390029907","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":"Q2398511$0AE93509-A22C-49A8-9901-8D7B6F12F357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a321b69eb32f47eec245538b125547d32b51872d","datavalue":{"value":{"entity-type":"item","numeric-id":4593094,"id":"Q4593094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f8048f0e82dd246b335f2889218d720c8a876b","datavalue":{"value":{"amount":"+0.7187739610671997","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":"Q2398511$1904E973-88C9-4947-A5C2-504D5F65B055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56f8e89d985e36f87e6edc910de601a18c8ba405","datavalue":{"value":{"entity-type":"item","numeric-id":3534667,"id":"Q3534667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3ece2a53500f9dfdc763f1ab350494e4ee3ad67","datavalue":{"value":{"amount":"+0.7145124077796936","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":"Q2398511$B298BEB0-0A06-4A0B-BBCB-CEB4F2D44CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f49548d756d55c44328ec64d7122fe872f6b5f4","datavalue":{"value":{"entity-type":"item","numeric-id":3588085,"id":"Q3588085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49dc065d2d1d7cdfb28ebe47f95022e36930e5f","datavalue":{"value":{"amount":"+0.7133084535598755","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":"Q2398511$7ED87A67-0974-4143-917C-E1D4E93F13E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2398511","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2398511"}}}}}