{"entities":{"Q5111449":{"pageid":7141023,"ns":120,"title":"Item:Q5111449","lastrevid":100279064,"modified":"2026-06-05T21:45:30Z","type":"item","id":"Q5111449","labels":{"en":{"language":"en","value":"Regular separability of Parikh automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204569"}},"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":"Q5111449$EFD69833-846F-4921-B27E-F38003E6EE91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2e922e74ba6cd32f91f17de9808854f626b2fad","datavalue":{"value":"1442.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111449$0EB694CC-8EF0-43F7-AE84-7974C929557F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01e14a2ab9fc255c6552f3abb28f56fd94b40f3e","datavalue":{"value":{"entity-type":"item","numeric-id":2221810,"id":"Q2221810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111449$006DB030-4087-464F-8337-9C3F87D83621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbacc854e17a0853117b4d86eeb4c426187482dd","datavalue":{"value":{"entity-type":"item","numeric-id":532390,"id":"Q532390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111449$36C3B5C8-A24A-4C92-A6B2-288AC181498B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111449$B1B12AE0-92B6-4F9B-B0B0-5AC301411FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a42c0b11a787070bfea41095356fb7d1ef272bb3","datavalue":{"value":{"entity-type":"item","numeric-id":1784948,"id":"Q1784948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111449$21DBC3BD-7440-46EE-9EBB-BFB732446A2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111449$83BD3759-D940-4E6F-8946-2130700DFAA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e06488c948ecdcd10a097ec64660f60284eb09b4","datavalue":{"value":"https://arxiv.org/abs/1612.06233","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111449$57D05682-C90D-4FE1-90D0-5082140F241E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111449$2C8B5CA5-97AF-4436-A6C3-EA3D8C414F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111449$9828F88D-8F68-497F-BB8D-83C8FD40D219","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53a5ace4e32c4e4ba10a6f850ff0137a94dfe998","datavalue":{"value":"7204569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111449$1A85EC84-9E1F-4B88-8EDD-DB1911DFC298","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007380182b71b9dada928e5316e6bd223386e50e","datavalue":{"value":"regular separability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111449$2801D23D-BA54-4D13-8631-80C99A9D4CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0884bfa8b847f76ba26e95ea3bd28b182ec2840","datavalue":{"value":"Parikh automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111449$8924DF57-9307-4998-9AE5-259366C9D50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4007bed87e3da92ca8ca817fc039ba67081ebc0c","datavalue":{"value":"integer vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111449$110C658C-523A-43EE-9EE8-9E37309C79D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"937e53142d2b91944d0fdf6b538992afc462e177","datavalue":{"value":"visible one-counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111449$3B6A9214-8A8B-49E2-B554-A74522B7154C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111449$8FC5D8B5-9AC1-487E-8BDF-ED4FFAD0873D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111449$58543AB8-16AE-4A10-98E0-1A43F68BFC4E","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":"Q5111449$E066A5C7-85C6-45F7-B6D0-A505CE6FFEB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96bb2381dfb8b323da44b8aba13ab9265f0927b2","datavalue":{"value":"10.4230/LIPICS.ICALP.2017.117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111449$64AF69FB-F539-486C-B7FF-A0246AFBA265","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d133c30ca6a27cb1bea6ae5b93b6d75d646dc523","datavalue":{"value":{"entity-type":"item","numeric-id":5144625,"id":"Q5144625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da617444ddc3d7d646f142eea49bcde9d440748c","datavalue":{"value":{"amount":"+0.8478435277938843","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":"Q5111449$7D68A7C6-D249-443C-9DC7-541F2803E288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c03db4d254975337bb91c5a2100ca1552efc47","datavalue":{"value":{"entity-type":"item","numeric-id":4968382,"id":"Q4968382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383fb15dfdcefd75f99742d9425c2942be5e679a","datavalue":{"value":{"amount":"+0.8478431701660156","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":"Q5111449$2DF6D791-EE78-4BB7-84C5-BED39FBD7111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec182a508a007e3f54af5584979768f5f91d8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5327430,"id":"Q5327430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef6441a2f0d5508d2a1ab5a32bf41b7b047c7b9","datavalue":{"value":{"amount":"+0.7904757857322693","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":"Q5111449$CAE635E3-8A5D-4E06-836D-D0CBA40E36E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d665027a65491985608a8a7baf07e46f32342845","datavalue":{"value":{"entity-type":"item","numeric-id":2849957,"id":"Q2849957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59e30a9f9264bd4a1f000a11bb9ee6c1149c8c7c","datavalue":{"value":{"amount":"+0.7767277359962463","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":"Q5111449$FDBA7570-8F75-46CE-A108-859F38D9EECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b7d950ff5b2ba17116f0c989f69e6b7be08bbe","datavalue":{"value":{"entity-type":"item","numeric-id":4635660,"id":"Q4635660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47a5155e8f29e97475197ebe82e3d3d529d9bfd","datavalue":{"value":{"amount":"+0.770798921585083","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":"Q5111449$91D9311F-1AB6-44CC-8FD1-E5EB655724B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regular separability of Parikh automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Regular_separability_of_Parikh_automata"}}}}}