{"entities":{"Q1067781":{"pageid":1078533,"ns":120,"title":"Item:Q1067781","lastrevid":48880477,"modified":"2026-01-06T01:56:32Z","type":"item","id":"Q1067781","labels":{"en":{"language":"en","value":"A note on a special one-rule semi-Thue system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3930338"}},"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":"Q1067781$C4B7A44D-D7B4-4E29-99D0-52A4F03A6011","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9543857e49a4d473eb76df073b6ef3029afae4f9","datavalue":{"value":{"text":"A note on a special one-rule semi-Thue system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1067781$2830E1B3-3F7C-41F9-9558-CBBDE7AB857A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd668f905e60c994b6b879fb191c9f0022b57276","datavalue":{"value":"0581.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067781$2187E9F2-E380-448E-A58B-A7443DE642E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a2477e03a0f8001afa13369fe32ad8dab5f8445","datavalue":{"value":"10.1016/0020-0190(85)90018-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067781$7BFFABDA-3224-46E4-A19B-131A30C78EC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b7c4206a91812d650d472fa3b3ce96a70a084da","datavalue":{"value":{"entity-type":"item","numeric-id":795512,"id":"Q795512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067781$CC0E1FB9-5BDC-43D5-BB10-BADEBE146D40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067781$B9E0F4C5-F509-4507-A440-F21FA31F8928","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1067781$96E71B83-4E36-47AA-A976-2DB3BBFD972E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8d7c88bac62d6dd2293f53925d33a99c4b4a5630","datavalue":{"value":"The quotient monoid \\(G_ 1=[a,b;abba=\\lambda]\\) is characterized as a nontrivial semidirect product of \\({\\mathbb{Z}}\\) by \\({\\mathbb{Z}}\\) which is not a context-free group. The presentation of this monoid, the Thue system \\(S_ 1=\\{(abba,\\lambda)\\}\\), is shown to have no equivalent finite complete (i.e. uniquely terminating) semi-Thue system on the same alphabet that generates the same congruence. This work corrects the author's work in Lect. Notes Comput. Sci. 176, 80-95 (1984; Zbl 0553.03025).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067781$30DA5F75-AC10-4522-A2A1-DC2B07259450","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067781$AA3C670B-0CE9-4252-A8DF-E5297FF4CFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067781$5F19550C-43D7-472A-8F9B-0307FD186719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067781$67E3D467-000E-4D84-95CF-94DBAE1C0D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067781$A2A7F19C-D698-4E6A-8689-C861F0D28C27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dc4ed224705b4e6ed8bfc450bd52856787f50f8","datavalue":{"value":"3930338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067781$F5AE880A-751D-46E9-9334-70F126F19BE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56cce994c9296b1cf90a07f9b729595e886da1b7","datavalue":{"value":"complete rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067781$E8A70A80-553E-4999-8DF9-2961E40761BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067781$6A3568F8-D97A-4857-8518-72ACEDDE749A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ad5b3fe53d1d161ee5ccfa9014cc481d072877d","datavalue":{"value":"quotient monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067781$450EC9F5-6D99-41A1-8FEB-0DEEA13B876D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"121d3cd06600b0c796ffebf43959f5eb0036e791","datavalue":{"value":"Thue system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067781$6A97795A-8C10-4C4F-8424-7D5A63E8DC28","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":"Q1067781$3EB20061-5D32-4A6A-BB91-4C64C478452F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1813b5fc3c12c77c63166a00a73d5f5b51630399","datavalue":{"value":"https://doi.org/10.1016/0020-0190(85)90018-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1067781$EEA872CF-33A3-4C35-8DFB-B4ED959440ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd0824ad3db2f184c2231438eb0ab92d531f6001","datavalue":{"value":"W2048613608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067781$32010AE4-EDCD-4D86-A4D5-1385E00014C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ed2635b92a0fcffe0089ab3fcfb67f37c400b","datavalue":{"value":{"entity-type":"item","numeric-id":791314,"id":"Q791314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067781$C7F4ADEB-4784-4B2C-81A6-A92B14B19762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a5beb4ffbe4d8447ef8b9d68fdfb1a8b24a65e","datavalue":{"value":{"entity-type":"item","numeric-id":3677188,"id":"Q3677188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067781$6041F78A-E140-4F2E-B2ED-7D17168FA57C","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":"Q1067781$CAC85D34-A014-4B51-9DAE-5AA0BFC8144B","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":"Q1067781$E23450A2-9E77-4FC7-8320-54F77278093C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b114fae27b749e7809a785f6aa98a8388c7a10","datavalue":{"value":{"entity-type":"item","numeric-id":3346296,"id":"Q3346296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067781$A3EC1E9F-A788-4FC9-85AC-109AC4AFC503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af188522ee36dfbc40e8063345c06265fc901ae","datavalue":{"value":{"entity-type":"item","numeric-id":792454,"id":"Q792454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067781$61F96391-7A36-4A9C-94AB-6249EBAEB0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b7c00d3d50c3cdcc2a83c1b07ea5bd3540fb34","datavalue":{"value":{"entity-type":"item","numeric-id":760506,"id":"Q760506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067781$33CB09FE-9C51-41A5-93F5-FAD5DF7EC492","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":"Q1067781$FB7C0F54-0362-43A2-B3AD-2D4E620AD394","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":"Q1067781$87EF3B19-F447-4CE5-A0AA-44C2F8D623A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6f97075c9e566eb88e5373b97941bd0df42ec26","datavalue":{"value":{"entity-type":"item","numeric-id":1087012,"id":"Q1087012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa6775fd8fe21258d777582e3c64ddc26f0d5cb","datavalue":{"value":{"amount":"+0.7923093438148499","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":"Q1067781$D26CF81C-F314-4D8A-BED1-251124F08D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7fb917ab86bed9f7c8506bd3dcb053612a6fc4","datavalue":{"value":{"entity-type":"item","numeric-id":5055868,"id":"Q5055868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f2ba759d9187220ecd8b7ce3fb054726bf71542","datavalue":{"value":{"amount":"+0.7893855571746826","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":"Q1067781$36BA2B45-1132-43E0-A52A-6FA70827C0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b5485509d54f045e6acb28bdd191350adcfdd5","datavalue":{"value":{"entity-type":"item","numeric-id":4333131,"id":"Q4333131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a77d9d6a5666e0949a1dffc8e86e1617d70aa2","datavalue":{"value":{"amount":"+0.7874919772148132","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":"Q1067781$C02D63BA-4C1D-4788-B7E1-FC6B3A9AD37E","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":"29c34ad22594aa5255181b2d502bbcfb8d0f6b09","datavalue":{"value":{"amount":"+0.7837139368057251","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":"Q1067781$17D352A8-6E0D-44FE-B7A3-3054E71F27D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7f7e38e7745042ff6fbb36ffdca246107ac327","datavalue":{"value":{"entity-type":"item","numeric-id":1089108,"id":"Q1089108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ecbfb2eba68be2839428e2bbee14ffaca6dd735","datavalue":{"value":{"amount":"+0.7813326120376587","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":"Q1067781$03D45876-A142-4FDB-82C6-F6CC2A07B435","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1067781","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1067781"}}}}}