{"entities":{"Q673625":{"pageid":675474,"ns":120,"title":"Item:Q673625","lastrevid":63610641,"modified":"2026-04-11T14:20:08Z","type":"item","id":"Q673625","labels":{"en":{"language":"en","value":"Some undecidable termination problems for semi-Thue systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985670"}},"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":"Q673625$BAE786EF-194C-4FC4-9AE5-2EE7D4269E7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3971d6b78f5c54f7376f57a55781b7480d42d82e","datavalue":{"value":{"text":"Some undecidable termination problems for semi-Thue systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673625$FFE21213-30F8-46C9-B1FB-46A11933A355","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e42d6635cedb277db3f116385e7fa7fd7a28973d","datavalue":{"value":"0873.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673625$71E1C453-6BA5-4DED-944D-BEA0BCC0EAAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e95ccf133ba595e56cebc171874666a9428c6bae","datavalue":{"value":"10.1016/0304-3975(94)00278-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673625$4549F5A1-E186-4F9D-B269-4A57DBAFFD2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"061d8197654a9b01d601db450e9eb848677c111a","datavalue":{"value":{"entity-type":"item","numeric-id":580991,"id":"Q580991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$0C78780E-665C-4F90-95B8-1C262D45E572","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":"Q673625$3FB810E3-2DEA-45B1-82B3-95D8088D3B71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673625$B427701D-F6AA-4CC3-A354-380F57E1ADEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673625$FB0F3D54-1238-46B8-A755-C7A32ACE1478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673625$987218E8-F7FC-493C-8D06-F63F99D5B44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673625$6D2C64C6-7DE9-4497-B405-8E3DE4A40233","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d00d34fda660e9e3b7654954d2e6095eab316d3d","datavalue":{"value":"985670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673625$D250BC7C-4D99-43C7-81EA-E787A8CE6EA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec7fd71c45c3ec574821ea7dae35cee1e6ae176","datavalue":{"value":"semi-Thue system","type":"string"},"datatype":"string"},"type":"statement","id":"Q673625$72E7A9D1-1FC8-470C-854D-C02ECF504EE1","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":"Q673625$23BC0780-975C-4F27-A982-DC205D1E1815","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55d9b345e13bc950902f4f2c24ec1bf4c850667c","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00278-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q673625$35309FDF-09D9-4A19-8904-0709BFDD86DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15a906380deca975018b46512e2203952f80f941","datavalue":{"value":"W1993963635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673625$648EA43F-7E1F-4456-86EF-2AD5C7F6FB13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4111363cfcf9383f8a187afb5a582b8b81b6e7e","datavalue":{"value":{"entity-type":"item","numeric-id":4694746,"id":"Q4694746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$D13D886B-A4B0-463C-AFDF-2B85C08647FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e93f3c3eb08a198e5f96969567b686a9be61b15d","datavalue":{"value":{"entity-type":"item","numeric-id":798317,"id":"Q798317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$02C31618-E4FB-461E-8A1B-E1AAB1F58A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8515c66e998b49e90d2f794c4c8b138d50aa183","datavalue":{"value":{"entity-type":"item","numeric-id":2266586,"id":"Q2266586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$41142D53-984D-42B0-93E6-7066C0F5A2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$0763CA4F-748E-4459-8D59-C03550F0A405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504b4b0988f5c0d568afc7fd645578dedf5a4884","datavalue":{"value":{"entity-type":"item","numeric-id":5635596,"id":"Q5635596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$28BFFD0D-F3AD-4267-98A8-75A6ED33A44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e5821c08813eb03f132f6865ff998b2124c5b6","datavalue":{"value":{"entity-type":"item","numeric-id":5612535,"id":"Q5612535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$77D714F6-0930-4CFC-9400-CFDA6C32F793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777633c8b9f11fb9277d240dbd70344c6d02aa12","datavalue":{"value":{"entity-type":"item","numeric-id":3804215,"id":"Q3804215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$2A5568AA-A5E1-446E-97CF-33F0635C6C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f092ab96b40cd83fc197e49ecba4c05223cf4986","datavalue":{"value":{"entity-type":"item","numeric-id":2736359,"id":"Q2736359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$B3F913C3-BB5C-4B17-9E7B-E58A83599EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10075fc2315cb593b3a1b7a4be4384564e3f6b28","datavalue":{"value":{"entity-type":"item","numeric-id":3259710,"id":"Q3259710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$5260210F-DA98-4C93-93D5-0F84C7CA1594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f3da37aa5abbebbd5d1a9ac93dec924cb2585e","datavalue":{"value":{"entity-type":"item","numeric-id":5581624,"id":"Q5581624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$EEB4526E-B39B-4FAC-9583-83786588E51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfc45b3fe69d2bcec54b6996179f5f6605cab37","datavalue":{"value":{"entity-type":"item","numeric-id":1061849,"id":"Q1061849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$524D7E19-F49F-48A2-B580-3DB3834BD926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ef24bde393b5b122827c8fef325e32e7955eca","datavalue":{"value":{"entity-type":"item","numeric-id":5055715,"id":"Q5055715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$29D33855-D85E-45EC-8766-4BC7FEBF44B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6db44461333ef5e5aae7abb248658a05e60ef41","datavalue":{"value":{"entity-type":"item","numeric-id":3247126,"id":"Q3247126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$1DCE80E5-6C07-4BD2-9EC3-474B3099F82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$FCEE6E05-C677-40EF-8B6C-229DC4223179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$7D32E28A-1F15-4B61-A8C4-31C8DB051AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42317f55750900e19060b84bbe48865f9d2335fe","datavalue":{"value":{"entity-type":"item","numeric-id":5559248,"id":"Q5559248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$3B8F163F-7DDF-4A54-8050-FFD832FE7A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$0DB1EFA0-0A55-46B9-A25C-423642AF693A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46f0326b647ba2cdf08d8baa3f51cd6a58f37f4","datavalue":{"value":{"entity-type":"item","numeric-id":3994922,"id":"Q3994922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$5498D900-6530-4CAC-9214-7BD40937E835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8a1e7c7aae77afda3dc242c9a9d4c2ad31ecb8","datavalue":{"value":{"entity-type":"item","numeric-id":5799732,"id":"Q5799732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$4D116DA4-909B-4328-BA95-2E05A06E88BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515a4d73159a3d00843d4500377b99f2a011f41f","datavalue":{"value":{"entity-type":"item","numeric-id":5583066,"id":"Q5583066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$F86B81E5-95C0-4DF4-A5E0-E95BE70D2680","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":"Q673625$08266E52-3C54-4929-A80F-0B9C945E7ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673625$3F5EBCD0-B3C4-4887-BF2D-24CAFB31DFD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7fb917ab86bed9f7c8506bd3dcb053612a6fc4","datavalue":{"value":{"entity-type":"item","numeric-id":5055868,"id":"Q5055868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623b1645fb49e4c25cd7a34440e322488e8d7a39","datavalue":{"value":{"amount":"+0.9114043","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":"Q673625$12C84E9E-DED3-40F9-9873-8DB5B6A0A65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed1ec2dff25dac97acd5fe3d2a3f4ee951e71222","datavalue":{"value":{"entity-type":"item","numeric-id":1092041,"id":"Q1092041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399ce44b1c32a34c7a5fde22b38b2b43cb0dfb3e","datavalue":{"value":{"amount":"+0.90563935","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":"Q673625$5AA75FF4-D5E8-41D0-B6D6-52C618CB1BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"defe0afedd4e2e548fa9a70648911c2b18205947","datavalue":{"value":{"entity-type":"item","numeric-id":4601128,"id":"Q4601128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c097f98eeeea5ab12929d29b6f19f50db61db97f","datavalue":{"value":{"amount":"+0.89071727","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":"Q673625$FAC4939E-179B-4B9B-A8D9-1CE37E4EFEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e3a7667419516b06ff7249c68623bfb991ee4c1","datavalue":{"value":{"entity-type":"item","numeric-id":797574,"id":"Q797574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86020f2f2f0adf3a6bae2f7bfef39d38080d740a","datavalue":{"value":{"amount":"+0.88072586","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":"Q673625$FCEFAC3E-ED08-4CA9-BF2E-995BC16FB704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662e9133bdaf10925944fb1bafc2a3130572fe5f","datavalue":{"value":{"entity-type":"item","numeric-id":1763707,"id":"Q1763707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f7bff4c14939972a95f621b223086cd3e6342c","datavalue":{"value":{"amount":"+0.8795625","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":"Q673625$DD7A0B63-203E-451E-8F0F-72FE31E02C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ce1cb4a5436cb33917e18e73d9b627a316455d2","datavalue":{"value":{"entity-type":"item","numeric-id":2849972,"id":"Q2849972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"156d742f007a2594206ef1cf9974b7db3da66ebe","datavalue":{"value":{"amount":"+0.8777865","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":"Q673625$52C85AAB-4DF2-4552-9BF4-0E4CC7C96C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc807f417615fd0288d8269779e7194b77263fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1057264,"id":"Q1057264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02dfd2d4be2f903f62b6f6994c8df1f2eb2726b1","datavalue":{"value":{"amount":"+0.87101156","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":"Q673625$4421C019-9F2D-4281-83EE-B98C959DB78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74ec44ef0d5ef6ee536349187f045e94d7dde59","datavalue":{"value":{"entity-type":"item","numeric-id":3345796,"id":"Q3345796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5b2224e7cd6346c4fe4ffa84127bd26a7962aa","datavalue":{"value":{"amount":"+0.8639979","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":"Q673625$9B522C83-206A-4393-882B-66055E9065D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154a232b6e6da0785d372cafefb44b0468f34d27","datavalue":{"value":{"entity-type":"item","numeric-id":5166638,"id":"Q5166638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4136f86ee1f652d09ec453de5a3971ade01a3370","datavalue":{"value":{"amount":"+0.8630794","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":"Q673625$8E0375F3-205F-411D-A8D2-34EA8A6413F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some undecidable termination problems for semi-Thue systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_undecidable_termination_problems_for_semi-Thue_systems"}}}}}