{"entities":{"Q751830":{"pageid":753679,"ns":120,"title":"Item:Q751830","lastrevid":49444639,"modified":"2026-01-07T04:17:18Z","type":"item","id":"Q751830","labels":{"en":{"language":"en","value":"Automating the Knuth Bendix ordering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4178778"}},"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":"Q751830$E1753492-A4F5-4AC6-95E2-8FF1C93DFC30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e71490e2facf57550ddb9971a14a9d42e98e64b7","datavalue":{"value":{"text":"Automating the Knuth Bendix ordering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q751830$A04E7F10-D021-4DD5-83A4-9D86C8A785C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4db4a726dd40fdcf84e1a06526798c07a142f07","datavalue":{"value":"0715.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751830$C08B48C6-C0CA-4704-905B-BEB20EAD27A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15e3e6fa586ba68688b1f7c509f954e47892786e","datavalue":{"value":"10.1007/BF01237233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751830$32940C34-83A2-480D-B4B8-CC7C2B069E96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52ca221fee0d7ff29daaf922e50e0591f142931d","datavalue":{"value":{"entity-type":"item","numeric-id":751827,"id":"Q751827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$C1349EDA-3DA8-47AE-8CBE-5AE62EC92550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90bf52b34f6b89cb46d25fa5eb5330eb6d3072af","datavalue":{"value":{"entity-type":"item","numeric-id":751828,"id":"Q751828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$33BCCDC3-EBA6-4C25-8DD9-D949CD83A344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b182cd4f9e9cb54195b7976a497640f4d81f2eb","datavalue":{"value":{"entity-type":"item","numeric-id":1169557,"id":"Q1169557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$8A16975B-C12D-4622-A224-C2898A4FEAA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$2A36A7E0-D9DF-4D74-83A3-B80378D1D5E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q751830$551CAA24-2818-48A1-8EBF-D3F230BEE849","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a60a5e74636378b8528edc36900e0ba48aff0f1","datavalue":{"value":"The paper describes an algorithm that automatically constructs a Knuth- Bendix ordering for a finite system of terms rewriting rules if one such exists. The algorithm is based on a practical and simple algorithm to solve systems of linear inequalities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q751830$0C9ABC6C-640B-498B-AEE1-1A2224D71A13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751830$5376CC43-A1E5-4794-A29D-8B61D12AA9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751830$70B03A5E-3F95-4B79-A867-E7AAFA91F0F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f38ff858bd31718fed38c8af189cc34ce7fab836","datavalue":{"value":"4178778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751830$75BB4D2C-2EF0-4C81-AD8C-83F1B3F1D9D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"435ffea6b4cda281d7fb4530f3e5542d1c4e069c","datavalue":{"value":"completion algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q751830$FD9D62E3-50BB-46BA-B290-941B0BC3CC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1941bf7f7cd916d19e59e3be8f77c3cf34725fc8","datavalue":{"value":"Knuth-Bendix ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q751830$891F2FF7-1E30-4EF8-A287-F1CE916DFF26","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"01911e6b71b77cd21ac4dc12ab2dcdf94ba3b6f8","datavalue":{"value":{"entity-type":"item","numeric-id":795512,"id":"Q795512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$45475D54-31B0-4D7C-9027-B628F9CA6A9E","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":"Q751830$6C63BFDF-6D94-4D55-9023-E5E174120A7C","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":"Q751830$730CBEBD-DE3A-4912-A63D-3715251A7728","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"321660524d60385a43a6b54d89e814f1772371c3","datavalue":{"value":"Q55393323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751830$199CBF0A-BF98-4C7E-A09F-0A56C4F4766E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0834187a6dd7c0f4af75042c0b4b718ceaf9c85","datavalue":{"value":{"entity-type":"item","numeric-id":1819572,"id":"Q1819572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$F981D030-2F05-4BDE-B66F-40CA107146E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$DB1EF10A-5CE4-41BE-951D-AC6775ADC116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612e9cb9341b02f6944a85a1a0388d9d9a0f8994","datavalue":{"value":{"entity-type":"item","numeric-id":579930,"id":"Q579930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$F55BEEAC-DCCA-4D8E-89A3-87D7881E7D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce11e1e393637b43364dcf5961723016218ec9af","datavalue":{"value":{"entity-type":"item","numeric-id":4079613,"id":"Q4079613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$AC11C0D6-765C-4A24-A75E-208E66AFD75D","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":"Q751830$A75CF5BC-8AB9-4943-BECB-2EEA012D2963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$D60A7565-D434-42DF-81C2-EC6A98B4D7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85bdb5bc0702168fb6381f388e6a018695f5b58d","datavalue":{"value":{"entity-type":"item","numeric-id":3696498,"id":"Q3696498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$61089CA0-223C-434D-B336-C997D676FA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f910cf9afe79ee57cf24ea805ed50f78ba6da7","datavalue":{"value":{"entity-type":"item","numeric-id":5544287,"id":"Q5544287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$1A2043B9-A4A8-4492-872F-B7C2A198454F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91cc7733f64a660b50b3c63d33b7480044e986d","datavalue":{"value":{"entity-type":"item","numeric-id":5721624,"id":"Q5721624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$2CCC754F-57EF-4167-9647-83E1839AF670","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":"Q751830$ADBD0651-3904-4A24-BFBE-94B3F7484DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$E6F1E209-746D-4005-983C-467D75313330","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":"Q751830$7B14C587-9A0C-4E11-AA7E-C04C22FCBA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ffe215ce5cf517713ed83263ed2d9aa5269077a","datavalue":{"value":{"entity-type":"item","numeric-id":3286625,"id":"Q3286625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$A5CAD7BA-F291-4124-9A2F-A09A210F8308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a5fa9e9b115d53ed202db01eea8f77a2322660","datavalue":{"value":{"entity-type":"item","numeric-id":4430288,"id":"Q4430288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$BD1993CB-8EE5-4463-9F09-F93F9BF7B17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a664fcd7d41eeb4ed77ef9a598d8a6631479e23a","datavalue":{"value":{"entity-type":"item","numeric-id":3779786,"id":"Q3779786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$8C435894-4B85-453B-ADCD-2C0B506502F0","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":"Q751830$74F20D1C-837A-414F-8809-3B4BAAA87A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"572c8ce9b05b42d6380ae82bd26f7eafa5e24666","datavalue":{"value":{"entity-type":"item","numeric-id":3266142,"id":"Q3266142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751830$65B7F1C7-2EFD-497B-89D9-7BE241656749","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d5205ad7b7fe24a64146a24f77fadfaf0395f520","datavalue":{"value":"journals/acta/DickKM90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751830$A8F3F233-B785-4110-ACA9-2AF297356FC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3145f94f09863d08932432b3154f5588337e7a82","datavalue":{"value":{"entity-type":"item","numeric-id":3779786,"id":"Q3779786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af50983d5c1b664374db0cfd98cfd458ffa89def","datavalue":{"value":{"amount":"+0.8518778085708618","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":"Q751830$31294EEF-6D92-4C4C-8F07-E1EECD4FB080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c910ff6911a3cb89a692128132e30040e5ff770e","datavalue":{"value":{"entity-type":"item","numeric-id":3700828,"id":"Q3700828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f3031810599e7f3b761830306d45d4602b77288","datavalue":{"value":{"amount":"+0.8358109593391418","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":"Q751830$F3F4AF69-FA04-4A1B-AD25-65BC905EBA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba147e76ff3927582ec527b4eedc98fcd679507","datavalue":{"value":{"entity-type":"item","numeric-id":861708,"id":"Q861708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05612140410b52bda49ea762eece8eaa849f941e","datavalue":{"value":{"amount":"+0.804926872253418","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":"Q751830$4B428F87-8329-4CFF-B0F4-062E9A484902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d3359483781ad4b5ee3cde2393cf0621938589","datavalue":{"value":{"entity-type":"item","numeric-id":1401932,"id":"Q1401932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb92bde736801d0b2bd4b1e4caf7b85916480be8","datavalue":{"value":{"amount":"+0.8039015531539917","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":"Q751830$82B4155A-F0F6-48D4-A343-B983ABEC69E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfe93a025bbacffd202c0b7afb9874ae942a8ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5900709,"id":"Q5900709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8108c6b9c2970773b0178fc95507b9f8705d0fcc","datavalue":{"value":{"amount":"+0.8019154667854309","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":"Q751830$F565693B-38DC-4E25-89C4-938F630B4672","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:751830","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:751830"}}}}}