{"entities":{"Q859833":{"pageid":861681,"ns":120,"title":"Item:Q859833","lastrevid":64890489,"modified":"2026-04-11T22:54:42Z","type":"item","id":"Q859833","labels":{"en":{"language":"en","value":"Proving termination of context-sensitive rewriting by transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5117648"}},"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":"Q859833$ACF6C49B-7632-48A4-90CE-E7E1192DB357","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f64343ec5e65ec5a626b1c2103cee30e3fec95a4","datavalue":{"value":{"text":"Proving termination of context-sensitive rewriting by transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q859833$565C3CBC-ED91-40FA-B5AA-EF17ED4F1AB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55d7261b27f08950032a0caba8bceea712f3a711","datavalue":{"value":"1171.68514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859833$23B5EFEB-DE24-461E-A220-756C35A74285","rank":"normal"}],"P16":[{"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":"Q859833$6F46418F-5EC4-4D99-8D07-EED08FE31FB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$48715DBB-29DF-41F8-AD0C-3126EEEE7F1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8717bd621ac828fb200d97d6d2f52c061cac920b","datavalue":{"value":{"time":"+2007-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q859833$B61D6FD2-BBFE-4FE7-91A8-9B572A99A388","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859833$DF6D5DDD-6F49-43C0-B6DB-23E6D66559FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859833$4E7FDB0B-88A6-4737-A911-BADE3745F390","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a60a4cc43e3b56bb7423a746283ee5605d77ce57","datavalue":{"value":"5117648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859833$50EA633D-9153-4319-BE6F-B33AFB3EF42C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"346bf30033591ce68c51066075c051a4267177d7","datavalue":{"value":"context-sensitive rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q859833$7C837D12-D990-43DE-BEFC-E1D0A0DF4066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q859833$3C6287B5-C4C2-4C73-8F15-C268901B94C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q859833$4A24A961-F748-4D3A-B1AC-BE9F97BFB2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q859833$9EAA7449-D952-4AB2-88F2-95728F9A24FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dca5b755a3b33e79b67a683448b6bb0d1d64360","datavalue":{"value":"transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q859833$2EC7FF33-F86C-46FD-AFC6-058B501ACD9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4095cd0a61ca6e7129d7a4dec1618a4683d09db7","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$ADBCF6D8-8EF1-40E6-B03C-551608D9D1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e3e0c7fbc75cf5e7499e20c9ca7fe7b25993fb","datavalue":{"value":{"entity-type":"item","numeric-id":4428288,"id":"Q4428288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$E848510B-01CB-4411-8AA2-2A2754C193E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c0dccc24f90091b5e10d52c233cc9298426476","datavalue":{"value":{"entity-type":"item","numeric-id":2851049,"id":"Q2851049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$A3B33809-A7E6-408F-8E4B-AAF80C347994","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":"Q859833$5FE63B9E-0845-4F47-9D0E-CBBB06C9409D","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":"Q859833$7576F071-8DD1-4C22-B00C-5FC84447B157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$2F76960F-6A11-4F22-942E-EFDC87112AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"029c9b211e75ff587c0578ca54c4b6922fa8629f","datavalue":{"value":{"entity-type":"item","numeric-id":4449180,"id":"Q4449180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$0DC005B0-7F76-4653-A842-712CE76A8333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$08F8AC2B-BB72-4457-BEBE-C4BCFCE88FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39b46036e0e44c388baf61cdcb5ecf5b5fa7252","datavalue":{"value":{"entity-type":"item","numeric-id":4447224,"id":"Q4447224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$01E07C88-6C35-497C-AA06-596129121A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f4147474a7e5a4baf84f193c7501316743b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":1139374,"id":"Q1139374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$B65F687D-8F23-4A51-9F68-E5A8B87B66EA","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":"Q859833$3D8466D0-CF8C-42AB-A676-322A2887ED9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$3E711C2C-63EC-4508-A582-65D768691AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$79BFBF97-8F22-4598-A88B-9B504E08DF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79479be3f78950fdebc8d6458730d52e0552f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1176247,"id":"Q1176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$AB495CD3-FC8A-4A8D-A9AC-86DE8032DD6A","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":"Q859833$228E462F-CECE-498F-8EC4-50C6F3A7C9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fffbd22a6f021de880276a39066b23c6e6118d5a","datavalue":{"value":{"entity-type":"item","numeric-id":4938610,"id":"Q4938610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$1A400AB3-CBAB-4AA8-B073-C58497CBB7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a4e89dfed482c45fe70c45a9cf5ab82c1b4a6e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$5BB89BFE-A49F-44FE-AED6-E0DF9DA03071","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":"Q859833$3B9FB25B-87B2-4BCD-AE5A-E706EFCF9EF4","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":"Q859833$B6845251-43AE-4BB1-A6E7-BD36175D2919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb45a07c249808f39b196e78cb1332eb59c84b38","datavalue":{"value":{"entity-type":"item","numeric-id":1328180,"id":"Q1328180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$B187DF8B-C729-452F-B6A0-CC7F535E3CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc15735d85b8b838c2b2188ab30dc6676a960291","datavalue":{"value":{"entity-type":"item","numeric-id":5901572,"id":"Q5901572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$75EEE16B-BE49-4071-B751-E1E39CD7B7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c3d7dfc55facbac01d8f787937a9b2b168b3e7","datavalue":{"value":{"entity-type":"item","numeric-id":5464701,"id":"Q5464701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$D6CBE7AC-1E8B-49E5-A453-FF1ABBB9B98F","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":"Q859833$D1C26637-2525-40FF-93F4-64185866236D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$E6DAEFDE-BDDF-4548-A148-16FEFC9F9DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a802643d47446f2ba0a2c18eb45ac08dd19cf51","datavalue":{"value":{"entity-type":"item","numeric-id":4259973,"id":"Q4259973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$E12A93C5-0280-434A-B86E-AAAA6D796949","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":"Q859833$F45E2063-9972-4553-9D19-5BA9FB51634D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa66cd10684eeb33961fe983c69bf06684be0467","datavalue":{"value":{"entity-type":"item","numeric-id":4818829,"id":"Q4818829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$CA481EF8-28CB-4544-B8E6-1E182FE14521","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":"Q859833$086A7692-F5A9-4D43-95B3-20E363A0DC2C","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":"Q859833$E7FCDBDB-E3AD-4B57-9360-84AD10451E91","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":"Q859833$CD242F49-B574-494D-BB4C-73A47F134A8D","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":"Q859833$2DF1D17B-6459-4D52-BC02-CA420A6861FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a4332c5a45eac445452e2cf28ec295597728f5","datavalue":{"value":{"entity-type":"item","numeric-id":704166,"id":"Q704166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$07EDCB4F-2E4C-42BA-B626-CABEFC76C0C5","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":"Q859833$FDD5F89F-11DD-4C76-85EB-3E58B0E1DE8C","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":"Q859833$7C725219-DABD-44BA-B1AE-BC8B3372605A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2af2092b9c38b5f11bfd9331f5655e22bc0db44","datavalue":{"value":{"entity-type":"item","numeric-id":3283220,"id":"Q3283220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$C42AD272-40D4-42F4-84B5-56A11FC81127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f617bbdd809e6cca900a04eb2bca20125de142a4","datavalue":{"value":{"entity-type":"item","numeric-id":1343111,"id":"Q1343111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$9FE688B9-4119-4024-ACEE-CCC57AC046B9","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":"Q859833$BB873758-BCE0-44EE-91EB-8E70E725AA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db943a7e4456eeccf0929a13443d57c6a7880521","datavalue":{"value":{"entity-type":"item","numeric-id":4846999,"id":"Q4846999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$0A058A46-2F13-49A1-979C-34D8F1D4F550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$8E32912F-C447-43D9-85A3-4CDA7C3D0B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2714b062fec2412271016eb78cb55f2c42f4059d","datavalue":{"value":{"entity-type":"item","numeric-id":2583289,"id":"Q2583289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$BE8A387A-F0AE-40E4-91C5-8F7F5CACB340","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":"Q859833$97D9BC69-2A6E-4163-983E-65A5D7143676","rank":"normal"}],"P1463":[{"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":"Q859833$F42F7C97-4350-471B-A524-AA0AC142AF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"215e268b021d037acb803be5f3846494c13771a7","datavalue":{"value":{"entity-type":"item","numeric-id":22084,"id":"Q22084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$BDD73B4A-E034-4376-8755-DA1D5CA23B81","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":"Q859833$0BC64CA7-6A8C-4612-BCCC-8EF2322DFDB4","rank":"normal"},{"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":"Q859833$3B6F972C-0E84-4E02-883B-C8C3B32BFE4B","rank":"normal"},{"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":"Q859833$F63FB6DE-052B-45A8-B545-366D2AEAEFBC","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":"Q859833$408BF889-2C84-4FDE-9A4B-AF122CC271FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"184b17ed6ef8f72f90ef44ecb976296d445c28b6","datavalue":{"value":{"entity-type":"item","numeric-id":21947,"id":"Q21947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859833$C66E99A9-516C-451F-B60F-2A8E04973DB4","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":"Q859833$4E0B5DC2-92FF-42F4-A9F4-3D86E57E390B","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":"Q859833$42E8C17D-0AD1-4D55-893C-E26F30506DA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37ed4fb4871fcf052fdc1a65eac4ee007e72bfb9","datavalue":{"value":"https://doi.org/10.1016/j.ic.2006.07.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q859833$390D1D19-0A01-4376-8372-70B313A836FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d98a4b497f0a39d284faa131c95b1d13bb25191","datavalue":{"value":"W2093571287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859833$9EBD8609-AE05-4A58-97E1-8C4D93624BDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdc3c53c44c3b1f593bd1ab016945a017a4d0726","datavalue":{"value":"10.1016/J.IC.2006.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859833$663D5A7A-293E-4137-8F90-6B46362DC5F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff9eb521e6c9322a030fb5d1d91b6b79aeab2cf1","datavalue":{"value":{"entity-type":"item","numeric-id":2808236,"id":"Q2808236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93830c8c8b41e7a2c4efba83eb2d21fce3e1284","datavalue":{"value":{"amount":"+0.9490075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859833$AA041710-153A-4B90-A7FE-6FF8F7703D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"970eefc955628912549e15fe0788b9640a3ce09d","datavalue":{"value":{"entity-type":"item","numeric-id":2808239,"id":"Q2808239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1bc5743ae73bc34308b590e4953ca2ca26e6f00","datavalue":{"value":{"amount":"+0.94011736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859833$28DA10C3-C5C0-478E-8A29-AEA56ED2F407","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":"bba272582bd41c0463041840996e9e062ac88d41","datavalue":{"value":{"amount":"+0.932231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859833$38815FD2-3501-41F9-A595-64F5A458461F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57349622a6ff30c62c26a387e36d5fd204e2e66b","datavalue":{"value":{"entity-type":"item","numeric-id":4818829,"id":"Q4818829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1534757e6cb1de42117578775fc1da92947e20de","datavalue":{"value":{"amount":"+0.9234563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859833$C99362FD-498A-4FA6-852C-1FB9F6639D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a131c71e76eddfd40c0ecb8e8ead92f9e2fdc410","datavalue":{"value":{"entity-type":"item","numeric-id":4202962,"id":"Q4202962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fddfa74e0b5b10f9f5794ffcf493abc5e76985fd","datavalue":{"value":{"amount":"+0.92086416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859833$4484E7F6-08E2-4AA2-8396-730160AF4520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc4431243db8fbf3ac889c0413ff461468644e63","datavalue":{"value":{"entity-type":"item","numeric-id":5308459,"id":"Q5308459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2fa4fcbf92bc0360d9952dbc8b2fa91d00a3e8","datavalue":{"value":{"amount":"+0.9128946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859833$E4E66F25-606C-4094-92D2-3E28B5266CFD","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":"1a87e8f0578f9771a28906ffaa4b87c27032bce5","datavalue":{"value":{"amount":"+0.90936077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859833$2DF046CC-39E3-4ACC-9687-260A8852776A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e75a6853abcf72a160bb0d2054234b62f9bc154","datavalue":{"value":{"entity-type":"item","numeric-id":2778874,"id":"Q2778874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e187222f1c934f9052522ae25b785b688639af26","datavalue":{"value":{"amount":"+0.9087231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859833$F9A0E78C-D859-4195-BF01-88F73027E8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5720cd84594b4966bf6d004209671bd3246f9205","datavalue":{"value":{"entity-type":"item","numeric-id":1323317,"id":"Q1323317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa23ddb426004017f801bff05c424672ade56f64","datavalue":{"value":{"amount":"+0.9075441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859833$EC876FA7-8F90-4D87-9B76-37B2B501B7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eef440178d75a9255980807f736445ffe4363b0","datavalue":{"value":{"entity-type":"item","numeric-id":5432346,"id":"Q5432346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a8f6800caafc87b2d7c6ae2359c4aae99af9ed","datavalue":{"value":{"amount":"+0.9041681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859833$529BAACB-4472-4CCB-9448-FCB45892E940","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving termination of context-sensitive rewriting by transformation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_termination_of_context-sensitive_rewriting_by_transformation"}}}}}