{"entities":{"Q3523062":{"pageid":5552966,"ns":120,"title":"Item:Q3523062","lastrevid":88334951,"modified":"2026-06-04T14:15:27Z","type":"item","id":"Q3523062","labels":{"en":{"language":"en","value":"An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318819"}},"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":"Q3523062$FB7FAF6E-FA45-4C88-916F-8FAF4D59951C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95f19a1d6b92c0f5206cf0f8d57f82768aceeeec","datavalue":{"value":{"text":"An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523062$330404B8-1F95-4C7E-9953-5A76CB58B255","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b059da6b409e9f4117a19944487fbf2df05c167","datavalue":{"value":"1145.68510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523062$36CFFF9B-6643-4CC7-9622-35156F8BBD69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"922193ad62c902d7085d3a5e9732887a35b81315","datavalue":{"value":"10.1007/978-3-540-74970-7_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523062$2412CCF5-0F0A-406D-962C-44F97CD3C970","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7bd0f54343f6e2f823656b5ab15f2688e1f54ea","datavalue":{"value":{"entity-type":"item","numeric-id":3388707,"id":"Q3388707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523062$4DDA8899-1673-44BF-B0BE-B2D90DD3C689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b2644a80507c7989343f90e5f2508e0b5d93ba0","datavalue":{"value":{"entity-type":"item","numeric-id":2767074,"id":"Q2767074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523062$484587BD-CA82-4499-9ABB-30C42D8C5F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aded360d85463ee6262718c41a34e5b2313b9b5c","datavalue":{"value":{"entity-type":"item","numeric-id":2723911,"id":"Q2723911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523062$969C0D70-27B3-4D94-916A-8ABAFCAAC758","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d10184504a8a81c59a001c44aabc72e7fe376890","datavalue":{"value":{"entity-type":"item","numeric-id":3523053,"id":"Q3523053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523062$7FC9DF32-A0BC-4687-A62B-AEA5E5DA509F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523062$85C89CD1-38BA-49E8-A252-0A6E2FE7D31C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523062$4E1EE711-4882-47C1-824C-1023A187507E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523062$493D7143-5289-4980-8B0C-5D2DF661CA1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c19a2508a547bb40e2fa7295fc8ebf0ddd6c17e8","datavalue":{"value":"5318819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523062$D34668CA-F94E-475D-BF3B-C137E0B3DC9C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523062$7CAC7DDC-B3D8-44A3-B668-AA33EB71B9C8","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":"Q3523062$B5A0C892-F62F-4948-B1F6-E181313FF674","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75f69ab0d145d0adfddb7dd4e6a65273986d1958","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74970-7_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523062$06C9A589-05C5-4741-9826-419D18A7E279","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e350ae7310b19cd086bb2acc5527e20d7eda9c08","datavalue":{"value":"W1544693717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523062$51A69EE6-948E-49C4-B5C8-57C543E4435F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c214519265aa7514dfb44ca93dd5ba7500d444da","datavalue":{"value":{"entity-type":"item","numeric-id":2926656,"id":"Q2926656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7890975055498fa4dad6214b477242755e8c9e78","datavalue":{"value":{"amount":"+0.7558684349060059","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":"Q3523062$24B0FB0B-16E4-47D6-A1A0-4F391B91C2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825fdb265ab8731a93e879a262f52bb96584dee8","datavalue":{"value":{"entity-type":"item","numeric-id":5898151,"id":"Q5898151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eccbe726473ac779a91f6003afb45fdef0b1aaf6","datavalue":{"value":{"amount":"+0.7116848230361938","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":"Q3523062$3BE39625-FA2A-4117-8D05-29DFA8FA8EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33b20a5ffcb071a1de79d63332a3cd571324457","datavalue":{"value":{"entity-type":"item","numeric-id":5096231,"id":"Q5096231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db07d57f8804de7c36592f80043ffebc913ccea8","datavalue":{"value":{"amount":"+0.7038430571556091","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":"Q3523062$B9EC884E-2695-4755-A014-6E2602168805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b204e5006c2d2bd0911d725c56f3baf9d4398e06","datavalue":{"value":{"entity-type":"item","numeric-id":4264199,"id":"Q4264199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65738bc629b4fa13f95f97c6751c7422b2aad7eb","datavalue":{"value":{"amount":"+0.6899483799934387","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":"Q3523062$24BBEC86-7CB7-4F21-8A4C-D04989A72A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"475c787934346c2f86b9429de191c0480a0ff924","datavalue":{"value":{"entity-type":"item","numeric-id":2513743,"id":"Q2513743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917405534899b53b1d67d84dee74470cac615787","datavalue":{"value":{"amount":"+0.6844948530197144","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":"Q3523062$24C9F2D4-BA78-44DA-8243-710794629C0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_Abstract_Interpretation_Based_Combinator_for_Modelling_While_Loops_in_Constraint_Programming"}}}}}