{"entities":{"Q3753479":{"pageid":5783385,"ns":120,"title":"Item:Q3753479","lastrevid":51726617,"modified":"2026-01-19T17:21:23Z","type":"item","id":"Q3753479","labels":{"en":{"language":"en","value":"A superexponential lower bound for Gr\u00f6bner bases and Church-Rosser commutative thue systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3990860"}},"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":"Q3753479$16C4FA14-096B-449D-A4EA-06972DCB42B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f64b7ff1449cc0da8d410240ebd0e6e20cc9dafc","datavalue":{"value":{"text":"A superexponential lower bound for Gr\u00f6bner bases and Church-Rosser commutative thue systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3753479$84165B49-0EF8-46A2-8F86-6FD11CCC187B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0eeb81b6a69424eca88400f3cf7c97581d11cf9e","datavalue":{"value":"0612.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3753479$DF97BF14-25F4-4241-93C0-64746980BEDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80961bc4d55e5945544173b8eb2283b7eb92a199","datavalue":{"value":"10.1016/S0019-9958(86)80035-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3753479$C9F627CF-2A31-48ED-9279-2A03C70A04B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f11d29d2cbdb03c4d5ff90d92cbc2f1d658ba97d","datavalue":{"value":{"entity-type":"item","numeric-id":391197,"id":"Q391197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3753479$88BF1206-EB95-42D0-AF1C-C45C9E948555","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3753479$D76959C0-5339-4E6D-9712-611D0393C02E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3753479$2C7E39DC-5CF5-4601-9A51-E9D6876712C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3753479$8C642D2F-EB7E-43FC-BD97-D0763BD4FF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3753479$08A18F48-1BF2-4CB8-AFFB-D87B565B4B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f7f43158b42f0a7240ceb9aa177f89dce451dc7","datavalue":{"value":"13-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3753479$0ECF6480-F398-47A2-BFB2-D76181DC7AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3753479$EB1452CF-6C43-4C65-A613-DF8707D05A7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b2f0688e374aa1a5b67271808543880e38f01b7","datavalue":{"value":"3990860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3753479$445745BA-0FE5-4D18-915D-1983AA207CE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f55777576943e993537c5bf37642cd4f89c94342","datavalue":{"value":"normal form algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753479$2D0EA8B0-426C-47AC-8EBF-55B75DDD79A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90323c4b1b1a51ecb6730884305f3b709b1f5472","datavalue":{"value":"polynomial ideal basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753479$D90CB743-642C-4C3E-9500-70C8A8FF3ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753479$6E1DF96D-B8E9-4B24-B4F7-BC1525BAD940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bb64862b49401552df56ea929cca44fb573419f","datavalue":{"value":"commutative Thue system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753479$3ED21BB6-C55B-4E17-BADD-FFC939060256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc2f3b109429290add33c746931457382ae542a1","datavalue":{"value":"Church-Rosser system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753479$3D9868C0-0F7A-4DF4-B862-062DE905F0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54e8f0e3daec6bdc87e1747ff7e831d0c46dfcb1","datavalue":{"value":"double-exponential lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753479$556DDAF0-533B-4004-A6CA-EC79A531AE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ebfe5af94e8ab84580b6f2e4dc5e94fb1bf5458","datavalue":{"value":"production length","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753479$8ECC502C-E0D3-4E60-9AF5-A06D47B4948A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb17444a0c934bfa9857ba687a7fd5889f986cfe","datavalue":{"value":"cardinality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753479$AC4AA596-1535-4446-9186-F2B6313F3588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"308cf63ea8c077f8633f0af8aef370fde0dd7b99","datavalue":{"value":"degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753479$478D6F77-73DA-4E92-B5AF-4CE84EFBAB05","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":"Q3753479$529E9C0F-3D13-44E8-A38C-5093AEB215E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9ea1f3d513e8efe5ad69574ab59e9ef438c4ecd","datavalue":{"value":{"entity-type":"item","numeric-id":808265,"id":"Q808265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d646503d8cf1532757191f62333f8867e86d08","datavalue":{"value":{"amount":"+0.8446775674819946","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":"Q3753479$22361ECA-594E-4E80-94FE-FBC22B8D1561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d03b35d2d4d0375b10747b1b87b425ca5595b64","datavalue":{"value":{"entity-type":"item","numeric-id":4227325,"id":"Q4227325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e6af450e6135443411fe32499e7c66327d92a4","datavalue":{"value":{"amount":"+0.7811002731323242","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":"Q3753479$20E32C87-D5F3-4986-87A3-B12FEFFCBE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f172a275bea031f6c4b077fee13e54cb520184f3","datavalue":{"value":{"entity-type":"item","numeric-id":5444985,"id":"Q5444985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5157cbf0b27eb27fb6ad131711d8eeda137a1a3","datavalue":{"value":{"amount":"+0.7728934288024902","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":"Q3753479$9B4CDB16-9B0A-47AD-8853-26F41F60C60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9d4bc93eb89a7d8a24fa45b4fae4c125cdb959","datavalue":{"value":{"entity-type":"item","numeric-id":846370,"id":"Q846370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d937907fb30fd52221f899f080a99189099702","datavalue":{"value":{"amount":"+0.7692746520042419","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":"Q3753479$C43882BE-01DA-47A9-90C6-83545372431A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596e81666a8890dd9d602099ef4a1564da148d1c","datavalue":{"value":{"entity-type":"item","numeric-id":4818838,"id":"Q4818838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9010015261d6792ec8ce097293cbfa38a7f5b9","datavalue":{"value":{"amount":"+0.7670691013336182","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":"Q3753479$7D36CBF7-23B6-4270-BBC6-CA4176E3545F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3753479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3753479"}}}}}