{"entities":{"Q4592722":{"pageid":6622307,"ns":120,"title":"Item:Q4592722","lastrevid":58297527,"modified":"2026-04-04T15:08:43Z","type":"item","id":"Q4592722","labels":{"en":{"language":"en","value":"Constraint handling rules with binders, patterns and generic quantification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803834"}},"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":"Q4592722$71F22E7E-5BA3-472E-9D3F-A3D93136BFF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef0d814c11a9b67ed8fb0ef581a9fca71419d34e","datavalue":{"value":{"text":"Constraint handling rules with binders, patterns and generic quantification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4592722$1FDF770A-D76D-4EB8-B0D4-8B270F75774C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1827de92bfe724c3b48d7aa14528132113c452e5","datavalue":{"value":"1422.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592722$28FB644A-65B5-49B7-98F9-ACF693305C27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"789e441dab14fb908158110582fbc741058a9f59","datavalue":{"value":"10.1017/S1471068417000230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592722$02C34FF9-4633-4358-8103-9959689A53C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9209dab0cf30b3e57c0b8e7d48cbc03d84b1e9a","datavalue":{"value":{"entity-type":"item","numeric-id":4592721,"id":"Q4592721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$72F5DE09-4799-4BB2-BA7E-208B8884591D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"067b39979e327fd99e89770f3cddcab99a7b267d","datavalue":{"value":{"entity-type":"item","numeric-id":294725,"id":"Q294725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$8762C5AD-7FB8-49DA-AA11-EDD34343A837","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$11656B6D-3FB3-4E80-AA63-0EE57CBAD949","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2391d5f6fddbacd8a68a2758b6c133ddb0a14538","datavalue":{"value":{"time":"+2017-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4592722$C9C3D6A6-8573-4814-8008-C8C29FAD7D6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb52b769d00ff242f8a6a90280faa6c2547f1aa1","datavalue":{"value":"https://arxiv.org/abs/1707.02754","type":"string"},"datatype":"url"},"type":"statement","id":"Q4592722$A2468DBD-E2A7-4CFA-8ED1-0EBEF65D1CF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592722$D8D7A841-844E-4E6B-AD60-C4B7DA3D7DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592722$2D3403F3-7404-4919-BBA7-DC4E8BEF47EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592722$A0033CCE-9F4D-4F47-9336-B01B7A0826BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3245f277b396f1138b5882f7df013cf704720282","datavalue":{"value":"6803834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592722$9858E29B-7D05-4DC7-9EDE-9C9A20194697","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6c1af556f0abb9c251174f4df14ad1908b31ef","datavalue":{"value":"constraint handling rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592722$3CE8B642-4C9C-4325-8D4C-5A946A30270B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d20148f29912fad087875f01e84c4e147dee38cf","datavalue":{"value":"pattern unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592722$B1AA039A-65C5-4AD3-A36E-6FE6A5D091BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07595cc77f880b083c28b9ffde92d3f0f2b0ecb3","datavalue":{"value":"generic quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592722$FDA2A5FA-C0DE-461A-91F5-BDADB65A1C25","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$286110C6-FD3D-4D75-882E-9B7BC3F85E55","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":"Q4592722$4F753554-3BEC-4064-86F6-48796E72FFB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ef8bd5491561954e053fb17a1031115fe3ad2f","datavalue":{"value":{"entity-type":"item","numeric-id":5195258,"id":"Q5195258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$2996D3EF-50C6-40B3-B2D3-80715E9F4F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac7c6d05f114a4ae2738237ef25b8c9ead77ff","datavalue":{"value":{"entity-type":"item","numeric-id":1945914,"id":"Q1945914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$8C200530-A4B5-49EC-B203-3DE31DEAE693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$00174E4E-8B0D-4421-9EF7-723693323057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf038a52d62f654858c149d2da11c7c3f19af96","datavalue":{"value":{"entity-type":"item","numeric-id":5313213,"id":"Q5313213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$59E3D48A-53CF-4E1F-B197-FEB1267B9DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a267bd24dad377860354fb326263e38a42a2d3","datavalue":{"value":{"entity-type":"item","numeric-id":3608657,"id":"Q3608657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$A60BF4D9-D296-48FB-B37F-8D43794828DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16800e9b9b5c44b662ede0bba42871a43587aee","datavalue":{"value":{"entity-type":"item","numeric-id":5244821,"id":"Q5244821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$780DC52B-A769-4D53-A711-1456C032ABEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a5a6499aa3ffdaf13135f9d1ab4ce9f355b944","datavalue":{"value":{"entity-type":"item","numeric-id":2802481,"id":"Q2802481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$7EA58126-A62A-4D90-88ED-A8F10D443289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461051b6e767f08fb11be910583fecd77b28fcd5","datavalue":{"value":{"entity-type":"item","numeric-id":4245936,"id":"Q4245936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$D3828315-ED27-4C98-9BD4-2B6C13FED3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da243cbfc0d1b21b693c2d3e7acdb1031eb76ca8","datavalue":{"value":{"entity-type":"item","numeric-id":3639651,"id":"Q3639651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$37FD1C77-08B6-4230-8AC0-8D65044BD50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$14F5414A-0A11-4C40-BD05-41D1A4526513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d8b44f05217c526aa12a6be320ec9c8d40564a","datavalue":{"value":{"entity-type":"item","numeric-id":5053011,"id":"Q5053011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$8013968D-C4D3-4291-A81A-2977117E65CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a4e2ac46cb6ad5ef3b3f7a6520d11cd08fe439","datavalue":{"value":{"entity-type":"item","numeric-id":2767057,"id":"Q2767057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$9AB87F81-CC59-458E-A6E7-C800E2DA3E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91bd407bcecb63e1d4876dcd09d799ba25c8af78","datavalue":{"value":{"entity-type":"item","numeric-id":4391451,"id":"Q4391451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$94BA8D2C-7EBD-49BA-A46C-3F96F0B8E3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$407CA016-FD36-4F43-A177-8D40D8675F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234a72454df53d61ac16bbd43d99bc7ef1ed77f2","datavalue":{"value":{"entity-type":"item","numeric-id":3419812,"id":"Q3419812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$17BA129C-B9BD-4223-BCA4-035D05BFB57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d679d59712e87e7b4f1bdb1d4f6040f0df285ea0","datavalue":{"value":{"entity-type":"item","numeric-id":5504676,"id":"Q5504676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$96222289-C630-410F-9F0D-1CBDBB8DB103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ff1b1b2acb9048cb1a6bab022cee0521c66786","datavalue":{"value":{"entity-type":"item","numeric-id":5044750,"id":"Q5044750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$0F00A6CD-0E29-453F-95CB-11B42D8D1545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d434966473eea1b46469590e756fbfa4aaa54d1","datavalue":{"value":{"entity-type":"item","numeric-id":5261281,"id":"Q5261281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$92747312-EF04-4015-90F1-737417B022F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5339296e035e26b22e9df3983b70535433a93ab1","datavalue":{"value":{"entity-type":"item","numeric-id":3400960,"id":"Q3400960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$CC08B800-1F3C-4564-BF4E-90F402DD2006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"105782453a0953fc9ff305bc3938e5f0b4accbf9","datavalue":{"value":{"entity-type":"item","numeric-id":2425573,"id":"Q2425573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$D6EEF727-34FE-4600-854D-F5C915F440B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea247b3691dddfe4722c687e57417d62cf0744fc","datavalue":{"value":{"entity-type":"item","numeric-id":3419813,"id":"Q3419813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$F1C5F5DB-BA22-4585-83A0-4C33EAEE9AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fbdcfeca765d18f7d3b2cc70ef3d3dbbb4e8aa","datavalue":{"value":{"entity-type":"item","numeric-id":3434624,"id":"Q3434624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$5B706466-0823-4053-91CC-CC9A4E5E05F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a25d0974c4a14532cf07d54fb4d393c25f726f","datavalue":{"value":{"entity-type":"item","numeric-id":2871856,"id":"Q2871856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$942EFF7C-1B59-4824-B698-4B3D4399D7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"726a045bfe5bcf27b308fa8553c106d6b5ec2d30","datavalue":{"value":{"entity-type":"item","numeric-id":4918240,"id":"Q4918240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592722$07C808B6-D5DA-436B-A9FB-F649C2CA9075","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"855294cd734495348a1824a1c2610d38f5a68291","datavalue":{"value":"W2963253479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592722$BD526058-04E0-423E-9A2F-E44BF1A25429","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73bf4587f4f90ad8bc05aecb372bc858adaa8184","datavalue":{"value":{"entity-type":"item","numeric-id":3558329,"id":"Q3558329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c323c5f553a40e65bcac9696cee9ba396de290e","datavalue":{"value":{"amount":"+0.7188340425491333","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":"Q4592722$987A37B5-8845-4456-AD7D-BB0DB85CD57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8e3f20b1ef8df3ca5da5c113dab1c261cc55b7","datavalue":{"value":{"entity-type":"item","numeric-id":3536358,"id":"Q3536358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e83d6108004f7a80ceb567df9dbaebf603fbb74","datavalue":{"value":{"amount":"+0.7092791199684143","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":"Q4592722$36F06A95-DEA0-476E-A074-E1D081A9438E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a296874524edd29c549fea0c8c6ebc522262489e","datavalue":{"value":{"entity-type":"item","numeric-id":2841285,"id":"Q2841285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8ce6bf2c7738b7275284d731e8fcbc5f9387e0","datavalue":{"value":{"amount":"+0.7048733234405518","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":"Q4592722$4543AF52-1AAC-4D64-8FD8-74F8E2AAB563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e494e20ee7532b98fa669f6d974be3afa196ddb","datavalue":{"value":{"entity-type":"item","numeric-id":4876428,"id":"Q4876428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24718ae09b3a9cfa960b693d9aef45f5f49d6fa6","datavalue":{"value":{"amount":"+0.7008076906204224","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":"Q4592722$667370AB-35B1-413D-B924-68F14B507B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536862937f54924263f733391742c6bfa1dc050c","datavalue":{"value":{"entity-type":"item","numeric-id":4737136,"id":"Q4737136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e402f0016d2a33e3aad611111150fa2510b68c","datavalue":{"value":{"amount":"+0.6983993053436279","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":"Q4592722$422199B7-6D73-4698-AC7A-0068C8BE3031","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4592722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4592722"}}}}}