{"entities":{"Q7361048":{"pageid":31518683,"ns":120,"title":"Item:Q7361048","lastrevid":105423353,"modified":"2026-10-08T13:45:15Z","type":"item","id":"Q7361048","labels":{"en":{"language":"en","value":"Decreasing Diagrams"}},"descriptions":{"en":{"language":"en","value":"AFP entry Decreasing-Diagrams"}},"aliases":{},"claims":{"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":"Q7361048$09CF9BCF-2D90-4ABD-B3E1-994F1427B2A1","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"24d86f27f86e7f20fef7404beea0faa3c440e9ab","datavalue":{"value":"Harald Zankl","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361048$246C82CE-BE32-40F5-AA74-3238D7B472EE","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":"Q7361048$EC821C77-A320-436C-810B-E3ED6DA81C63","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":"Q7361048$015F10BD-5D9F-47BA-B0AF-FEB71A163416","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":"Q7361048$B50521F2-8BAF-42C9-B35D-393A29945E2A","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":"Q7361048$3FCB0411-DCB4-4E91-98B0-857A851C2777","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":"Q7361048$6FF8E041-AB6F-4517-B3CD-F4B18CBC3074","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ace3eb8b9e6970b8b777ef34f441c4f6bf016186","datavalue":{"value":{"text":"Decreasing Diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361048$8A739A43-68DB-4662-9432-7382650F64F7","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":"Q7361048$428557FE-BE2C-4633-A701-774DCDE76D7E","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":"Q7361048$9B0CD948-18C3-40F4-9545-005608A1A3A1","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":"Q7361048$262680D1-1D2D-49BB-93BB-D42A1430ACBF","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":"Q7361048$50B016EF-9C5C-416C-82DF-35E40A0EE42D","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"c77a37524b04f15379104301c5bf517ef174a6d9","datavalue":{"value":"28553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361048$E16A0D50-22E9-4FF5-871D-F74736EFC9BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361048$CE3DFE88-4AF0-4CA4-A47E-A7C2143AE274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361048$D9F042BE-6FBC-443E-92DF-6D0935F3A3B7","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":"Q7361048$F3801692-6DA3-4A29-8EB1-9C1BD7D93234","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":"Q7361048$2E071A7E-C0C5-4461-97B8-FD0034008A86","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":"Q7361048$F30C696F-C64B-45C6-9582-90BD363C440B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decreasing Diagrams (AFP entry Decreasing-Diagrams)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decreasing_Diagrams_(AFP_entry_Decreasing-Diagrams)"}}}}}