{"entities":{"Q511019":{"pageid":512786,"ns":120,"title":"Item:Q511019","lastrevid":57057006,"modified":"2026-03-26T11:04:05Z","type":"item","id":"Q511019","labels":{"en":{"language":"en","value":"On proving confluence modulo equivalence for Constraint Handling Rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6684502"}},"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":"Q511019$FCF7AD7E-6BF6-4203-8859-5236422B9230","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5d9a50b517463f03b4a06060cb5fbfb61df31b5","datavalue":{"value":{"text":"On proving confluence modulo equivalence for Constraint Handling Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q511019$77D0849B-1811-482A-9E8F-C990A44515E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a165c0d600b27d353f5a5e5ebdc4b86e2423a3c","datavalue":{"value":"1355.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511019$756B3C39-8ED2-462F-9875-C88FB5E745FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f838000dc0dc31708cae6bef19dddb5287f25b7","datavalue":{"value":{"entity-type":"item","numeric-id":511017,"id":"Q511017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$14982A6D-B255-4E83-A390-892FC5F99C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1a66ecaecdcc42dc00098785a9b2d82e89f3b00","datavalue":{"value":{"entity-type":"item","numeric-id":511018,"id":"Q511018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$57E85398-C301-41FF-BA75-1E7733B0D3F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$67BB345B-595D-46D2-A065-5F2B2756E13C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db40ba1d53c33135c8dbe5d4d9cf42f70aa50a74","datavalue":{"value":{"time":"+2017-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q511019$AE56F9FD-4298-45D6-8AEB-973CC10AB0B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a241211819cc307e90701b9c1c0e8afb4a200cd2","datavalue":{"value":"https://arxiv.org/abs/1611.03628","type":"string"},"datatype":"url"},"type":"statement","id":"Q511019$ED500234-FFB0-4359-BF01-C6CD435BEE80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511019$DB009B16-BE78-421F-8E2B-08F88A168F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511019$07ECBC5A-0E2D-4949-AE36-DEF99E10188A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a36d7651be30e990d137e8c26573cc95f83863b","datavalue":{"value":"6684502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511019$717C2746-F7D3-4E77-A005-C3D879DDA18E","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":"Q511019$D70AF251-3B45-4258-9026-6C7C44FD1A7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a159a1ed18abecf395cd5cb44f91df29ca7e2901","datavalue":{"value":"W3099526688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511019$71270814-3A28-4307-A4D0-DF7CA1C25E99","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e2d1487d5fe966a14e4b683bb67f2ba4802f45cd","datavalue":{"value":"Q125525925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511019$9095141D-1169-4080-B62A-14336E26EB49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6851ae6f2dfcedd3a6b8c424c0afb53810a973e7","datavalue":{"value":{"entity-type":"item","numeric-id":5713942,"id":"Q5713942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$A78F1F7F-DCD1-4347-815D-238F8FF45B73","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":"Q511019$CE003206-8584-4E22-9159-12D7FF05BDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e8b7bdafc94ddddfe7068ae11475ea8cda931f3","datavalue":{"value":{"entity-type":"item","numeric-id":4911146,"id":"Q4911146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$FE0CDEE6-B306-477A-AEEC-0CDE36BB6CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e590f27752ee20f0001ae54a0e1d2dccd14985c","datavalue":{"value":{"entity-type":"item","numeric-id":5527519,"id":"Q5527519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$A9827A51-D61C-4BF1-B792-3F84EFA82F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63f4296f5045f04d4a1d0a45b088713e387073ca","datavalue":{"value":{"entity-type":"item","numeric-id":1328181,"id":"Q1328181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$EDDFCF51-9CFE-4384-B6EA-5FF1BC3DD5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$E2C6B1A4-E801-4B63-9D97-9EF658248518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87fb97521cd27b7668b23a0116b8cb26ed342160","datavalue":{"value":{"entity-type":"item","numeric-id":3585170,"id":"Q3585170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$71DEB17D-FD6F-421B-8985-8437E60A708F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"250812ce2fdf44e68256973138ae4b194579679b","datavalue":{"value":{"entity-type":"item","numeric-id":5696594,"id":"Q5696594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$A2BC2D8B-AF27-497E-AA98-F48C765B0639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae0e2d46ba2c0a8bab16d5fe1ee2aa5f11c2dfac","datavalue":{"value":{"entity-type":"item","numeric-id":2949698,"id":"Q2949698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$46695AFD-B01F-4A39-96FA-CEE54401E01C","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":"Q511019$46786581-0C2B-486B-844C-5163A1105521","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":"Q511019$8E20D161-9597-433D-9BDC-CE747468547F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c7daef6bcfec4a523dde8517efb22e2b20b172","datavalue":{"value":{"entity-type":"item","numeric-id":4223050,"id":"Q4223050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$3A540163-1598-4FF9-8648-5489F95668F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d589b1dde682294e94cfef04828cf053fe194622","datavalue":{"value":{"entity-type":"item","numeric-id":1391102,"id":"Q1391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$85852380-792D-4F6A-8055-F388547BC7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9366c82f8a71633f567b778add8be59a85724d","datavalue":{"value":{"entity-type":"item","numeric-id":3769963,"id":"Q3769963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$B5E6B5C5-2EC6-4E37-92B3-3A23EE0CF380","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":"Q511019$87C73EE1-97D2-44D7-9FB0-E19AFF7303B7","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":"Q511019$D979E977-A790-45B7-82CA-B2002483388F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fbde4877b5ea99a4485f54665d4828d619e5aa4","datavalue":{"value":{"entity-type":"item","numeric-id":4391450,"id":"Q4391450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$913D5915-1156-4B56-ABFB-B487BDE480A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$1D83943C-1925-4604-BA25-99A795C93FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$29D47872-4EBF-4DD3-B47E-BE25A7C6E265","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":"Q511019$B3AD66CE-2E0D-4826-AD9C-33FCDC37358D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$E0D8D8C4-1E6B-4097-A5C3-6448F969606F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$3852E61B-26F0-4816-BCFD-6F63F629156A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6160f0e3b1fc4c68bba1760767ac7d2c449ea87","datavalue":{"value":{"entity-type":"item","numeric-id":4762954,"id":"Q4762954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$9DE29D06-B6AD-4483-8654-F9F6AE611DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76370bdf222551770363576c83e3f6c3a03fce41","datavalue":{"value":{"entity-type":"item","numeric-id":5096302,"id":"Q5096302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$7361F032-E116-441C-B5A1-C495F207267C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4251b80e3b792a598d4851eb37b0cdacea87f6e8","datavalue":{"value":{"entity-type":"item","numeric-id":1006793,"id":"Q1006793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$FB8A4C1E-82A4-4C69-971A-9EA689C7C03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee70b72dd30824e15ec99ad6ae6b60116a890bf","datavalue":{"value":{"entity-type":"item","numeric-id":4066643,"id":"Q4066643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511019$42FEBD06-8EEB-43C5-9260-EA98D85F4499","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d472727d83e3eaa65d56f5f5f7826d021f12e99","datavalue":{"value":"10.1007/S00165-016-0396-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511019$963ACE49-2458-44AB-8465-EA890581E091","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a022ddd5bdc7f64a4c004fbf24cd93e72ffe812","datavalue":{"value":{"entity-type":"item","numeric-id":2949698,"id":"Q2949698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058099ffda6901123a958895f1772e586cd89832","datavalue":{"value":{"amount":"+0.9081935286521912","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":"Q511019$CA73807F-EDBC-4FA8-B489-2A186F998260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b6c9ba60a425af60af31253dbd216e1141963d","datavalue":{"value":{"entity-type":"item","numeric-id":4911146,"id":"Q4911146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5599cbbc0e58448d2f44024b5191968f320b1cf1","datavalue":{"value":{"amount":"+0.861519455909729","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":"Q511019$508F6A55-9E2F-4AC2-B49E-DA74CE720747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8d8b3eba6b7cde82d7d6839b570385de31de20","datavalue":{"value":{"entity-type":"item","numeric-id":1648877,"id":"Q1648877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c726ef801c78130de5ac031afc5aad7da67595","datavalue":{"value":{"amount":"+0.8450216054916382","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":"Q511019$75AE463C-B070-42CD-90C6-578935C205FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d40aad2e3c749be0e685275cb1eb866b30e2126b","datavalue":{"value":{"entity-type":"item","numeric-id":3608657,"id":"Q3608657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7239e9777b0dcca4036c4e116ad49640c1bc17e","datavalue":{"value":{"amount":"+0.8050018548965454","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":"Q511019$A1336747-5E8A-4FC0-B9EA-5F24F321BE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d840e1ef5628f44b860d0d47d9959b3c01a2cfd0","datavalue":{"value":{"entity-type":"item","numeric-id":4495104,"id":"Q4495104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94868e535d97576fb27f1f13104fcfcb8402dca8","datavalue":{"value":{"amount":"+0.7737195491790771","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":"Q511019$64CB79C0-E8F7-426F-A0C0-0CE9326D1B98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:511019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:511019"}}}}}