{"entities":{"Q1854560":{"pageid":1865302,"ns":120,"title":"Item:Q1854560","lastrevid":73667226,"modified":"2026-04-14T16:50:52Z","type":"item","id":"Q1854560","labels":{"en":{"language":"en","value":"Relative undecidability in term rewriting. II: The confluence hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853286"}},"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":"Q1854560$DCFE8913-024D-4A23-99ED-4BA8126E8020","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f50dbfa9c905cebffd0ed80d589ee33b0b8cd48","datavalue":{"value":{"text":"Relative undecidability in term rewriting. II: The confluence hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854560$B71C2D39-9EBE-44A1-A4C8-93613BF3B0FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6549034d336925a8dd9a641aa271f18357091f38","datavalue":{"value":"1012.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854560$30D37854-8CE7-42B7-8DD7-8D516A114B9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2daae3e1c4a91d851e44eeb961260350c6d531d3","datavalue":{"value":{"entity-type":"item","numeric-id":851145,"id":"Q851145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$97A8183D-8482-40EE-8B7D-337BF1A827CE","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":"Q1854560$0655BE57-5B4A-4BC4-A5B5-2C46BDD1891A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89308d8329e6af4e1581f47421754e097f447cbb","datavalue":{"value":{"entity-type":"item","numeric-id":199245,"id":"Q199245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$5F706609-F81E-4B70-B391-7898C74A2AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe5c2c0ffa1d2d66cabf0c3214c913c44ecffb","datavalue":{"value":{"entity-type":"item","numeric-id":505038,"id":"Q505038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$4E843BF6-2E33-4452-8965-D1E080959A7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$0CE70F47-4F93-4B0F-87FE-D7F7B5BFC59C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854560$48F8027E-F7F4-4217-9B32-61DF9DA3EC15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854560$0DFEC205-2A18-452E-80FF-2BF2CD013026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854560$91928B07-A3AE-4BBA-AC33-8778ED1B5645","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c44a52e95d21246f9c0ce8c1f897c1c616f0346","datavalue":{"value":"1853286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854560$58C518B0-C1D4-4139-983B-8E783143D2AD","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":"Q1854560$3318CD9E-ED30-432B-9740-63A7449D987B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f19c494628e0309830d896bb114eed2a94db55af","datavalue":{"value":"https://doi.org/10.1006/inco.2002.3120","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854560$F9995D91-D613-428E-91CF-6AE537EE1F32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"269adc970e8f2ce44d6f1a0379ece708f37f12cd","datavalue":{"value":"W2312503573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854560$91BE7E76-0CD7-4BAC-B6C1-6A0132D0D068","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$46EE59AD-DA3F-4A9C-B893-A796378257AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5525b838f806742dfecfa2507c605b254e103d","datavalue":{"value":{"entity-type":"item","numeric-id":4263809,"id":"Q4263809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$42BBD02D-FD16-468B-B77A-3D4E725FB773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5521f74336d6e00994ae674bce0a63dd4d69e6","datavalue":{"value":{"entity-type":"item","numeric-id":1199548,"id":"Q1199548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$93145713-71CD-49F7-8464-406D38C21913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692cc976f94257a4cbc68187b85b0261398f7249","datavalue":{"value":{"entity-type":"item","numeric-id":1912706,"id":"Q1912706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$36B0CFB0-8B04-4E15-B0C1-B67C6E76885D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be334474433779ab8f5db8673e72d16cc283b3f6","datavalue":{"value":{"entity-type":"item","numeric-id":1355781,"id":"Q1355781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$6850AAF3-E39E-4D4E-8ED2-B68B5AF6BCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e770f57815e9a0eda25a15c062ea6bfd8b7d74","datavalue":{"value":{"entity-type":"item","numeric-id":1854560,"id":"Q1854560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$ABCC405D-8CA0-422B-8E99-98D2409424C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94cde08289d0325ea23b0bf94fe85c41160ad2c0","datavalue":{"value":{"entity-type":"item","numeric-id":4362915,"id":"Q4362915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$B17C18C7-F539-44EE-B558-002D67547301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$850858B3-8F23-46C9-82E4-C6CB9F5240B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3debbb6a1e2086f7706638d03b5bd5df2e042b80","datavalue":{"value":{"entity-type":"item","numeric-id":1334676,"id":"Q1334676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$69A28BAE-95CA-45F9-A3B8-CABAF45A446F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63886f1cf1c8ce5172496979ce7b6ddaa207a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4225065,"id":"Q4225065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$1278D88F-7DFB-4963-9D0F-8C589CA5CA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9a0b7073b91731822d046010e715ea7ddd67ca","datavalue":{"value":{"entity-type":"item","numeric-id":4358058,"id":"Q4358058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$E2688A14-B581-43EA-8DB6-82741DD058E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0b8a5888a26501f99b9921effa60fdaeffe2f0","datavalue":{"value":{"entity-type":"item","numeric-id":1763707,"id":"Q1763707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$2EC8C6DD-1BAA-4129-8756-BAAFF9436B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f617bbdd809e6cca900a04eb2bca20125de142a4","datavalue":{"value":{"entity-type":"item","numeric-id":1343111,"id":"Q1343111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$05F4B4AF-9E00-4055-B711-3D78411B9DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59f36e4914c6ac561edcd7e6c2fb0131575431a0","datavalue":{"value":{"entity-type":"item","numeric-id":4705617,"id":"Q4705617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$5CFBA54B-37E3-48F2-B9AF-FBD2A714689B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd39ad9f1e6c17f7f45f17270bce76faeca3cfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1392146,"id":"Q1392146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$FC2B02CF-A792-4E53-8F41-C80B2454083B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dca1b318a814cec9e29f4be528c49bddc698b48","datavalue":{"value":{"entity-type":"item","numeric-id":1061484,"id":"Q1061484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$AC3CAF5D-32B6-4F60-BA6E-0408B38B6A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$3A62F06C-FAC4-41A6-9165-EA8D15CB50F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52daa7db4d526ad28728d2a0c4c6496dadc100d2","datavalue":{"value":{"entity-type":"item","numeric-id":1332336,"id":"Q1332336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$EBB93B16-EBB1-47AE-97CC-C709A8CB6310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b08896ebc3f29e7f61a37feaf3e966b5ffd4ecc","datavalue":{"value":{"entity-type":"item","numeric-id":1911402,"id":"Q1911402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$0BAED1AD-1E89-4367-89B6-B442014C6BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a695ada40035e6b9321eb27b6a6c4e86a51d912","datavalue":{"value":{"entity-type":"item","numeric-id":4718895,"id":"Q4718895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854560$A4F1F6B5-7347-41DF-991F-29F9316F428D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b14fe4a8733ba2de808aebd0d47eb208076cf26","datavalue":{"value":"10.1006/INCO.2002.3120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854560$0FBD0B8D-E25A-41F0-BB7B-468D1FC51DDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4f97b92586490fd2c6f65c10ae1ecca3d11b792","datavalue":{"value":{"entity-type":"item","numeric-id":4362915,"id":"Q4362915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8ae9cc61778eee6d76d6e662de3575b3947145e","datavalue":{"value":{"amount":"+0.9584444761276244","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":"Q1854560$78AB3D2C-F9D6-433C-A8A4-6C153C0C8493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b754178d023239cc098828c9a84fa899fd07362","datavalue":{"value":{"entity-type":"item","numeric-id":1854559,"id":"Q1854559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1965bdd695a12a337c4bd01acb1108f205ca2d","datavalue":{"value":{"amount":"+0.9397058486938475","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":"Q1854560$DAADE1D2-79BF-4ADD-8B48-403B3493D722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc6b2c1645bd8130acddd4ec8cd643244e39f6b7","datavalue":{"value":{"entity-type":"item","numeric-id":1014436,"id":"Q1014436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1965bdd695a12a337c4bd01acb1108f205ca2d","datavalue":{"value":{"amount":"+0.9397058486938475","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":"Q1854560$7F07C6FB-F5A9-42E5-80AC-D54C3399E556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2aed8a6405f5af514daf5f7e35798aa7448078","datavalue":{"value":{"entity-type":"item","numeric-id":627134,"id":"Q627134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee127ebe07865b07f391157df14082bdfacd4b9a","datavalue":{"value":{"amount":"+0.8588848114013672","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":"Q1854560$19D26278-1D7D-4EAF-A6CD-82AC4B948454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21827a3dc87c99c55f72e37691772912d775e438","datavalue":{"value":{"entity-type":"item","numeric-id":3644753,"id":"Q3644753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd2ac5686bb5077c9a946142be3aa0ee1d3971b","datavalue":{"value":{"amount":"+0.8475655913352966","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":"Q1854560$DBF41167-4DC7-4F0D-9A71-31495AD0721A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relative undecidability in term rewriting. II: The confluence hierarchy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relative_undecidability_in_term_rewriting._II:_The_confluence_hierarchy"}}}}}