{"entities":{"Q793015":{"pageid":794863,"ns":120,"title":"Item:Q793015","lastrevid":64377081,"modified":"2026-04-11T19:27:07Z","type":"item","id":"Q793015","labels":{"en":{"language":"en","value":"Remarks on an example of Jantzen"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3855084"}},"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":"Q793015$F830CEA4-6317-4224-8B5D-158F3D39D0D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f764a31ecc735295f6f3b10cc2071427f31674c","datavalue":{"value":{"text":"Remarks on an example of Jantzen","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793015$3C5DBEF2-262E-4CAC-98F3-0BDE4D084656","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f80415e9b74e03c5a91d39d8a5b8b5ae47584b82","datavalue":{"value":"0538.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793015$4635ACCC-D0D7-459F-8805-54C53572506A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6ad3a42644fd5fb3b455f62bdb417ef59205546","datavalue":{"value":"10.1016/0304-3975(84)90003-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793015$AB1CB0A2-D4D5-42A4-9F3C-55F5702D94B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3df1a324620d2c6ecc89393b9770808484ba89ff","datavalue":{"value":{"entity-type":"item","numeric-id":793014,"id":"Q793014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793015$6A99CCA2-E2F3-4BC7-BE0A-F737C97908B5","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":"Q793015$2B0132B2-BB0E-4D12-9366-D3841B80784C","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":"Q793015$05AA990B-762A-46ED-BF3C-1F1092F4310F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b0dcd39eabd8443a918301d5211060d4e8d2e67a","datavalue":{"value":"The paper presents an alternative proof of a theorem of Jantzen to the effect that the monoid J presented by the one rule (abbaab,1) is Church- Rosser. The author's introduction notes ''Book showed that if S is a finite monadic Church-Rosser Thue system, then every congruence class is a deterministic context-free language... Jantzen showed that the condition Church-Rosser could not be left out, even for one-rule special Thue systems, for he showed that his example has the property that no congruence class is a context free language and that there is no equivalent Church-Rosser Thue system on \\(\\{\\) a,\\(b\\}\\).'' In the current paper, an alternate presentation of J which solves the word problem is given. ''... we construct an equivalent infinite Thue system which is locally confluent but not noetherian... the equivalent system can be used to generate an algorithm which produced a unique normal form for each word; furthermore, two words are congruent if and only if they have the same normal form... [the] result is established by transforming the original monoid which has two generators, into a four generator monoid for which the corresponding Thue system can be extended to an infinite locally confluent and noetherian system.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q793015$3F4026AF-23D5-4E44-83C5-8CC28DA7BE36","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bab6095f1b641fc3add262714cd80d4bd006795a","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793015$F26C15A3-0D9C-48D6-8A6B-F00D7D963CED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793015$8F35C4A1-8DF5-4E3E-8909-FF6A2F1FCCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793015$4E5C7347-886F-4BE2-BF0B-FD8083DF9382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793015$19CA057B-DA83-4506-94AE-819A51ABCBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793015$C27BB47E-C1B7-40B6-89AF-BB59647B62A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ef0b54319c6484aa689cd646b50a268c6ccd2ce","datavalue":{"value":"3855084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793015$69FC591B-8B95-4177-AEFF-BBCAB0616F57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q793015$AFCD974B-C947-4D57-B0CA-C009A55AB589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf6bb764f1e68c33b7d492fcddf8dcfc4d59eaa","datavalue":{"value":"Church-Rosser Thue system","type":"string"},"datatype":"string"},"type":"statement","id":"Q793015$1953E252-619B-45BE-A887-F0FF3B8C1496","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":"Q793015$12FCE1C5-03FA-469B-8B7E-111078B0595B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49db7baeb7ee6e93d8869fa96859fff3ae5898db","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90003-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q793015$C0855AC5-F986-4740-93AC-9F1443C3D498","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7dae170879a8ff963389235b5d5a3c210fcfcf43","datavalue":{"value":"W2073904319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793015$82C36EC2-6983-4CAE-9627-3085CBB1D992","rank":"normal"}],"P223":[{"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":"Q793015$04B6F864-B8B6-41A1-A307-CE04FEA87582","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":"Q793015$DE64BA06-4619-40EF-A87E-F207DBA6DC03","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":"Q793015$FCFDF478-D061-43F2-A5A2-44AF6F07DB60","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":"Q793015$271CD36B-DEE6-4755-A6A9-1223A8EA2C66","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":"Q793015$169540CB-DC5D-4DC1-8AF3-355B7AEE17E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdf147337c6e57e84083a9c2ab78522701abf74","datavalue":{"value":{"entity-type":"item","numeric-id":5602108,"id":"Q5602108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793015$A838635A-0796-4E6C-9A92-92C69D1D44B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"823e2328202f2501bb4c0a3bf0d9b4af246ee89b","datavalue":{"value":{"entity-type":"item","numeric-id":5513066,"id":"Q5513066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793015$510746C6-CB26-4959-B6C1-DECF4DBE8DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7308904c25699725e27878eb09aa21880049698e","datavalue":{"value":{"entity-type":"item","numeric-id":4740555,"id":"Q4740555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793015$5D012588-DE78-4FB8-A5FD-C27D25848E08","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1cf7b72b676babcae4aa2bece328271946aadf17","datavalue":{"value":"Q127957424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793015$71D5EA93-5E52-4836-B571-E80E1B42AF61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7589ce1f8754e0935383b6de08cab0172110697b","datavalue":{"value":{"entity-type":"item","numeric-id":760506,"id":"Q760506"},"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":"Q793015$A0C93DF6-3AEB-4121-B22D-5E89D92D2D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545bd2f0c9afb2f46797331efb66242fabaa0f67","datavalue":{"value":{"entity-type":"item","numeric-id":3346296,"id":"Q3346296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42a35fd1eef32ae5a21dc25f3ea4a91695e7112","datavalue":{"value":{"amount":"+0.791966438293457","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":"Q793015$C91895F9-2A55-42B7-95F3-FE4F265DDE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2517caf0f008e6eb77f6e09e90ab8e7db5e5af4b","datavalue":{"value":{"entity-type":"item","numeric-id":3775715,"id":"Q3775715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067834d1c9d8186455002ca3c5c98f923bfc51e8","datavalue":{"value":{"amount":"+0.7868257164955139","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":"Q793015$974588DD-2765-4FCC-8532-A9B2E5B3B1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5a70f64e8562a2efa7f2f1335489655dd66080","datavalue":{"value":{"entity-type":"item","numeric-id":3741791,"id":"Q3741791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07f3951fd4e53218b09d73e9ed9e12c461414f6d","datavalue":{"value":{"amount":"+0.76470947265625","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":"Q793015$D4BDC25A-A788-4294-842F-DC8AC2E7D70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78bec4018938b95745d558cf4b569b25f3b77aa4","datavalue":{"value":{"entity-type":"item","numeric-id":3718694,"id":"Q3718694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b2f75fee313dd14d89f5f1d3fae35b17cd7901","datavalue":{"value":{"amount":"+0.7617390751838684","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":"Q793015$E1325105-D935-4726-9A8F-9DA173487E48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Remarks on an example of Jantzen","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Remarks_on_an_example_of_Jantzen"}}}}}