{"entities":{"Q1099655":{"pageid":1110407,"ns":120,"title":"Item:Q1099655","lastrevid":69639594,"modified":"2026-04-13T08:23:22Z","type":"item","id":"Q1099655","labels":{"en":{"language":"en","value":"Path of subterms ordering and recursive decomposition ordering revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4041333"}},"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":"Q1099655$1CDFCB06-8378-4584-82BB-47F46FF63F34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"726ed0c5462e07155d213dca948eb468640fff12","datavalue":{"value":{"text":"Path of subterms ordering and recursive decomposition ordering revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1099655$97511BED-AA5E-479C-9FF2-0FAE5991347C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b21df93320da3c8b22b680d3fc217f13354a5e7","datavalue":{"value":"0638.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099655$5EE6B4B5-3CA3-4987-AC7B-C0FC5321BC3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fea5340d67e6914218c95d02505661da43b8950","datavalue":{"value":"10.1016/S0747-7171(87)80023-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099655$009B1D16-B1AB-4890-B981-311B2FBDE21C","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":"Q1099655$5A1EF778-92E2-4984-B55C-DBFA70382259","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1099655$49620613-8648-4AFA-9D47-D0E974318A8C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"227fac1acb8bce04b041722a8c89b540e9c237bb","datavalue":{"value":"The relationship between several simplification orderings is investigated: the path of subterms ordering, the recursive path ordering and the recursive decomposition ordering. The recursive decomposition ordering is improved in order to deal with more pairs of terms, and is made more efficient and easier to handle, by removing useless computations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099655$9789092C-8549-4F48-BACE-2CECBC2E0EB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099655$25801198-1A82-4E04-8D6F-D657D40934A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25fe30a6fe5285f54b3a7ea7d7e97ac0b640e4f9","datavalue":{"value":"68R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099655$B86B28FC-AF47-47DD-A066-E175AF83BE31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5601c06d89b96cf9b3ac06c23efcfe030dcf1594","datavalue":{"value":"4041333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099655$F5D4E358-E603-4BE8-95DB-949FD5578ABB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099655$24316EBA-1C5E-431D-9547-9FC7B7EE51D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d4883eee59bbc8ca8ad682315fe42505b1c7a7e","datavalue":{"value":"computing of normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099655$29137915-7689-4CF1-B2CC-18A317095364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b4d35827078e4923fef1895183ce2cc7e2c1565","datavalue":{"value":"subterms ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099655$2DF7AC0A-827A-47A8-8FA4-DF28AAA38A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"556d07078d8a489ce76b0137cf03ab1710ae0223","datavalue":{"value":"recursive path ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099655$B49EFEBC-5488-4A70-B94A-9F8111E5F199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323855004ca53c12cdce0c55f0449485958a8400","datavalue":{"value":"recursive decomposition ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099655$0CD2F00C-65DF-4346-8227-7FC15B4490D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099655$3B8E7B4B-DABE-4A00-A8F1-5770DDE1ED2A","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":"Q1099655$9083B8D2-1085-4F72-A8FA-F0329741B45D","rank":"normal"}],"P223":[{"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":"Q1099655$957BC807-7BEB-47F4-A80B-9C2DC31A0302","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":"Q1099655$434FB4D6-4B86-4386-B032-FF458CD1CFD2","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":"Q1099655$6ED395AE-4C64-44C0-B421-DF095F5EB010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eca81f9fdd20e2c49645c4efb07abd9a2d842cc","datavalue":{"value":{"entity-type":"item","numeric-id":1165004,"id":"Q1165004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099655$9B6B81B1-C4E5-4DF1-96F1-E5EE78CC04BA","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":"Q1099655$D523843F-2F72-496A-98B3-6F59DACF0681","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":"Q1099655$8B83566A-4479-47D9-89A1-A46453916E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7b430836cd50b9ff8b1b508fe37ed305a1d07e","datavalue":{"value":{"entity-type":"item","numeric-id":3336681,"id":"Q3336681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099655$E3B70731-6C81-43C9-9C30-280891384A2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82824493fed2397fea054964f68995fc840333b9","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(87)80023-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1099655$D8140562-6097-4E48-B6FC-709FEC82A83B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3c107e4fa7e76cfd6e6b75436723c57a8455d1a","datavalue":{"value":"W2053806880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099655$F78BEBEF-035F-43F4-8EF2-D23C2DA76A26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a59c7ea6c5854084cd587246962e42d311985555","datavalue":{"value":{"entity-type":"item","numeric-id":3696501,"id":"Q3696501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0180c89bb39670dc98cf7bc3ae862e2df26fd25d","datavalue":{"value":{"amount":"+0.9426578283309937","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":"Q1099655$4C6B3F38-E2AB-45B7-947A-1DD4DCBC3C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c68583c7463a9c47e248bc95f8ecdc6896823b","datavalue":{"value":{"entity-type":"item","numeric-id":912609,"id":"Q912609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"908e7e662f9f94fb27464bb2a767118c40dc093e","datavalue":{"value":{"amount":"+0.8541581630706787","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":"Q1099655$80362011-BC07-45A8-8BDE-8E0D6A86580B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4dfd60752e5a526f819ef0a629d7320e9888273","datavalue":{"value":{"entity-type":"item","numeric-id":5055737,"id":"Q5055737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e665a1da1d732b899f6598e1ffdfab75908a96","datavalue":{"value":{"amount":"+0.8261269330978394","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":"Q1099655$8D362052-F92E-4982-907B-8B61A839B25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cdb7b6f0c0002e377f8bcf2ff801e51d9789739","datavalue":{"value":{"entity-type":"item","numeric-id":1311404,"id":"Q1311404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b501c1facc6cdb360d2b1e871025b0aac01094","datavalue":{"value":{"amount":"+0.8034131526947021","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":"Q1099655$8DE7B29F-CE65-4A0A-81EE-168AA7F83FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c1c955aa09a454aad3b7822ac2b797f0973045","datavalue":{"value":{"entity-type":"item","numeric-id":5096318,"id":"Q5096318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600e6bfb0700ff2c94c30eb890b5d27b4cfb7ffa","datavalue":{"value":{"amount":"+0.7860903739929199","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":"Q1099655$C3F0405B-1CE1-42E6-AF33-1A8C4C6F75B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Path of subterms ordering and recursive decomposition ordering revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Path_of_subterms_ordering_and_recursive_decomposition_ordering_revisited"}}}}}