{"entities":{"Q40267":{"pageid":40323,"ns":120,"title":"Item:Q40267","lastrevid":105429239,"modified":"2026-10-09T10:11:35Z","type":"item","id":"Q40267","labels":{"en":{"language":"en","value":"Decreasing Diagrams"}},"descriptions":{"en":{"language":"en","value":"AFP entry Decreasing-Diagrams"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"c77a37524b04f15379104301c5bf517ef174a6d9","datavalue":{"value":"28553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40267$4F1BC987-97B2-42B0-B01B-48B9191F1561","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40267$3020AFF3-F6E6-42BA-B28A-E60D0BAFA25E","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"0e0aa7301ad8ae83d414b4f2f95e01f6e663c956","datavalue":{"value":"https://www.isa-afp.org/entries/Decreasing-Diagrams.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40267$9E44A6AC-72FB-43B7-8C24-49EF001D7591","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40267$09C55517-E010-4C79-A454-4EA030100A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40267$4951ABCA-A4B0-41AD-B141-E3221651FFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40267$76F12A49-4E62-457F-88DB-79B14644CD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40267$AE7F7C31-3262-4DC8-85BF-FADE845D7271","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40267$4ACEA068-6A06-4446-80DC-B4B62FFA4C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"169d14de70bf8d1baad42217a3a30ab4f80fc86e","datavalue":{"value":{"entity-type":"item","numeric-id":21746,"id":"Q21746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40267$A5D0638C-9085-4B54-AE42-F455027E6CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40267$AFDEE111-FAED-48AD-8E1F-F9039552E3D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1052efec3ccf2b33a27b9737dfd6f15c35b6f57a","datavalue":{"value":"https://isa-afp.org/entries/Decreasing-Diagrams.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40267$5A0CB168-D67F-497E-9462-4CD9D57D1407","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"24d86f27f86e7f20fef7404beea0faa3c440e9ab","datavalue":{"value":"Harald Zankl","type":"string"},"datatype":"string"},"type":"statement","id":"Q40267$0105BBC6-F6E0-4EA5-9FD6-CDC1B41C7AF4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b705e39e7e265e2a2676faeb845c39d1b3b136c7","datavalue":{"value":"This theory contains a formalization of decreasing diagrams showing that any locally decreasing abstract rewrite system is confluent. We consider the valley (van Oostrom, TCS 1994) and the conversion version (van Oostrom, RTA 2008) and closely follow the original proofs. As an application we prove Newman's lemma.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40267$DE687993-BB23-4EA4-B21F-5833A67F95CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cba28b68fd268a3fda8a1750f4b6808bf5f1090","datavalue":{"value":{"entity-type":"item","numeric-id":3522026,"id":"Q3522026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40267$253D07B1-C652-4D4E-936A-BB6155287A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de387b474a5e7630b2d32a58f2ca9248ae0f8e21","datavalue":{"value":{"entity-type":"item","numeric-id":1322164,"id":"Q1322164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40267$0FF975BC-1991-4595-9C43-A21DDA4FDFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0cea1f5eb77d59253be3022ba821c70a4d99a31","datavalue":{"value":{"entity-type":"item","numeric-id":2958395,"id":"Q2958395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40267$5A0857D7-AD51-4FBA-9BC5-98712675CB48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c208560dc20a04fb91ae5bdd165df42ccb312e52","datavalue":{"value":{"time":"+2013-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40267$551E3171-8DCD-47CD-B4F8-D627ABC1CCA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ace3eb8b9e6970b8b777ef34f441c4f6bf016186","datavalue":{"value":{"text":"Decreasing Diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40267$09E50F7C-9217-4406-8726-4DCAB397D7A0","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40267$7C96F1CB-E822-4651-8749-4842A4CB6B0A","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"bb0293970cb12cb0c0b06315232bb60667277b31","datavalue":{"value":{"entity-type":"item","numeric-id":7361362,"id":"Q7361362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40267$6333A2F3-940F-4634-AAC3-E51DA7F8A890","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"edf8a8949edec3767dd80b6d3acecc92e5d25f1c","datavalue":{"value":{"entity-type":"item","numeric-id":7360818,"id":"Q7360818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40267$473C9DB1-E378-4696-AFEB-0E0576D918B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decreasing Diagrams","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decreasing_Diagrams"}}}}}