{"entities":{"Q5089287":{"pageid":7118863,"ns":120,"title":"Item:Q5089287","lastrevid":100171475,"modified":"2026-06-05T21:32:54Z","type":"item","id":"Q5089287","labels":{"en":{"language":"en","value":"Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559478"}},"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":"Q5089287$800A0FF4-19C7-4474-9482-34627748579E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd3aa37f0aad5e3a5d6900e36d109847de081836","datavalue":{"value":{"entity-type":"item","numeric-id":338383,"id":"Q338383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$127B39AA-D689-44CA-8466-0241A7B38D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05f15d010c207ee596a2b36d0f61cf07430e5ece","datavalue":{"value":{"entity-type":"item","numeric-id":387120,"id":"Q387120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$A6394E68-45A6-4671-9DD3-0DE1F843AD79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089287$891E0840-6066-4827-B233-02F78302DE2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5a16c762bc708ae7760b99d76f3f0a6059d9e8c","datavalue":{"value":"https://arxiv.org/abs/2002.07660","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089287$8C86FD28-91D2-41E6-880A-6627B0D809AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089287$CCEAC3BA-8ED6-43B8-86BB-2933F797F3D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c076ee4f6142cdfe6dc972e39aadda6616272c28","datavalue":{"value":"7559478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089287$44FF3803-112A-4397-AB39-754E78872B18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b03f35461c597cd5e268b67726c245175679fb32","datavalue":{"value":"probabilistic finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089287$DCA0FA86-CAAD-402C-ABFF-F6C6E9C7B73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe5a3be8400539440de3fd24834b21b47ecdade7","datavalue":{"value":"cutpoint isolation problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089287$760478A0-EA1F-4D63-84FB-457D8ED4AF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5639d2ced476b950d778d2b56ad21a6b56e3c87","datavalue":{"value":"letter-bounded context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089287$E50099B3-0169-4BA7-8A0B-2D6D9D08D74A","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":"Q5089287$879D7593-D596-4915-8DF6-124D02147A04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1e069c9e4331b31c569dc8e2183f4c63cb5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5920628,"id":"Q5920628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$C7DAC940-F429-4D87-8233-2D83FD8D5049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96d5bc5b1f25820beb9b12d2a9a95bd4c2b2f0fe","datavalue":{"value":{"entity-type":"item","numeric-id":2280319,"id":"Q2280319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$88B6798A-ABE3-4791-8FC1-3D0E08741DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d23ac4c58c3c0c76fce3bbf7755691b53878a32","datavalue":{"value":{"entity-type":"item","numeric-id":4914308,"id":"Q4914308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$8CF59B58-8DF7-4C34-9FDA-463C2D5FB5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69de8e84cec10fd2df5f0b860f7f97325fc041e","datavalue":{"value":{"entity-type":"item","numeric-id":5091267,"id":"Q5091267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$EF5A21B5-3DB0-4964-AB87-781E52ED96A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d51efee3fd27b9833585211cba1fe82cc06452d7","datavalue":{"value":{"entity-type":"item","numeric-id":4143209,"id":"Q4143209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$AE3C4C4E-318A-4EF3-9DB2-350CEA0FD2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b15a2178b6f8eba1f13628ae870b122d78b7254","datavalue":{"value":{"entity-type":"item","numeric-id":5089287,"id":"Q5089287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$74651FFD-0397-4F24-9C0D-003C4217CC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e8e9da7120d2d65aaceca566ccf87b4a46bdbd","datavalue":{"value":{"entity-type":"item","numeric-id":1405789,"id":"Q1405789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$A19A8628-D05E-4AFC-B7F8-EF5B2AA2CBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815e75b91a174d466888ddde00bca9c5d7048278","datavalue":{"value":{"entity-type":"item","numeric-id":4853329,"id":"Q4853329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$1A7570EA-FB91-4CB6-BCAC-3C73ADBDE7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7d03acfe694d55b5bfb81a8721b654f11fafd6","datavalue":{"value":{"entity-type":"item","numeric-id":3139838,"id":"Q3139838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$ACA9DD2A-D214-42E1-9773-9A7C270C2D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b1d5419cddaf1ae02d87e6dde21a078c5dc97d","datavalue":{"value":{"entity-type":"item","numeric-id":5002806,"id":"Q5002806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$E3410AC1-A2AF-4BC6-A3D7-8A2C167BC36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75450ede3a181b4fccdcea48a78e1efa18126643","datavalue":{"value":{"entity-type":"item","numeric-id":5111632,"id":"Q5111632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$29FF402A-F4F2-4364-8CF0-A04E4D8B58F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$ADFAA191-1D1F-4853-8B3C-69AF675910E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b75484c7028f815d660a12c0f4961432ff9fa02","datavalue":{"value":{"entity-type":"item","numeric-id":3587465,"id":"Q3587465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$182A3EC8-A3EC-45C6-9EF6-74BCC6EF3C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$4C3F1D2F-4BB0-4239-82E2-C52D941E50E7","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":"Q5089287$448326CB-F2B9-483A-BF47-B35DE40FD13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8ecb09ca361bb431e82d744c2d6868e9043d9d5","datavalue":{"value":{"entity-type":"item","numeric-id":5448781,"id":"Q5448781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$3009459F-D7CD-46AB-A0D9-6376B9535EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40091ccc3aff16816fcd9d4de3cdee129acc7541","datavalue":{"value":{"entity-type":"item","numeric-id":3963114,"id":"Q3963114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$649459D6-FCC2-4377-976C-2E7F4DA6DEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed0f9460df8d8c90cb493cbba4013822bd4ae4f","datavalue":{"value":{"entity-type":"item","numeric-id":1921261,"id":"Q1921261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$10AA4B00-0CE6-45CA-8A50-2F7329F50867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$7B7E6693-6EA5-403E-B04B-0D43E55A1ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0873dfed449e223760861827366e29a19391f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5643915,"id":"Q5643915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$F1DA48B7-0D3A-4475-BA47-4ECF2D5B538F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ecf59f9a4d1b7659a1683859f2c9d3ac797ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5572344,"id":"Q5572344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$13D30040-5C60-49E1-AFBB-65D054C6169A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e028ad8e046a2dbf2197aa1e15874fd3b609539","datavalue":{"value":{"entity-type":"item","numeric-id":1031556,"id":"Q1031556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$9AFD6C42-0DF9-4D51-B873-A77604691486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26853a40b9e87f3ca9828f4f03a954f225c50c6c","datavalue":{"value":{"entity-type":"item","numeric-id":5575575,"id":"Q5575575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$36E4CD62-84B5-46A0-AF36-4E3A9F06E015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c55b45a3aca375756d29d078b25e4aaeb0c01b3","datavalue":{"value":{"entity-type":"item","numeric-id":1177168,"id":"Q1177168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089287$4202A952-F50C-42D1-B251-2A380E31A6A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1950d688d6aff7a22efd3c705a8b0f30fd9b89ee","datavalue":{"value":"W3082263294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089287$678898D5-DD3C-4779-8C3C-6D80E770561F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fb369a666023d8182b1a2a53e829eeb49e01186","datavalue":{"value":{"text":"Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089287$6DAED2EE-60F7-425E-AF45-B18FC1A8E13E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21830752c28a48e6d13967b1e4a9fcb42f69402a","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089287$59103691-6991-4AE6-B4A3-3DEB32781252","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs.","badges":[]}}}}}