{"entities":{"Q5894973":{"pageid":7934085,"ns":120,"title":"Item:Q5894973","lastrevid":51586817,"modified":"2026-01-18T22:27:52Z","type":"item","id":"Q5894973","labels":{"en":{"language":"en","value":"Regular languages are Church-Rosser congruential"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6101144"}},"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":"Q5894973$C83ABC98-CDB1-4A3F-8DB3-9FCF212D5923","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":"Q5894973$8025F0C2-A8DD-49A8-8448-A7A5B3A023B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47610aa44203e65f525293223fb269ac2d14d1bb","datavalue":{"value":"1367.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894973$2260C9F5-1E2D-4771-8B35-A4E9D76CBEAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe6f10744f39493fab59fef05b563d714ae4ce90","datavalue":{"value":"10.1007/978-3-642-31585-5_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894973$083DA187-114B-4579-B95E-538B10F74CE9","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":"Q5894973$1A6D8C50-91E8-411F-91FF-DAEEE38EC27F","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":"Q5894973$EEC1459E-F019-44C1-A88B-89672159F21C","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":"Q5894973$E9A95C18-99C5-437B-B636-FB23C604799D","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":"Q5894973$0DE45CAA-1BE3-44F4-AF6F-791A41276A93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894973$B43042CB-B955-4583-A9A3-7EAB96506534","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df6cbd049611c29872719c16270d47690fbfe6cd","datavalue":{"value":{"time":"+2012-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5894973$8F559BC9-1E59-42D1-AC10-2EFCD853AA6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80f4f5a835d3f9b8e4db5c17bf4ffa359503233d","datavalue":{"value":"https://dspace.lboro.ac.uk/2134/31954","type":"string"},"datatype":"url"},"type":"statement","id":"Q5894973$99FCA242-64EE-4E2C-B430-3F94DAB8B9B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894973$C10566D2-33A6-4A95-8D4F-FD8A184C4A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894973$4437AFF7-ADC7-4085-9754-1BAFE4AE37E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894973$98C7F0E5-66AE-4AF5-B4B8-E7BBEBB23CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894973$3350C533-A098-4F8C-A087-C86B9FAA9B25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6167c6e166485d9d01d9c780515844aa5564f059","datavalue":{"value":"6101144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894973$1EDD6C9E-FB3D-428B-94B2-4CA717A055E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a59c985dd3aa9be5ee556ed3da954f03c5904f","datavalue":{"value":"string rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894973$C8D0DFD6-982D-41D6-B3C9-919087C6AC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc2f3b109429290add33c746931457382ae542a1","datavalue":{"value":"Church-Rosser system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894973$722211F9-B7DB-462E-9617-0CCE92CEF76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894973$3B994F79-2D77-4379-8A6E-CC40024B136B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"013ea0ae18b29892b5726356388c7d5d42063956","datavalue":{"value":"finite monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894973$DD5C6BB5-6D88-41CD-A006-C75F6D22BB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b96cff283cf7bdf3df41e0714fcb4800fd86cfe6","datavalue":{"value":"finite semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894973$24EF2A7B-C77B-4768-9C35-17610ED79D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cddc269d881f08df8cb70e6947fca27900b9fab1","datavalue":{"value":"local divisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894973$7A14EA2D-8AB8-428E-88A0-9285A0609884","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":"Q5894973$EFF3AC7C-03C4-4752-B544-1C9774C76771","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f31f6796eeb9a49dded0735f89f740326c43257","datavalue":{"value":"W2274187329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894973$03DDC151-D893-40F1-9CAD-24372BE0770B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd65be96a9b5972a72a08f9193a2b51b13a5e017","datavalue":{"value":{"entity-type":"item","numeric-id":5895070,"id":"Q5895070"},"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":"Q5894973$F9F91A21-E6C2-48E8-8C98-50DDE84BA9ED","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":"bb7833ebe1801845b48afdaa8aa106ae30f4de7f","datavalue":{"value":{"amount":"+0.8387896418571472","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":"Q5894973$0438A9C7-4F4A-4BB6-AF1D-982899073551","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":"9e788190316283f6483e49e83940e85c2412af31","datavalue":{"value":{"amount":"+0.8382227420806885","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":"Q5894973$3DCD408F-97C3-40C5-9D68-925A59F21232","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":"c36df0627f2add849f735d2e6b6a9bbcbe12dad8","datavalue":{"value":{"amount":"+0.8057213425636292","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":"Q5894973$03DE1AA6-15C3-4EEA-AA7B-E2A1436EABC1","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":"16cf6c41945d43d9320358a45895316e5392e6fd","datavalue":{"value":{"amount":"+0.8039131164550781","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":"Q5894973$575DC758-7C4C-40C1-8482-C1EA40B06261","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5894973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5894973"}}}}}