{"entities":{"Q4608615":{"pageid":6638198,"ns":120,"title":"Item:Q4608615","lastrevid":82281884,"modified":"2026-05-06T20:31:55Z","type":"item","id":"Q4608615","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 6851885"}},"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":"Q4608615$385D7521-9375-4966-836F-ED17D34944C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8687c6764a4ede5de6d32cb3fc93ede2cff4482a","datavalue":{"value":"1398.68367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608615$8DCB8736-DD7A-4CB3-825B-C829AEC212FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608615$CBE46077-6B7B-46B7-BC18-D508DEC52E12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6282a310b28db550dda01dd2bc65f6a9f5361dcd","datavalue":{"value":"https://arxiv.org/abs/1305.0516","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608615$15002507-E108-4315-8458-165FF6AD4637","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608615$91390D92-A6C1-494B-8C25-D89BD47D1351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608615$CB78C969-5AFD-4F99-84F6-0E7E90F6FA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608615$B68DBBE1-CC72-4D3A-85B5-FBF53CA78EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608615$A5BC4CD8-5D38-4979-B618-5F9E7F23452C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d98a317239c02e738935be9740dac4336f43198","datavalue":{"value":"6851885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608615$2B4F547A-E46B-47D5-A05A-074BADD0101A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd6ece8b17a1de4a0dbdc3c065ad83b487ffb7e5","datavalue":{"value":"pushdown processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608615$418A485B-6D30-44FC-A0A3-3173D4E0F1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f30b0af89e117c88084610d460dd23e85bb5b24d","datavalue":{"value":"first-order grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608615$5043B9AF-BA8B-4094-A9E9-2A1C17824077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608615$92B63228-4EE7-4432-9D6D-56D1CF7B1A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3d663c92cc86288e2df478c487898f3815f9ec0","datavalue":{"value":"regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608615$F6F35BC6-B2F4-4497-B464-E73EE67FD6F2","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":"Q4608615$A5D9B17C-CDE3-4B40-90F0-3AC90DC90C5E","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":"Q4608615$1E36AD68-6F4C-4AC9-81A0-B4B9E9FA0312","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2628f141483980608204e4ca30d3177102f952cb","datavalue":{"value":"W2542491786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608615$70F6C720-148B-4481-96FF-4D24022CA410","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bb4d9b6e35cd0e1c58c8f09e3aa970718d53ef1","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":"Q4608615$71DDED59-2A79-45BB-A2F1-41EDFBB46D02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"feb29f067e4cc41cded758291e42ca3f9c8eb87c","datavalue":{"value":"10.4230/LIPICS.MFCS.2016.52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608615$95EAA78C-5604-4BE5-A359-0A4D87058746","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4dc79303989aa61752309f92a0ce1ee6281a5eb","datavalue":{"value":{"entity-type":"item","numeric-id":2301358,"id":"Q2301358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q4608615$CB02263A-999C-4ABE-B9A0-F16CB7ADB5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ada689019776028c161a5217567aebea8f95181","datavalue":{"value":{"entity-type":"item","numeric-id":6061666,"id":"Q6061666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72806ff870176af617ad3d6ae71062e950f7bffa","datavalue":{"value":{"amount":"+0.90265185","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":"Q4608615$602079EE-7798-4C8D-88E2-ED34192AC255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396f6295143b5294fbcd031c88d0e986b251def8","datavalue":{"value":{"entity-type":"item","numeric-id":5883743,"id":"Q5883743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72806ff870176af617ad3d6ae71062e950f7bffa","datavalue":{"value":{"amount":"+0.90265185","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":"Q4608615$43201A33-CFDE-4F7A-90CA-86D99EFA5A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64b9b81f97b56a7f879013b60f99e3e95ea2fc6d","datavalue":{"value":{"entity-type":"item","numeric-id":988552,"id":"Q988552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15b9889362b6d472f725358ca304b53318f9060","datavalue":{"value":{"amount":"+0.898664","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":"Q4608615$1B5BE18E-EF55-44DB-B067-C0418517B275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59fc763dea8dfc392bf18363fc4fd231839b153a","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61dbce43c12c1c24d7143c9eeb8b3bfe83df102c","datavalue":{"value":{"amount":"+0.89191854","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":"Q4608615$85316612-EB2F-4DCF-B650-6DA8C4A9BF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a614adc7f290cdfef8757123d5bd3afe39449feb","datavalue":{"value":{"entity-type":"item","numeric-id":3774929,"id":"Q3774929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61dbce43c12c1c24d7143c9eeb8b3bfe83df102c","datavalue":{"value":{"amount":"+0.89191854","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":"Q4608615$8A86BCFA-AC6D-4649-BBE3-EADEF58F93A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"253cd9e6b0e2f156f893f158fcee7f368753ff19","datavalue":{"value":{"entity-type":"item","numeric-id":1276237,"id":"Q1276237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85782993792ba55a318eaaee77451a6a441bfe72","datavalue":{"value":{"amount":"+0.8816643","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":"Q4608615$C55161C6-F1AF-46E9-8625-729891E8D799","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":"d3bd6962df9495d32b4ee59fbb5483852c39a2bc","datavalue":{"value":{"amount":"+0.8800319","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":"Q4608615$77426EE9-D3E7-4714-A15E-9542743124E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3137e4ed83ba0a69708b1c3114d243279f6b5d46","datavalue":{"value":{"entity-type":"item","numeric-id":5145660,"id":"Q5145660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a396c43a778f2295c5896212b221167f57c3fdf7","datavalue":{"value":{"amount":"+0.87528527","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":"Q4608615$3062C836-DAAC-4D84-A733-6078F1CDBD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0458738b4495a6a0beb364464d6655f95c51e249","datavalue":{"value":{"entity-type":"item","numeric-id":5941202,"id":"Q5941202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de91b117c070cfd9c002aa373548ee8c4b11c22","datavalue":{"value":{"amount":"+0.87247837","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":"Q4608615$6DD36D45-86E3-4980-A977-3FDAAF76AB36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding Semantic Finiteness of Pushdown Processes and First-Order Grammars w.r.t. Bisimulation Equivalence.","badges":[]}}}}}