{"entities":{"Q5145660":{"pageid":7175231,"ns":120,"title":"Item:Q5145660","lastrevid":40887609,"modified":"2025-04-13T19:19:16Z","type":"item","id":"Q5145660","labels":{"en":{"language":"en","value":"Bisimulation Finiteness of Pushdown Systems Is Elementary"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299493"}},"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":"Q5145660$CF2F2749-A3B4-4C0C-AB5C-D780B70D2123","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7eb3b33f1938d29ef362a34a0baf1519fc9e6b13","datavalue":{"value":{"text":"Bisimulation Finiteness of Pushdown Systems Is Elementary","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145660$0FA56CFE-242B-493A-9458-10B13D44DDF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a699b2107cccf88b0d491fcd88ea734744685d2b","datavalue":{"value":"10.1145/3373718.3394827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145660$67596AD1-28BE-44E1-A06D-435ED8D5FE8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec1bc0849059b0a991d5eac196f85a97b908b21d","datavalue":{"value":{"entity-type":"item","numeric-id":959056,"id":"Q959056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145660$FBE7A4F2-DBC9-4984-9EC2-991A70E0E0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f8cdd386691c1fea5e73df605fd6f51a4e84c6","datavalue":{"value":{"entity-type":"item","numeric-id":894454,"id":"Q894454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145660$FB1C3AFC-59E6-4D3E-A523-A4D45E66F9A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145660$3BFAC94C-8932-4D67-9486-F59A0FE9AA54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-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":"Q5145660$67981B41-B6E9-4DAB-B791-1B5A8583EA0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45047e3a89e29e989ac1365955d170032e1665cc","datavalue":{"value":"https://arxiv.org/abs/2005.06285","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145660$F75BA94F-582F-4DA2-B74C-B0FF45EEFDA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145660$62A19215-ECFB-436E-99EB-9198AA6767B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04b6dee177c3d6d993f2ee33d13363e9f9817f0f","datavalue":{"value":"7299493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145660$B734EC22-2793-43D6-8BF1-71EF7A6A376C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145660$DE061C2C-8B07-4635-97E2-06F318C70838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145660$150EB418-E7EE-46AA-B1EB-D4137EF2803B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e79080007a12e2e4fd24dfe6b0aed23a99ee0c3","datavalue":{"value":"bisimulation finiteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145660$89C2CB0A-E695-4F45-B765-ADBEAB91CC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caf7ecff3519f142c01099b11743e365660412c5","datavalue":{"value":"elementary","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145660$9731FC2C-8EA1-4D3D-8E50-4A7E82F88886","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":"Q5145660$AFAB09E4-CDDE-4493-8EE6-8D22E0753350","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31b86b66af41d0f93b98c9363778f73d63184de9","datavalue":{"value":"W3030551326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145660$933F3A8A-24BA-4F18-8EA1-63CC631AC59A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f13139c7c1e688699842b67939174ea0db8261d","datavalue":{"value":{"entity-type":"item","numeric-id":4553282,"id":"Q4553282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6555059466f245d54d0df1f10fd370b3631dbd70","datavalue":{"value":{"amount":"+0.87966084","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":"Q5145660$B39B8796-6140-4449-9526-75C98FC6AC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465fbe689088e7ec329aa49f2d57fd43a46f37ab","datavalue":{"value":{"entity-type":"item","numeric-id":5271086,"id":"Q5271086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3492ce143465e89cc6e628f4599e7d4fc5f68d","datavalue":{"value":{"amount":"+0.87708163","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":"Q5145660$F5731633-9484-46C3-880F-166A4885208A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b7efdb8340a02bab85ed8e28e0582078f601292","datavalue":{"value":{"entity-type":"item","numeric-id":4536443,"id":"Q4536443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f6621bd5666c4cafddac69fc88f666e0b3dac6","datavalue":{"value":{"amount":"+0.87599564","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":"Q5145660$891AB4D9-4110-4D78-A4C5-ED49A0B01690","rank":"normal"},{"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":"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":"Q5145660$5B17B2A5-8243-457E-9E7A-F214F60F860A","rank":"normal"},{"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":"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":"Q5145660$BE88AFC0-9916-4B48-8E05-C4109F64697C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abde85dd0c5a0622ef2a5fe0b0a2d3a3afe7d711","datavalue":{"value":{"entity-type":"item","numeric-id":5494236,"id":"Q5494236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7787c2f8761a0f83ec6f07bbe7aa27aa81a2338f","datavalue":{"value":{"amount":"+0.8747908","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":"Q5145660$5447EC2E-7115-47F1-9E0B-953D7FCFDFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e8fc93a67887c97f5139257894ef7fcabc8e09","datavalue":{"value":{"entity-type":"item","numeric-id":4818859,"id":"Q4818859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f09c35255379bceb1d3133c443040df49ad98f40","datavalue":{"value":{"amount":"+0.87448454","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":"Q5145660$055940EF-CE94-4F89-AA98-B3BBF3299F9F","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":"d00cf63764f10e67bac5a52501375ae32665cb3a","datavalue":{"value":{"amount":"+0.87436914","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":"Q5145660$6D71F9D3-1FA6-4E3D-88B5-7D74159697A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b097c90ba47d7326e8c58d1dde3f7cf21622f11f","datavalue":{"value":{"entity-type":"item","numeric-id":4589482,"id":"Q4589482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b59ba9b0051420f6ad348fd6117174377387fa","datavalue":{"value":{"amount":"+0.86693853","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":"Q5145660$6E5237C8-82EB-4A31-9A95-B727DB2D60F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f675664e74758a9f8908bc9068d39b7a60a5ed57","datavalue":{"value":{"entity-type":"item","numeric-id":2948555,"id":"Q2948555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6562f3f3052dfc8b34dfd02eeb718b825d74e9df","datavalue":{"value":{"amount":"+0.86674607","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":"Q5145660$53F35E09-ADC4-4103-B134-1E425F4499B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145660","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145660"}}}}}