{"entities":{"Q5325775":{"pageid":7355349,"ns":120,"title":"Item:Q5325775","lastrevid":50725097,"modified":"2026-01-14T22:56:27Z","type":"item","id":"Q5325775","labels":{"en":{"language":"en","value":"Automating Termination Proofs for CHR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586289"}},"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":"Q5325775$1B36B22A-CAC6-47CE-98E7-310F30A6AE79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36cd99b3302177ce170f5dfcdb80fe2cd8f96ac3","datavalue":{"value":{"text":"Automating Termination Proofs for CHR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5325775$8749AB55-44DA-4C23-B5CB-290B42BD394A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1651740062774cf7cc79dd69b595d4530872d57b","datavalue":{"value":"1251.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325775$6DB260E6-A692-4E38-B368-43057AFB634D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bacc8c5736f82462196ebea5135f9dc95b77af9a","datavalue":{"value":"10.1007/978-3-642-02846-5_43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325775$7BC5BE38-C844-4FCA-940E-D3E8B401CD90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"307c548161314a4db5b86f2a83c75f889ab5ea6e","datavalue":{"value":{"entity-type":"item","numeric-id":3558282,"id":"Q3558282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325775$80E30DB6-691A-4A68-BA2A-CA9616DE9F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ef65edb47a3907b8782d56d731ecf0cd5121a4","datavalue":{"value":{"entity-type":"item","numeric-id":199253,"id":"Q199253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325775$84E60EAC-6411-4D33-A3DF-63C2D927A8EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c84f47c65e4d1c693c9c2179cfb504e9fb62486","datavalue":{"value":{"entity-type":"item","numeric-id":3608641,"id":"Q3608641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325775$F2E695CB-7783-43E8-AA4C-ED5121E30D08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"209778d88e026ced2a70bb47574dddab785b4835","datavalue":{"value":{"time":"+2009-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5325775$BEB5317C-AC4C-4ACD-8134-6024B83FC7D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325775$6E6F16C2-B1BF-409A-804B-E7CA9D95A3D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc5e22c066b0b7c3080879b41cf7d33cecd9c06c","datavalue":{"value":"5586289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325775$9D4EF747-C254-4445-8C4A-E05DC35EC2D6","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":"Q5325775$732E5B20-68E1-4223-8876-DB63CE22252D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff2c30bdc67965ad186d1c55375fb2e712f69084","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02846-5_43","type":"string"},"datatype":"url"},"type":"statement","id":"Q5325775$FB5A6F40-F83C-4641-B10F-31AADEB692C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83d3814c600cf4de413680becb07e938ab029f19","datavalue":{"value":"W146100567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325775$5DC2F954-DDEC-43BF-91D3-4D3285D220DE","rank":"normal"}],"P223":[{"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":"Q5325775$820DCC77-D058-43F7-8F89-A53E1188E587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b1f4539a5a71a3459b2d80fdc47dd9c0d0ea64","datavalue":{"value":{"entity-type":"item","numeric-id":4012708,"id":"Q4012708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325775$AEDBE93C-A3BA-4675-B976-DFC0D67EFFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f166014263cbd84cbbd95272df8e1e95cd9655c","datavalue":{"value":{"entity-type":"item","numeric-id":5504590,"id":"Q5504590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325775$9D7CA32E-FB1F-4149-A05B-D35FB6B5AAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6730550a11c6a1243c11c8b5e1cd605627b493d","datavalue":{"value":{"entity-type":"item","numeric-id":5475786,"id":"Q5475786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325775$36057024-9B1E-4CC2-BA25-B05BC53CC71B","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":"Q5325775$C36605E0-EB2C-43CA-85E1-904D01FF9339","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e896688832767c7418eedbbcbb6bc5ea6d3f7ed","datavalue":{"value":{"entity-type":"item","numeric-id":5504676,"id":"Q5504676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6539086cc26f6ae7aeeea1d7fd1c702180380585","datavalue":{"value":{"amount":"+0.8631578087806702","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":"Q5325775$4DDC6E93-9014-4E3C-BA7D-47258E2759D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946b146c774660b2d632eea9647041f3e64ba173","datavalue":{"value":{"entity-type":"item","numeric-id":5325774,"id":"Q5325774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83456124404d16840ac97f3f9724fb1aef0efdf3","datavalue":{"value":{"amount":"+0.8421282172203064","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":"Q5325775$C041EAB2-A5BF-4ACC-8182-F6E88BEFCD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b58d7fddb0ec0ca24ff7ceba2e8810147b2a09b","datavalue":{"value":{"entity-type":"item","numeric-id":4909324,"id":"Q4909324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba47748699d18ddff87f0561ccd16ea317852290","datavalue":{"value":{"amount":"+0.8259762525558472","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":"Q5325775$78671D2B-4DB3-4E46-8A7D-32DA9D22087C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3b1ff4191fc19408d91333fdd6d83255c5529d","datavalue":{"value":{"entity-type":"item","numeric-id":3558283,"id":"Q3558283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1816ba71b4d45cdd3b1ded30e4577a4063d5cc4e","datavalue":{"value":{"amount":"+0.8135258555412292","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":"Q5325775$56EB667F-B771-4309-A2C3-B0CC1AB2FB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7fecd3faa292d176e31cd322050366fd840254","datavalue":{"value":{"entity-type":"item","numeric-id":5475808,"id":"Q5475808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b67b910976ac482e189137bcc4bffb71707f86","datavalue":{"value":{"amount":"+0.7695350646972656","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":"Q5325775$A5DA14CA-C36D-49F9-A038-07F4998A9498","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325775","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325775"}}}}}