{"entities":{"Q3585170":{"pageid":5615074,"ns":120,"title":"Item:Q3585170","lastrevid":58214817,"modified":"2026-04-04T06:35:17Z","type":"item","id":"Q3585170","labels":{"en":{"language":"en","value":"A complete and terminating execution model for constraint handling rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773246"}},"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":"Q3585170$BFBF121D-42B8-409F-AAF9-D8C88117A657","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df06a952afe398af459c1458f7e3f8cf2743cc7d","datavalue":{"value":{"text":"A complete and terminating execution model for Constraint Handling Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3585170$01A01330-3609-4DE9-953B-6100245C1156","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"337c1b42b86d37326659245de7f1b511b322feeb","datavalue":{"value":"1205.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585170$99FCA30D-FE73-4C9E-A1F3-E4E1D63CFC75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4736aa3e49577a3eedfa1428eeee4a2da957ec02","datavalue":{"value":"10.1017/S147106841000030X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585170$014790BC-863B-4DFD-B658-DF8DFEE65B6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2abf3a0085bd37829eb760d2e21195c4b58e3822","datavalue":{"value":{"entity-type":"item","numeric-id":2946684,"id":"Q2946684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585170$2782AF20-DD0C-4542-8D1E-A4BF75EA675D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bb7817eb14f38cf84c4ac53a14c00a89f06ce4a","datavalue":{"value":{"entity-type":"item","numeric-id":3087809,"id":"Q3087809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585170$A75668A1-3BF1-4A3C-9F66-96954897E52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ca7df9d8e8b1ae65a92a26ca7eedb3253fec77b","datavalue":{"value":{"entity-type":"item","numeric-id":679328,"id":"Q679328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585170$059ED930-7405-4DCC-AF67-A410F5A92656","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":"Q3585170$AE708C15-3A10-4EE7-B4AC-A23E0B6E4B0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6dbecd33995f2d948db2c506d7c0f2fb946d5112","datavalue":{"value":{"time":"+2010-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3585170$0D0033CE-F54D-443A-9F8D-19094870E834","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25837c905eac548a2725451a4e33ac8b3a0d29ce","datavalue":{"value":"https://arxiv.org/abs/1007.3829","type":"string"},"datatype":"url"},"type":"statement","id":"Q3585170$673E0D6D-BD9E-406F-90AA-3F7930EA70F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585170$2C5F611B-8AB7-41AF-B108-A4FBB0AFABF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585170$EE91BF8B-FDDB-4563-8CEC-B13B60353B63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"790cfdeda5a43828fad6610ecbb85ba141f76ac3","datavalue":{"value":"5773246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585170$6AF565A6-5642-4704-9D32-FDAB9E4BD586","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6c1af556f0abb9c251174f4df14ad1908b31ef","datavalue":{"value":"constraint handling rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585170$099CEDDB-7FB3-4A5B-9FEF-B3213A4AE7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585170$C29FAA98-30A0-4228-8CCE-45E7A03027AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5778dd456f997139122a6c9173b0903326811d87","datavalue":{"value":"execution model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585170$7A7B1847-432A-46BA-859F-17E41907B6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6574ba000ce8db29b745cf358c2c6b043f99a15a","datavalue":{"value":"persistent constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585170$182A68F8-DFBC-45F7-A5FD-45D078905979","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":"Q3585170$A50B7033-93C6-4C11-BC33-A804952FD4CC","rank":"normal"}],"P223":[{"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":"Q3585170$7A452D0E-91A9-4E61-BE64-B1AAB0E97B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad05afe544e924cf61ccb5f9d1b58dc2836b55d","datavalue":{"value":{"entity-type":"item","numeric-id":3621268,"id":"Q3621268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585170$C59C6CE0-65C5-42FF-B6E2-B271AE0B4C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a669ab9a206c8568af2efcbc464c45953c6f8dd2","datavalue":{"value":{"entity-type":"item","numeric-id":3524170,"id":"Q3524170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585170$9C2052AC-39EE-4751-B10B-584EE59DF8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ab4d79323bfd42ec8d47b43f219783b8f3a1dd","datavalue":{"value":{"entity-type":"item","numeric-id":1300291,"id":"Q1300291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585170$2C632118-3240-4764-9A8B-4C3A07DFBDDA","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":"Q3585170$6C41601A-B7CE-43AA-8F34-83DD108723B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18be2eb63b77b337058ef0417e068a9d34e7d0e2","datavalue":{"value":{"entity-type":"item","numeric-id":3519512,"id":"Q3519512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585170$3873FAE2-06F8-4899-800F-D6BBC2EDFC55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a851bb9ff333690abcdd3ce6701758b4ade35b5f","datavalue":{"value":{"entity-type":"item","numeric-id":3616886,"id":"Q3616886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70370128ba04e4ada9bcbacdc361ee5444ab4f3a","datavalue":{"value":{"amount":"+0.781193733215332","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":"Q3585170$779F0AA6-E9ED-43D6-9467-0F1C6F403133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7afda306064912b8e0673f7fb556910ea2f6fb04","datavalue":{"value":{"entity-type":"item","numeric-id":5313213,"id":"Q5313213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c38359769c339677ed1ec9439ae876669ef1ea","datavalue":{"value":{"amount":"+0.7807178497314453","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":"Q3585170$E6DD39FB-905A-4797-B2D5-2837F94C5C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24670e39e367942bf4dfb75125e736fc68e6d9ac","datavalue":{"value":{"entity-type":"item","numeric-id":2884254,"id":"Q2884254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d0f98f47a090afd5af54511bb8c0455beb6737","datavalue":{"value":{"amount":"+0.7726610898971558","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":"Q3585170$1D74418E-4A12-4612-B7A5-9ED7457B9D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791d2487bcdc7e6c2d3810e360e6ca63785efdcf","datavalue":{"value":{"entity-type":"item","numeric-id":5425409,"id":"Q5425409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e2e9818ba2f90cc2b6a264dfe4f65d2bae3f1d","datavalue":{"value":{"amount":"+0.7653037905693054","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":"Q3585170$4C123EEF-3DCD-4ED2-9132-A658CFB91C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e935fae483cdd979bbe57424dafd09d67bc3bff5","datavalue":{"value":{"entity-type":"item","numeric-id":2946569,"id":"Q2946569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8904e1dee443428ead5cbf0a3c4c514a8800abdf","datavalue":{"value":{"amount":"+0.7634758949279785","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":"Q3585170$7F68A409-3A9E-4B23-A015-AA192F052368","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3585170","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3585170"}}}}}