{"entities":{"Q1401942":{"pageid":1412682,"ns":120,"title":"Item:Q1401942","lastrevid":48157030,"modified":"2026-01-03T19:46:40Z","type":"item","id":"Q1401942","labels":{"en":{"language":"en","value":"An upper bound on the derivational complexity of Knuth-Bendix orderings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1967130"}},"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":"Q1401942$0D0A8384-ADC7-4FDC-825F-3882CE3884AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e46782096a39cac9e1fadf0829d1331f827dc4a","datavalue":{"value":{"text":"An upper bound on the derivational complexity of Knuth-Bendix orderings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401942$CED8973D-68F2-40C9-AA5F-ED3F0E566020","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00ff2de890399e14495cb174703f19655a6a34d0","datavalue":{"value":"1055.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401942$063BB712-6C4C-454D-9F40-A246ED384DC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2487dd2dec34d2151e8f010cdf901d81e2d43d98","datavalue":{"value":"10.1016/S0890-5401(03)00008-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401942$5E915D66-1050-452B-A4B2-D341DAF1BE38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d6f35fa4c47014185c8455e3f00c2771df4684d","datavalue":{"value":{"entity-type":"item","numeric-id":199240,"id":"Q199240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401942$D1B0AF5D-61EB-47D1-B1FC-A8D1342A83DB","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":"Q1401942$EEC0944A-1022-4266-8F3E-18F53B988A4C","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":"Q1401942$73073E81-DED9-4DAE-917C-5ED47CD212B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401942$FE72300B-2BD5-4987-AF8A-301849F86A84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d28cc823be89c5ce2f76f15062b1d84f76bd4c4","datavalue":{"value":"1967130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401942$341F4A2B-7017-4069-8F82-380AD2BCAA60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a40e1f9a15fa93fe9e13405d052191a1b658c0c","datavalue":{"value":"Term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401942$195D3EAD-4685-4B67-8D65-619601A84500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2594f204d709a1baa95be53e2c2588d072cff7ed","datavalue":{"value":"Termination proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401942$93F13FA5-6063-4726-8AE7-C71EE40491D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"107d7cec9561b2aff7939cf2d4db95015f927af8","datavalue":{"value":"Knuth-Bendix order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401942$DEF57DEB-CB72-4E5C-8EDC-4E1E7720F1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6997dbed67cb1602c80ef3881cc9321fc0280d0","datavalue":{"value":"Derivational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401942$C569C288-C395-4E6B-BA08-D96ED35275D5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"08f6a03354ec80d0990a75286ee48f06dfcfa1f3","datavalue":{"value":{"entity-type":"item","numeric-id":34506,"id":"Q34506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401942$F933E4DB-3469-4874-9BBC-5F3B3DBD6321","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":"Q1401942$5A325135-8850-49BA-A066-1FB071C1B1F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"49582f8ec584180cc897530585e03802107fc8bd","datavalue":{"value":{"entity-type":"item","numeric-id":1098283,"id":"Q1098283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401942$4A0955FE-D305-4CD7-987A-03A37A0121E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88f81a297ac4999643a374a6de419f6c66e598d","datavalue":{"value":{"entity-type":"item","numeric-id":1314400,"id":"Q1314400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401942$19C371A2-8E77-47BA-938A-997871D38DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c3a2ac2fd98947974c14bdc504e4185a3beff1","datavalue":{"value":{"entity-type":"item","numeric-id":3992832,"id":"Q3992832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401942$0F0FBC48-D212-4B76-8FAE-98A33271CD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48f619e2e9aae0c428d8521137e2561a8f3c25e","datavalue":{"value":{"entity-type":"item","numeric-id":1129003,"id":"Q1129003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401942$D530CDDA-C89A-409D-A6A7-27903C82C6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401942$84702F3C-AC6B-4FBD-9C85-4CD42E89F544","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":"Q1401942$85E9659B-98FA-4F9A-9047-3F806D9D706D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04cc76a74a2f311d0e3d036c49cb65a758989e62","datavalue":{"value":{"entity-type":"item","numeric-id":5055749,"id":"Q5055749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401942$79EE5D51-97E4-436F-8F0F-5B0F000D394C","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":"Q1401942$C6496087-2CCE-4749-931F-B4F2DD7AE235","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":"Q1401942$2F0467EF-FF68-4BBC-AC81-4699D93DFE32","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":"Q1401942$49294868-BF07-456C-8EF1-8D6C1169D1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946adaf1a8c8f141e0757f8f6f8365e21e858a9","datavalue":{"value":{"entity-type":"item","numeric-id":4099559,"id":"Q4099559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401942$7BC39469-7DDD-42A0-A725-75A12B49F903","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":"Q1401942$4134237F-441A-4F69-A4A4-EBF1789A09BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea24a9ba8416b9474d91a2db7e8b15201afb5ec","datavalue":{"value":{"entity-type":"item","numeric-id":5958622,"id":"Q5958622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401942$4ECA399C-B49E-4EC1-91D9-4A91492C60B1","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":"Q1401942$84A19F81-C6AB-4475-B060-FD40C1A569C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de76ce46d72d17eb41e49fc3356cc94049bc252a","datavalue":{"value":{"entity-type":"item","numeric-id":2266711,"id":"Q2266711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401942$1AB05628-D2C3-4C13-A722-0DB1EE0327CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b89b5dfe20d067ce1b1f3d4f62245fdd4741ae1","datavalue":{"value":{"entity-type":"item","numeric-id":4023582,"id":"Q4023582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401942$A7080902-07E6-43F7-B5E9-A4C4AC3BA18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4afd0b3b0b8757574f62e3ae80a63d3876f24e","datavalue":{"value":{"entity-type":"item","numeric-id":5533181,"id":"Q5533181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401942$23D80C38-7A73-46B1-9C1A-55E72EABF652","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":"Q1401942$F0AA8EB9-763B-4F76-8B07-F512E49A62E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64bd4d8290b33a1ccbe10c93520eaf823c296c8a","datavalue":{"value":{"entity-type":"item","numeric-id":4938604,"id":"Q4938604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401942$7ABFD3BE-4CE0-46B4-AFBD-28E7B7443DAF","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":"Q1401942$D8C69334-FE31-4541-B45A-83200C22B09A","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":"Q1401942$B1556AF2-251F-4C67-8654-B637767CEB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52daa7db4d526ad28728d2a0c4c6496dadc100d2","datavalue":{"value":{"entity-type":"item","numeric-id":1332336,"id":"Q1332336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401942$98C5AB76-9D09-48F2-B7E6-B903D99AE595","rank":"normal"}],"P1643":[{"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":"ad00d703b4ae4a4fca1d99930e10d95b649622b1","datavalue":{"value":{"amount":"+0.8903492093086243","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":"Q1401942$5E957158-CC97-405E-AC9F-482C4E115258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d55e03f6a9d975c06c4bcf0952bb70c2231d6ea6","datavalue":{"value":{"entity-type":"item","numeric-id":5958622,"id":"Q5958622"},"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":"Q1401942$51D32D25-0450-41EE-B6C1-5A85C0D55E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce097c72792ea69adc8f868592adf87fb96ab85b","datavalue":{"value":{"entity-type":"item","numeric-id":5055719,"id":"Q5055719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e159ecf7965db3b17fd58d04e15c853a971bc57","datavalue":{"value":{"amount":"+0.811468243598938","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":"Q1401942$7616D570-025E-4F47-BFD3-2E6CE1355484","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":"04a4da6f8511473b9481926a47c8e11967a5701c","datavalue":{"value":{"amount":"+0.8083979487419128","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":"Q1401942$16F6DB7D-CDEC-411B-A823-086E25731343","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1401942","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1401942"}}}}}