{"entities":{"Q2301358":{"pageid":2312101,"ns":120,"title":"Item:Q2301358","lastrevid":78544139,"modified":"2026-05-06T11:50:49Z","type":"item","id":"Q2301358","labels":{"en":{"language":"en","value":"Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7173105"}},"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":"Q2301358$83AD1508-D0B5-4C9E-ACE2-1A88179FCF2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6c594668ab7b79bbf59c7ed1462b85a25b1b276","datavalue":{"value":{"text":"Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2301358$B1D442D0-C86F-4446-9243-092E92ED9F3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86927da6f1205f7601e678f7e576d5f4e7dfa135","datavalue":{"value":"1435.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2301358$BD01EC1C-D2A0-405E-BE74-63B3C8D6C74A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$1A249B39-F06A-49D5-8BB6-61F96C585112","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$15676194-41DD-4A96-B24B-602461636E6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff603527318cba6b7a9cd3458e2a545d41485a6d","datavalue":{"value":{"time":"+2020-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2301358$F24843D9-6F2F-4B58-89BF-DE0E1857DDE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80c64132ac35b1ef4e7a533246c9e0830c2dec39","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2016/6464/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2301358$2D3AA8E5-7456-4F44-806A-7E8037F9A6C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2301358$DD731C22-1636-4EF8-BC05-20A8C5105C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2301358$FE069476-5D97-4295-BCCF-37528C0203EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"875b17d0b1e53ab1edade0fa61200d2a3715031e","datavalue":{"value":"7173105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2301358$5BE2685D-E251-45C2-801F-67C40F20D5AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2301358$0BF8DA8F-0B4F-43FB-9B0A-2841FAA1F5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f30b0af89e117c88084610d460dd23e85bb5b24d","datavalue":{"value":"first-order grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q2301358$32520ACB-1834-48E7-97EE-B8EFA4EF10D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2301358$142BBD09-6423-463A-8834-E5231F47B075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3d663c92cc86288e2df478c487898f3815f9ec0","datavalue":{"value":"regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2301358$DBA572CC-2D96-41F9-A7E5-CF446BE45622","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":"Q2301358$18117A84-24A4-4A19-B2E1-E6EF1479F8C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c97db817b697d1e29a660493e087990a24789da","datavalue":{"value":"W2995466559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2301358$1EB8D71D-6915-4D9C-995B-006959250D89","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d8bad14a26c3d9177f368375484fae927808640a","datavalue":{"value":"Q126530827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2301358$AB580CE8-4A60-4FAF-8A32-219BFF00E8DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"597cab6a01e7e515c86bb670e6c1b95d0011eb31","datavalue":{"value":{"entity-type":"item","numeric-id":5537615,"id":"Q5537615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$64E1A333-A817-4C2F-8640-0BECDE422EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6e6ab585a855fab7a27153f29da3cfb8f1e7c9","datavalue":{"value":{"entity-type":"item","numeric-id":4045649,"id":"Q4045649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$3AF95E05-DF9B-42A8-AB26-FB373853E230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f01f82b19f90331cfd390537d19adf974f07fe","datavalue":{"value":{"entity-type":"item","numeric-id":1589483,"id":"Q1589483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$ACEDC785-E43C-4DC4-BB04-102ACD699AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$B09B3F3D-AD96-4CD4-8BE5-010D29B6E72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7024a9473052e6077ed02788c664c7db7649f7f4","datavalue":{"value":{"entity-type":"item","numeric-id":4665738,"id":"Q4665738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$7C3E9CB9-9002-45DD-84EB-82EB866B255E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ff752370cd630c25c6f93f64154afbd4cb8264","datavalue":{"value":{"entity-type":"item","numeric-id":5317186,"id":"Q5317186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$03B3A914-32A1-4FD2-A92D-FC17549C6882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e0cd84890814c0157ac38d8e89485aa52956a09","datavalue":{"value":{"entity-type":"item","numeric-id":5271086,"id":"Q5271086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$AF0D5A4B-03C0-48CF-8EDB-D0F016F7A77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f013092dcf4a4c975cb6c3aac949b3d954ccca","datavalue":{"value":{"entity-type":"item","numeric-id":2828216,"id":"Q2828216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$8F47C192-D816-4FEB-BE0F-41AB4117423E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d106dc77720e13af425b06f1567e82903afa6126","datavalue":{"value":{"entity-type":"item","numeric-id":5410661,"id":"Q5410661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$CDCD51AF-777E-4FA7-9A8C-CC993ED1B4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175d2b9e5ac09d03617896b1814f3ebb7e413d47","datavalue":{"value":{"entity-type":"item","numeric-id":4737211,"id":"Q4737211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$E83D1EFD-D91D-4B8A-8244-FCBA0328D024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"464caa531a5b47ad242e9da99eaed8f057ad4658","datavalue":{"value":{"entity-type":"item","numeric-id":988552,"id":"Q988552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$0E5F10ED-DB67-48F3-9589-0E1C128F5DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be1cbe6fc27db36d3429539a9eb1d69690c3bbdb","datavalue":{"value":{"entity-type":"item","numeric-id":2957489,"id":"Q2957489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$31D75235-3D43-4D99-A712-CB3059329CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df998c6dc51725ca8685a8f5f7363dc230542ff6","datavalue":{"value":{"entity-type":"item","numeric-id":5167841,"id":"Q5167841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$55FA9D0F-2CB8-4A13-8613-15E4BA3AB21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11083a7891a407b46c4fde2eba0724fee54468a5","datavalue":{"value":{"entity-type":"item","numeric-id":671992,"id":"Q671992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$8C3522BF-2102-4333-8E0C-368699D15846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d1aa905e95be265c244d30c11bb90a000f72c9","datavalue":{"value":{"entity-type":"item","numeric-id":4738227,"id":"Q4738227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$B483C116-0E9E-437C-A710-4FEEF18D8764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308f96b618d77a0bec731b2273df8f7efc0dae2f","datavalue":{"value":{"entity-type":"item","numeric-id":4635787,"id":"Q4635787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$981C9264-9377-4A7A-B280-A4E4FD9F77E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394b8c226c40fd2922be160802e4522fb7abf6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4385535,"id":"Q4385535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$49B45CA4-955F-46FA-96B7-D9A2ECA49F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d02f65e79988a77c4b3c82a349969e8ce707639","datavalue":{"value":{"entity-type":"item","numeric-id":3546360,"id":"Q3546360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2301358$8DD86B23-9328-47C9-9943-0BD618D3FA2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e20fecd04105f958be313e848816295b8893032c","datavalue":{"value":"10.1016/J.JCSS.2019.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2301358$AE06FF97-D2A0-44C9-A7B6-8EE7AD4B13DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc89ea02dd7742dcac5872cfb527397022746898","datavalue":{"value":{"entity-type":"item","numeric-id":4608615,"id":"Q4608615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8fdaf98e0d2337ad3cee802a34ed545dc838bc","datavalue":{"value":{"amount":"+0.994748830795288","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":"Q2301358$1BE3E3A7-FF40-46A9-A1E5-02824B8C82E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bd737eedf63b79f57973091767f637947e71d5","datavalue":{"value":{"entity-type":"item","numeric-id":2208249,"id":"Q2208249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02cd4525b2bf53b4e85f7df65f45eb13846b73df","datavalue":{"value":{"amount":"+0.8774177432060242","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":"Q2301358$977D897E-7F42-46BA-BCE9-C8FD504B21FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c726c29954bca1020e375d511c4960b27f035533","datavalue":{"value":{"entity-type":"item","numeric-id":5167841,"id":"Q5167841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07c1c0766efa4666053a0d89b07848c7b624fb5","datavalue":{"value":{"amount":"+0.8450983762741089","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":"Q2301358$F502074D-DDF4-4FF1-8F14-D2DE863CBBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2172453b0f0616f70f41b79c28f005384726eca3","datavalue":{"value":{"entity-type":"item","numeric-id":1854338,"id":"Q1854338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea659bf7e38a4415cfc20168a8183237d8cc334","datavalue":{"value":{"amount":"+0.824963390827179","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":"Q2301358$141D4BDB-C150-4B15-8351-66401AF72B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5356b939508812c19354096f4f57f666bd5ff9d4","datavalue":{"value":{"entity-type":"item","numeric-id":5410661,"id":"Q5410661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8c1b812f7032143bbe38dda26a54544398eeb5c","datavalue":{"value":{"amount":"+0.8236506581306458","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":"Q2301358$624F9248-5365-48EF-AD12-9F26FB0EE758","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_semantic_finiteness_of_pushdown_processes_and_first-order_grammars_w.r.t._bisimulation_equivalence"}}}}}