{"entities":{"Q1401932":{"pageid":1412672,"ns":120,"title":"Item:Q1401932","lastrevid":48157012,"modified":"2026-01-03T19:45:35Z","type":"item","id":"Q1401932","labels":{"en":{"language":"en","value":"Orienting rewrite rules with the Knuth-Bendix order."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1967124"}},"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":"Q1401932$D9B9F9FF-2CCF-4411-B7EC-8082C8BCD041","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab318a7e397e4725600df54e266136aa89cebdd2","datavalue":{"value":{"text":"Orienting rewrite rules with the Knuth-Bendix order.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401932$4A001415-40C8-4993-93C7-7B023B5639AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fcc9bca26eae0709e2cfbecbe913f69bfd2fd95","datavalue":{"value":"1054.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401932$EB819182-9D0D-4B22-8B3E-87ECEE65AB04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"358322aebd20d5d58cf56ce6dc04537a8f946356","datavalue":{"value":"10.1016/S0890-5401(03)00021-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401932$5FFC2318-077E-4A7E-A49B-D424E4D21655","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce9e1735095a7237c0c699c31f4c0eb57566d709","datavalue":{"value":{"entity-type":"item","numeric-id":1401931,"id":"Q1401931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401932$1126BB0B-F7C4-4A57-8D40-EE965B6C2546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2dfee53655d9cc8087a652185465cb178825e","datavalue":{"value":{"entity-type":"item","numeric-id":229754,"id":"Q229754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401932$0AD0ACC7-CF2F-4FE5-8933-468F4E7C71B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401932$7A2C8168-5D5B-4921-8DBE-D19B2967B658","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00da8c2f12be99ff7b97d3f72ebacffed8cbacef","datavalue":{"value":{"time":"+2003-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401932$4697099D-3D6C-421F-8165-58E5659B285B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401932$E3B65009-29AD-4A33-9EB5-02BA9CF12C35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6b3ba54bf796896e996c5b0bec103cc826e3211","datavalue":{"value":"1967124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401932$5B47D7EF-AC7B-4BC3-A940-17B6E55CAB5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a40e1f9a15fa93fe9e13405d052191a1b658c0c","datavalue":{"value":"Term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401932$DAB597E3-B0CA-4413-96BC-4BA45DA823A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6efcf19b867053750a231226f4ef9cc1f34873f6","datavalue":{"value":"Orientability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401932$A7CF5369-212C-489C-B115-4109A9787564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c35dae05a14380f13e751a9ba9ae03cc3523c3","datavalue":{"value":"Termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401932$D432B44B-4860-45DF-9CF6-8A05F3E8AB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbbb0bdbdd9e2a3f476377ea078af50060c082e","datavalue":{"value":"Knuth-Bendix orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401932$2E9C1149-B005-424B-B1EC-86B00B3BAA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"952e9cafce70f4de9b8bb20b6b48b22813a39c5f","datavalue":{"value":"Ordering constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401932$8D742E91-243B-4E08-A9D0-486AB2D91D1F","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":"Q1401932$C5AB39F5-1647-4A92-A632-AFFC4506E9A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeaefa1501b49eb11345a7390fa93c7aaa33fb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5753928,"id":"Q5753928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401932$1B40EA22-A84F-4B89-BEAC-66B2E48F202B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0d031655fd4043b4e67ae32151f349df7b7291","datavalue":{"value":{"entity-type":"item","numeric-id":4954438,"id":"Q4954438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401932$EF506147-E718-4289-AC3F-768B40E8A086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401932$140B45FF-7D08-4D26-A54C-E5E0E1768A1F","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":"Q1401932$231232C2-B502-4951-B939-A46DBD07E724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87d791b3bef9ce142540481bca9b113bf919089","datavalue":{"value":{"entity-type":"item","numeric-id":751830,"id":"Q751830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401932$C85A7024-8E53-4BA1-9717-6AA337582A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ea54b811ff390aea0ed0ec764fa22772489e900","datavalue":{"value":{"entity-type":"item","numeric-id":4036585,"id":"Q4036585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401932$43974DEF-C95C-48DA-BDFA-608F08C140EE","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":"Q1401932$8873224E-D8A0-4E3C-B2DE-9077099C9F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fdb0cbd5521497729093c331ca7be77408620d","datavalue":{"value":{"entity-type":"item","numeric-id":4535077,"id":"Q4535077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401932$53FCC591-ED36-4007-A613-51134EFCEDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4febb634b64d2f4bf70a6faf5990dbefd157552","datavalue":{"value":{"entity-type":"item","numeric-id":1082075,"id":"Q1082075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401932$DB42D2C0-5AD3-4110-A0E1-5157649599A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825ad5e1584856adc438840de4f45e8ad1521487","datavalue":{"value":{"entity-type":"item","numeric-id":3336738,"id":"Q3336738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401932$A5FFF9E6-9BAA-4141-BF11-B7CB3E2C6D90","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":"Q1401932$51E2E443-D5F5-4DFC-BD40-0637BED16C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c418af05140479037f8492302bff2c22ab43ac8","datavalue":{"value":{"entity-type":"item","numeric-id":1581131,"id":"Q1581131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401932$2CB058E7-8905-49FD-A4E6-1957F52A6715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bac378e922fb04032d86bd5a99aa09a84223247","datavalue":{"value":{"entity-type":"item","numeric-id":4263810,"id":"Q4263810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401932$8F0D8B4E-D732-4E88-BB6D-84577B067567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07232b5ffc2be779a40978f2e8d1ba00a422f639","datavalue":{"value":{"entity-type":"item","numeric-id":685481,"id":"Q685481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401932$5BCAA237-C873-469B-9992-54D426BB0EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401932$BA054958-D397-45A3-95C4-FFC20CE72301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d65f813b7bf62e89eaf2eb886e2ecf258499df","datavalue":{"value":{"entity-type":"item","numeric-id":4221106,"id":"Q4221106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401932$93B76BEE-88E9-4F7D-A06F-BB1A5AE38EFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85a29540115fa386e089abf51fc49db271995ab","datavalue":{"value":{"entity-type":"item","numeric-id":2778876,"id":"Q2778876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02965e5567b9b822c1f405dfb33424f9ddcfd787","datavalue":{"value":{"amount":"+0.9684853553771972","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":"Q1401932$53484D33-10F5-4747-BDCF-73ACD0AA045E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a030d5d91fd826653a25e27df067f5148a1a56f9","datavalue":{"value":{"entity-type":"item","numeric-id":846165,"id":"Q846165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b7ba95bf66737b0a97859e7e64f4ccc04fa640","datavalue":{"value":{"amount":"+0.8549829721450806","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":"Q1401932$085699A9-4E7D-4CCB-8E2F-516182E96DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ff98fe2202c0f3c7a64559429574a20f104e21","datavalue":{"value":{"entity-type":"item","numeric-id":5394610,"id":"Q5394610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4951589b4d9e37a134617b91fb5c6f49862cafde","datavalue":{"value":{"amount":"+0.8195908665657043","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":"Q1401932$3EF3D6ED-81F4-4E64-AB92-9EC498A981CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408762cbb0888cce238b4087d3037bad15d6e084","datavalue":{"value":{"entity-type":"item","numeric-id":5432353,"id":"Q5432353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce038b5071128ae29095d8dacd0efdab86539c9e","datavalue":{"value":{"amount":"+0.8083556294441223","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":"Q1401932$C8448BF0-9E7E-41C5-B23B-B69E44E199EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d28257d4fb53b2ac2831d960801f3d2169bd439","datavalue":{"value":{"entity-type":"item","numeric-id":751830,"id":"Q751830"},"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":"Q1401932$261A285A-6F3C-4012-978C-6B87A7B15C54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1401932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1401932"}}}}}