{"entities":{"Q4608674":{"pageid":6638257,"ns":120,"title":"Item:Q4608674","lastrevid":53047490,"modified":"2026-01-24T03:02:05Z","type":"item","id":"Q4608674","labels":{"en":{"language":"en","value":"Computing probabilistic bisimilarity distances via policy iteration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851944"}},"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":"Q4608674$250715DC-AB31-4ADD-8A8A-A710BFA6A087","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a47b44a01730f01fbebedd8b7bfd41b8c18ec73","datavalue":{"value":"1392.68316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608674$47C51800-2F60-4B34-92DC-47446C167232","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca44c5994cb111f050322327ec89feec3c367f86","datavalue":{"value":{"entity-type":"item","numeric-id":2306847,"id":"Q2306847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608674$C15DD065-FD08-4CB9-8F6A-2EE05AA6B1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42fca8198ff5bde9254949379672939d8017bfd9","datavalue":{"value":{"entity-type":"item","numeric-id":456099,"id":"Q456099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608674$2ECAA5A5-C764-4894-A952-8B764A0B70DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-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":"Q4608674$A52FB4E4-5F8F-4E01-BAA8-3925655AE9CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608674$FD468CFA-A015-48F2-8BA6-B9F5F915A929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608674$BAD6F715-4E1B-43B1-828B-6270F768BD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608674$2E6AFFB4-76B9-4E99-A1AC-1494CFDC3E00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35a7a43b94a60ba18feb41dc4703aaa323fede16","datavalue":{"value":"6851944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608674$F2DFAB42-7016-4495-A27B-7B6AEA2537A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04fd3460b66471450f2abbdb533dd063c384127d","datavalue":{"value":"labelled Markov chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608674$B96BBFDF-E523-4E71-9B77-0DEC16EF51A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"105dcff455d1f5461e328670ceaad1be7348835f","datavalue":{"value":"simple stochastic game","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608674$D6D17252-25AB-4A21-9978-28E05E8CE075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fd5200b926a7eb1be033939b86e40c8fff4624f","datavalue":{"value":"probabilistic bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608674$692AB53F-EB43-47D7-A7A4-2C66468770A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e20b56f758de65f1b5e2b6017592594730f4f67","datavalue":{"value":"pseudometric","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608674$92305CA9-7028-4277-9220-A73FD09C261B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60a9ddaad371c5de99845b002d7261e34b63d90c","datavalue":{"value":"value function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608674$95DF9AD4-D697-4116-8089-43D91A0DBEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b787a7fb4983f9edd99c2283d82bd30f90e94b57","datavalue":{"value":"policy iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608674$8EC14946-F120-4D33-8F8F-80300AC7D410","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":"Q4608674$CE563D82-4A24-4D9D-8F3A-CDAC8613654C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"076a56159bab0c545baab1d64e55d631c5c0e9b5","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/concur/concur2016.html#TangB16","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608674$F9B6D77E-0F93-4D16-B1A7-C4D27F79253B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81b837af7b465c0ecefaa85ef9043f398a6c9688","datavalue":{"value":"W2544192463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608674$6C3A5D2E-94A9-42AB-A2F9-A040D6C6A625","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96396453c56c070713d57ac6278e3d5b16865d89","datavalue":{"value":{"text":"Computing Probabilistic Bisimilarity Distances via Policy Iteration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608674$B1ED27E1-8AB5-4CF4-BAA5-68993C25CE5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5b7b01f85cb1e9fefe848f61ae2076fc425448e","datavalue":{"value":"10.4230/LIPICS.CONCUR.2016.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608674$E6BB528D-A19D-4B31-BCBF-AF6AA0E8C68B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aec9ed2cd515a818bdd0ecbd74168470db07f6b","datavalue":{"value":{"entity-type":"item","numeric-id":6041138,"id":"Q6041138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e7e86a038face26cb1f332ec71af2b24b60a6b1","datavalue":{"value":{"amount":"+0.864011824131012","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":"Q4608674$C3DAF2E3-044F-4238-A23D-6D040BF99BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130c11d4aaabb9ce39653d1b182ef5dfb19e2808","datavalue":{"value":{"entity-type":"item","numeric-id":2892788,"id":"Q2892788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fbe4a72429051e3effbeb208b53c45e422a01b5","datavalue":{"value":{"amount":"+0.8563419580459595","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":"Q4608674$82F83642-1FB3-4D54-AD83-8AC19E7CE2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9670ab378f8066a8a55f8e80eb0a2fbec89caf7f","datavalue":{"value":{"entity-type":"item","numeric-id":5111641,"id":"Q5111641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2718d0d27ec345e1ac2ef62d40aa09fadcf8ac","datavalue":{"value":{"amount":"+0.8528745770454407","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":"Q4608674$4E0D90B3-6812-4658-9A66-028FFFD8347F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c706e57d318544a2ba3f89062f582ea018aecf","datavalue":{"value":{"entity-type":"item","numeric-id":5856412,"id":"Q5856412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a2407f71dbe0af3ad1ee7a4eb6f5d375a03298","datavalue":{"value":{"amount":"+0.8461337685585022","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":"Q4608674$0A23F523-22F5-4AF7-B751-BC324285D115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4126cfe0ff7db2dc28d8df0214bb7e3ed7239db6","datavalue":{"value":{"entity-type":"item","numeric-id":5009421,"id":"Q5009421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3fecd5cfdec4c46b7d7d627ad32b48935650bc","datavalue":{"value":{"amount":"+0.8225117325782776","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":"Q4608674$948FE76F-4A82-4DF8-95B7-6CD93A248EC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608674"}}}}}