{"entities":{"Q438562":{"pageid":440329,"ns":120,"title":"Item:Q438562","lastrevid":61924635,"modified":"2026-04-11T02:35:15Z","type":"item","id":"Q438562","labels":{"en":{"language":"en","value":"Decreasing diagrams and relative termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062058"}},"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":"Q438562$9EA73741-C2D6-4668-900C-4932A519ED21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e183b231c24d698383f3b9e1913226e864b4774","datavalue":{"value":{"text":"Decreasing diagrams and relative termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q438562$CA2C6FE1-4EA6-490C-951E-9A398232C693","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4afb313d8eae6c0ea47ba74166d0401a550b3a09","datavalue":{"value":"1243.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438562$C0720C93-0521-4DA8-B894-4FEE0324F2C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbf80f7e67c864eea20bacda65f1ad6545214beb","datavalue":{"value":{"entity-type":"item","numeric-id":352957,"id":"Q352957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$D65EFEC4-8A5F-4988-9B0E-BE8914CE662E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$3C697AED-FDDC-49C2-9BAC-ABFE58B2DE36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$EE7F27F5-B9D5-411D-A137-30CFD17800CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c7ad691786690cf86127845d28cf47311748286","datavalue":{"value":{"time":"+2012-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q438562$1C4C0E0B-C67C-4E05-83BE-AF988AABE25D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438562$479612B5-6032-4897-AAC0-0F425A4CFBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438562$25FF5D72-964F-4112-B646-2909CE8114C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d82c4660cb104a57e1980b7cbbd8388ec212b9e2","datavalue":{"value":"6062058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438562$CFA62ADB-18F1-4C21-9828-EF87D517BE16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q438562$10F054B9-9C55-4120-B6D1-204C0E8A3D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b08ad5cc243aaeb3e65ad49f2325bf43711510f5","datavalue":{"value":"decreasing diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q438562$066454D5-8AFA-44E9-A5E8-389A63B85B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"260f8b8a63a01e52cf209b11550ffc4ffadc0a43","datavalue":{"value":"relative termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q438562$41ED8C97-B7C0-4AE6-8EA8-4F86C8CC0CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q438562$07176E65-55EC-42F9-B5E7-96AD12F92FD8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$BC5EC6A8-7515-409C-9F98-F3890202AA1B","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":"Q438562$B8C5704B-E3C2-4EC8-A56E-B4D451D1E554","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":"Q438562$8C800B9F-C66E-493D-BF13-606A02DCE67D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"642c2af3e0a609a624ac1c3fd59250d43a42b16f","datavalue":{"value":"https://doi.org/10.1007/s10817-011-9238-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q438562$FB0E6DD5-FE5C-40B8-B864-BB730224FD49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b432197085b9bf3b2389ed73481a9e1178494a9","datavalue":{"value":"W1997678912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438562$191A8CC6-F1CA-41AE-8654-F5308F15330E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35102db1b7e7b090a79e18e4df0f2b0bccb432b9","datavalue":{"value":{"entity-type":"item","numeric-id":5389131,"id":"Q5389131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$5ACDB918-D057-49A4-9569-5E55BD5114A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ed0648f809f449264f7f710d068f681caf0145d","datavalue":{"value":{"entity-type":"item","numeric-id":4520528,"id":"Q4520528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$F09E491A-43BF-43A0-9DE4-6B1B3E6D1B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8044c5f20a6fa2ded01c06288d60468f87b38d1e","datavalue":{"value":{"entity-type":"item","numeric-id":5389075,"id":"Q5389075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$3798735E-978A-4468-BA3A-C47845BDD2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a2bbb5b4d44285ce61bd44fd533431301032d9","datavalue":{"value":{"entity-type":"item","numeric-id":3636821,"id":"Q3636821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$DA5B3661-7450-4EBD-9A79-EDDD4E323996","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":"Q438562$1C4AF1A7-0C87-42FA-85B1-1EFD3E9842F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$B58BEC0B-E755-434A-A348-DC41D98A9A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$F1F039EE-8D11-4F39-BEE4-09739853BAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ca9df79ddbc98581deb607538dea5f8885a647","datavalue":{"value":{"entity-type":"item","numeric-id":4253320,"id":"Q4253320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$6425B69A-A74C-4225-8C4B-BF3B63C2EED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34ef8f388116976512253337c80575b33d068723","datavalue":{"value":{"entity-type":"item","numeric-id":671506,"id":"Q671506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$DA308C5A-90EF-4BCE-99CE-316916170B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb502a66c2690cba4aa14b834e6ce235a7f99823","datavalue":{"value":{"entity-type":"item","numeric-id":3527284,"id":"Q3527284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$2E4DF754-3856-4AD9-A0F5-10CA0C028956","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":"Q438562$A6A8C186-A8F7-40AE-9490-6925FFEBFC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$1BA76FC1-3A1E-42CA-89F3-3D66948973D7","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":"Q438562$2B6B36FF-008C-4399-B06A-65AD34EC8B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$72DF99E9-416F-4433-A7CF-A8C7C0B0EB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$03DFB853-656A-4976-995F-3A0DF84DDB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dafa9463b7aae27917c87d2d898e60c5e87e766","datavalue":{"value":{"entity-type":"item","numeric-id":1911401,"id":"Q1911401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$3BC21785-5F55-45C6-AE94-394A534E83D3","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":"Q438562$5E5E0E02-3CC5-4D97-A365-23C6ADCC062B","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":"Q438562$6081FA30-AA59-4024-8F80-EE24CF83C91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4935ad48e4266d08c483ec2131b1e0a201050d","datavalue":{"value":{"entity-type":"item","numeric-id":1392147,"id":"Q1392147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$55149706-D758-4BA3-9848-269222330F62","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":"Q438562$87E5B68F-D9B9-4864-806F-37E574CA1B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$5805C3DF-183D-4235-9AD7-E84EEBF223DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adca5241918a30dd0da6f5c1e5b5c08be40a5bbb","datavalue":{"value":{"entity-type":"item","numeric-id":5389095,"id":"Q5389095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$53B717D4-34D7-4AB6-80D8-398FE2D21CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a77128970ef1ae7664b1eef0de5f0b57e43899ac","datavalue":{"value":{"entity-type":"item","numeric-id":846165,"id":"Q846165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$6FA47D9F-5D07-4E64-BFC8-7710E478B923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657ad85f37f04b4d7dfc9abe82606843fc77cd97","datavalue":{"value":{"entity-type":"item","numeric-id":5389157,"id":"Q5389157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$23722987-2852-4506-99C8-ECA1E3539DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac27b687c7a6102d152723e7b5b7704ccbccbdf7","datavalue":{"value":{"entity-type":"item","numeric-id":3066114,"id":"Q3066114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438562$33BED540-8882-4380-952A-D2BC63609820","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa3c74125da08b07f60b5caf30bd6cbf97c0b6cc","datavalue":{"value":"10.1007/S10817-011-9238-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438562$4E561312-F992-4EE7-AD40-B26A9709D41F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"517d03f198974461c0cb65e75e736123b5950840","datavalue":{"value":{"entity-type":"item","numeric-id":5747786,"id":"Q5747786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85cfd65d1a1a1f54cc76eedc7975a655ac903521","datavalue":{"value":{"amount":"+0.9902998805046082","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":"Q438562$F8A89A19-8977-4C70-977E-AC0F150AAD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9b80eef65e44390592f48c7cf13b00f3e030ae","datavalue":{"value":{"entity-type":"item","numeric-id":5389095,"id":"Q5389095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f688d10b15a85a1e39b4b6c5491bdc9348b4f06e","datavalue":{"value":{"amount":"+0.8849456310272217","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":"Q438562$4C1EFB0F-0202-4B5B-8ED9-90CECFC03F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cd4c12dac488bbd76ae56b3a14d0d2cae9e36dd","datavalue":{"value":{"entity-type":"item","numeric-id":2352504,"id":"Q2352504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35855fe5a3140f0fd0fb75ee6cc8202fd63f66fa","datavalue":{"value":{"amount":"+0.8842053413391113","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":"Q438562$F4376124-3E65-4A1B-A062-5B5B0D6D820E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc7285990d705aafc8a4da1f28c2bbb1d9dfc93","datavalue":{"value":{"entity-type":"item","numeric-id":5170807,"id":"Q5170807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0a44f2d6d5068ee91c865e2e4352afebc645fde","datavalue":{"value":{"amount":"+0.8467757105827332","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":"Q438562$89C5EBA2-31BE-4F2C-9CC0-D1E63B2386E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e05bc43978eff57b2dc804b5e8118531e48c1b24","datavalue":{"value":{"entity-type":"item","numeric-id":5389131,"id":"Q5389131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f25acd2d1a1a48a8573c6e1b97b8767fc6f6a7a","datavalue":{"value":{"amount":"+0.8433175683021545","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":"Q438562$475617FF-6C74-467D-B30E-BE20E37CD025","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decreasing diagrams and relative termination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decreasing_diagrams_and_relative_termination"}}}}}