{"entities":{"Q879977":{"pageid":881825,"ns":120,"title":"Item:Q879977","lastrevid":65079696,"modified":"2026-04-12T00:10:54Z","type":"item","id":"Q879977","labels":{"en":{"language":"en","value":"Cardinal: a finite sets constraint solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5151347"}},"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":"Q879977$061391F6-D35A-49CF-95D8-515D59638114","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ed670d31bc27ccdfebf180ade7fe16e036b5193","datavalue":{"value":{"text":"Cardinal: a finite sets constraint solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q879977$9C0D87C1-1146-4878-B3D7-063B5977A6C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"119f005e08a226ed7d6d483a8ff8c6d8998fc97e","datavalue":{"value":"1118.68653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879977$23B5947C-CA6C-4ABD-9C6E-75011F8139AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7212a42fe083c5e80cc9af614a21520a70dcccf","datavalue":{"value":{"entity-type":"item","numeric-id":879976,"id":"Q879976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879977$C7CC6A61-8B01-445C-98AA-9E0CA1CA8F7A","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":"Q879977$A78AE19F-28BE-4946-B05C-AE72A9070ECA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a7811dd6743febd92d5d1009397a7767778f669","datavalue":{"value":{"time":"+2007-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q879977$4166A4A6-F703-49E7-8673-09316E04CB95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879977$96391998-55F8-4767-9C31-9DABC2EE7395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879977$834C4552-080B-4465-B3CB-9AD32B62C6B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea5b6851a78504b77f097c4de88b1537d2fb6add","datavalue":{"value":"5151347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879977$77CC499E-30BC-4D69-8D91-A0E8F9D26E0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60851f86689acaffc1e585cc6c7623da2c11203f","datavalue":{"value":"CLP, Constraint Logic Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q879977$92CF2151-C106-4757-80A4-93F0EE5BC4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"792b8c2b9c921f7332390747677a76efb3f6f68b","datavalue":{"value":"PI, Primary Input","type":"string"},"datatype":"string"},"type":"statement","id":"Q879977$F480B9CC-39E2-4BC0-B0A5-1A5449832EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ce22de7a1e1137b815128c56147f80625cb28f6","datavalue":{"value":"TG, Test Generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q879977$CEBF992B-CBC5-4629-B50A-A06EE8185FE0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"57c9ffc11f7aa8ff27bdf6a7597bd20da6cb3aea","datavalue":{"value":{"entity-type":"item","numeric-id":15122,"id":"Q15122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879977$A3AE9B8B-9347-499A-9BA3-676A2DDCB76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879977$6F10FF21-ACAC-49FC-9065-5511A8C5918F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"810ce0a94701f30eeb79ee4621ff31104de85b01","datavalue":{"value":{"entity-type":"item","numeric-id":20634,"id":"Q20634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879977$84FB8B8D-3C15-427C-B776-97FA7F52ED5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5c36222bb9a591f98e2043db31a25ee5a230d02","datavalue":{"value":{"entity-type":"item","numeric-id":16334,"id":"Q16334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879977$FF3459A8-8149-4344-A684-2FE4FA936786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae5b20a8b24c0e3b45619a24557709ad88cbdc4e","datavalue":{"value":{"entity-type":"item","numeric-id":16337,"id":"Q16337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879977$1944CCCA-0EA3-4966-9EE7-311C953746C8","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":"Q879977$95B78157-9CA9-476B-9870-BC448723C2F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34eb5e1a70ecf5355fe9b204d70d3e51c08cf839","datavalue":{"value":"https://doi.org/10.1007/s10601-006-9012-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q879977$697BB2D6-0019-49F8-A2A3-0C513ACBB1A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0a79e5978efda592858c2959c2ffd7797774070","datavalue":{"value":"W2001769932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879977$02A86ACB-A15D-47AA-ADED-2276B632EB6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2916fae35e39c6716d080aee8898046300039f","datavalue":{"value":{"entity-type":"item","numeric-id":4425816,"id":"Q4425816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879977$48835AD8-8DF6-4F2F-9A51-1577B7A897E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569f025a0b95abca06128d99537911ae86fcabcd","datavalue":{"value":{"entity-type":"item","numeric-id":2767076,"id":"Q2767076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879977$C20D8A6A-5903-43D1-8CAA-C606FF04CF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879977$D745FB9C-2A64-43F9-9EC2-C9741746D9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c92dd05babd9faf3f62649dc9a42a114ce3c484","datavalue":{"value":{"entity-type":"item","numeric-id":4452624,"id":"Q4452624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879977$977EA263-1E5D-45AF-AE45-E2F12E785A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98de337b46e8310cac271241b1b03f14018a70be","datavalue":{"value":{"entity-type":"item","numeric-id":4375589,"id":"Q4375589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879977$8AF5659E-49B4-4743-BD20-6C95B1A7A41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cf5c188bcce9490a2b63c18bca3c3259df4b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4012216,"id":"Q4012216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879977$17DEE3C0-B0DE-4F35-A013-1FF15F34C016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7a530087b43ce9460a8537cd7d99e7dec8bc64","datavalue":{"value":{"entity-type":"item","numeric-id":1292237,"id":"Q1292237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879977$8123F366-E1CF-4848-9D85-2850BC2552D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9871de68b69994ebc6e11e7d75a97392a336f381","datavalue":{"value":{"entity-type":"item","numeric-id":679421,"id":"Q679421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879977$2A6405F9-8362-40EB-AAC3-31AF957528DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879977$DFC9CA4F-ABB5-45F9-8767-843DEB187041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c76baea0fe21af0122517c8747c00ddd4f0cbb91","datavalue":{"value":{"entity-type":"item","numeric-id":5900304,"id":"Q5900304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879977$7A3C16B5-AD1F-4CB7-A62C-22F6A9A22992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08e8d21b7b7d0c638f569cde4da34665202a47ff","datavalue":{"value":{"entity-type":"item","numeric-id":5900321,"id":"Q5900321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879977$EFE74263-B075-460F-9DD1-1DFDD949C1FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5945327c2513503c27b6437f4565574bb7dcf2f2","datavalue":{"value":"10.1007/S10601-006-9012-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879977$5A4CA6A0-C914-4B2B-8457-D0875CAADBCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be3aaebd7e43ed8eb8a10a9929b2cff32fd4018","datavalue":{"value":{"entity-type":"item","numeric-id":2767076,"id":"Q2767076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e54135324669f1e2c3f9b72850b4eed140f8e25","datavalue":{"value":{"amount":"+0.8705188632011414","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":"Q879977$16E5B2D8-4548-4089-930A-A8AAEEA12395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"743cbcee2fe66fbeb9944a7576f66e85b6b98cc6","datavalue":{"value":{"entity-type":"item","numeric-id":4553283,"id":"Q4553283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e7382509e1509918a366ebcbc11539571943eea","datavalue":{"value":{"amount":"+0.808501124382019","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":"Q879977$0BB709B2-23FA-4CE2-BCE3-959DF650670A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c4d926d34826d7576df7e06528133bf05a7fa4","datavalue":{"value":{"entity-type":"item","numeric-id":2817912,"id":"Q2817912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876d39a9a3a9042cfd5fad72afd76543e1e69ba5","datavalue":{"value":{"amount":"+0.7991646528244019","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":"Q879977$102873E8-7A64-4D4B-9D98-AD0777D944C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84196adcff719e9090973accc4f52d699e7463fa","datavalue":{"value":{"entity-type":"item","numeric-id":2476614,"id":"Q2476614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea5cb2c325ab2477b8b7cf52ff200a39c1598df","datavalue":{"value":{"amount":"+0.766079843044281","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":"Q879977$47AB1826-A2BB-44E8-B7A3-BDDBBD3379A0","rank":"normal"},{"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":"3f3704a674c26b35a27776b28be37b64918079e8","datavalue":{"value":{"amount":"+0.7649664282798767","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":"Q879977$3BA9E325-7254-4CE3-9883-8726887DAB2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cardinal: a finite sets constraint solver","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cardinal:_a_finite_sets_constraint_solver"}}}}}