{"entities":{"Q1072371":{"pageid":1083123,"ns":120,"title":"Item:Q1072371","lastrevid":66227709,"modified":"2026-04-12T08:24:00Z","type":"item","id":"Q1072371","labels":{"en":{"language":"en","value":"Termination orderings for associative-commutative rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3943026"}},"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":"Q1072371$39C7F626-EC9D-4167-87E2-0EB26C9333B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb943a1b4cc00e8c66d111ffd77b03ae0447d421","datavalue":{"value":{"text":"Termination orderings for associative-commutative rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1072371$1BBD2D9F-D4CB-472C-824C-6B1B3396BA56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c87a1ea47c1be4aac6d746230d85ce39bb9a269","datavalue":{"value":"0587.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072371$4C4CF26C-F190-469A-8365-983F41598F5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c86fe5435e53a2b008948a7489cc030f50879e7","datavalue":{"value":"10.1016/S0747-7171(85)80019-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072371$8011E3B6-F628-4830-A308-081C20B3DBFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cf815526c4f2604ee47e98322610a52470dc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1072370,"id":"Q1072370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$C6A0C493-E720-486B-A77C-B6ABD7FDFF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$19C6EB97-5DDD-4CEB-BCAA-1136C495375D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$068AB492-EE2A-4502-9931-4E1084CEE778","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1072371$CF6C0FAD-2746-405F-8761-19A45FC84D82","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1567fb941af30d06874ad4ff09ca1fc94b602aa0","datavalue":{"value":"In this paper we describe a new class of orderings - associative path orderings - for proving termination of associative-commutative term rewriting systems. These orderings are based on the concept of simplification orderings and extend the well-known recursive path orderings to E-congruence classes, where E is an equational theory consisting of associativity and commutativity axioms. Associative path orderings are applicable to term rewriting systems for which a precedence ordering on the set of operator symbols can be defined that satisfies a certain condition, the associative path condition. These precedence ordering can often be derived from the structure of the reduction rules. We include termination proofs for various term rewriting systems (for rings, Boolean algebra, etc.) and, in addition, point out ways to handle situations where the associative path condition is too restrictive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072371$6ACBD29C-4CCF-46EF-8A7E-70F460846394","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072371$49F81A76-B6E4-4881-B05F-D7FC9842AE88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee56c169d084082f0f9188c9d88ad4ee4796fa5f","datavalue":{"value":"3943026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072371$09A92362-BB7C-4124-87A0-6AB63AD7A440","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de8f8e9184d8e4350b454cee5c8143aaaf1edcb3","datavalue":{"value":"associative path orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072371$4F5BBE41-2B41-4DE4-BAD8-2C1D4563D089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8419bc2370a828b543a1bac71c90dd009a146ff2","datavalue":{"value":"simplification orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072371$01AC22A0-C539-4614-8210-3FF6708C7BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072371$8B619B7B-1647-455C-8C84-89AD22AB3E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072371$3C32F01C-BEC0-4073-BEBC-FE0927CDB3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d72210d6e9c56fb95118a936c49337d82f154bb","datavalue":{"value":"precedence ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072371$EAE0AF28-C9B5-4262-AA90-98613ACF15D5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdc09159c3d9e35e53ef549059a47b095580c647","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$C571558F-2B7B-4D80-B651-84D3228D8D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ebf2accc5d6c6b3c7a81ee7493fd53a6bf250","datavalue":{"value":{"entity-type":"item","numeric-id":40618,"id":"Q40618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$ACCA44E6-895C-49C7-98E7-AB33BD3F90E2","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":"Q1072371$D592A3CA-0FEA-45CD-92DC-304C5564E2CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e68522e480793ad08c3035e092f5d824e5fae6d","datavalue":{"value":{"entity-type":"item","numeric-id":3783521,"id":"Q3783521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$3E9ACE32-C484-4ACF-876A-4D6DEC11C575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f4147474a7e5a4baf84f193c7501316743b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":1139374,"id":"Q1139374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$704424CC-6829-4133-B75C-C1A8B7D70E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$3F9F2AF3-D378-4050-9E75-2D5E40CFB4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878d0cf3806a5845f931422b646e88e6f9f50943","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$B7F39833-ABC1-4BC9-9DBC-49A98D2E78FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec45a842bd7bf87466a82e7175870b8977fe49b","datavalue":{"value":{"entity-type":"item","numeric-id":3707361,"id":"Q3707361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$32A35720-DA25-4A8F-960A-6152AB9F664A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$533DC1A8-CB2F-46FB-8A05-378D11B85B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$C494E1D5-DF14-46E5-8EB8-2384834BFC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7814c93fd14c472a24a528c1ff4a97ba1b2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$373E779D-E4E5-434B-9B00-F154501A8E54","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":"Q1072371$D3EF6E9F-21F5-4B9C-8E65-191C724B700F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e6b612eb3cb0e65ff83e8cd8762940dc520785","datavalue":{"value":{"entity-type":"item","numeric-id":3659124,"id":"Q3659124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$47A66C5A-0F53-4F5C-81F0-397A4D637C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59039c304cefa089c2de717037730a79479caebe","datavalue":{"value":{"entity-type":"item","numeric-id":3336736,"id":"Q3336736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$25558FEF-497B-4A0F-B027-0ED50B7BAD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108976005e438ca70f7496d07e6faca25fa804e7","datavalue":{"value":{"entity-type":"item","numeric-id":3683533,"id":"Q3683533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$0F195988-7B3F-4F84-A9F3-9D1E21FB9BAD","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":"Q1072371$778E798E-9057-4D59-804E-3D33C1B54EED","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":"Q1072371$00D47D08-22CD-4A28-B7B6-ED705D90AE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce0636b1dec6b52a207213a8ba39915262f7b40","datavalue":{"value":{"entity-type":"item","numeric-id":3667939,"id":"Q3667939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$C4E45494-230C-4AB4-B479-94BB20B626C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$04DA78DD-9C5B-47A6-8F68-532BABB74FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c532246ad2110361bfafa9cb26e4c54d1d686bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3696501,"id":"Q3696501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072371$355A671E-2DB3-4BE7-977F-7C7B75362F84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f492360c8f63f6e2a35623f5cc952b2ef0a454c","datavalue":{"value":{"entity-type":"item","numeric-id":5881184,"id":"Q5881184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d22ec8ea3e06f31c4ecf0aec9c79dd74d9d5a148","datavalue":{"value":{"amount":"+0.95364976","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":"Q1072371$E74A42E9-93A3-4F3C-8B21-178A35479F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc30ff9155d71a008c7380bf57acfd5ec38dc5ed","datavalue":{"value":{"entity-type":"item","numeric-id":5055816,"id":"Q5055816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1038ff1a849681d7220937417cffe4ee2fb624","datavalue":{"value":{"amount":"+0.9328308","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":"Q1072371$05F609A8-C251-4940-B41C-F8F24F82CB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9df8c04f0397d2ca963f36631bc44f9f45d42c81","datavalue":{"value":{"entity-type":"item","numeric-id":4035223,"id":"Q4035223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"099abc6b947dbbd88c9f259364b919b6e7b42660","datavalue":{"value":{"amount":"+0.9288794","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":"Q1072371$86D351BB-DCDD-4720-AF98-81DB0A4165B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c50e815dfa3fa1a7f6f07666be42b976aabce8b","datavalue":{"value":{"entity-type":"item","numeric-id":3783522,"id":"Q3783522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b131f8f30a820ebc9b4062d2d938062c92e2a239","datavalue":{"value":{"amount":"+0.9209816","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":"Q1072371$E0B7C7C6-BE4E-4705-9030-DAEB911BEAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90eba00a0e38e067627c942fd82a2ce1e15148f","datavalue":{"value":{"entity-type":"item","numeric-id":5096208,"id":"Q5096208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d00bda5d2284692c536ba7f59a3602f7d2f623","datavalue":{"value":{"amount":"+0.90468943","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":"Q1072371$C8CED377-18FE-4D18-9B49-575DACEFE36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4cd1a497e9d5bd1ff971781bbed7782a9278c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3683533,"id":"Q3683533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84300c80002b1e89fc42564a5f69fa13a318bcf1","datavalue":{"value":{"amount":"+0.89754236","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":"Q1072371$E07FBDE6-FD0E-46FF-B8E1-CDD9161102CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36a77a16bb4983305f55d40baf3b118cab46fd1","datavalue":{"value":{"entity-type":"item","numeric-id":4503901,"id":"Q4503901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e0a4bb739636342e15157de0508f9b8547c913b","datavalue":{"value":{"amount":"+0.8963311","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":"Q1072371$549D821C-4144-4B47-BEC4-153CB970B532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a508b9d642a98cef5f5a141cb0afb7b945b715","datavalue":{"value":{"entity-type":"item","numeric-id":3336681,"id":"Q3336681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f1c412d71b30c027e858c8c002e4878bba37f7","datavalue":{"value":{"amount":"+0.8945929","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":"Q1072371$7D38C507-086E-4D20-BA7E-425F72E8E568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d4635d1639cf8bb55785f87628da779f21f1c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2104512,"id":"Q2104512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3f098111590647274ab7eae12abc57bcdd712e","datavalue":{"value":{"amount":"+0.8939711","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":"Q1072371$8A3C25D9-D2EB-4496-99B3-1EBCB0B0828A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd58a5cb49c24fc79315a5cd6be737c9963b230","datavalue":{"value":{"entity-type":"item","numeric-id":3830525,"id":"Q3830525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa93a0cd92bee3045b9965c2791057ea69c10ec3","datavalue":{"value":{"amount":"+0.8935113","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":"Q1072371$2C186B24-7DC4-47BF-9C7F-28B3F141C756","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination orderings for associative-commutative rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Termination_orderings_for_associative-commutative_rewriting_systems"}}}}}