{"entities":{"Q2180222":{"pageid":2190965,"ns":120,"title":"Item:Q2180222","lastrevid":57763305,"modified":"2026-04-02T10:31:47Z","type":"item","id":"Q2180222","labels":{"en":{"language":"en","value":"A CDCL-style calculus for solving non-linear constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7200358"}},"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":"Q2180222$D528A5A4-90FD-4A32-8F36-DBCC606F86F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"179974664296d625eeff3ff1e7670eeb86b5b440","datavalue":{"value":{"text":"A CDCL-style calculus for solving non-linear constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2180222$C5DA8A6F-C271-4C93-928F-366EC2C96272","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa4511d3ac294730f41c935a43f0592849e3bb57","datavalue":{"value":"1435.68300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180222$3FBCC027-932D-4C7C-97B1-4319B0EA754C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b283e0dd57f5549387fdc2e92a28a24205c16bb","datavalue":{"value":"10.1007/978-3-030-29007-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180222$FFCE4A71-4DCC-46E1-856A-B6E6E1FF3EB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c98e823aa47cab21c8e29366844a67f88a1bf0df","datavalue":{"value":{"entity-type":"item","numeric-id":2055848,"id":"Q2055848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180222$E2CA6BE7-014B-4072-AB8F-B3C1D8D6060B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce9e1735095a7237c0c699c31f4c0eb57566d709","datavalue":{"value":{"entity-type":"item","numeric-id":1401931,"id":"Q1401931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180222$536EAD02-202C-43E8-BC12-94A5AE52477F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10d68b8fbb9729b5e3ca6958fc345cd8d5878d68","datavalue":{"value":{"entity-type":"item","numeric-id":1015373,"id":"Q1015373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180222$F8282DAD-C85C-4528-A436-110A33378E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f3c7fca4faabf421f76216771857d292e645efa","datavalue":{"value":{"entity-type":"item","numeric-id":1292408,"id":"Q1292408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180222$AD875721-1019-4BF2-AA67-E16C55ED3562","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d0c48627b068f854a947856c3807165d49ca3ba","datavalue":{"value":{"time":"+2020-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2180222$B26D02C5-D595-491C-BCDB-1D618EDBACF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cef388fb3ae9852574b9b73764c3d2b3b1d0a82","datavalue":{"value":"https://arxiv.org/abs/1905.09227","type":"string"},"datatype":"url"},"type":"statement","id":"Q2180222$550122CE-B09A-453D-BE1F-240C9A3AD9E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180222$3D471573-BD3F-4245-9BE5-B9B39DCBE4E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98d678a41e051a56c48da4b9f930d1e13c222a22","datavalue":{"value":"7200358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180222$D7EAF674-A5DD-446E-BCE5-E86583DA6A8A","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":"Q2180222$1337419B-091D-4A6B-A014-69E6D4B78199","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02f918cce917c60137046ab39fb1ad9933c091a6","datavalue":{"value":"W2970220778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180222$70834798-CED4-445F-8063-6057D144F924","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de94fdb67b3ec18a4a9afac48a95b409770048b","datavalue":{"value":{"entity-type":"item","numeric-id":2908506,"id":"Q2908506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6d8151144dad3b8695f9c7330f6992321df443d","datavalue":{"value":{"amount":"+0.8208778500556946","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":"Q2180222$DD4C43A2-8F1D-4E6D-80DA-3173767194E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6508cf40b7cf275cab988ad20820ed2165d3b68d","datavalue":{"value":{"entity-type":"item","numeric-id":1996869,"id":"Q1996869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93975688514e3b329125cbdc66954e14e87f5686","datavalue":{"value":{"amount":"+0.800085186958313","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":"Q2180222$F557F9B5-266E-4B87-9D04-819540352650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b513f8345ffbdfaa04825de8d37af20fd232ec35","datavalue":{"value":{"entity-type":"item","numeric-id":2961575,"id":"Q2961575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e4153c4736b4338547c36f5b4b3decf21d3027","datavalue":{"value":{"amount":"+0.7734482884407043","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":"Q2180222$F9413110-7A06-40A7-8999-54C584DB1A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0679dd9b0232c16c71a91909f6fd92440626fc47","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f5de7f409ac9e72214de0911a7224f16ad0990","datavalue":{"value":{"amount":"+0.7713677883148193","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":"Q2180222$EED163AE-C4B4-41D5-AF73-23EE84045C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6637717eeff2e9f7bf26e6c5e446c536ee733e2a","datavalue":{"value":{"entity-type":"item","numeric-id":2307623,"id":"Q2307623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a422f7d323c11ce051ed409f9a7b315f95d001","datavalue":{"value":{"amount":"+0.7651368975639343","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":"Q2180222$2BE4D19C-0F13-4F83-9DC5-FCAAE0A898FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2180222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2180222"}}}}}