{"entities":{"Q760506":{"pageid":762355,"ns":120,"title":"Item:Q760506","lastrevid":64210212,"modified":"2026-04-11T18:22:46Z","type":"item","id":"Q760506","labels":{"en":{"language":"en","value":"Finite complete rewriting systems for the Jantzen monoid and the Greendlinger group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3884389"}},"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":"Q760506$D47B9C45-4D35-477B-A763-D0A80CA5A8E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18f84dc088e9b74da1cb10aa7a3d17e297efb082","datavalue":{"value":{"text":"Finite complete rewriting systems for the Jantzen monoid and the Greendlinger group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q760506$7A48D1A6-1838-4C13-8E3A-D308813FE4F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9a3cb13dee74fd870e7ceab61cce784a8659a99","datavalue":{"value":"0555.20036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760506$4DE10AA8-E8BB-49FB-9F66-A386810A3507","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"428953d111e0762d37bae71410b86145d3406d13","datavalue":{"value":"10.1016/0304-3975(84)90044-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760506$F0ACC658-D5CB-4D64-941D-06583C36D69D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46c7c00558d7121734d489049799fa24953dd04","datavalue":{"value":{"entity-type":"item","numeric-id":287428,"id":"Q287428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$F693FC25-78E7-4529-B84A-2C7698D1B491","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":"Q760506$DCB73F5F-6B1C-4C99-838D-0862AFF458DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q760506$36D4AC4E-2C55-4924-9F25-893B69AB2935","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760506$D501DC7C-DBCB-47EE-B135-6C036547A22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760506$6EE13EFC-F077-4878-B103-16CB307F0DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760506$3BD25D07-E914-4A97-8B00-C7D08D1C33CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95dfdc2ad8791731889c126831c88797245e0929","datavalue":{"value":"3884389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760506$7B2FA6FA-AFD4-4C74-9B59-1E5D2F573AAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e986f205a53c956ce83852b88693f1f1cb56e42c","datavalue":{"value":"presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q760506$EEE0CAE9-8BFE-4BC1-9C5F-A9F56C6FBA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be4e4df88321ebc9ac6d7ecc96d3763b0e595c1c","datavalue":{"value":"Jantzen monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q760506$CCEA2969-9F15-447E-9699-5C44160460FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6432ae523837d7dcee6e53851a1bc0c8e3d7aa1","datavalue":{"value":"finite complete rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q760506$9436481F-BB7F-4FB3-8368-9A87D0C3F308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcfe66f91f0a93b5798a6e44e0d90a80f62182c3","datavalue":{"value":"Knuth- Bendix ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q760506$BA0F4CB2-1CDA-49C0-871E-A9DDEBF37531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00f8de9cc40478da5138b0eec75117901c8f6814","datavalue":{"value":"Greendlinger group","type":"string"},"datatype":"string"},"type":"statement","id":"Q760506$F4EB55BA-378C-4AD1-A0B1-B3EC6F3DEED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2363d166b5b9fc791a0d6228cc5a474e45585fdd","datavalue":{"value":"polynomial-time algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q760506$39298C05-D285-44D9-B9B6-4945B779390A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q760506$70DCBA6D-B441-4CB3-B289-ADDAD0FE35B1","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":"Q760506$3B044190-CD55-4FE0-B837-2668E2196DF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ec15d12cb7c089be724f22558846ccaa8bf696a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90044-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q760506$FE748FAE-C300-4E08-9B1D-9730A3FC837E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbb59409f61a2bd4d73d2db16366b4b494f349ec","datavalue":{"value":"W2016799182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760506$8B8F2978-700D-4B37-9CA2-255FFCA14790","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc6c6b83abc176e315c7d71e3791c8be4b4af07","datavalue":{"value":{"entity-type":"item","numeric-id":1243274,"id":"Q1243274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$587045AF-65F9-4F16-BEBE-124AC943E5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ebb06fffc0f01050548cc70a5275f2146093fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3329652,"id":"Q3329652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$D4782B64-48AF-4D17-8DE5-DAA142DA0688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb713495b9ea7313f59f292ec295ea082246771a","datavalue":{"value":{"entity-type":"item","numeric-id":1162144,"id":"Q1162144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$F821A2D8-B2DD-4A07-A2EC-CBBC0B4D97E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f8caa4d24218ecf63bb6d39ed1b79a4c2266ea","datavalue":{"value":{"entity-type":"item","numeric-id":3936184,"id":"Q3936184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$F530BAEB-6510-49AB-954B-034F1C45596E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"782ba884bddceeeeea0c893b705ae4c41557b763","datavalue":{"value":{"entity-type":"item","numeric-id":1166924,"id":"Q1166924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$DEF4AAD7-05BF-4628-A511-3523E55762AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d91cc347ac2f5288732fa9b032b141b0a07192","datavalue":{"value":{"entity-type":"item","numeric-id":3319766,"id":"Q3319766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$B1A6BA50-255F-4418-9C73-D3FCDA2B54CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"954424d38b0084062ecb04ce2fedd4da29a556c1","datavalue":{"value":{"entity-type":"item","numeric-id":3957939,"id":"Q3957939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$6C7A9720-43CB-426C-BCCD-CE2B78AB2BDB","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":"Q760506$1CF1E6CD-0AF4-4EFA-8F8B-BA2F1C437A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d879fb4df5a2a622d72ed5245635fb65a8fcb861","datavalue":{"value":{"entity-type":"item","numeric-id":3288144,"id":"Q3288144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$85A3B137-2E84-44AF-ADAF-87748E255BEB","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":"Q760506$E5F91C13-FB26-420A-BA81-FD0C338CA8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87cd38c4d79812b7385a2ac65997595747c1b54","datavalue":{"value":{"entity-type":"item","numeric-id":1162607,"id":"Q1162607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$AB296005-27EA-497F-ADD2-A4E938212FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff274e64f07b3b72de0b04f079acb1578c693d1c","datavalue":{"value":{"entity-type":"item","numeric-id":3756512,"id":"Q3756512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$188BD635-E305-43E8-B0CD-9A94CC9141D7","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":"Q760506$B47861E7-3B99-41A6-B539-1781507C800F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$769CCB40-48DA-4471-8D59-A5D042BD5B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d318826bc58c829032a8b2e8c408d8065fb2fb","datavalue":{"value":{"entity-type":"item","numeric-id":3664414,"id":"Q3664414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$3541A340-23D7-4F21-B425-0EB7E7A67B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$A4AFD79D-DAEB-474E-A308-38080938AD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20cfc018ab6e5a56059403136b49d5687c82de8","datavalue":{"value":{"entity-type":"item","numeric-id":4135772,"id":"Q4135772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$BF401AB6-B5F8-40A2-9E22-DA0B4A8D66BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e54b2bb0ead9149617d0c18f40eedd98f0e33c3","datavalue":{"value":{"entity-type":"item","numeric-id":797574,"id":"Q797574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$A9EF14F3-097D-4A95-91F7-8E92113B9D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d48410a7583156d1131964150b5eab11998283a","datavalue":{"value":{"entity-type":"item","numeric-id":4105657,"id":"Q4105657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$590EE640-F839-4336-B112-35A9E4B41559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff21b5c1a7c9c8774ea02f578e47b80ff5431ec","datavalue":{"value":{"entity-type":"item","numeric-id":793015,"id":"Q793015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$CB5138B2-DD79-4A63-B734-E3458FFD8D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dcaab58af02ada953cca0d37a6a9914471dad2f","datavalue":{"value":{"entity-type":"item","numeric-id":1158531,"id":"Q1158531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760506$E264D8BE-6C67-4378-AF7B-C7AA423D2F90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c051d649f1e57734cde958866fb69252e698c2","datavalue":{"value":{"entity-type":"item","numeric-id":4384697,"id":"Q4384697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a552b52ceb318afb64603efd05fc117cd1577182","datavalue":{"value":{"amount":"+0.8185827136039734","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":"Q760506$E7C634AE-69FC-4716-88E7-AE470DEFC6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"885b63461f656b92cd372231f1a1a4b3c2770757","datavalue":{"value":{"entity-type":"item","numeric-id":4469472,"id":"Q4469472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06bb20d44dd92680891fc7139abec0ddfb5d7de2","datavalue":{"value":{"amount":"+0.8183759450912476","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":"Q760506$7C7A1239-9040-4886-B649-1F93FB5AA82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16cbf32847de6222942cb9001b5350600e9b9124","datavalue":{"value":{"entity-type":"item","numeric-id":5748110,"id":"Q5748110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c721f5734a1f843cd0df850353e15cb0e2fb6f","datavalue":{"value":{"amount":"+0.8005930781364441","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":"Q760506$5E0F3395-3C04-4DC9-98FF-E211A5745928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f42342d4b528ceb344ce281ee919758a3ccffb13","datavalue":{"value":{"entity-type":"item","numeric-id":4621410,"id":"Q4621410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3c10d29d07353776b8fdad998280c66cf15ae0","datavalue":{"value":{"amount":"+0.7994619607925415","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":"Q760506$F2659783-1132-48C4-B785-C191A7F44475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"701f99d237dc39a1f803e3f7c3a0a291555bc922","datavalue":{"value":{"entity-type":"item","numeric-id":793015,"id":"Q793015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d15cc96ce94bc4e5dafa516f2af7987b422c58","datavalue":{"value":{"amount":"+0.7923990488052368","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":"Q760506$818FF9D5-4AED-44EE-BE03-E5F2B9E81F4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite complete rewriting systems for the Jantzen monoid and the Greendlinger group","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_complete_rewriting_systems_for_the_Jantzen_monoid_and_the_Greendlinger_group"}}}}}