{"entities":{"Q714818":{"pageid":716667,"ns":120,"title":"Item:Q714818","lastrevid":63765969,"modified":"2026-04-11T15:23:57Z","type":"item","id":"Q714818","labels":{"en":{"language":"en","value":"Star-free languages are Church-Rosser congruential"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6093036"}},"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":"Q714818$0250D937-1459-4BE4-843E-658FEFFC9E84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8e776b7d642b0c8cac7a8f4ba8ec335f367a7c4","datavalue":{"value":{"text":"Star-free languages are Church-Rosser congruential","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q714818$BD474B03-DAFD-492C-8615-D50D5301D5B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"596187eff34a328d87706274e364cb69ecc53d29","datavalue":{"value":"1279.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714818$A996907A-C5A1-48EB-8BF5-DE0482753E76","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":"Q714818$CDE7942D-B6FC-428C-92B5-A02497560DC7","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":"Q714818$6054C63A-14C9-4D46-B484-248A2D836501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2226755ce7b891c6e6ed64b8807df159e949df0e","datavalue":{"value":{"entity-type":"item","numeric-id":711614,"id":"Q711614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714818$A6F05C6A-D12C-4617-B2ED-51DB619FEC1E","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":"Q714818$AFE6C5AF-541A-44F6-B64E-F100B131424F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"627a9c6691e92dc7a2f0927bf16af5db49918284","datavalue":{"value":{"time":"+2012-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q714818$F70090A2-3649-4C7D-AF7B-F13E4C2B24C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58e648e5de7560c89fe2c08dcdc3cb406730693d","datavalue":{"value":"https://arxiv.org/abs/1111.4300","type":"string"},"datatype":"url"},"type":"statement","id":"Q714818$2A3C9475-2323-40BB-A86F-D3FF9306F090","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714818$C69F9744-BF0F-4B8D-B589-F229145B282A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc42de4d3e0c3dda38cbdf4a35742222a362f3b8","datavalue":{"value":"6093036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714818$2A2AF4C4-AE40-4A30-868A-9B44E14FB7C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a59c985dd3aa9be5ee556ed3da954f03c5904f","datavalue":{"value":"string rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q714818$10540B97-83CE-4518-A24D-99B6798AD873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc2f3b109429290add33c746931457382ae542a1","datavalue":{"value":"Church-Rosser system","type":"string"},"datatype":"string"},"type":"statement","id":"Q714818$BB93EAC6-7E4F-42A8-B5B7-ABB4BB90FD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53bdfb6af04f8c9f5906a0ff7ad737be573370f4","datavalue":{"value":"star-free language","type":"string"},"datatype":"string"},"type":"statement","id":"Q714818$7B6D44C8-0AE9-4C77-82FB-CF4E79E96E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e530128c35e1484ef9d13700b8e4e9929cc989e","datavalue":{"value":"aperiodic monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q714818$248FFB4E-8140-48CF-B4D2-F35049C993CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cddc269d881f08df8cb70e6947fca27900b9fab1","datavalue":{"value":"local divisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q714818$3142AAAE-4609-4024-88FA-6E45D8A49EA6","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":"Q714818$B8DD2ED9-5DE8-42F0-B901-D80519196BE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a866c32c8993af094ac6d9be0199b77108c97053","datavalue":{"value":"W1975372170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714818$443551CE-3B54-4655-B4D7-C1817129B0FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed85cd03af69b0b3414e61da74ab7e3d313c1c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5564342,"id":"Q5564342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714818$7130EA99-90DE-4113-B9DB-9D77BE7AB5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5be2cfdc456062ac293d666a4fb2ca8a6ad452","datavalue":{"value":{"entity-type":"item","numeric-id":859824,"id":"Q859824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714818$39356BD0-D0AD-4356-BDB2-ADDEFE0B550D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847bdb99cb33a5f1424e34bd2acf52aa81768716","datavalue":{"value":{"entity-type":"item","numeric-id":3086925,"id":"Q3086925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714818$DB6A6A51-F2D3-48F2-84A1-A9B3C7C06817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b996c64db99670728b3943ae82699501f73902","datavalue":{"value":{"entity-type":"item","numeric-id":2893300,"id":"Q2893300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714818$B7C8F08C-B5F2-415C-A061-BFDD78B970C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714818$CFA6C35E-A6BD-4A5E-BC5D-D12EFC82CF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01b32f08130a44f4ffd0fb7baa0d3f8f650a7c","datavalue":{"value":{"entity-type":"item","numeric-id":5526129,"id":"Q5526129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714818$A7829A12-1CA1-46D3-9738-1912F94F479F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7748e3b3234df9858cc64324ecb25fec8864d7bb","datavalue":{"value":{"entity-type":"item","numeric-id":3798271,"id":"Q3798271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714818$D793AB31-645A-4E5B-8BBC-18FD84C9E04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714818$2798671B-9282-45F7-89D9-727D519FB83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dbe1a18e49eafc4e48a075e8a30b7a9bb67ee8a","datavalue":{"value":{"entity-type":"item","numeric-id":2557762,"id":"Q2557762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714818$C7EA0368-8818-4E68-B06B-8B9AAC5DC93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbeca0f4934cc98db946507723506f7c56530f0","datavalue":{"value":{"entity-type":"item","numeric-id":1776398,"id":"Q1776398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714818$2A343DEA-4599-49C6-8DA5-C916A7AC50BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff79bef9c1bd7c2a5de5f98e61064b5c637a7c08","datavalue":{"value":{"entity-type":"item","numeric-id":4737920,"id":"Q4737920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714818$CD48466B-E648-43F6-AC10-1480198E5F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ad8643cf2a646d0d700aa2cdb427a9790787a6","datavalue":{"value":{"entity-type":"item","numeric-id":5302760,"id":"Q5302760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714818$06AD73D0-2B2A-4C45-98DB-36C6305DBBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714818$1E1628E9-4746-49E3-AF4D-7DB1490E6772","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10639605072f597990fcb6130e51fd66d2c4206e","datavalue":{"value":"10.1016/J.TCS.2012.01.028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714818$559DD822-2992-4038-9ED5-3AA5A98C3E3E","rank":"normal"}],"P1643":[{"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":"76c20e746dcaf997a51e736ef1112f42fb672209","datavalue":{"value":{"amount":"+0.8525823950767517","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":"Q714818$8C03BAD4-DD41-4C3D-83B1-B33B4B25F91F","rank":"normal"},{"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":"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":"Q714818$625C5C65-2CFF-4B45-98FA-92337385D3D7","rank":"normal"},{"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":"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":"Q714818$996F9B95-ED52-487B-81BD-B52D84701A21","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":"ada213ad91c5e1373e5255ae5088158ba0a38c1a","datavalue":{"value":{"amount":"+0.8087422251701355","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":"Q714818$7403FD0B-27C7-4889-AF8D-86B59C5AF8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccf5d3cc76b41f2cef98da1ea797c737ba4ececf","datavalue":{"value":{"entity-type":"item","numeric-id":3401476,"id":"Q3401476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6acab7596ad6e55d82bea5762eeb1d2442648e6","datavalue":{"value":{"amount":"+0.8001278042793274","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":"Q714818$E19CEBD1-C925-42BC-8DF7-722B5D5000AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Star-free languages are Church-Rosser congruential","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Star-free_languages_are_Church-Rosser_congruential"}}}}}