{"entities":{"Q5958622":{"pageid":8135424,"ns":120,"title":"Item:Q5958622","lastrevid":47755321,"modified":"2026-01-02T14:53:26Z","type":"item","id":"Q5958622","labels":{"en":{"language":"en","value":"Derivation lengths and order types of Knuth--Bendix orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715651"}},"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":"Q5958622$324E55E5-B4F2-44F5-B4D3-19EFC760A941","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59d03ed2252964785689eb254c64c27d96860749","datavalue":{"value":{"text":"Derivation lengths and order types of Knuth--Bendix orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958622$5992115D-3085-487D-813E-ED0C1A9BE906","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aee2601be8d1b30b6f87fb2a37d43a200f2e4cc2","datavalue":{"value":"0983.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958622$8C7A5F11-9D2C-4A45-8513-417F0D2FD5A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb62ca7c5a61b57a2aa35c5cde66f100094cdeb2","datavalue":{"value":"10.1016/S0304-3975(01)00015-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958622$C724965E-74DF-4806-BF7E-490C6F8AC6C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b075a825863e8f2994344a3238448ae86f4ea047","datavalue":{"value":{"entity-type":"item","numeric-id":236470,"id":"Q236470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958622$3F37D3C2-A1FB-4771-A001-BDD9B02A92E0","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":"Q5958622$8DF5C3E8-CD50-43B4-94FF-A1421D297A2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958622$7C97EAAB-F163-4AF8-9E57-C1B374952CA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958622$B8DA1AF3-5A2C-4EED-929D-B9D0079A5AFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d668908f0d37d3d5ec91b9f265855008e25366a","datavalue":{"value":"1715651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958622$3BEB292A-EDB1-4A72-B075-633E803A7EEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cf98238802ef3ed9e5831cdcc57c750d0837c5c","datavalue":{"value":"derivation length","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958622$501AC13F-98B1-4D65-8840-1F2750AD34CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"107d7cec9561b2aff7939cf2d4db95015f927af8","datavalue":{"value":"Knuth-Bendix order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958622$A06DA2E2-4E08-4DCE-AE77-7D1E4C7B7F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c662b644cf3bfb15ff11ba35b40c3bbf14ec7","datavalue":{"value":"order type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958622$C491C946-A1B1-4269-84F5-5D8AAD5318E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d97ed22177ce83e69010fa45ac678f6cb9499c5","datavalue":{"value":"fast growing functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958622$D8729BAA-1D9A-4B59-951F-75B4858FAB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c366d9e44e0d6a9e2cdc753868eab05ee1b2ecc","datavalue":{"value":"Ackermann function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958622$2592CE58-D5EA-47FA-B6F9-1CD260094A15","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":"Q5958622$5D396973-9C16-4A16-A76D-5A2A684992A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b220dbc781dafa493813c640157524f7a834d9a0","datavalue":{"value":{"entity-type":"item","numeric-id":1295413,"id":"Q1295413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958622$30A87309-E876-4E98-9C43-727C769D268C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb5bacd666be23a0df6f86c663a34e93fbfcc10","datavalue":{"value":{"entity-type":"item","numeric-id":1899143,"id":"Q1899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958622$5A28F536-4111-4EC8-AC0E-F90E5D95F634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173eb0ca706b90c3f5e98576319b1aac6f73c7d3","datavalue":{"value":{"entity-type":"item","numeric-id":3138831,"id":"Q3138831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958622$39A0B9A2-A3A5-4787-AEAB-F0A4E483CAC7","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":"Q5958622$43E425E8-DF86-4588-A824-91DBD96D4EEA","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":"Q5958622$88CFD2FC-B5C9-4AC3-8095-95997186A6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b1f24d53123d6885e349219044cd2216b80aec1","datavalue":{"value":{"entity-type":"item","numeric-id":1200982,"id":"Q1200982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958622$5DE8F5F1-F6DC-49CC-891B-9BBC82F2C7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d59713a33fffd1fe610c5f315ab2ff7c4cb9a0","datavalue":{"value":{"entity-type":"item","numeric-id":5055719,"id":"Q5055719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958622$770ED80B-30BE-4092-B04F-70B6660C3DB1","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":"Q5958622$31513DB9-9633-4907-80CE-BA4AB7EC7280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09e380188713d1cd1796289985428147f94d1a2","datavalue":{"value":{"entity-type":"item","numeric-id":1879000,"id":"Q1879000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958622$743E51C2-BDB3-411E-87BF-47C369049398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958622$2ECA9749-457B-4F3D-8725-FBF1F0A3EFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958622$013A0E36-74B5-46FF-B8C6-92D26DDB1B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d25837ded14d6394ff95e33c185112b70434e94","datavalue":{"value":{"entity-type":"item","numeric-id":5297489,"id":"Q5297489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958622$09AA0841-4174-4375-8BDA-F3E1E84D603C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90dce10a942e4c996b7133a99b833d892b1cdf9","datavalue":{"value":{"entity-type":"item","numeric-id":1892123,"id":"Q1892123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958622$6913321E-1186-4FCD-B004-24FE34D9E863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8f5bf3bbbb90d2771a6bc1a5bd5d42d5f4b4df","datavalue":{"value":{"entity-type":"item","numeric-id":673975,"id":"Q673975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958622$C8400C2E-A457-4904-959B-20E723CA478D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a10bcdcf1647509e7173fcb8e779c7ecbbe152","datavalue":{"value":{"entity-type":"item","numeric-id":1401942,"id":"Q1401942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d9bd2e45d614423da0202fd8c77423019934b3","datavalue":{"value":{"amount":"+0.8533423542976379","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":"Q5958622$30098513-4E18-4278-B346-92F502EC113F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37ab8c9ea61e0bc26332d29138c526c1a955315","datavalue":{"value":{"entity-type":"item","numeric-id":5387885,"id":"Q5387885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f34ca076c5a6ec722308cff747cd1a0be425d9cd","datavalue":{"value":{"amount":"+0.8494242429733276","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":"Q5958622$D19286F0-D19A-4987-8C1E-06CF5C610BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feacdbbec4ef468679bcc8a6386934f321d6a6f1","datavalue":{"value":{"entity-type":"item","numeric-id":2987062,"id":"Q2987062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b42d00a3037bfca331c23f15f5caf1350319a09f","datavalue":{"value":{"amount":"+0.8451149463653564","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":"Q5958622$71E313A4-CB73-4379-A0F4-4E2E9B044EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f7652357e77a1571122db1de57d47e89f772e8","datavalue":{"value":{"entity-type":"item","numeric-id":2891472,"id":"Q2891472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535001af3c34ddbdbcd44c644a640dfddb3c29e1","datavalue":{"value":{"amount":"+0.8396814465522766","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":"Q5958622$4B9E8912-844A-4F4B-B01E-6D25A28490D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea089901fddc1de9ab687f8b8630b13dd7ab8901","datavalue":{"value":{"entity-type":"item","numeric-id":4541806,"id":"Q4541806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e66ecfa23d86c013eff06fcdf9652cd3fd530d","datavalue":{"value":{"amount":"+0.8231350183486938","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":"Q5958622$727B307D-C27F-465E-8B50-5AE8F9B9F714","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958622"}}}}}