{"entities":{"Q2817914":{"pageid":2828652,"ns":120,"title":"Item:Q2817914","lastrevid":79420343,"modified":"2026-05-06T13:51:58Z","type":"item","id":"Q2817914","labels":{"en":{"language":"en","value":"Fast cube tests for LIA constraint solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623257"}},"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":"Q2817914$7961819C-2DE8-41A5-B986-005C6A69B898","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da1d907ae44600524787d0280bb45dcde7dc6e0c","datavalue":{"value":{"text":"Fast Cube Tests for LIA Constraint Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817914$E0A7558E-A5DF-4832-BCBE-03F7836180FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0e0f7b27ef44ce494ac70cb95e631be4908359d","datavalue":{"value":"1475.68337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817914$2559049A-8E15-4E9E-BA2D-2CA801BD2A0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94c8d7613104725e3a3624e2d01a681c77478ccc","datavalue":{"value":"10.1007/978-3-319-40229-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817914$721CED93-D5E7-4ED8-BAD5-9D8FCAB92D56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa7d05503577a5b9fd70ce583a8b9f4a6bc04b14","datavalue":{"value":{"entity-type":"item","numeric-id":831910,"id":"Q831910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$7C175A3F-9F96-4103-B926-C037D8F1EC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$2B1C6834-CB83-4838-99FB-81A958FED12D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$70DF24EF-3B63-41A4-AEA5-666B332EABB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817914$DDE8DFC9-B08A-467B-B612-74317FF99B2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d17948f778fc9bc5455268d831ac0970e732a6b","datavalue":{"value":"https://hal.inria.fr/hal-01403200/file/IJCAR2016.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817914$947AA5AF-994B-413E-9B4C-5EFFF868BDD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817914$86F71526-322D-4F7B-9A94-38A7ADF0309B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817914$8F4E8377-7328-41D4-B080-78EBE1F195D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3590bc915ce6b652dfb31387df8c2f1f5601210","datavalue":{"value":"6623257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817914$4DE173D9-D196-4602-B3D4-BE93BC4CB531","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"312ed6497197fe722552104318fb5c842ebebed4","datavalue":{"value":"linear arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817914$2CB320B8-0726-4369-9AAB-648B5D1097A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817914$907DA0AC-40FB-404E-A60F-B7B3010E2FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97e440dbdf4e2e0e7ed379f5b792b2776387d3b7","datavalue":{"value":"integer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817914$CA1C4CD5-CC67-4B72-9348-0542F8D627C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817914$AF7A73CC-4115-4C25-ACBA-04285D0795B6","rank":"normal"}],"P1463":[{"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":"Q2817914$80E6F0B0-CDB7-4359-AE09-6B31A32161C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$766CC1C4-EC3C-40AC-8C8E-FF7922336CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$5B263FE1-6A42-4C59-81EB-2548E0B2C668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$285FC6FA-887E-4680-85A9-5C6C6D66190A","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":"Q2817914$2E771BBE-B262-4887-8751-828C10A867F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a8735de301e59e6d35b890ab01f50a319e3be4b","datavalue":{"value":"W2491318681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817914$F797A66E-6371-4743-AA87-25E218B290DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e177f0ec16d4b7b8123e5bcea02bffba8ebe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":2908479,"id":"Q2908479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$82B83C90-C1AE-4DEA-8A2E-E099E2E95E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f51123d4849920c0bd477136f67ae685bea6fb","datavalue":{"value":{"entity-type":"item","numeric-id":4821526,"id":"Q4821526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$9CABA1B6-4FF4-44FE-B4B3-59BB2A79B16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10120b6d63d2d79d3e3d7f48a799e97be65acdc","datavalue":{"value":{"entity-type":"item","numeric-id":3454126,"id":"Q3454126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$34F38F12-0EA0-4CA4-99DE-55E0C97F7E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$6DFD49D2-2AF6-40D0-80C4-3A05CA6B3417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80d22f373544a605b742cae6bd9cc4acd51c3de","datavalue":{"value":{"entity-type":"item","numeric-id":3636864,"id":"Q3636864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$FE5F9652-0B1E-4198-A950-E4F5EA6452C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9f747e3e17dfdd736a92b2d2fca660cdcbe7408","datavalue":{"value":{"entity-type":"item","numeric-id":3502696,"id":"Q3502696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$7F72F1E0-F174-45AD-AC8B-2004CB6D888E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3014ed8593967d1b0f8f5a23078b1e5b72049db5","datavalue":{"value":{"entity-type":"item","numeric-id":2786906,"id":"Q2786906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$7E17AF17-B224-457F-B477-87BDBAF10011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0acf6e5ea972c32df18cbaa83ac5e7698e48b25f","datavalue":{"value":{"entity-type":"item","numeric-id":5568934,"id":"Q5568934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$E2AA4744-A581-4E4D-8794-DDC3555333F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37706997c0e12650bf30406d5f3ef502cc6c8e28","datavalue":{"value":{"entity-type":"item","numeric-id":2351157,"id":"Q2351157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$2A888943-3BFD-4F2E-8131-CC7CB50675C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd01133762b64b29dce0b2276e7fa30b2112d4b","datavalue":{"value":{"entity-type":"item","numeric-id":3639219,"id":"Q3639219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$8D35F54D-2404-46E6-A0C8-16675B58C7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a0f65086eff7a2f88ff828884c33b327fcd1f34","datavalue":{"value":{"entity-type":"item","numeric-id":3757974,"id":"Q3757974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$E0105EDC-A928-4A8D-B542-714673A03AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b86da6901907b4b60c4d755cbdefb3d87af7f5","datavalue":{"value":{"entity-type":"item","numeric-id":761967,"id":"Q761967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$0FEFB47B-A380-449E-9A22-7981F51EE344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b4eae7493d8f6c982d7549031f59a2b3902483","datavalue":{"value":{"entity-type":"item","numeric-id":3922169,"id":"Q3922169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817914$06927518-9DC0-4EB5-91B8-5E4D44DA9C4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c84bb25177066590c31747e3c539fbb214e880c","datavalue":{"value":{"entity-type":"item","numeric-id":1688532,"id":"Q1688532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad7b9c99aeb9aa8693a980ef7d1e675ce872493","datavalue":{"value":{"amount":"+0.8979148268699646","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":"Q2817914$7AB449F1-4A27-4EAE-823C-190A58108A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af768d9c1ce14ace56d140cba96d2e38faaff08e","datavalue":{"value":{"entity-type":"item","numeric-id":3636864,"id":"Q3636864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607a06e46283e5c5018be97d69560d3bba0849f0","datavalue":{"value":{"amount":"+0.7430399060249329","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":"Q2817914$F45C4ABC-AB0B-4AFE-9899-0A2A721E445E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81902c7e3b10892a3d4d50dd99785140e273d0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2786906,"id":"Q2786906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1aebbf4fa916135c11abde860107d7be0efadff","datavalue":{"value":{"amount":"+0.7377000451087952","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":"Q2817914$DAF0BCC0-2C46-47AF-93D9-80B1ECB99EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a3bf27c22fa9f60fa69486391d3eafa1ad2c3d1","datavalue":{"value":{"entity-type":"item","numeric-id":453505,"id":"Q453505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf850fb936548f7850ba74964a3c3a3bfc8a8581","datavalue":{"value":{"amount":"+0.7349822521209717","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":"Q2817914$F8ACA1B5-ED50-4933-A8CE-76904C59902E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce34e395ac2f0098eaafde471a15632b94b305d","datavalue":{"value":{"entity-type":"item","numeric-id":621462,"id":"Q621462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb971275a8a5b55224ad60b63c7ed137f7f8e5e","datavalue":{"value":{"amount":"+0.7292295694351196","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":"Q2817914$750797DC-BC79-440E-A208-B23466267FB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fast cube tests for LIA constraint solving","badges":[]}}}}}