{"entities":{"Q5895070":{"pageid":7934254,"ns":120,"title":"Item:Q5895070","lastrevid":58612941,"modified":"2026-04-06T00:22:59Z","type":"item","id":"Q5895070","labels":{"en":{"language":"en","value":"Regular languages are Church-Rosser congruential"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6912554"}},"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":"Q5895070$F6D84817-6663-4308-986C-F3A9E01CCA0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"693fff0f7bd781e8d7a303d479cd00f18775509c","datavalue":{"value":{"text":"Regular Languages Are Church-Rosser Congruential","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5895070$1146DB15-D628-453F-A767-6AD2C7338F2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"411dcccd4f199eeb43401cda03900168eaa81840","datavalue":{"value":"1426.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895070$16BB9D01-33F5-4EBC-9CEE-8C0CC463D0F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77118e8df7a8d7b71a946b2fe0c0f196cea3dade","datavalue":{"value":"10.1145/2808227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895070$8B5A4E0D-64B4-4763-8867-68DFC3CF201C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81c83c28843efefafe1f80734e19c2e6ff309a9c","datavalue":{"value":{"entity-type":"item","numeric-id":213104,"id":"Q213104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895070$61A8FCBA-02AE-47EF-9CA9-FE0CAFC6A89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee0de4af1b7c20aa534acd2585628b6cd288f3b0","datavalue":{"value":{"entity-type":"item","numeric-id":263827,"id":"Q263827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895070$26DEC8E7-062B-4605-B8D3-6ABF88AD2D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"375119068a1f719461582704160eec3401a35a50","datavalue":{"value":{"entity-type":"item","numeric-id":883233,"id":"Q883233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895070$86E3A57B-CA1E-4D46-8DF5-0CFA07C5133A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fea355cf013cd172d035402244dbc73d9f6a71bc","datavalue":{"value":{"entity-type":"item","numeric-id":1635803,"id":"Q1635803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895070$57350253-29ED-4130-989C-A140AE0DBDB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895070$20A22C86-D40F-438A-A313-99761DE1D28F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9aa22cb8a96ecb8781adebec8cb26e1601a98e8","datavalue":{"value":{"time":"+2018-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5895070$6583F277-A3C8-4C0C-816F-0EADCC7BE281","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32ad41e3fe4b04e9f56766f246e082323d41ff6b","datavalue":{"value":"https://arxiv.org/abs/1202.1148","type":"string"},"datatype":"url"},"type":"statement","id":"Q5895070$A1FCD31F-BC23-4A14-8E87-0530D9D4183C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"80f4f5a835d3f9b8e4db5c17bf4ffa359503233d","datavalue":{"value":"https://dspace.lboro.ac.uk/2134/31954","type":"string"},"datatype":"url"},"type":"statement","id":"Q5895070$E5FFEC68-3422-4386-8FF6-6C453E5866DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895070$2C1AE9BD-6EEF-4121-AAE2-6A67D26C9B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895070$4D242217-D679-4EFF-A2AC-3CEACE39FF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895070$A3E37A92-4EB5-4167-8CA1-BEC0326CED10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895070$B0D3D52D-0FF0-4C41-9665-8BF4AF93023B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90d6455d2bea4be786833739030cc22d86f3c31a","datavalue":{"value":"6912554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895070$B925D73D-B21D-4808-A139-7A5E989101AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc2f3b109429290add33c746931457382ae542a1","datavalue":{"value":"Church-Rosser system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895070$7A2E526E-F121-4BF7-94B4-B43EFBFB0D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cddc269d881f08df8cb70e6947fca27900b9fab1","datavalue":{"value":"local divisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895070$E45B5E12-939E-45E0-A41F-D8950D286F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895070$B8BFA0CD-8F41-45B2-93B0-A6E3472B7760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895070$F34CFDB6-80B8-412D-AD53-F68B29CFA58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a59c985dd3aa9be5ee556ed3da954f03c5904f","datavalue":{"value":"string rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895070$EDE0C6A3-8F88-46F8-9205-ABA13760E77C","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":"Q5895070$39C19095-A957-457B-AB9C-9CCB1F34344F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ace83c6442aa644e023080c0e4dfb170c34f4bc8","datavalue":{"value":"W2175851206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895070$2BACC9DA-6FF4-47EE-960D-93537AE497AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa1822477188740df53c8d6789ed349d098263e7","datavalue":{"value":{"entity-type":"item","numeric-id":5894973,"id":"Q5894973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f172f5eed1a2a5362115b1c2bdbe1b8a7676a94a","datavalue":{"value":{"amount":"+0.9309602975845336","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":"Q5895070$F3D06DAA-2D35-4FE0-8F5C-AF23ADBD02A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d50f3c9cae4effd4a1f872b9a2504278a3a1c49f","datavalue":{"value":{"entity-type":"item","numeric-id":1676318,"id":"Q1676318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6524c1ad9cb90b148f41335f57f0b8c807d7d376","datavalue":{"value":{"amount":"+0.8631573915481567","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":"Q5895070$7E25A6BC-C557-4C5D-8118-D6DF943559A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e7e9e0ca34afbc537dae26ea7db8657679992c","datavalue":{"value":{"entity-type":"item","numeric-id":4737920,"id":"Q4737920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a583e9056a0c8d18d0e914a965541cf18559654","datavalue":{"value":{"amount":"+0.84982830286026","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":"Q5895070$807AA420-AA22-4080-B34E-5D3F76DFE224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5171ad32b9c181baa1db3f079c8670b3d45ef7fe","datavalue":{"value":{"entity-type":"item","numeric-id":2346383,"id":"Q2346383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2931a3e1c682a0bc6ed91140cbe4a7102f04a5b3","datavalue":{"value":{"amount":"+0.8325965404510498","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":"Q5895070$E69A353D-A360-4D9A-9342-1053AE7F445D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd406e5a934a0968047aca8a88855913996d91fc","datavalue":{"value":{"entity-type":"item","numeric-id":714818,"id":"Q714818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f86958ee65c1498c420b83ee92da97eb456ba0f7","datavalue":{"value":{"amount":"+0.8232010006904602","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":"Q5895070$71DA8DC9-E354-40DA-BDB8-FB21E4BBDDCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5895070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5895070"}}}}}