{"entities":{"Q41247":{"pageid":41303,"ns":120,"title":"Item:Q41247","lastrevid":105427871,"modified":"2026-10-09T10:08:36Z","type":"item","id":"Q41247","labels":{"en":{"language":"en","value":"Decreasing Diagrams II"}},"descriptions":{"en":{"language":"en","value":"AFP entry Decreasing-Diagrams-II"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"7415b26d6a5a1f2869632d728005f5b5c3b977f3","datavalue":{"value":"29533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q41247$7A5C60C1-ADA2-467B-8E22-4F22E2848490","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":"Q41247$3340E318-8FBC-497B-8E62-B16DC43D5041","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"86e16ca2df0fef8b3a47bace0db47cf9ad4ed92d","datavalue":{"value":"https://www.isa-afp.org/entries/Decreasing-Diagrams-II.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q41247$9445BC74-7F4E-4278-A66D-02BAC69EEA61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q41247$2A47D9F0-FD35-46A3-9ADD-39796A5790E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q41247$7A9B77F5-4D85-48CE-92EC-6630D85A955A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q41247$FB001CC9-8D8D-4D96-8C07-5BFC753B6B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q41247$4271ECE5-7E95-4E5B-9F28-88B385D79C73","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":"Q41247$998190D2-12C8-46E5-B058-0E3E80715EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"046302aadd52f5692c4edf175a5684d026422a8d","datavalue":{"value":{"entity-type":"item","numeric-id":40319,"id":"Q40319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41247$402EDE12-39CE-4416-886E-DF64437AB57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"61d0c0612cc30c9c51b93ddaf1f78ee1ae75f9fe","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41247$06B466DF-2DE2-4438-97DC-E51755B5B266","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":"Q41247$1AC059C4-D737-403F-8CF9-D81DA9B23C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ef8d4fcb901e471e97f6d315665a098aedf96b01","datavalue":{"value":{"entity-type":"item","numeric-id":53718,"id":"Q53718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41247$C3E99E8E-8AF2-4DB2-8A59-72CE45BA8468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2778ef58df5d105bc5fcd1f1e6190b4cffc33d19","datavalue":{"value":{"entity-type":"item","numeric-id":40261,"id":"Q40261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41247$D40E3D0D-17B9-40B8-A11E-51042BF1548A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"88ce92c4af709094185feda008c0e79821510197","datavalue":{"value":{"entity-type":"item","numeric-id":21947,"id":"Q21947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41247$0261DD74-A525-4920-9A94-12DC2DC06678","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":"Q41247$56349923-E051-4CE2-ACC2-F02EDC79D62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41247$C00E97E4-F3EB-43BE-A80C-7EE10CF57F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"139c69b2a23f419923a7989e28183ef8179b6836","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41247$E72BDA7B-B0DE-4D96-A4A4-1F0FE21CB3A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76366b3eb684938b26c203320cbecf80bef85df6","datavalue":{"value":"https://isa-afp.org/entries/Decreasing-Diagrams-II.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q41247$05C14BC9-B4F5-4960-BBAA-4F98D41F2975","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"4773936992e4bab2a9a45e7e94c36b9477a2fce6","datavalue":{"value":"Bertram Felgenhauer","type":"string"},"datatype":"string"},"type":"statement","id":"Q41247$95D00A8B-F334-44F9-913A-1631EF7D778C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8d18840afad2384fe4f62938100b1fa63bb03bd1","datavalue":{"value":"This theory formalizes the commutation version of decreasing diagrams for Church-Rosser modulo. The proof follows Felgenhauer and van Oostrom (RTA 2013). The theory also provides important specializations, in particular van Oostrom\u2019s conversion version (TCS 2008) of decreasing diagrams.","type":"string"},"datatype":"string"},"type":"statement","id":"Q41247$2D53021E-1920-4267-B965-23E20D1C0434","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"274736e3c02109cf273cdf7bf9017ac1fe6ca469","datavalue":{"value":{"entity-type":"item","numeric-id":2958383,"id":"Q2958383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41247$274895FF-2F9B-4BFF-91F2-A2389AB46E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7697a4fe210926c29f073a8ff80b4706a2b84a63","datavalue":{"value":{"entity-type":"item","numeric-id":5747786,"id":"Q5747786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41247$9B122B6E-1763-4906-9E50-2808EA633267","rank":"normal"},{"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":"Q41247$134C7941-F3D2-4E06-AAA9-F05E65DC7155","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":"Q41247$337A3BB1-8D15-4319-AE88-E524B5538328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"890c0c4a61156b4e729dc9fcff8e39e1971a8f5e","datavalue":{"value":{"entity-type":"item","numeric-id":7361686,"id":"Q7361686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41247$A8D339EC-C5C8-4438-876E-9CD09F37767F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"96097fd8ad0239121f217726b3d18b7636f6739e","datavalue":{"value":{"entity-type":"item","numeric-id":7361640,"id":"Q7361640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41247$1A329D4C-FE5A-47BC-9231-362815A48CB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e39592c2ba32aeaf9bbb43265ec41a1bb013153","datavalue":{"value":{"time":"+2015-08-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":"Q41247$08100B2E-F3D1-43B3-AA04-7FF178C0F7AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75118e3ee52c17332df67c3d2320a4eb8e7d17c2","datavalue":{"value":{"text":"Decreasing Diagrams II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q41247$9378E0E2-401E-4BE4-A4AA-482BBD6539AA","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":"Q41247$6EFC0F54-DFEF-435E-BFB3-0C33A9856B9C","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":"Q41247$791FC7D7-9174-45EB-83B4-E98F7CA03DF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decreasing Diagrams II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decreasing_Diagrams_II"}}}}}