{"entities":{"Q3816994":{"pageid":5846900,"ns":120,"title":"Item:Q3816994","lastrevid":53699708,"modified":"2026-01-25T14:06:33Z","type":"item","id":"Q3816994","labels":{"en":{"language":"en","value":"Hotz-isomorphism theorems in formal language theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4088953"}},"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":"Q3816994$53A4E358-EF21-4607-8F00-0F0583326269","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52835377c79094eaac1dd39b6e146b3044bcd6a6","datavalue":{"value":{"text":"Hotz-isomorphism theorems in formal language theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3816994$C594A523-8159-40DB-B914-85FD745E4FBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2b7bd6dbb154a747ebb662628a4b8dd92bb72d4","datavalue":{"value":"0665.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816994$B1C9A970-6954-4751-BB06-3502FD71CCB1","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":"Q3816994$AD0DB8BF-933C-4AB1-86A1-6FCEF815CFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49199d4269aedeea87748c65769310647c63baa4","datavalue":{"value":{"entity-type":"item","numeric-id":788818,"id":"Q788818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3816994$DBB7888F-DFD2-4C03-9DEB-45A6B6E56110","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3816994$7148CCC4-E906-4906-89B1-F9F9FF42CE7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3816994$DEDEE61D-7B62-47F8-831C-F15D3638D0E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"956b4e00a80b3f72ac0a680cbdf56014b4b1d49a","datavalue":{"value":"https://eudml.org/doc/92321","type":"string"},"datatype":"url"},"type":"statement","id":"Q3816994$2A0B6659-C626-43B5-AE23-D1E3E1F84AE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816994$84B7B89F-36BF-431E-BB8B-218F61037AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816994$BD4594EF-04B8-43C8-86D2-13F33C7FD86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816994$DE0071C8-9AB2-4575-8839-6FCB7823F942","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c71fc9a187ca71a3408e07c3da33636ceb3d01a","datavalue":{"value":"4088953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816994$13378350-EC85-4B9D-941E-014AD552FDF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf34c5a3fa90f3f7bdf7f53ca2fc788a9cb31652","datavalue":{"value":"equivalence of context-free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816994$7094C9FA-F71A-428B-99D3-A6F20692FF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea8e385a4a00d2e67daff7585b01e6825e1faf4b","datavalue":{"value":"Hotz group","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816994$6096F380-00C6-41F7-9CE4-3395AF24C570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cd34ebcfb4f9f9839976149c705abb5b417808e","datavalue":{"value":"Hotz isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816994$C2713E3D-F10C-41F8-B7A0-E2BED07093FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fac6a5e74f14cfd6f2c0c5e9043b54ec87a37598","datavalue":{"value":"finitely presentable group","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816994$B75FF564-B30D-4A5C-968E-22C35F721538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d582d643ea9cbac12fde303cd3409549999016e","datavalue":{"value":"Hotz monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816994$685D31BE-F7CF-419F-9DBA-2C3BADBDFE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816994$31006C6C-8775-41EE-8540-41CBF6E40CC0","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":"Q3816994$6E009BEF-F808-4CC0-922D-01F491191D04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c04f1eb88e08fbb7545066b57a5e11bfb1e9d008","datavalue":{"value":"W187695367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816994$78795948-B9BD-4A91-8981-0FB758CCE4FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3816994$2CC8C7CE-765F-4BF2-A2D0-974F725413EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28721b167a579c08cd8903b167d6e9d6473d97f","datavalue":{"value":{"entity-type":"item","numeric-id":1088413,"id":"Q1088413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3816994$D78721AF-6418-4648-93F9-AB011991DC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"415ac7432d9615f9392f9b6d11dd931a4a87d18d","datavalue":{"value":{"entity-type":"item","numeric-id":1822520,"id":"Q1822520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3816994$7D7371B8-263D-4929-946A-95F3EDE1D37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a330e12e2e4b0569bb78a5dea3a56f9da4e74047","datavalue":{"value":{"entity-type":"item","numeric-id":1169822,"id":"Q1169822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3816994$0D8450EC-D4E5-43FA-B1FE-F41E9586F5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090d7f9d3de29bf9843ba8df5c25a274362807ed","datavalue":{"value":{"entity-type":"item","numeric-id":1146530,"id":"Q1146530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3816994$69A7F1C3-1A94-4C4B-8E7B-2C06ECCF5F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3816994$BF60DA0A-51B6-4E15-BD9C-3699D5BAA014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8340e02bc09ec5236d35c0ac4bb34c9565c43d8","datavalue":{"value":{"entity-type":"item","numeric-id":795513,"id":"Q795513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3816994$89875315-6CCB-4DAC-AB79-3F74781754CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27e6d1faf7ce29f7e85a1877bb086108cb18ddc4","datavalue":{"value":"10.1051/ITA/1989230100291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816994$85CB17FC-5A88-4E6F-864F-CF8F0DA323CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3816994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3816994"}}}}}