{"entities":{"Q4265533":{"pageid":6295134,"ns":120,"title":"Item:Q4265533","lastrevid":89297735,"modified":"2026-06-04T16:54:24Z","type":"item","id":"Q4265533","labels":{"en":{"language":"en","value":"Undecidability of the equivalence of finite substitutions on regular language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1339735"}},"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":"Q4265533$8899E06C-67C3-4EE1-B5DC-1F4465A4F383","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90093d009da71cbd2c83bc0c5be7aed83eb6d83c","datavalue":{"value":{"text":"Undecidability of the equivalence of finite substitutions on regular language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4265533$B4AFA65A-3898-4851-800C-65B57991452A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4c960ca7ae0fe329feadbb49e0423c6a58d5318","datavalue":{"value":"0946.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4265533$41A7DA45-C613-4B46-8E3D-0165566BA6B3","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":"Q4265533$85483780-3DE8-4B07-8F4B-443E492F8923","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4265533$069D6819-BF54-4736-9CCE-D5F17613426F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03e2df505121d8aed01441314a46c560c25de8c9","datavalue":{"value":"https://eudml.org/doc/222067","type":"string"},"datatype":"url"},"type":"statement","id":"Q4265533$EC745393-658A-47F2-85C0-2906A58F530E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f15c2c9f8d9b7950587a6ebb08bed148b68e8982","datavalue":{"value":"https://semanticscholar.org/paper/78bdc38e49dfe7a0060175fbc6a8d5d04aaa4344","type":"string"},"datatype":"url"},"type":"statement","id":"Q4265533$8729BD97-A59A-4589-9B8F-437CCB7694BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4265533$4D9E7342-E120-4934-8997-5D1711FDD960","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08a3aa29f524a73346ecc84b857b4bcae07054cf","datavalue":{"value":"1339735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4265533$E85A6DFD-3068-4489-B0F3-CCAFA705F7E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4265533$F4ED01F0-40D2-44FD-A7AD-4111C3584C5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59d83211de22bb9037eb8bb17627d49ead9fa4a9","datavalue":{"value":{"entity-type":"item","numeric-id":287018,"id":"Q287018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4265533$25A94BD8-5318-4F29-A7C6-63E8479367C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1040094bf74402ed6fa4c78436dda64e324757","datavalue":{"value":{"entity-type":"item","numeric-id":1806108,"id":"Q1806108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4265533$A47741D7-077B-4F0A-B5A3-E73D9DA91677","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":"Q4265533$5D553EE4-E4C7-468C-A7F3-FFF5881A842C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e1b727e623c48236e1af93f29b242d6459a8af7","datavalue":{"value":"W2038537628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4265533$31CBAA83-EA25-492D-991B-524E5570DE4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10bef98d11a3e0146160c917132fc8030efb4d15","datavalue":{"value":{"entity-type":"item","numeric-id":4265634,"id":"Q4265634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4265533$29C477AC-F8BE-4F02-AD5C-02FBE4E21170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d56f27fe5eeaa2d54f61a94ac4dd3b28207cbf","datavalue":{"value":{"entity-type":"item","numeric-id":685449,"id":"Q685449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4265533$24480BC1-E26A-41B6-BF5D-5A00C67ECC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c65e72a5f95ee5cbbd6918593c0dbea1f41e935","datavalue":{"value":{"entity-type":"item","numeric-id":4007371,"id":"Q4007371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4265533$CE1067F8-FE00-433A-BBB4-D46915EE852F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5cae07197cf2c6a0eb103db2cef8a9988407e8","datavalue":{"value":{"entity-type":"item","numeric-id":4366889,"id":"Q4366889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4265533$F62E7CC3-4BB4-40EF-9B95-DA657096DC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e0ba1da625300ea328cdcafe1301baef46d87b","datavalue":{"value":{"entity-type":"item","numeric-id":1269922,"id":"Q1269922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4265533$F7339CEF-6E8D-4C87-8559-37E0CA384353","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"691ddeec41ab0050512820cc4c614324b092cf8a","datavalue":{"value":"10.1051/ITA:1999109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4265533$700D9852-B7A9-425C-AD36-F78409A31275","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08f05ab0635bc516bdff060597f2bbd11302d5c1","datavalue":{"value":{"entity-type":"item","numeric-id":4737210,"id":"Q4737210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c5d77302ee1ed99186794e93e8e163f1cde15c1","datavalue":{"value":{"amount":"+0.9008525013923644","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":"Q4265533$A6AD0C2D-FAB6-4C2D-AD0E-86D02C9CC130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd52b091f13ea31d51cc56edbf54c449d1683e5","datavalue":{"value":{"entity-type":"item","numeric-id":5696933,"id":"Q5696933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56788fce24b050e84fd999172b34f289586f09fe","datavalue":{"value":{"amount":"+0.8908765316009521","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":"Q4265533$5ABA45DB-8860-40A6-B591-EB448CC187E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27bfe2df57f0f89c4e9ca718694f7af9842590f","datavalue":{"value":{"entity-type":"item","numeric-id":5444976,"id":"Q5444976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17c1dae6ba4c807bc1bd1f530d39673acc00a056","datavalue":{"value":{"amount":"+0.8847453594207764","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":"Q4265533$AD4A3043-D1BE-47EA-9AD7-000755252D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356dfb68a41d02f90ee725380b8e644f6d90f1cb","datavalue":{"value":{"entity-type":"item","numeric-id":4366889,"id":"Q4366889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d858c0bb4f41aab8e80be96faa16462f6fa3a99d","datavalue":{"value":{"amount":"+0.8727665543556213","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":"Q4265533$387BBF61-32E7-40E4-B31B-FD5074E09670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf982f5ef5816ef850e5bd08a547e322f384a13a","datavalue":{"value":{"entity-type":"item","numeric-id":1840955,"id":"Q1840955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"644a904c464831551ae1bf69a5209d470e020675","datavalue":{"value":{"amount":"+0.8671923875808716","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":"Q4265533$64691840-F5D1-44AB-89CB-5194288F92C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of the equivalence of finite substitutions on regular language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_the_equivalence_of_finite_substitutions_on_regular_language"}}}}}