{"entities":{"Q2867963":{"pageid":2878683,"ns":120,"title":"Item:Q2867963","lastrevid":51894878,"modified":"2026-01-20T12:05:21Z","type":"item","id":"Q2867963","labels":{"en":{"language":"en","value":"Proving termination of context-sensitive rewriting with MU-TERM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241781"}},"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":"Q2867963$5F80F45D-974D-4E6F-B2BD-224B0728BDB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"055c3742d0bd152fef9be5eaa2e1ae04b2bb189f","datavalue":{"value":"1278.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867963$71CF1031-36FF-4A32-8C40-60BBC51158BC","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":"Q2867963$D6781AA6-ACB2-4534-90FA-920B643B19CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1c19588ca8ef1febcc87270db917e5f47cf5704","datavalue":{"value":{"entity-type":"item","numeric-id":989289,"id":"Q989289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867963$453B0A56-3132-402C-A4DE-4D32FD70E026","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":"Q2867963$C72174BA-27BE-4F43-B7E8-115CE75E984B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaac329fe0a656aa52bb82005de68b09c3225c03","datavalue":{"value":{"entity-type":"item","numeric-id":1035696,"id":"Q1035696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867963$89647B3F-0D45-4498-9763-471042059849","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":"Q2867963$D1A5C01B-88A2-4311-A05F-DDAD9AB0B52F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-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":"Q2867963$C2D25C87-5601-4BBA-907D-69784A438559","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867963$FA127FB7-AB20-4017-8519-E8B64042F825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867963$AA24AB45-3F40-4C29-BAA3-B3E271837D58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28e05915ab502bc61fd23317880fab3c83d2fbdb","datavalue":{"value":"6241781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867963$07F3F9B4-B1D7-418E-B923-6B2058872FB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"346bf30033591ce68c51066075c051a4267177d7","datavalue":{"value":"context-sensitive rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867963$E2A0BC52-7BD0-4D68-B9E3-F23DA930DD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867963$A9306AB0-16B9-4B6E-BB57-340F75911675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867963$A3E67881-404C-4D72-BE7F-789AA54AF5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867963$201EFD9C-ABAF-465C-B264-FCCB15B4AF5F","rank":"normal"}],"P1463":[{"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":"Q2867963$8CCA8A6F-C9FE-4320-977F-5D37EEF459C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867963$63E6233A-CD40-4F18-87AD-6E5F205E6D6F","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":"Q2867963$1E3FB042-CCED-4976-B3F9-A88FA36EEFE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cd77c4abf9d380c96f5549fce7acec5836f8abe","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.05.041","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867963$9D39FEE2-1A78-438C-BA2B-86953B524723","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23a0a88e8295930b676d0cfa3a8548cbd6f77d96","datavalue":{"value":"W2141699417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867963$E3B018BC-6405-4922-B550-E7983D1A12B7","rank":"normal"}],"P223":[{"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":"Q2867963$B152823B-77AD-4DDE-A007-D512AC578571","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":"Q2867963$AAB86908-9618-4C7B-BB8D-2B4D4203CB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eb7a3581d9370d367eee022ec76bf1b25a51382","datavalue":{"value":{"entity-type":"item","numeric-id":4809069,"id":"Q4809069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867963$7431F4C7-FC1D-436E-8D34-31D775D283AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e113c611b02519817e62b446cccab827e73f9e2d","datavalue":{"value":{"entity-type":"item","numeric-id":3527280,"id":"Q3527280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867963$49827225-2A22-4B50-81DC-5E6BF1E7ECAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867963$EAE5E652-AF59-49EE-BDFF-DE4DEB8FD203","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":"Q2867963$B0B7BBF7-83C3-4177-8D60-EFB6651E833B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c946ee26571140051551ad1ed868fb6088571","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867963$0C6E59AC-7922-45BB-AB2A-BE42869C27DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a46cb1230e2f4c0a70e3eeec8d1384d627c053","datavalue":{"value":{"entity-type":"item","numeric-id":5703847,"id":"Q5703847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867963$2476B0F9-A2E3-4927-AE0C-9C6B70DAE02B","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":"Q2867963$1E79DD5C-93B6-4FBF-B63A-55E625F9AB8D","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":"Q2867963$12107076-2BAE-49CD-906E-DD42B279B9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11cd5bf0d430fe7f41ec1cf3938defdcb2ccb512","datavalue":{"value":{"entity-type":"item","numeric-id":5308459,"id":"Q5308459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867963$7C93ED61-B4FD-4B27-A8DC-E7325936543E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8e9433babfa01b39b72b0ddf6c5f892aa6f566","datavalue":{"value":{"entity-type":"item","numeric-id":5313720,"id":"Q5313720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867963$99C3FEB0-50BD-4D94-8434-270989353E70","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":"Q2867963$99B7E360-BFB9-4CFE-B020-34B3735B878E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d252965fdb089d391e66eacb4ca4ae5d273f896b","datavalue":{"value":{"entity-type":"item","numeric-id":2502172,"id":"Q2502172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867963$296B839B-4DA9-4DFB-AC97-9EF474C91CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867963$4A05F4A3-31C4-4099-90FF-82BA76CDC239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867963$55F0D8C5-3C5D-4771-B599-DC65F2F3C89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf73e36acd8c530d7cd261bcfd06e8246cdcd8f","datavalue":{"value":{"entity-type":"item","numeric-id":4594226,"id":"Q4594226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867963$53F7C52F-1457-4EAB-A600-35BB991CF18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2a604ad8537237bf4f35e0d8826e78ef178beb","datavalue":{"value":{"entity-type":"item","numeric-id":850497,"id":"Q850497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867963$559D9EDA-4DC2-4DB3-8B87-3326756A0098","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"336e67a30fd6ed4046d877176f8d4425b4ae012c","datavalue":{"value":"10.1016/J.ENTCS.2007.05.041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867963$F4328605-A0C6-40FD-A182-E6A8CADD682C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8ec25fc61ebaabc623ce23e9e44ca769ac9b7bc","datavalue":{"value":{"text":"Proving termination of context-sensitive rewriting with MU-TERM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867963$1E49684F-D5E3-408F-A2DE-EF5B22728017","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c429d2d65f23fcd3bf94e5f016eb4ea4580e44f","datavalue":{"value":{"entity-type":"item","numeric-id":859833,"id":"Q859833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c81654212bf8250a406fe788c1bdd00598dae63","datavalue":{"value":{"amount":"+0.9006540775299072","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":"Q2867963$A973CEA6-7E67-4D32-859D-B366CE8A6870","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":"6ea74169ead351a9bc4886f6ef3b1b7498083425","datavalue":{"value":{"amount":"+0.8894729018211365","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":"Q2867963$6645A1F5-2773-4913-8925-22BEB1A9FBB3","rank":"normal"},{"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":"249265c60098f0bc2ce86f7bb1054d7e827ee34d","datavalue":{"value":{"amount":"+0.8700789213180542","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":"Q2867963$14F281F8-88FC-4607-BD70-24E70302EEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d45195da3612f70e54ae2b0f66105c6ad766b0","datavalue":{"value":{"entity-type":"item","numeric-id":4808754,"id":"Q4808754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c44351f5e0ddf4c18b6d9514d1fd87775f4c1ddf","datavalue":{"value":{"amount":"+0.8641223907470703","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":"Q2867963$6560135A-49D8-4803-A95F-CA1B4A67BFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2387173d1a775338c30e8db907787b3bfde16e8b","datavalue":{"value":{"entity-type":"item","numeric-id":989290,"id":"Q989290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d42a8a424178f85d2a5c6a3b7bc216653413c159","datavalue":{"value":{"amount":"+0.8608043789863586","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":"Q2867963$3DAF1B9E-7B50-4BBA-BB08-F85CCA70D0C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2867963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2867963"}}}}}