{"entities":{"Q2851063":{"pageid":2861783,"ns":120,"title":"Item:Q2851063","lastrevid":51837743,"modified":"2026-01-20T07:12:29Z","type":"item","id":"Q2851063","labels":{"en":{"language":"en","value":"Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213307"}},"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":"Q2851063$D9E6A45A-47C2-4004-8921-5158D00FCB07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80390c5c69a1c5768ccdd1988feb32a384688671","datavalue":{"value":"1272.68309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851063$70BC22BE-1933-4996-A479-E55906465577","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f51c10682ff6e99c54420fca8007c3fa5c26943","datavalue":{"value":{"entity-type":"item","numeric-id":1959481,"id":"Q1959481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851063$93624869-24A3-4FEC-A826-10CAF09CC241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b03ac5bba01b795f28026ca20b8186f691ef6095","datavalue":{"value":{"entity-type":"item","numeric-id":1015389,"id":"Q1015389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851063$9B93FAE1-E3AD-479C-858D-AA4A5125FBD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851063$9A381D06-241F-4192-9728-02D48B1D1E88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3923c77d1e6e32eb02c110b2c0a72e435aba006","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610505200X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851063$B22066D2-1B04-46C7-AD24-46236E877F53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851063$76608BCF-EDC8-439E-AF6C-E4789004B076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851063$B6E6426A-D981-4701-800D-6C6D4E53A263","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c54804cdba607cbc65691222b8094d555085b21","datavalue":{"value":"6213307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851063$2DBE8F28-27D2-42B9-BDE6-DA111B62C029","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":"Q2851063$10A2DCC6-2CCA-4814-9A73-C2F337EAF8EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fb93b4299b75de711a561281fb161d587db43f1","datavalue":{"value":{"text":"Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851063$08A9BD9B-1A30-4BEC-A7D6-62C081DCBE38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"257987e34364cf11b26966c06937096e645f0419","datavalue":{"value":{"entity-type":"item","numeric-id":5958326,"id":"Q5958326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b8c71367dfaf39a7eb580af3539a6d461e4e3a7","datavalue":{"value":{"amount":"+0.8541110754013062","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":"Q2851063$D334BCEA-80F4-4580-8318-ADF8DF694271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d200a2dac8e851aa1f1862c4e1f2194c864e9f","datavalue":{"value":{"entity-type":"item","numeric-id":1959482,"id":"Q1959482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"471252fa1b4b99a8e7d3bf6f3123ce54778064b5","datavalue":{"value":{"amount":"+0.8391954302787781","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":"Q2851063$34C9892B-986F-4B5F-AFFB-B0CB98A8B33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975f2f782478f5a80977dc49a0fbdb7e2d5c366f","datavalue":{"value":{"entity-type":"item","numeric-id":4270070,"id":"Q4270070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d32fdf5211fefe9dab3cb45a8d7d3d40e4111451","datavalue":{"value":{"amount":"+0.8276422023773193","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":"Q2851063$6ECF9CDA-C711-4A76-8C0A-8C677CD7DF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a69ecbcf836548863b623cfd4b9238e80a71836","datavalue":{"value":{"entity-type":"item","numeric-id":3541036,"id":"Q3541036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf194ef7c06d0369e2962200148b446d8d3931b","datavalue":{"value":{"amount":"+0.822875440120697","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":"Q2851063$358213E7-05C7-4C9D-83F1-9F33B12CD8A6","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":"130b8ba1640ccdd5abe06ac42a863524bcd99b55","datavalue":{"value":{"amount":"+0.8066144585609436","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":"Q2851063$46AA120C-3B19-4A47-BB0E-EDBF576F88E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851063"}}}}}