{"entities":{"Q1201865":{"pageid":1212614,"ns":120,"title":"Item:Q1201865","lastrevid":47119972,"modified":"2025-12-31T18:07:22Z","type":"item","id":"Q1201865","labels":{"en":{"language":"en","value":"Decidability of the star problem in \\(A^*\\times{}\\{ b\\}^*\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 98609"}},"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":"Q1201865$7C4B1D27-AE36-4C3A-B5E5-16DA474ACDEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad5ed3b4848b184f14ceb00fc38587323a62a63e","datavalue":{"value":{"text":"Decidability of the star problem in \\(A^*\\times{}\\{ b\\}^*\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1201865$C99635F5-F479-4214-B086-FB98FC1D24A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73355c903762519eeb445bdeb2b1911c725b9ffb","datavalue":{"value":"0759.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201865$F36B4316-0A5D-4ADE-9BF5-F1FD38373886","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8c797b4760e125bb7aad0cddaec61b2779884a9","datavalue":{"value":"10.1016/0020-0190(92)90187-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201865$F68A8747-6D26-405C-9E23-D52B83A8C3FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$72DF2126-A40A-40EF-A03F-2BCD7BE45CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd1cc1135ed4a70262dc21a57b9ede8c99aa08fd","datavalue":{"value":{"entity-type":"item","numeric-id":1201864,"id":"Q1201864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$D180DEF4-47C5-4F4F-982B-8BAF105801BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77614b200ef43fe11dc5e2ab030e72091b1a69","datavalue":{"value":{"entity-type":"item","numeric-id":689291,"id":"Q689291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$ED5BD800-72E7-417E-A7DD-81638B136777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f613ff34127da5ca7d7c4b03f3e29c4036800a33","datavalue":{"value":{"entity-type":"item","numeric-id":1107976,"id":"Q1107976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$ADD1A261-A6E4-4BAE-AC5F-E4D4527D573C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$6D72A02E-9D42-4911-8E19-94F54BB2F773","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1201865$FE7EA960-DC2E-46CC-8252-1789999386E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fca1f87a01d5369654f572f80a9506c3e451514b","datavalue":{"value":"The Star problem in trace monoids is the following problem: Let \\(L\\) be a recognizable trace language, is \\(L^*\\) recognizable? It is proved that this problem is decidable when the trace monoid is a direct product of free monoids \\(A^*\\times\\{b\\}^*\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201865$F99B465A-7BB8-45D0-96C0-6F5792CF28CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201865$61CDAAA9-7E28-4FBB-9041-E0FABF7DDCE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bd65771916feecfd8741a0f81a2899af9b7e04c","datavalue":{"value":"98609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201865$8DBDB55F-16C9-4417-884A-66B250857493","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1cb2b612684f00acb2f33c541956eb74fe14f86","datavalue":{"value":"rational languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201865$AFDE8F44-B7C6-4B14-885F-A153F02F4D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201865$6BC26899-DBDC-43DF-8559-F84E47F77CC4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"377196f0936f14c5f40316c205cbb7535714207a","datavalue":{"value":{"entity-type":"item","numeric-id":585662,"id":"Q585662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$68B439B4-684E-4D1F-A0AC-6F61078DF535","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":"Q1201865$DA854AAE-795D-4308-91CD-F9438E3DF95F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3f3d4284f29707c15dbffe01b4356eafdc3d0f","datavalue":{"value":{"entity-type":"item","numeric-id":1107296,"id":"Q1107296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$0F2201B3-2FCF-42D1-9C5B-6638B326AA98","rank":"normal"},{"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":"Q1201865$5DE15928-FFDE-4879-94B1-D9AF43EF13A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2321ffc17406524f453e4fee8339197a12bf2512","datavalue":{"value":{"entity-type":"item","numeric-id":2536784,"id":"Q2536784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$2ACD5A8E-0B6E-4F1E-87AD-A4162A582D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88281eb7099eaed3d92cf5fa2bdd7db821ed6765","datavalue":{"value":{"entity-type":"item","numeric-id":1094144,"id":"Q1094144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$235DF838-6D07-43D6-B4B1-75194D4F94EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa1d9ec51d8e546e3d5a5823e053b5e9183e806","datavalue":{"value":{"entity-type":"item","numeric-id":2266128,"id":"Q2266128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$C9FAEA68-08C8-4C61-A49A-3B9B37D0AA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b31a52389be07054ca875395c649c7b29fc713","datavalue":{"value":{"entity-type":"item","numeric-id":3736919,"id":"Q3736919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$072713C8-B86C-45FA-AA3C-DE09D222BADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3224b3ee4e2065842acb7ecef1d84c9102fafc","datavalue":{"value":{"entity-type":"item","numeric-id":1188891,"id":"Q1188891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$988348B4-C293-4337-999A-0C64B24793DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe91faead361908a57f5abb57ab434ee7f6c53c","datavalue":{"value":{"entity-type":"item","numeric-id":1062471,"id":"Q1062471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$9BA407EF-CA14-4B43-8E94-3B6A6351DF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6010bd4918b1124375dcc71313be05de8ee960","datavalue":{"value":{"entity-type":"item","numeric-id":1221071,"id":"Q1221071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$033CEC03-7189-41B8-82B0-C6D951ECC521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$5D2ED314-BB22-4DE6-B5E7-D89FF07B5874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f1c3c4ea4a388fc55b35b4656b5fa305b149b6","datavalue":{"value":{"entity-type":"item","numeric-id":5525345,"id":"Q5525345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$AB2A64AB-82B7-4607-A5CD-30DF217A9005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb7648150a544fac7ed76b421308d91b2ee9e98","datavalue":{"value":{"entity-type":"item","numeric-id":1070831,"id":"Q1070831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$F4479FD4-5A92-4DFA-B0D6-EB644DDD5EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7561d63cc1ed975cf5fbe56193dbf7616e1f47f0","datavalue":{"value":{"entity-type":"item","numeric-id":1132636,"id":"Q1132636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$67D809B4-CB8E-4F11-A800-8225882CCBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91bc5c963ccd0a92d970fc79ce8c0c9894a0f21a","datavalue":{"value":{"entity-type":"item","numeric-id":1178709,"id":"Q1178709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$D1239877-2FAB-49CA-A718-6829F9F280BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdf93c2a636a9d6cd86710070581e915ea328a2","datavalue":{"value":{"entity-type":"item","numeric-id":4733400,"id":"Q4733400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$25441669-21CF-4389-8948-B0B6C970B91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11257ad52497755f579ea680074f1784ed1f74c7","datavalue":{"value":{"entity-type":"item","numeric-id":3734730,"id":"Q3734730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$438F62A4-1D29-46C2-8658-193027821D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb09d44e54d573a812df4b4d974d70e4a9680694","datavalue":{"value":{"entity-type":"item","numeric-id":4007855,"id":"Q4007855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$D54122ED-72F7-4D8F-BF44-CB70A7A24463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989db8f2396fc42f0817a312d8ace4cff2b6a610","datavalue":{"value":{"entity-type":"item","numeric-id":3971351,"id":"Q3971351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201865$758E0183-E309-4ACC-987D-EA8DB4CFE994","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a87184a18464070059beb4c0a8420190db0ea14","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90187-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1201865$3DC62449-D74A-4B72-BFAC-7AC0C16550E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57d38cb6b50846b7a4119122832c8d3d2ab01680","datavalue":{"value":"W1511714024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201865$B426CCD3-C586-4684-8587-69B245FE755D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dabfd6b743014461f14364e8eb70c3431ace4f2","datavalue":{"value":{"entity-type":"item","numeric-id":1884907,"id":"Q1884907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b129ce7978b923959a66ab6a6a6640081cfb7305","datavalue":{"value":{"amount":"+0.9211958050727844","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":"Q1201865$E82346B4-37D2-4354-9617-0A7FDC059A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82175d1aee3000cb44ad9f976a7794e3800af6b","datavalue":{"value":{"entity-type":"item","numeric-id":4535050,"id":"Q4535050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b295cd7766bb7addde6d3bd13de4e654982100b2","datavalue":{"value":{"amount":"+0.9137517213821412","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":"Q1201865$4C2158B4-92BB-43F4-9942-D38C8713D54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f793bc1acf38a26b47e93152de6a39eddc55a7","datavalue":{"value":{"entity-type":"item","numeric-id":5945722,"id":"Q5945722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b867697131480f45a0b48c3d8b21487e60d1a35","datavalue":{"value":{"amount":"+0.912030816078186","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":"Q1201865$70FA1CB1-9BCA-48A1-878B-518E65C4A852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4839037efd95f57dc2c0b0cd6b92a63782d2e9b","datavalue":{"value":{"entity-type":"item","numeric-id":4251054,"id":"Q4251054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b867697131480f45a0b48c3d8b21487e60d1a35","datavalue":{"value":{"amount":"+0.912030816078186","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":"Q1201865$5C380C0D-A70D-4D76-B072-95BD23FC32C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be36ff556e1fde051964da9555198b5e271f9c1","datavalue":{"value":{"entity-type":"item","numeric-id":5096916,"id":"Q5096916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26591850a81710368d51c28ee9e9f0b4c189b5c5","datavalue":{"value":{"amount":"+0.8969420194625854","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":"Q1201865$C9C4DA8E-F084-41DA-B08D-EF55C4A48BCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1201865","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1201865"}}}}}