{"entities":{"Q1177935":{"pageid":1188684,"ns":120,"title":"Item:Q1177935","lastrevid":66508851,"modified":"2026-04-12T10:32:09Z","type":"item","id":"Q1177935","labels":{"en":{"language":"en","value":"Order-sorted completion: The many-sorted way"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 22506"}},"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":"Q1177935$5E7C1BFF-33A1-4582-A5CC-FE528FD91DA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2addce5176dd75e6fd0f38cc0b18a52347d1a062","datavalue":{"value":{"text":"Order-sorted completion: The many-sorted way","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177935$37A25080-9417-4302-846F-04926F15A1AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f8fae81b4c1b22bfeedf4e695c9a0738270c5bd","datavalue":{"value":"0736.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177935$7C173126-7C27-4DEC-A31C-7F8BB8C1D590","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c2b60c2f83592ad17b7815b1c5f56158d22c1a8","datavalue":{"value":"10.1016/0304-3975(90)90105-Q","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177935$F039C99D-3421-4315-8669-2D68F461499B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$205A8E9C-7D0C-468F-8C16-048DFB72AC8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$0C81587B-AEBB-47C0-B160-4A3A21AFE0BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177935$6136D81B-7F8E-4729-A3CB-7A169B6C3A71","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3003bb27150a54c27fd3953fab85b3049502ca97","datavalue":{"value":"The author improves previous results about the relation between order- sorted and many-sorted rewriting. In particular it has been shown that one step of order-sorted rewriting with a set of rules \\(R\\) is one step of many-sorted rewriting with the lowest parse of the sort specialization \\(R/s/\\) of \\(R\\) modulo the axioms \\(LP\\) of the lowest parse. This result also holds in the presence of non-sort-decreasing rules. It has been shown that in many practical cases non-sort decreasing rules can be replaced by sort decreasing ones without changing the initial algebra. An unfailing completion procedure for conditional equations that can handle both non-reductive equations and quasi-reductive equations is described.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177935$1B284071-BF70-4294-B333-49D436EEC7D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177935$4DE6BAFE-1B49-48B2-8168-E92644B3182A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c07cc6b0c59426c6c963c5c7803630ae27dc2e35","datavalue":{"value":"22506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177935$91C12A38-9DCF-49E9-B03C-4CC100C670F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177935$278D787B-52C8-44F5-8226-2D4FF1DDE005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177935$2244C9CB-4370-47DE-A2C3-CC59B4F97FED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$BDC715AF-0472-469D-9AAF-1FEA6D085AEA","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":"Q1177935$FDF795F5-A529-4714-9CC7-E4138F1D202B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e297819eb1984b18a5404ead2cbd354678e64fee","datavalue":{"value":{"entity-type":"item","numeric-id":5881277,"id":"Q5881277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$BA1814E7-2BF0-481A-9681-25E82784D50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba63cec2a86a6dc7431d441a20d30f64d69d94c","datavalue":{"value":{"entity-type":"item","numeric-id":5055711,"id":"Q5055711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$2DA6AC89-E18F-4BF9-BD4F-E2FB580F2F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a867cdc6d3f0743de280448ecffc7a317c12f81d","datavalue":{"value":{"entity-type":"item","numeric-id":5881276,"id":"Q5881276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$35B82765-2D16-42F4-A7F6-0B4D410DE9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f8f7ccc1c97a833573f62334972a5021fa3d72","datavalue":{"value":{"entity-type":"item","numeric-id":3817653,"id":"Q3817653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$3BBE6B28-DC7C-4E98-AC30-0E425C642355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ab79f8fe1e91b63e9c6e6379a45e52f1e9d8a2","datavalue":{"value":{"entity-type":"item","numeric-id":758211,"id":"Q758211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$9F178269-DBBB-4D9D-B247-91C10C8F6E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83b45649de8318de90f31a1dc01224e9092b8ba","datavalue":{"value":{"entity-type":"item","numeric-id":3809250,"id":"Q3809250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$46CF0600-4363-4D1B-BB2D-61CB2EE07ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3388784066552dbe30b5bf9917261a8daba9ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3719824,"id":"Q3719824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$29EE8AE2-5C24-478E-B7E3-FB4BC86E5231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3fee6eaeadaf3094aaa93acbe2a93c0f4df3883","datavalue":{"value":{"entity-type":"item","numeric-id":3792234,"id":"Q3792234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$D96263A7-E235-4FA8-B7A4-6BE57A31BCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb04a649a73fcfb0ac785adf276c6d3df4e05513","datavalue":{"value":{"entity-type":"item","numeric-id":4062639,"id":"Q4062639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$1FC77A89-D26C-4E05-BC05-AC5FCBD0ED68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49dfcf779626070163a6a0ca7b7916ab0ca8d77","datavalue":{"value":{"entity-type":"item","numeric-id":3709891,"id":"Q3709891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$9DDAB4A2-4EA6-46B7-9448-3AE0B84FBC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9630a614d15d2da2d129b9095506c6faaf62b1","datavalue":{"value":{"entity-type":"item","numeric-id":3028335,"id":"Q3028335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$6C31F2C9-BE08-42AB-8E30-66DD381D96F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a563464d434ef2d751986d83ad2c2fbce7bcf156","datavalue":{"value":{"entity-type":"item","numeric-id":3795207,"id":"Q3795207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$A9A21556-E61C-4BB7-8019-F2A5CB943180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b624435100aa332b4ed9a77a30a3c9fc845318a6","datavalue":{"value":{"entity-type":"item","numeric-id":3818295,"id":"Q3818295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$12607E7D-FDF8-41FB-86D1-66A6A42C39A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc846a064cd218190307f32dc994e9ec92c8da3","datavalue":{"value":{"entity-type":"item","numeric-id":774393,"id":"Q774393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$25DF9CDA-A46E-421C-884C-91C7BA749BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8cc8c03a8982b4744155ec210d29b346d1b25e","datavalue":{"value":{"entity-type":"item","numeric-id":3809237,"id":"Q3809237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$7867F830-9D41-4FD8-8F04-A4D3E1CAC7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e2d761ccb0b052ed932a9e25e1934d9433dace","datavalue":{"value":{"entity-type":"item","numeric-id":3745825,"id":"Q3745825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$2C068CBB-FCAA-4790-AA0F-2C60313E927E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b71055072311024197a19b15cc0eb0d22b3766","datavalue":{"value":{"entity-type":"item","numeric-id":3696496,"id":"Q3696496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$F8F80ED3-CC51-4B9E-AC4A-C43926A4E9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e4d5d206133d3398c50fe5451aaece0e817a40","datavalue":{"value":{"entity-type":"item","numeric-id":6488549,"id":"Q6488549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177935$E2A41557-52A1-4DB7-9A7B-01429D58CAE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cca0a2987b129fa09e63ef02cc9b4e4510c9db","datavalue":{"value":{"entity-type":"item","numeric-id":5881203,"id":"Q5881203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e453558dc757d44273cf8740aa8b8953aebc2ad","datavalue":{"value":{"amount":"+0.8339200019836426","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":"Q1177935$8F80FBE8-32AC-4F73-9FB0-3CF2724D2DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6b04844e17eaf8e213efd46faa6d41e6de83f8","datavalue":{"value":{"entity-type":"item","numeric-id":1264441,"id":"Q1264441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24da32d5014ba2d4e5774a83881b152dceede495","datavalue":{"value":{"amount":"+0.8144559860229492","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":"Q1177935$EC8D91E0-53DB-4CD9-9E72-C14DE2D56549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5595f3a2c4c08511272b3232defafe1b37ab342d","datavalue":{"value":{"entity-type":"item","numeric-id":1185014,"id":"Q1185014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e963ccb84712993b493eecddc0dd1e073cefac","datavalue":{"value":{"amount":"+0.8129709362983704","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":"Q1177935$364582A9-D5F8-42B8-B8C9-37B183E2632B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Order-sorted completion: The many-sorted way","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Order-sorted_completion:_The_many-sorted_way"}}}}}