{"entities":{"Q792770":{"pageid":794618,"ns":120,"title":"Item:Q792770","lastrevid":64375938,"modified":"2026-04-11T19:26:45Z","type":"item","id":"Q792770","labels":{"en":{"language":"en","value":"On some variants of Post's correspondence problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3854453"}},"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":"Q792770$ACAA858F-9CC8-4D72-BF0B-AD415D3D7580","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6735be4a7e4aa80179e6eab1feaefef284e9238","datavalue":{"value":{"text":"On some variants of Post's correspondence problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792770$DB01741D-54D2-4FDF-99E4-C897CBE19C9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c77eead0b90d3bb568391d280710aa61042c071c","datavalue":{"value":"0537.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792770$6C981812-AF00-4C8C-BCD8-141812D2F209","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c330fba105ae81afc93dac80569a1bf1dbcf3f55","datavalue":{"value":"10.1007/BF00290732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792770$A531F334-0D7B-4E07-854E-1207B42D30C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f953f42059e2c954722b339f8a89040ede9a301a","datavalue":{"value":{"entity-type":"item","numeric-id":599512,"id":"Q599512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792770$8CC3A92A-C5B2-4065-A1F6-981C1E5557E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792770$83301001-E223-471E-BC06-4456DEB5366D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q792770$51F65EC1-40B0-452D-90C6-79BBEDF0988F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0266518776f2b0826a1c15db33188457803ca043","datavalue":{"value":"The author proves the undecidability of several variants of Post's Correspondence Problem (PCP). The n-permutation PCP (n-PPCP) consists in finding out, for any two morphisms \\(f,g:\\Sigma^*_ 1\\to \\Sigma^*_ 2,\\) whether or not \\(f(A)=g(B)\\) for some nonempty words A, B such that \\(A=A_ 1...A_ n\\) and \\(B=A_{p(1)}...A_{p(n)},\\) where \\(A_ 1,...,A_ n\\) are (possibly empty) words and p is an n-permutation; then PCP amounts to 1-PPCP. For each \\(n\\geq 1\\), the n-PPCP is shown to be undecidable (by reducing the emptiness problem for deterministic context- sensitive languages to it via some morphisms on the instantaneous descriptions of deterministic linear bounded automata). A refinement of this proof leads to the undecidability of PCP for circular words, for doubly infinite words, and for doubly infinite powers of words. The author conjectures the undecidability of the following (n,m)-PPCP: for any morphisms f,g, find out whether or not there exists words A, B satisfying the afore-mentioned decomposition relation and such that f(A), g(B) also satisfy this relation with n replaced by m.","type":"string"},"datatype":"string"},"type":"statement","id":"Q792770$AB7F5B38-77D5-42CC-8304-4CD41B4445CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792770$631D4EC5-EECC-4355-9444-04A70342B547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792770$B7D885C3-FC82-4F3E-B70E-E506062DBCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792770$FB0A8368-F442-4B5C-956F-302364FE3C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792770$722809D1-B1DF-48F7-9D18-D060D0269CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792770$FC42C9BC-17F0-4BD3-B1AF-7D4CBED622B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4adb3c9966eca8b46231c1d098996f417c132f9d","datavalue":{"value":"3854453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792770$D1D9FFB9-0087-4A6F-B5C5-AACCEEA78468","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q792770$39CFD41F-2B08-4EC1-AB7B-AC1087FA6E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q792770$2B2C44B1-2BFD-4FDD-9A5E-853820F81570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eedf0a7577d5ca06f255506591096b1becd15824","datavalue":{"value":"Post's Correspondence Problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q792770$6B9C51FD-A0FD-40AF-9655-32E3236BC599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9159d4f959d21ef7c3c5f2d36ede4144c26f9c","datavalue":{"value":"emptiness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q792770$C5B50E6C-3A91-4829-8B96-DF2DE92084F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8944a575f4260cd5c96dccdc2513b1f1dd77116e","datavalue":{"value":"linear bounded automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q792770$E3FC9292-B440-41D3-82FC-33FFE6DA17AA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c12472769fa0743ac5dc3ae67efb9f4b2519f346","datavalue":{"value":"Q56095058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792770$7F10C32C-212C-477D-BA1D-FC05D9E111D7","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":"Q792770$6D46490B-B4B6-4581-BCED-D27D75BCEB36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c585cdbcefe2711551d66e7dfc5de607e16570","datavalue":{"value":{"entity-type":"item","numeric-id":3920666,"id":"Q3920666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792770$385875E7-C073-4CBB-87DF-B4372BFF2558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad2cc8bce8a19ae76cd76755edd0109ccf1e5909","datavalue":{"value":{"entity-type":"item","numeric-id":1168746,"id":"Q1168746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792770$CB36156F-8527-4233-BF56-BFF60E926724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8494219a569d3257da480586fc2efa6ecf6bc2ac","datavalue":{"value":{"entity-type":"item","numeric-id":4065056,"id":"Q4065056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792770$1B1FBF1B-844C-4BB5-9D43-58D7EBFCB9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792770$081ADFD7-8D1D-4EA7-8472-31C9A914C698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286755479ac5070f684d84f7f7dde4f1755c0066","datavalue":{"value":{"entity-type":"item","numeric-id":4140394,"id":"Q4140394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792770$BF9CE854-50F9-4339-8B0E-2B351B3EA1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1723a8debf8666b33408e4a0eb605418500826","datavalue":{"value":{"entity-type":"item","numeric-id":3907104,"id":"Q3907104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792770$7E780A3B-49EE-4472-B1E0-7EB43F3B7BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aac892d27a03563e9b14e13872e570d1bd56d99d","datavalue":{"value":{"entity-type":"item","numeric-id":5586335,"id":"Q5586335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792770$A664A03D-D981-43D4-AC7A-EE0755A4E602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"454fa412389fde53132c845364bf28f8b89aef80","datavalue":{"value":{"entity-type":"item","numeric-id":5586334,"id":"Q5586334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792770$EDDE8BE7-87D1-4D43-B74C-55095B12DB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7120b68c69627850d2194edf94ae25db6d556284","datavalue":{"value":{"entity-type":"item","numeric-id":1164045,"id":"Q1164045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792770$C4CB32A9-39AE-4896-824B-E5E9451CECDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6626bc26dbe86cf5929d62d839f4d0ec039d8fd","datavalue":{"value":{"entity-type":"item","numeric-id":3918099,"id":"Q3918099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792770$BCD65B0C-F107-450E-B653-169443D353D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32038089005ba845663f23ea8b32bb670f63a13d","datavalue":{"value":{"entity-type":"item","numeric-id":3948609,"id":"Q3948609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792770$3D51FAE1-8F03-4BC8-8BF5-A96DC0DC7F29","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"faaebba0260c842a422248582bbc6702305c23d5","datavalue":{"value":"journals/acta/Ruohonen83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792770$DC089B62-A19C-49ED-A788-F6BD358A5919","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fddbfc8ff36c00343cd853ea77407a88fa92226","datavalue":{"value":{"entity-type":"item","numeric-id":4729772,"id":"Q4729772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9647cb3581d1aa489087c811f0367b25f1c192c4","datavalue":{"value":{"amount":"+0.9241585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792770$708002F8-B5B0-4D8D-A5B6-8E1A6D4BAE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be5b5b1cd225482704d45c93b83519c103b4910","datavalue":{"value":{"entity-type":"item","numeric-id":496055,"id":"Q496055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"589907b43b488015f86f213f5cc5cbedb5ba6776","datavalue":{"value":{"amount":"+0.92143553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792770$16DD8888-4E7D-4755-9B39-02335FAB1707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c28a5a34431c10c887eb301147d1df2eec8bf8","datavalue":{"value":{"entity-type":"item","numeric-id":2729239,"id":"Q2729239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8766e71306a9cfb692dc8ca7e470b7821ac3be91","datavalue":{"value":{"amount":"+0.91179115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792770$E20A5088-2305-4AB4-8280-7DCC11348975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f49478777c639a8adc825ecee11fe93ee03cb40","datavalue":{"value":{"entity-type":"item","numeric-id":4593916,"id":"Q4593916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba67993ce6e4e2dbb59d6d92dd8c3ac7ac164e66","datavalue":{"value":{"amount":"+0.901568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792770$0C6590DF-2AE6-4864-8C2E-9406EFE70D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161a81d0a6cdd482f1779212bfd6a0cfff9b2a80","datavalue":{"value":{"entity-type":"item","numeric-id":1323352,"id":"Q1323352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92da861832979276ba420afc1527a87e78cd8d01","datavalue":{"value":{"amount":"+0.89623547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792770$3E546A91-E0B2-4CAD-871E-A9300EB76750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aca6d5bbdadea72fb7a191861fd98527ce611c2","datavalue":{"value":{"entity-type":"item","numeric-id":6173100,"id":"Q6173100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99341c41a2ef349f9342a66e4b7d05ff203dded","datavalue":{"value":{"amount":"+0.8854946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792770$9001E57E-84F4-47C9-95D8-189ED448DE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdcad0019a1c1c7292bd8866f8c557615a2a5a63","datavalue":{"value":{"entity-type":"item","numeric-id":4510798,"id":"Q4510798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7cf2ac300ea76be9c4019cff8b2cbb9642d726","datavalue":{"value":{"amount":"+0.8841039","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792770$BD5C7658-9E0A-45CA-8C4C-A559C05D41DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e10f6e83aeebd9e22d7250e6dca3061e2d583807","datavalue":{"value":{"entity-type":"item","numeric-id":5485996,"id":"Q5485996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2002550286ceb4ef8cbbc270fcaf0cf762e9c48d","datavalue":{"value":{"amount":"+0.88211733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792770$35C29671-9C77-48CD-89DF-FE092A27C9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51bedb1d663b1b6c517c5170786204adabf528f8","datavalue":{"value":{"entity-type":"item","numeric-id":1431872,"id":"Q1431872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411582e4f08e83e77d82cc245607ce166e385c1f","datavalue":{"value":{"amount":"+0.8803221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792770$E34D436A-964F-4CE9-92D7-41D78EF90269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec56d919b8fb3af3812e559dca253f6d0de82e07","datavalue":{"value":{"entity-type":"item","numeric-id":5300838,"id":"Q5300838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5546a9517f64ba01122b322d10e319a1b085a5c0","datavalue":{"value":{"amount":"+0.880091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792770$A063FB53-B659-49C5-BBC1-55580BBFD6B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On some variants of Post's correspondence problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_some_variants_of_Post%27s_correspondence_problem"}}}}}