{"entities":{"Q2957520":{"pageid":2968239,"ns":120,"title":"Item:Q2957520","lastrevid":79612166,"modified":"2026-05-06T14:19:26Z","type":"item","id":"Q2957520","labels":{"en":{"language":"en","value":"Bisimilarity of probabilistic pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678472"}},"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":"Q2957520$FD19730D-5678-4DAD-B397-7A076ECEFF3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3973f750d2ce054061a41a21107ec9a749a3fd76","datavalue":{"value":"1354.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957520$6920CAF3-910B-4AB2-BECC-85C90F631EB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97d285282e4a9951aa1b8c348642148d118ee6e0","datavalue":{"value":{"entity-type":"item","numeric-id":278753,"id":"Q278753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957520$0236F1B7-A1FB-4280-BC42-2C7BA0A34815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d62012c44fa6c563fe5eb1edf4cf0db84f8565b9","datavalue":{"value":{"entity-type":"item","numeric-id":396601,"id":"Q396601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957520$9CF8328C-5864-49BD-BAB3-F8F4D2B99BF5","rank":"normal"},{"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":"Q2957520$9AF061D8-7C43-4159-A57D-A5DB344A96E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957520$AB61CB64-689B-491D-A78D-AFBBFC29D756","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce03103194246a3df27ce58b06ab6f4262232789","datavalue":{"value":{"time":"+2017-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957520$9ADE5183-89FA-40A8-9B15-C32A150AC740","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2eb76073d2d49c7a8117e4ab62693b7cac297f76","datavalue":{"value":"https://arxiv.org/abs/1210.2273","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957520$8062BCFD-5E3E-497F-9F6C-150E8B17E23A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957520$5DDF9DB0-5F18-414D-A3A9-E881B62A15EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957520$91954891-A63D-4D73-988F-899772137A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957520$CF322EB4-2EF7-46A8-A27B-51C13A91E0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957520$8E267F9A-56D3-467A-86D4-881F9A18C90B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d21abb05d36de21c1bb0ddccd5241ac0d5482ba","datavalue":{"value":"6678472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957520$AE503595-6EAC-4DFF-B2FF-8A884E7D4714","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957520$561CDD9A-C68B-4972-B655-8FF38CC13D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43c47dec4220d9a6b5b780b7cd50a4fe76e3881","datavalue":{"value":"probabilistic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957520$9B840761-C53D-4671-90E8-CD9FE1BD3B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957520$200D6C22-A685-40D8-977D-9E0DFCA1175C","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":"Q2957520$4C7F3BE1-BF8B-4132-88DC-EB054F5C7962","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"564750f8f38a3183d61ebe17b7a0d85485d3b0ed","datavalue":{"value":"W2963204233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957520$DCE4D49F-C18A-430C-B4D8-9D116C5E16E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86b62d729e62260c31fc00d801e32ad8e61c08cd","datavalue":{"value":{"text":"Bisimilarity of Probabilistic Pushdown Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957520$7785E6B3-7F26-4BFD-9C54-32AFB3ED736F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d7a664ecb265aa19d7e603854ded6fbe5d78940","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2012.448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957520$889421C9-5F72-41DF-9279-015EC739D8DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86169941cd75ab61e9176695b3e56418c6e6a427","datavalue":{"value":{"entity-type":"item","numeric-id":4558784,"id":"Q4558784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08c597928242abb92d20f87fe21dfaa33d03f92e","datavalue":{"value":{"amount":"+0.94710111618042","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":"Q2957520$6D433628-5C41-4CA1-92D8-BC442C88927A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0778fce5f038ff94e9b15dfe10ac3eb3c81de816","datavalue":{"value":{"entity-type":"item","numeric-id":2911645,"id":"Q2911645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1825b7e895af5528b356edf0d71bed9ed0c544e2","datavalue":{"value":{"amount":"+0.8781036138534546","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":"Q2957520$0F4C38A0-5DA0-4D1D-AC1B-CF0E3BAE2977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6ec993a85b8a7aa720c3d13056e2627261175d","datavalue":{"value":{"entity-type":"item","numeric-id":2272985,"id":"Q2272985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745f25fc521a688a69f3f2abca35930881180cd1","datavalue":{"value":{"amount":"+0.871649444103241","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":"Q2957520$C51EE9A7-E9BE-413B-A3F6-3D517EC604FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552c48f1c538e252112cef596595d2b8f3a84bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2482725,"id":"Q2482725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58b5a64cf6213360e3c59c26cd9fcea14a6e2a9","datavalue":{"value":{"amount":"+0.8643278479576111","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":"Q2957520$45DA7FD6-8D30-4470-9ACB-6161BF8ED5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad61201d57158c30f31d86e3c9758d60fc0f2ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5311474,"id":"Q5311474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f32f5619535750d1ff91cdb315e74d2d62131191","datavalue":{"value":{"amount":"+0.8643277883529663","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":"Q2957520$0156D304-ECD7-4C07-8895-5A181262CA19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimilarity of probabilistic pushdown automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimilarity_of_probabilistic_pushdown_automata"}}}}}