{"entities":{"Q2321950":{"pageid":2332693,"ns":120,"title":"Item:Q2321950","lastrevid":73694802,"modified":"2026-04-14T16:56:32Z","type":"item","id":"Q2321950","labels":{"en":{"language":"en","value":"Conditions for confluence of innermost terminating term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7098606"}},"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":"Q2321950$78353F32-EEC3-4666-B344-C324F8C85051","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c39fb0b4dcc6179103a121198e65777342a72964","datavalue":{"value":{"text":"Conditions for confluence of innermost terminating term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2321950$5A40A598-F153-403B-92FE-433BFB1EF579","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85e2de6e9b2497fd57cdf0c9764c0499cb43352c","datavalue":{"value":"1429.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321950$594B16E5-918F-4C4F-8761-8609968B6CFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"130fa0c85fe80546a60cffed73916bab5ae48435","datavalue":{"value":{"entity-type":"item","numeric-id":2321949,"id":"Q2321949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321950$F74EFE5D-BD45-4DC8-9976-B4061302EE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b75e3dc8ae1008724e44cf427d976ff916bfae1a","datavalue":{"value":{"entity-type":"item","numeric-id":799386,"id":"Q799386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321950$88D032E9-7478-404E-93B2-94458DBB8060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b66c1b86c92371b7f16ebf6453aeaedd4a478d2","datavalue":{"value":{"entity-type":"item","numeric-id":407554,"id":"Q407554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321950$6C589637-CC17-44BC-BFD7-C6AAE800913D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321950$CF424354-DD66-4242-A9A9-3DF9C942C33D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"047f9e23f7c01aace0c72bd990a73681805825cf","datavalue":{"value":{"time":"+2019-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2321950$873B9B24-5E09-4EDC-A041-420A955B3653","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321950$166A96CE-1BFD-4F34-BBD3-63B12803FB60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a43c9c5a78078f0694a986126f07eb0a3d4f2b1","datavalue":{"value":"7098606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321950$B3DA9E55-D09E-4B92-ADE5-3DFA454B796E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321950$86192B00-4FC2-413C-8B63-63F3DE494AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d6f65dc8923a8cf7c5e4c6f73e623f063dc939","datavalue":{"value":"innermost termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321950$457BA24A-1F71-4C65-A9F0-907B60DFAE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321950$AEC69782-740F-4BA1-B2E4-51C24C5334A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321950$1DA15AA7-0BDA-46B2-A01A-1E6655382EEE","rank":"normal"}],"P1463":[{"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":"Q2321950$E5468654-0949-47AC-9780-DF6AE5F576B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bbb745e5682c56c3ac55ea94384cf87e1743f67","datavalue":{"value":{"entity-type":"item","numeric-id":21746,"id":"Q21746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321950$27A6F9C2-0973-418F-AF92-FB8E8AF9C929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a9b3dc574c0b3e8d76e3da5ff7e6f8954a31dff","datavalue":{"value":{"entity-type":"item","numeric-id":22071,"id":"Q22071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321950$FA57248E-77B7-4FCA-AFD0-CE042291B421","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":"Q2321950$E5E54AFA-74BB-4603-91DA-32A71C16CBEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b99fad63b3e0f996293bf5a1982a64a8a30f937","datavalue":{"value":"https://doi.org/10.1007/s00200-018-0377-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2321950$30162D0D-270F-40D1-8E83-236E002284F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"723033a8ff708cefa9aafdd0ec28f0726fe8937e","datavalue":{"value":"W2907092888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321950$2F1F40F6-C7EE-4593-B6B7-A9BBB9844B01","rank":"normal"}],"P223":[{"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":"Q2321950$AA3AA2BA-10E3-4FC3-9879-D03CB9B3A194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8f2aea0e9b183f990bfbd756d0a1a11209b695","datavalue":{"value":{"entity-type":"item","numeric-id":5170807,"id":"Q5170807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321950$F6DD00F5-44F0-4B7B-A8B3-A2A853D62E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61f4d746cc240c7e01e374e1c8b6bcf1fdd307f","datavalue":{"value":{"entity-type":"item","numeric-id":1262749,"id":"Q1262749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321950$C1BB8EBC-5EC6-45F4-A3EE-3FE4EEE36B61","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":"Q2321950$71F3835C-B263-4952-9907-52DB63C0E767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e81531801f4667663ea94c8d1d2f7c96d808c","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321950$AAC35CB9-26BA-4F47-8603-B175763755D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390831c2fcacfca137fbded25019295d31e1ac9d","datavalue":{"value":{"entity-type":"item","numeric-id":4846997,"id":"Q4846997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321950$B8B411AA-B4D3-4583-8E5E-CA4D7A2812D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321950$28310F0D-4579-41F8-9AC0-A47D3B2BF275","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":"Q2321950$CE82279F-8A5E-4B15-A155-0387B93328DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6ebe546bb22deea94d20817802960459c534e8","datavalue":{"value":{"entity-type":"item","numeric-id":5302902,"id":"Q5302902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321950$4AACE05F-2446-43EC-9CF7-54398A8B34CF","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":"Q2321950$47038FB6-6076-416E-8061-F726054F9F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4e2ddfe90bd27b41d58f8d169fb07d7ac1f8c90","datavalue":{"value":{"entity-type":"item","numeric-id":3454085,"id":"Q3454085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321950$FCBE53C6-C3CC-4F10-9108-9FA217945CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7da843fc35ebe015907494c69b23b63fc0a14ce3","datavalue":{"value":{"entity-type":"item","numeric-id":5200045,"id":"Q5200045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321950$C73AB937-1144-46CB-ADFC-40AF9F7141DA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5d7036e830142a0a8e26c836a08fa28bb0444518","datavalue":{"value":"Q128639527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321950$DE4A1AD0-2099-48D6-B349-D614209A5705","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d0e66988804aadf44eb91514f2bd898d6df89b8","datavalue":{"value":"10.1007/S00200-018-0377-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321950$1D0C0502-422A-45AC-AB79-C914C5683D47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dcf024aa9c11d7a9325b0e6852ea3f518f6f848","datavalue":{"value":{"entity-type":"item","numeric-id":5055864,"id":"Q5055864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"193c2186c19f984020430cf97096e02359cbc43d","datavalue":{"value":{"amount":"+0.94206727","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":"Q2321950$A8035C0C-E584-4B4D-A940-2C740F722C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac61b104e0ac95c009d4e7f81bab27e2a4f243bf","datavalue":{"value":{"entity-type":"item","numeric-id":5881285,"id":"Q5881285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46187c02f75da72981057d9fb0bf9a743bda1565","datavalue":{"value":{"amount":"+0.918452","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":"Q2321950$DEE1F8BD-F0ED-4597-A6F1-B77F8BA0D063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14b0b888df5f87cf5a228917eed7cf3bdf1c591","datavalue":{"value":{"entity-type":"item","numeric-id":1337642,"id":"Q1337642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b5299f718604d43edff727622b70bee65946df","datavalue":{"value":{"amount":"+0.9181874","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":"Q2321950$B60DEFA7-ACAB-4EA2-BCF0-4D9E694993F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce13c1d6db4164a5c217410489d88ebd117a5adf","datavalue":{"value":{"entity-type":"item","numeric-id":3819991,"id":"Q3819991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5f7c31d85dc147aea390f8a0364bcd7c9ec7c6","datavalue":{"value":{"amount":"+0.9157144","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":"Q2321950$1F842732-A5B0-4658-9B42-DE8F1285D838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b84d90643597556c2a1d648e2f9be6441ba81dfa","datavalue":{"value":{"entity-type":"item","numeric-id":5277874,"id":"Q5277874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b55859c61612d1c073a9b5b6bf928ff988fb8f","datavalue":{"value":{"amount":"+0.91283524","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":"Q2321950$54D95EDE-9DD9-45DB-9583-D18816C9CF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18c35a3b0c4f08035bb76fa363303e31c6cba748","datavalue":{"value":{"entity-type":"item","numeric-id":2778888,"id":"Q2778888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"811807fb43ff4780d6f38ef296599fff3e110136","datavalue":{"value":{"amount":"+0.9123733","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":"Q2321950$CDB39CE1-12F8-4113-9B21-3E29F4C336C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbc004b332a1c5c1e284820eea8899b239e53c9","datavalue":{"value":{"entity-type":"item","numeric-id":4254682,"id":"Q4254682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"921c2f9b4fafb5706ec816b6f93dd0f16b058252","datavalue":{"value":{"amount":"+0.91221285","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":"Q2321950$42FF672A-3E2C-40E1-92FE-5C0F555B0BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d7725392132cdba5f03ccf1995b80047465cf0a","datavalue":{"value":{"entity-type":"item","numeric-id":2723890,"id":"Q2723890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325360905ddbed929410250e9693d0aeb7122da3","datavalue":{"value":{"amount":"+0.909384","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":"Q2321950$08C942F3-8518-43C7-B59E-50DA1BA73D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf2a97869af98f18763aaa8d7a88c62f50868fed","datavalue":{"value":{"entity-type":"item","numeric-id":1901710,"id":"Q1901710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aca7b3d1ffb3a3252e6086030116f56702694dc","datavalue":{"value":{"amount":"+0.9074297","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":"Q2321950$20F7B981-0845-4586-87DF-0805B6201A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae75205f2f2fff0491c7fa831b88025350a0e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4537514,"id":"Q4537514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbcbf2457ba7190f156e59a7563941872b1747d8","datavalue":{"value":{"amount":"+0.9056854","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":"Q2321950$99315E86-739F-406F-8FFB-38C4F5AE96DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conditions for confluence of innermost terminating term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conditions_for_confluence_of_innermost_terminating_term_rewriting_systems"}}}}}