{"entities":{"Q1101205":{"pageid":1111957,"ns":120,"title":"Item:Q1101205","lastrevid":69642411,"modified":"2026-04-13T08:24:35Z","type":"item","id":"Q1101205","labels":{"en":{"language":"en","value":"Symbolic evaluation with structural recursive symbolic constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047054"}},"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":"Q1101205$FC6F85B8-C9AC-42F7-9A38-909EB2431A2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d13c153616aff301ef44d0672da287328f54c03","datavalue":{"value":{"text":"Symbolic evaluation with structural recursive symbolic constants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1101205$100682D1-405B-4B26-8ED6-72BC86217D18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9543b54438cf6b43348bcc51448910dc8707974","datavalue":{"value":"0642.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101205$DFFC6C8D-2550-4959-B2CD-1A32E4400FDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfa3c1984b89fcb665b3bd4f8cae920ad5d1f0af","datavalue":{"value":"10.1016/0167-6423(87)90031-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101205$62D2B3A7-0379-4305-BD3A-89BB9470E929","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"389ca8b22954718a99af740d3555389337dec168","datavalue":{"value":{"entity-type":"item","numeric-id":202169,"id":"Q202169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101205$70EF61DB-1252-4C12-BEA0-C73798073725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48544a322eac46ed65fc61f0d8fcd3c82c6cb027","datavalue":{"value":{"entity-type":"item","numeric-id":1101204,"id":"Q1101204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101205$BF31B28F-E3EC-46BF-A8C5-A71B29189F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a30c8f2f8648adfc6cbb029a2bd623332cae17a","datavalue":{"value":{"entity-type":"item","numeric-id":202170,"id":"Q202170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101205$86B8DB99-8E04-4A4E-ADA7-4020428EAAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f86d2ae42b4ac6b7475aa3d6d5d960440f9add9b","datavalue":{"value":{"entity-type":"item","numeric-id":672702,"id":"Q672702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101205$32CA32FF-20BD-4F76-8E99-A1D49E24259D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101205$7CACCA3F-7F99-4A2E-9BF7-8A5C16B47304","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":"Q1101205$252B12EA-83DE-4B29-8034-8DC3486E8833","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7780953c1991e61fa170b75512426bd74e383efe","datavalue":{"value":"Symbolic evaluation is a technique used for many termination of associative commutative (AC in short) rewriting systems. This ordering is based on a transformation of the terms by a rewriting system with rules similar to distributivity. We show this is a reduction ordering which works in the AC case since it is AC-commuting, and which provides an automatizable termination tool, since it is stable by instantiation. Thereafter, we show cases where this ordering fails, and propose an extension of this method to other transformation rules such as endomorphism.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101205$91D7738B-A0AD-4496-9567-BBA467068878","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101205$A1147B0B-A7EC-4BF3-A032-14B1B8617CFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8783bd8838bcfd28ffdd33dc5dc7ac6756f666ee","datavalue":{"value":"4047054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101205$2D0511EA-84D0-41B2-89E8-17A9F87B48A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad04dd81b1f03435c4d531585fdbcf66c34295c4","datavalue":{"value":"Symbolic evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101205$0466A260-AF57-4643-84DA-CD1711679E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f760fdfc64ba73d13b855cb278b9d1268f10b8c5","datavalue":{"value":"transformation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101205$9F2654C1-3DA8-41A7-8F08-7AC7792A7E9C","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":"Q1101205$D96CC773-926B-4268-A770-F438A87D5132","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c4303390760f4d2e66ff397ce092c6502f7143a","datavalue":{"value":"https://doi.org/10.1016/0167-6423(87)90031-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1101205$D55771E7-EEE2-4BE3-8109-D9EC9CBEBFCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67459aaef666a2a2627496ee0293621f5b136f11","datavalue":{"value":"W2030514755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101205$5C472B92-1BF8-4636-A70D-3D0827650799","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a13dc7f22145c3ee7d01646b1b7659ece94a963","datavalue":{"value":{"entity-type":"item","numeric-id":2287903,"id":"Q2287903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f379b8d52fd82db97864cc30f2deb35b0bfa337","datavalue":{"value":{"amount":"+0.8429328","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":"Q1101205$C0C97928-18F9-4AC9-9C18-8EFA285B87A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddfa845e0acaa3e7926dc596271e7773e71dedc","datavalue":{"value":{"entity-type":"item","numeric-id":6174522,"id":"Q6174522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fccaf5b8d9bba1262e7d5e01cda9522a8d5e60c","datavalue":{"value":{"amount":"+0.83835065","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":"Q1101205$49A56FA3-4E78-4808-92B1-53D89CCAD43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e813b1b673859fe15835418e4057409d03b4c00b","datavalue":{"value":{"entity-type":"item","numeric-id":1623144,"id":"Q1623144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dea1a57a96ee7312d51c1f9d074522175ba08c1","datavalue":{"value":{"amount":"+0.8371549","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":"Q1101205$5FC409CE-9DD4-4093-9442-4E485D4D892C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"243a4f2a24cc6dcf5252627dd28537480f20595d","datavalue":{"value":{"entity-type":"item","numeric-id":1803866,"id":"Q1803866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7effa1157160238b5233c471a8efc74326e622d8","datavalue":{"value":{"amount":"+0.83487076","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":"Q1101205$A499F288-1A5E-4F5F-A90F-E29126DA6BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c9d8c7e5aa2bb265bb2f0e81fac3ecb6d38bbe","datavalue":{"value":{"entity-type":"item","numeric-id":6161231,"id":"Q6161231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7369aaed725f3df9c6bccf3d03d8f809c484cd3d","datavalue":{"value":{"amount":"+0.83485633","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":"Q1101205$6D2EF53E-3DDD-46AE-98C6-D32EFFFE500F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15583c90b66bff55af73c0c32cc4baedcfb4b97a","datavalue":{"value":{"entity-type":"item","numeric-id":578835,"id":"Q578835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"031905aa6f94d38cc2b2b4815734f27e8fe70d32","datavalue":{"value":{"amount":"+0.82977474","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":"Q1101205$FDEBF143-D0EE-408B-9B56-4E034194A7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea1dfc0ebf9bb9348746c8401033a645fbe272a","datavalue":{"value":{"entity-type":"item","numeric-id":3635984,"id":"Q3635984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"456063e6f0c74e53171adab35c0d5953c008412a","datavalue":{"value":{"amount":"+0.8283172","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":"Q1101205$7218FC58-44F5-4012-B31C-C2A7F55E67CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803e4bf765d7edc092a2ce10d3e64145eef2dc57","datavalue":{"value":{"entity-type":"item","numeric-id":5492827,"id":"Q5492827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3898aa8b4970ef5fa2f8920f8f3f49dedf154be4","datavalue":{"value":{"amount":"+0.82668066","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":"Q1101205$1B26F472-2895-48B7-875F-E0ED1E2A418B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic evaluation with structural recursive symbolic constants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_evaluation_with_structural_recursive_symbolic_constants"}}}}}