{"entities":{"Q2808236":{"pageid":2818974,"ns":120,"title":"Item:Q2808236","lastrevid":52536818,"modified":"2026-01-22T22:01:15Z","type":"item","id":"Q2808236","labels":{"en":{"language":"en","value":"Using context-sensitive rewriting for proving innermost termination of rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6583567"}},"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":"Q2808236$65D84519-CDF7-4927-ABB4-652987479BAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c2b57e635261e6c47fc85fa8d9519dad046f98f","datavalue":{"value":"1337.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808236$1415FCB3-0C75-4906-BA39-029C9A5F9E0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31bbe7fc73ae36d42296587e4644ebbe3b7b1eb0","datavalue":{"value":{"entity-type":"item","numeric-id":989288,"id":"Q989288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$8DBA3113-2A3D-42AD-9942-C590ED7EC929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$95714997-57D9-425D-90C9-2FCEC7738218","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":"Q2808236$5A35018A-6A57-40CF-81D9-2F161A52329A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"206c3c6e81f9d9944e5def066a21d9c872111ac3","datavalue":{"value":{"time":"+2016-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2808236$5D4F1616-A4E0-4488-8D82-0A9599E7069F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808236$68A9D8C8-D3A7-4365-8438-35374E8AB6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808236$F3EBF6EC-49EA-4292-A4A0-FE1CC20A5AB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9611ae18dd35ac078022ad7ff77b6f5baf9cba78","datavalue":{"value":"6583567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808236$9BE9F8A3-738C-4BFD-A50A-B8A9AB99E990","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d85f2de0f21afe646ccc074f4fe477dba159ef","datavalue":{"value":"dependency pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808236$A3484B68-8691-436F-A3A8-86C46B35062D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac2818beb7d29b0c22b0029cd21e88d36ca0c546","datavalue":{"value":"innermost rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808236$7474D753-19CC-4A9B-B4A7-E1B7B0040AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a90296202bfca870c94966bfa714731a08679bd9","datavalue":{"value":"context-sensitive rewriting program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808236$16378375-D3A4-418F-9F49-9B75F4C50F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808236$895F33C8-5D1E-4BF2-9CBB-A967181E0A79","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$6731BD9D-2F5C-4DDC-8B65-05EF7E2C5F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"572143c91783d0a6b0c85b511e358973b6a75091","datavalue":{"value":{"entity-type":"item","numeric-id":21990,"id":"Q21990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$FA4BC5A1-62B8-4D6B-9158-A6B385648641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$5F2C59FC-721B-4F75-8448-38EEE2708DB7","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":"Q2808236$4EC82117-C7B6-48D6-B0E3-89DC4DD90084","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2430256d7493899a6a86d5ec65d98a865c27d61e","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.055","type":"string"},"datatype":"url"},"type":"statement","id":"Q2808236$36130459-B36E-4F18-98F3-9BC710560216","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9c9e41d320972bf31915bd7ada958391d17ed2c","datavalue":{"value":"W2119937562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808236$55A2FE69-6F25-4A2D-B668-00A0F3E63D83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db567a69db90da129707225d3624b9c37b69b14f","datavalue":{"value":{"entity-type":"item","numeric-id":2867963,"id":"Q2867963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$A2CAAB0E-4C66-4D41-869D-CC19A1291719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73dd7d56f1e7c007ccdfe5831e818e4994071fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5385994,"id":"Q5385994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$ACB9AC4D-9B7D-48DD-BB63-819751592760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd79e92f1054e264c7287ed7c6cac5b66416ebee","datavalue":{"value":{"entity-type":"item","numeric-id":2867962,"id":"Q2867962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$AFEC5601-F5A5-4CC4-92F5-01D0BE84A781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0958e6b4e0375c6bed7aa9c3bc9bcf8c6a3a5985","datavalue":{"value":{"entity-type":"item","numeric-id":3525002,"id":"Q3525002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$E8C89C8C-18F9-4619-B348-73B794AC26A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$557BB673-AE9C-40D8-B7AA-71EB062FA3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$E1CADCF0-DD57-4510-AE99-A3A7759E9249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f8ef03a702d69c585c63b326a09f44c5b6e4af","datavalue":{"value":{"entity-type":"item","numeric-id":2271899,"id":"Q2271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$A8F56B70-F345-4EBC-B154-CFE4BAF537AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6bb83e86fc06dcdf4fa813c2e4536710c44897","datavalue":{"value":{"entity-type":"item","numeric-id":835006,"id":"Q835006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$F8AA38EA-71D8-4797-83CE-DC2C8A8F2189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96533da051c40714d0846efc746b5e4fab501b3","datavalue":{"value":{"entity-type":"item","numeric-id":5703865,"id":"Q5703865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$863FCC72-B00A-4C6A-91D7-0220184B37D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93313f8491f48a6f10e9a1a08deb4367886c2bc","datavalue":{"value":{"entity-type":"item","numeric-id":4412115,"id":"Q4412115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$50D4589F-A307-45E9-93B3-F73154D36967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ff17e89f36b487ef3a24d7e9e19c6dc9355bff","datavalue":{"value":{"entity-type":"item","numeric-id":5692154,"id":"Q5692154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$D5B5C169-F1B5-4713-9C8E-5D9CE16DACDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$F840BF58-9E7C-4EEA-9D01-96FA57F7E73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50bb4e47025c7f1c8b3de61681ff281ce9a1767","datavalue":{"value":{"entity-type":"item","numeric-id":2486583,"id":"Q2486583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$54D21053-086F-4C86-BF70-767757740965","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":"Q2808236$A867CEA5-EC67-47D4-90E4-C5BF788C1F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d87573c17092e5ea68e91a6ff0c61b4867e15c12","datavalue":{"value":{"entity-type":"item","numeric-id":2996200,"id":"Q2996200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$6878CA78-F77D-441C-96B3-4D5B7490C176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a48e8830951e39fb0f54422f9a7174d85b6eee","datavalue":{"value":{"entity-type":"item","numeric-id":1854569,"id":"Q1854569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808236$2C2D8161-E529-41C2-B811-3B6651CD9573","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":"Q2808236$4A4C4008-A14C-477A-8EB6-AB6416B6AE7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05560693ffcbae566d871cf22d2c9bf8f5cfcc5b","datavalue":{"value":"10.1016/J.ENTCS.2009.07.055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808236$76F01280-643D-4570-938F-0164165A751B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9da211543dc5ce96a10d4e6bdb986031a3b17739","datavalue":{"value":{"text":"Using context-sensitive rewriting for proving innermost termination of rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2808236$DD967223-AC69-41A7-8A98-EAE31CE55B76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aece81f3b6dc7a3878ad3fa68414954b3fc66b8a","datavalue":{"value":{"entity-type":"item","numeric-id":3525002,"id":"Q3525002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2750d38461c76895c2a59c17d42dae4f6ec36c6d","datavalue":{"value":{"amount":"+0.8995018601417542","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":"Q2808236$9439C06C-3021-4E8F-ACA0-8A0EE574E763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19212de72591fe548066e57870061bb9cc748f9d","datavalue":{"value":{"entity-type":"item","numeric-id":4412115,"id":"Q4412115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba57f4bc755cdacf0fa1d37d38bd169b1a6509f0","datavalue":{"value":{"amount":"+0.8697566390037537","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":"Q2808236$C2039D5C-D110-4A42-876E-0BBF458D9DAB","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":"67a58cecba21c7d2e34b4fdd251a8253fa12224a","datavalue":{"value":{"amount":"+0.8182182312011719","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":"Q2808236$C3066B38-5280-48A4-9C41-B1B7936FFEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce52b3d229a5b295830671c46c99b0d85b9a887","datavalue":{"value":{"entity-type":"item","numeric-id":2996200,"id":"Q2996200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d375fcd1ae879b3330750fb283d935339ecc40af","datavalue":{"value":{"amount":"+0.8138434290885925","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":"Q2808236$A4E421C5-C300-4008-AA8B-BC267406E010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89cb8320e4ef940f052ecae277d263e4adaefa63","datavalue":{"value":{"entity-type":"item","numeric-id":2867963,"id":"Q2867963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e706f22418f4df33f127c69a0bcad3030cc2e3","datavalue":{"value":{"amount":"+0.8131209015846252","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":"Q2808236$224A1D32-0563-4B6E-8144-FAB6B44F3FE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2808236","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2808236"}}}}}