{"entities":{"Q2873676":{"pageid":2884396,"ns":120,"title":"Item:Q2873676","lastrevid":51912530,"modified":"2026-01-20T12:54:34Z","type":"item","id":"Q2873676","labels":{"en":{"language":"en","value":"Termination of lazy rewriting revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250412"}},"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":"Q2873676$1A5D2E35-2509-413C-8572-EE510037D48A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"582153700b15a90534e7da36ef1285a9a036c839","datavalue":{"value":"1279.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873676$4AAABA38-B4F8-442E-A352-E812FCE0BB02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41d24d1a84f5c89dfe8f9a78a8bdd0caaf7768cc","datavalue":{"value":{"entity-type":"item","numeric-id":710678,"id":"Q710678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873676$C2FA2278-8575-461E-B3E3-2C620681E7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebd62929982c5bab719524b29f6af40450c0159d","datavalue":{"value":{"entity-type":"item","numeric-id":671505,"id":"Q671505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873676$22906596-25D4-4E2B-AA83-2AC2C78E7E58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873676$3F7B6E67-BCA7-48CC-A514-6D3B0ACA7D39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-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":"Q2873676$62937EFB-69C6-4F90-BCDD-64C8B5DA3315","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873676$A8C7F808-3AFD-447B-AF92-B13BCC134604","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de11fba1e8a8d0d415e9868753614adb3f0fcc90","datavalue":{"value":"6250412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873676$3C69B6A9-199F-44DD-8A72-243C02C2695C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873676$46119290-2C2C-466D-8970-E4E785BB64C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0022af6b6d98f273f59a85d04b8463124de9ba0a","datavalue":{"value":"lazy rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873676$15F64A28-0E19-486E-9C57-7AA6205FE9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873676$2A1D9E93-76FD-4702-A521-3DD9E4A61D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea9e6b76365112e80a1ce3a98c738118b67f0e5","datavalue":{"value":"context-sensitive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873676$622E40E9-F1C5-4603-ADF5-6CD2BCD4F76F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3380cc4625a706ae079557d46b9d536c5c11e949","datavalue":{"value":"Q56766882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873676$6FD0DC4F-EE8D-450E-ACE1-BD156B42F439","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873676$D37B969E-E248-4FCC-BEC5-CCE6FF6ACCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873676$7D54F32A-2939-4E63-800F-6D3195E3533E","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":"Q2873676$DC8CE050-8C82-4C19-A935-AAC95F439BFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3f72f01ca957ec750c463b8f27df8ed761a0bae","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.03.052","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873676$A35233C4-6CD8-41C1-874A-100442D64F29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"822c2a8cb8efcbf300f94c636a17086d4e7846a2","datavalue":{"value":"W2171438322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873676$81D812D7-6464-4725-BD0A-767B4D400622","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2023c78a8fcd73c0f68e7c1714f2e8c8728b2f","datavalue":{"value":{"entity-type":"item","numeric-id":1044842,"id":"Q1044842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873676$75293733-9F2A-4FD6-84CF-98968F29AAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97558af1147bf1da17aeb8d7f9212fe1000d9538","datavalue":{"value":{"entity-type":"item","numeric-id":3911367,"id":"Q3911367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873676$986004B8-C891-4841-9BC1-5E90098443F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4613a5898c3f3aac9ea48077af04511f4f2bf56c","datavalue":{"value":{"entity-type":"item","numeric-id":3527303,"id":"Q3527303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873676$DED6C9DB-BD1D-4F61-9C4E-B530F7D327F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bba1bf289731f89451e9c1f31a3363b82e8f10","datavalue":{"value":{"entity-type":"item","numeric-id":5491901,"id":"Q5491901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873676$C39F4906-E378-40A3-9896-CEB6AA9A4FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f993fcd9fff6be6ddd29863c05df1fec57dd43d","datavalue":{"value":{"entity-type":"item","numeric-id":4259966,"id":"Q4259966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873676$476458DC-CA0A-4F06-8ACD-5DCC42AAB4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5bc8fb88a2c2a95f7bfad14407f5c2fac863382","datavalue":{"value":{"entity-type":"item","numeric-id":2841298,"id":"Q2841298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873676$F73BC111-B083-4172-B1EF-0A23FB180563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dda2f4b34510fccefb9279e83d8420e1934ba94","datavalue":{"value":{"entity-type":"item","numeric-id":859833,"id":"Q859833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873676$0AF36347-0766-4CDF-B35B-FAED9DED6968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f0bc1200f8763292507ea4b90fa482c1334d3de","datavalue":{"value":{"entity-type":"item","numeric-id":2841224,"id":"Q2841224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873676$7BDD425E-4262-4F0F-B78E-0A015C0CF6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c3491ad2c05915255ccec86bc9c770e938c9d2","datavalue":{"value":{"entity-type":"item","numeric-id":4023829,"id":"Q4023829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873676$50B66EBB-2EF7-4295-B418-EBA318965881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bccdf7173fbc3e3fcf1b15214f83d5bbcd461200","datavalue":{"value":{"entity-type":"item","numeric-id":5055738,"id":"Q5055738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873676$6A918E54-C48B-49B9-BF3B-1EC48615D366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"843bf33d1cbcb107aec2d48250a49699fda678b8","datavalue":{"value":{"entity-type":"item","numeric-id":2873676,"id":"Q2873676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873676$D4A82E51-C71B-407F-AC09-4EDD4668CCB7","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"8c0ef2c667b8db03f2cdf5b59e11d6af64b43dd4","datavalue":{"value":"journals/entcs/SchernhammerG08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873676$AC90A150-8BEA-40CB-AE28-50A2B101D437","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c471264a36e20c0f7a51bf1f25df3b42c1213ce7","datavalue":{"value":"10.1016/J.ENTCS.2008.03.052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873676$CFD8E14B-AEA6-48A8-9888-E6A9318CD764","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4916e244c286fff1c29cd89ce9321f042dc1e418","datavalue":{"value":{"text":"Termination of lazy rewriting revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873676$D2EA0921-5E7D-4E2D-8060-7DEB8C09ADE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4bc7085a2a44ff89f189270187010ec28d25821","datavalue":{"value":{"entity-type":"item","numeric-id":2841298,"id":"Q2841298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd9fa17e8c96f6421fa9f3230d26490cbcf85c2d","datavalue":{"value":{"amount":"+0.9216485619544984","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":"Q2873676$AAD37FC1-B70D-48A9-84EE-05B4C7DF225A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b31f771f562f21a12b1bac56a595e4fd9a9a075","datavalue":{"value":{"entity-type":"item","numeric-id":5055828,"id":"Q5055828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b546c0d1932b529b996042909b7b500c782cfd91","datavalue":{"value":{"amount":"+0.8466370105743408","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":"Q2873676$9F74719D-040B-4528-A815-24FBD231183A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"898174fa4ce93b03546b0055b26b86a111557aef","datavalue":{"value":{"entity-type":"item","numeric-id":549188,"id":"Q549188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b42a723dc46b7874b85fa19d5b525d8bc2dcf354","datavalue":{"value":{"amount":"+0.8053719401359558","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":"Q2873676$B357ECEF-E375-4320-8888-D77DAF423A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b049fb018ef319099e90e1d308a5e97b221d9078","datavalue":{"value":{"entity-type":"item","numeric-id":4594226,"id":"Q4594226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d4f57c3f063f80234d5341cf8e0a855b9c2a6a","datavalue":{"value":{"amount":"+0.8002139329910278","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":"Q2873676$F76A4CAB-A95F-4E12-857E-76376F0C2647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736eee410f19293d6bff529ea186d00294c1af91","datavalue":{"value":{"entity-type":"item","numeric-id":5692154,"id":"Q5692154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30c68367f71af73e7f3be1d80e122d0c8dedeb2","datavalue":{"value":{"amount":"+0.7942973375320435","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":"Q2873676$37DAF3CF-40E5-4AE9-A3A5-77B5449389CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2873676","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2873676"}}}}}