{"entities":{"Q4558784":{"pageid":6588375,"ns":120,"title":"Item:Q4558784","lastrevid":58274991,"modified":"2026-04-04T12:54:33Z","type":"item","id":"Q4558784","labels":{"en":{"language":"en","value":"Game characterization of probabilistic bisimilarity, and applications to pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6987092"}},"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":"Q4558784$DA40DB50-5624-406F-BF2F-599C5B8F0ED4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a1ec547a0b7a05396ba5a75453dcb9cbd48f18e","datavalue":{"value":"1407.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558784$718C4F29-BE76-4AD3-8632-F8A437A07A95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45d58b0b82eebd5f05ba70b846362078c7fdf986","datavalue":{"value":"10.23638/LMCS-14(4:13)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558784$286C7C07-C212-4C72-B99D-2C22796B03AF","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":"Q4558784$2EF7EDE2-2D76-4990-A882-44241DD3101F","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":"Q4558784$01185BE3-0D16-4441-A095-9E70D5C70433","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":"Q4558784$51D52FD3-3367-4687-8D50-19C5771A5822","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":"Q4558784$718518B6-3B7B-4E8D-9A7C-F4F4904E2E06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"272a15ab0c94c839ab2b5edaf5c216ab81a36175","datavalue":{"value":{"time":"+2018-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4558784$17C096C8-1259-47DD-B523-4E3246D1BB77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c5682dd89fe83afffd4731ab7252a253e62aa21","datavalue":{"value":"https://arxiv.org/abs/1711.06120","type":"string"},"datatype":"url"},"type":"statement","id":"Q4558784$BD7DD475-C653-4E01-83D3-7A14A73DF1D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558784$0DE26C52-7174-4470-AB1A-210F197B56A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558784$9447F4D9-C3E1-4237-8BE9-72C03C44BD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558784$C5413A1B-644F-4C1E-9D5E-9812E4C0568B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92ba37caff5c3329664297c5af0a0f508bd03dfe","datavalue":{"value":"6987092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558784$BDE3B9E7-FAE3-4F18-9419-18F7797382D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53a1274bdce5ebed6d187a0fbd8790569e7f984c","datavalue":{"value":"probabilistic bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558784$FA8A9BF9-7268-4948-A26C-31EC2052A9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558784$61649587-545F-4328-AECD-532273390770","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":"Q4558784$3163403B-DA77-444C-B290-58F8AC5ABE45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"847e9d0ebf5abf69d8dd6565593a2e2426dcb200","datavalue":{"value":{"entity-type":"item","numeric-id":2491633,"id":"Q2491633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$E3151169-8F1C-418D-ADC6-430B9B9E8453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78abf06cd43bc8b5469b6b54f3aaf21e033b53e","datavalue":{"value":{"entity-type":"item","numeric-id":2760246,"id":"Q2760246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$B8FDC277-2706-4175-BC50-69EABB68F706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c365e25ffb1da604bb143141e561fe2efa1863","datavalue":{"value":{"entity-type":"item","numeric-id":1975973,"id":"Q1975973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$09D0CAD8-C7D8-4D93-972F-40217181FAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b98c4085803141f8766e56593fd9e83968cb2013","datavalue":{"value":{"entity-type":"item","numeric-id":3584929,"id":"Q3584929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$08F5D32B-D189-4DD0-BF49-1DD0B1131B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd7ddd01c3f0f84915e87c932ae070ccc0c2bd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2637644,"id":"Q2637644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$36A34CEF-A5D2-4167-AB03-68175D0A5EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e0cd84890814c0157ac38d8e89485aa52956a09","datavalue":{"value":{"entity-type":"item","numeric-id":5271086,"id":"Q5271086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$BBC7F752-E8E7-4DA3-A181-DF4943D8DA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"802d3b73d2ed1c3d5838ea6b95f11e995b23415c","datavalue":{"value":{"entity-type":"item","numeric-id":2482725,"id":"Q2482725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$C7B4D402-0DE4-442B-A798-A843267D2913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8079eecc9579ae6400ae4118234ab46520c11715","datavalue":{"value":{"entity-type":"item","numeric-id":2892788,"id":"Q2892788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$50BECC04-BAB8-42DA-B1DF-8BB6DA6902BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9d1825e985bd9d3ac22966e44befbddbae3977","datavalue":{"value":{"entity-type":"item","numeric-id":5310649,"id":"Q5310649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$D83342E8-C82D-4BC3-A639-C29525ADA8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7618dba3c858d60e577e7b915b9ef7225ee18f34","datavalue":{"value":{"entity-type":"item","numeric-id":3452195,"id":"Q3452195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$8D9E0249-1849-4299-9339-AC06702F0C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108bb8bcf8106b8a61378cf16e8b2774a88cacd0","datavalue":{"value":{"entity-type":"item","numeric-id":2957520,"id":"Q2957520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$8E159199-64CD-4D7E-84BB-AA7894A3384E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6209b05dc2677d4433941fbd73baaac62df30e","datavalue":{"value":{"entity-type":"item","numeric-id":2252520,"id":"Q2252520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$B317206F-5299-45C2-A8F9-8DE5299E579C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a0f208a53df225ae8933f99af811fbd0d9a670","datavalue":{"value":{"entity-type":"item","numeric-id":2911645,"id":"Q2911645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$80173199-25A3-4A24-8308-43B376B30AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4598a8b8d61a5847e8e1ff806a44a607aa1b282b","datavalue":{"value":{"entity-type":"item","numeric-id":5486002,"id":"Q5486002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$DBA3F4AC-68EC-4157-BEBB-915B88197C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60c751c6f297839d3dfc43e4d3c3a3d76dff8b0","datavalue":{"value":{"entity-type":"item","numeric-id":4913773,"id":"Q4913773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$5DCDD8C8-A777-4F41-A626-728AFDB3263D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df998c6dc51725ca8685a8f5f7363dc230542ff6","datavalue":{"value":{"entity-type":"item","numeric-id":5167841,"id":"Q5167841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$EDB6FB38-A11D-474B-81D0-DBC0C353D2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d106dc77720e13af425b06f1567e82903afa6126","datavalue":{"value":{"entity-type":"item","numeric-id":5410661,"id":"Q5410661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$AA428C4E-3157-4EA6-B59C-01751AE44041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035953d69d4ec28ba15a06a5e445473722bc5d49","datavalue":{"value":{"entity-type":"item","numeric-id":2380016,"id":"Q2380016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$BEC51AA9-36F8-4EA7-A91F-CE32B8542DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697fcba366f2988614b3fb869ff875cbd5028ead","datavalue":{"value":{"entity-type":"item","numeric-id":1943623,"id":"Q1943623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$780F83A4-0873-4336-B192-C9B1B8E25689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f745d34ab5f493aabd95a0423dc61f8f1c7590be","datavalue":{"value":{"entity-type":"item","numeric-id":4708592,"id":"Q4708592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$C39D206E-6022-4304-8C1E-E4FB8EC2934B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"464caa531a5b47ad242e9da99eaed8f057ad4658","datavalue":{"value":{"entity-type":"item","numeric-id":988552,"id":"Q988552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$C30E33C3-0BFF-4412-99A4-90A1ABCD23F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896f434c8f5a0467f2a8453c01e080e58b0f094e","datavalue":{"value":{"entity-type":"item","numeric-id":4449204,"id":"Q4449204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$9B3ACA3B-A1CD-430E-A7BC-F9FD70484C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc15cea0e01e2a84509c7d2b5a4b258a406efdc4","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$D14F0CC9-E52F-4EFA-8C00-A49848BB268D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ff752370cd630c25c6f93f64154afbd4cb8264","datavalue":{"value":{"entity-type":"item","numeric-id":5317186,"id":"Q5317186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$B1BB35E9-F949-4D1B-A811-B8FB038DA56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8fc29f9e5ebb608eee88cb6a5c1c78e3e8df09b","datavalue":{"value":{"entity-type":"item","numeric-id":3623014,"id":"Q3623014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$37970CCA-F4E6-4CD2-9C4A-53856B8E9F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5718dd49930491916235d0432e4851489c7fabe","datavalue":{"value":{"entity-type":"item","numeric-id":3990650,"id":"Q3990650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$AA32922E-AB7E-47B9-BF01-2E469196191A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$A63A0BC6-ACDD-43E0-B050-A14DA1E34907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6adc6d6ff43eae05930342d76df50c9a70d06b","datavalue":{"value":{"entity-type":"item","numeric-id":1671244,"id":"Q1671244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558784$C3D164B8-824A-4861-B768-B423F1FF77D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e7e4c50b9634c7b85fadd08ba19b5e22706b7e6","datavalue":{"value":{"entity-type":"item","numeric-id":2957520,"id":"Q2957520"},"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":"Q4558784$D4EDC573-C16B-4F02-A667-71839EAAF37B","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":"71e339f5570d257e95df5089f5bef4a41348f73b","datavalue":{"value":{"amount":"+0.8439343571662903","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":"Q4558784$22CDEC64-57E4-457E-8A0B-828A6AEADC0E","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":"bf5215413a5b44716ec5508fbd68dad86d00b344","datavalue":{"value":{"amount":"+0.8407054543495178","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":"Q4558784$97013D84-8BDA-4E75-8CB5-840C0E75EEB3","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":"64acdd344a0c8c6fbcf44ef783399cbcc967857f","datavalue":{"value":{"amount":"+0.8280165195465088","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":"Q4558784$00A7D18B-5323-48AE-82FF-91B619AA8A6C","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":"ef85e39af3b58af71c0bc5a7730b317c4ecb8198","datavalue":{"value":{"amount":"+0.8280163407325745","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":"Q4558784$B77D539F-B331-4E9A-AD96-F211C50A0ED7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4558784","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4558784"}}}}}