{"entities":{"Q1887138":{"pageid":1897880,"ns":120,"title":"Item:Q1887138","lastrevid":71064540,"modified":"2026-04-13T19:14:39Z","type":"item","id":"Q1887138","labels":{"en":{"language":"en","value":"A simple undecidable problem: the inclusion problem for finite substitutions on \\(ab^* c\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118404"}},"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":"Q1887138$6194A7F1-7847-4C98-AC0B-C9D0C8ECF4A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7db6976b804808e6689ba9e3913d14c11b95a6e","datavalue":{"value":{"text":"A simple undecidable problem: the inclusion problem for finite substitutions on \\(ab^* c\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887138$18062DC7-5BD9-4180-B27B-F89B09464F8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1ec9f9cb3adc0d624ff8277dcb91663e0548ac6","datavalue":{"value":"1082.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887138$ADB3CDB5-A4E7-4D4E-97D9-A24FF971D2A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8451b5aabc411a6db5d448fece0f3b3400394b54","datavalue":{"value":"10.1016/S0890-5401(03)00120-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887138$35B5687B-57AE-41B1-8D73-ECB6F157498F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c7f0c926245832115f408aabb05006233a9ddf5","datavalue":{"value":{"entity-type":"item","numeric-id":797276,"id":"Q797276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887138$FCF0BA4F-C189-4D35-8229-1C628BEDE337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91cebe2c3862ce21207f21b89197103c43f307fb","datavalue":{"value":{"entity-type":"item","numeric-id":223814,"id":"Q223814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887138$B5E5CD3F-AA01-4B4B-A710-DCEBDD6CF26E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887138$8BF1BEE2-BD62-401E-ABA0-B49272FADE73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887138$6F778480-896E-46A2-924B-EB3FD408950B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887138$6BC84920-A868-47DC-B424-E7653EAFD660","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"164956153690c78a9d78eed51747b99ace55585a","datavalue":{"value":"2118404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887138$D1DA8FCD-AAFA-40AF-9CAA-923F1C6C9D56","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":"Q1887138$B1BCCF30-EDD2-42B5-904D-4C195F10D0EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887138$E63BFDBB-052B-417E-8614-CE5678E2BADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887138$A37C608C-7F59-4838-A1DC-F67B30F410A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887138$05668042-B187-460F-BCC3-FBB18ECACD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ac677c15f5a88aee6ce5529d9aba7f2cf28171","datavalue":{"value":{"entity-type":"item","numeric-id":1605327,"id":"Q1605327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887138$0607625D-9453-4733-B820-BC88C0958F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ed8cfa03cbf12f2688f2b68dac8d1c92370db9","datavalue":{"value":{"entity-type":"item","numeric-id":4265533,"id":"Q4265533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887138$0FAF8A1A-C32E-46A1-8DD0-B6D8451CEFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf779d470f13f85fc280c65c62dc8bfba3cdfc6c","datavalue":{"value":{"entity-type":"item","numeric-id":3962486,"id":"Q3962486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887138$7DDE182A-C9EB-4915-8B01-0F34C985CCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86454e8b487224a30c313fd19d39db8b6c02dd7a","datavalue":{"value":{"entity-type":"item","numeric-id":4941151,"id":"Q4941151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887138$ED19F2AA-24EF-4747-AC4F-DE6B5838E611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"119146e1a83ed28a2c3e4698165291fd4b5234fb","datavalue":{"value":{"entity-type":"item","numeric-id":4737210,"id":"Q4737210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887138$ED7B6013-E687-43D2-B95E-3D163B73F881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38ea90f3e71001a81b65eefecacd7d1aabe26b77","datavalue":{"value":{"entity-type":"item","numeric-id":1853553,"id":"Q1853553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887138$E7C00522-91C7-414E-BCF6-77BE411864F3","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":"Q1887138$E7C49D99-FD7A-4657-BF69-847E2FF0333E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd9ac4280c1643bfd2e031db7fad3aef3f09f17","datavalue":{"value":{"entity-type":"item","numeric-id":1840955,"id":"Q1840955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887138$7024837F-8A28-4820-971C-00C427F1168B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d43b02bb027e90c40c66e9550ff56a5422bf145","datavalue":{"value":{"entity-type":"item","numeric-id":1280978,"id":"Q1280978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887138$C461CE1C-EDD4-4AAA-B4A6-93321C61FE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69353bce010decc5ddc46b944be77fb0a05edae","datavalue":{"value":{"entity-type":"item","numeric-id":1058303,"id":"Q1058303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887138$ADAB2F5F-06A9-42E6-93C6-0D4249148C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9500e19069722efa256e9656f8110bdcd87d826","datavalue":{"value":{"entity-type":"item","numeric-id":4140407,"id":"Q4140407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887138$9E334956-446F-4B11-8626-3BD4442D60E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad193822f3fc115786bcf44071c9e75b022f8166","datavalue":{"value":{"entity-type":"item","numeric-id":3806848,"id":"Q3806848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887138$B8D9B0E9-28E2-444D-BCCF-9F11D9C83A7E","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":"Q1887138$4EA336C8-DDD7-4935-B83F-1E515FC0F493","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81244b042585b4568f9904c87947051791d2d927","datavalue":{"value":"https://doi.org/10.1016/s0890-5401(03)00120-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887138$01A40690-A9B6-48E8-817A-83F0DE4D1A5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fe2181c391c3f8b0f7813e6611a0d1add9387ee","datavalue":{"value":"W2071584992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887138$5A3C84F0-BBDA-4009-808A-8FF2A7CC0D44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e545d0a31041eba59ff4a8875b114f931c252d6a","datavalue":{"value":{"entity-type":"item","numeric-id":2762520,"id":"Q2762520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c130a0863576be07b42d71b3c003e1384d82efd4","datavalue":{"value":{"amount":"+0.9999998","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":"Q1887138$E8178EF1-0DF9-4C7D-A160-7A1E82704611","rank":"normal"},{"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":"d4745bd6612c89a869547dd889b54f748fe079d8","datavalue":{"value":{"amount":"+0.85980606","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":"Q1887138$2B570974-C495-45FC-AF9C-24F6EA3E03ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50fd7ead013bfed1db6fe00f5d7b71bb37150161","datavalue":{"value":{"entity-type":"item","numeric-id":1269922,"id":"Q1269922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e048c22e50f83a1ee1ff5ec14c2b1ebc26eb33e","datavalue":{"value":{"amount":"+0.8554239","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":"Q1887138$17039182-F016-49A1-895B-7D2CB6627E7B","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":"fe3fa4699e4a279a9960312f0e6c3ba57f3b42a0","datavalue":{"value":{"amount":"+0.85347974","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":"Q1887138$828091C0-B00A-4830-A612-84AF4C927026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bfce5d985a2460a8ce066ebb4d06994f3f38441","datavalue":{"value":{"entity-type":"item","numeric-id":2474234,"id":"Q2474234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3761634b66fe9c557239922d3de3703ded84c940","datavalue":{"value":{"amount":"+0.84860814","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":"Q1887138$B06BA0B6-B93D-4870-8A8C-635B999C0429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f552a6a168622c6979c5cf612caf37ee756252f","datavalue":{"value":{"entity-type":"item","numeric-id":4267548,"id":"Q4267548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ef5ab0cd7f2766a2b321c58a71f30a0b2de8f6","datavalue":{"value":{"amount":"+0.84590316","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":"Q1887138$5761B5BB-3F6A-4E28-B4C3-C61A3C6DC246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb34723372f9a1be2132303fb5439e98acfc534b","datavalue":{"value":{"entity-type":"item","numeric-id":5962337,"id":"Q5962337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197de1d11ec97abfabafa24cf66830d5bda01cdc","datavalue":{"value":{"amount":"+0.84359","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":"Q1887138$81841A67-C506-4A98-805F-9E2809D47163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e408beb03d8b783b57906d39b6b9afafaa8311a7","datavalue":{"value":{"entity-type":"item","numeric-id":4508453,"id":"Q4508453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af943b8f6063a4c62f1dc049f4a1f9cdbce8b41d","datavalue":{"value":{"amount":"+0.84253985","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":"Q1887138$42A89A3A-6889-443F-A97C-4F8F0861A1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041a8a6cfc6ba8f2ac2113889732f717efa10010","datavalue":{"value":{"entity-type":"item","numeric-id":3455042,"id":"Q3455042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a68703609448601aa9d8e04c06b26cfc05afc0","datavalue":{"value":{"amount":"+0.84194916","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":"Q1887138$36917F6F-FC46-4434-9A28-8C6F5A325DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e02ebe1da6fa22ef551534190168f706fdd5125","datavalue":{"value":{"entity-type":"item","numeric-id":2163987,"id":"Q2163987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1082ac3ff5b3951176204fc4e95bc9ac9f65091","datavalue":{"value":{"amount":"+0.83987725","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":"Q1887138$12D33579-5DEA-4FBC-86BE-4618C24741F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple undecidable problem: the inclusion problem for finite substitutions on \\(ab^* c\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_undecidable_problem:_the_inclusion_problem_for_finite_substitutions_on_%5C(ab%5E*_c%5C)"}}}}}