{"entities":{"Q2847410":{"pageid":2858130,"ns":120,"title":"Item:Q2847410","lastrevid":83859233,"modified":"2026-05-07T13:01:43Z","type":"item","id":"Q2847410","labels":{"en":{"language":"en","value":"Weak bisimilarity and regularity of context-free processes is EXPTIME-hard"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6207122"}},"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":"Q2847410$0C12F575-9976-4DB0-880D-6C9B8E45275E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ca9e8a1c179fd3fb09b9bfaa5041b22815c7874","datavalue":{"value":"1271.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847410$A2A28B40-0E4A-4E03-96A7-EC3FBEFF8436","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e8c017497806797f217f1d658e3d224a2498206","datavalue":{"value":{"time":"+2013-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2847410$CE0F404A-07E5-4613-8C2A-4F2651C53476","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f07db0404be89509dfae01b0d94463b19e21504","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104050364","type":"string"},"datatype":"url"},"type":"statement","id":"Q2847410$C0C9CAF6-094E-4277-A9D9-BCF661A03A3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847410$9FEFF492-15D7-4375-92EA-B8962B608E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847410$5C6B60F1-827F-4531-BD6D-798A10793ED6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f836a00b57df982fb8764412dd7d228ccaf3b96","datavalue":{"value":"6207122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847410$49B8EC96-AFAA-453E-8D9B-302F33BC0654","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847410$148F53C3-5039-4816-B079-4FA6F0368A0D","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":"Q2847410$37B3AB72-EE4D-444B-AA6F-AB36D00ED9A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e19a8e4343c44189bbd8a4eb6d2176ddc41198","datavalue":{"value":{"entity-type":"item","numeric-id":1763731,"id":"Q1763731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q2847410$77D1803A-F9F4-4D8D-8EE7-F30E29BCCA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d36e6faeabf1e50054a229bddca9acc23123af","datavalue":{"value":{"entity-type":"item","numeric-id":3525095,"id":"Q3525095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6f7ebd9b49e6a1e9cab0ad3d5092c124f507fe","datavalue":{"value":{"amount":"+0.89395505","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":"Q2847410$591B05BF-BB0C-4A1A-94CB-9BB2FA500625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dff55a737df6c82e9466a23bd42a62ee671b99d","datavalue":{"value":{"entity-type":"item","numeric-id":4484512,"id":"Q4484512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef509aa9dcd39b57878558cdfdd4cef62ed543cd","datavalue":{"value":{"amount":"+0.8873757","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":"Q2847410$8B7DD56C-F4A5-4213-85F0-2D6ED24F153E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06bbcde98b21768c1e7fa49f54800219888773b0","datavalue":{"value":{"entity-type":"item","numeric-id":1314379,"id":"Q1314379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c3bc570a49384e16c9e17f67092f768db6cf82","datavalue":{"value":{"amount":"+0.88206196","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":"Q2847410$B92B1140-0360-4CD7-BFF8-8A0E1FE667C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925328eeccdf6a722f8e5b1aeae6f047dfdaaeb5","datavalue":{"value":{"entity-type":"item","numeric-id":4412112,"id":"Q4412112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15448406ba3b32d8b31e8939608e720b554bf384","datavalue":{"value":{"amount":"+0.8817358","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":"Q2847410$79947276-B117-459F-8AC7-8C8DCAD39A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"310777e9004c5484d50f92e5ea54470091bc94ba","datavalue":{"value":{"entity-type":"item","numeric-id":4737202,"id":"Q4737202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7d0295b6752cab8ea7bba981a5d6c0239f0cd45","datavalue":{"value":{"amount":"+0.87775046","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":"Q2847410$6EFE3499-FDB4-498B-8F37-6596F86B48B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da07506d2460e45d821848bf4dbf67dd02698c45","datavalue":{"value":{"entity-type":"item","numeric-id":3526944,"id":"Q3526944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf9048afd95b8d13436dd4703b6dd41c73da2d1","datavalue":{"value":{"amount":"+0.87222666","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":"Q2847410$B2FA9B7B-DAD2-4294-A334-649984F6A38A","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":"5a6c80d1331eccbdc1b15e686fd8f2f99dfaad5b","datavalue":{"value":{"amount":"+0.87221897","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":"Q2847410$BA603391-9C6A-4573-9EA9-C278F8207522","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":"5a6c80d1331eccbdc1b15e686fd8f2f99dfaad5b","datavalue":{"value":{"amount":"+0.87221897","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":"Q2847410$86BC1433-ACE3-4B82-A876-8652DD45394F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9211933f35d3017118cab23f04d1ce18e87ee9bc","datavalue":{"value":{"entity-type":"item","numeric-id":4461214,"id":"Q4461214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cf62607fc10539f09120ad10c65f17b1ef4b0f1","datavalue":{"value":{"amount":"+0.87116224","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":"Q2847410$A5876306-D1BE-4627-82FD-BD29E210B213","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc0db076034a9d67f1293f906ec2958db920246e","datavalue":{"value":{"text":"Weak bisimilarity and regularity of context-free processes is EXPTIME-hard","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2847410$40D8B90C-C318-4028-B77A-5900012837BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak bisimilarity and regularity of context-free processes is EXPTIME-hard (scientific article; zbMATH DE number 6207122)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_bisimilarity_and_regularity_of_context-free_processes_is_EXPTIME-hard_(scientific_article;_zbMATH_DE_number_6207122)"}}}}}