{"entities":{"Q442296":{"pageid":444063,"ns":120,"title":"Item:Q442296","lastrevid":61900203,"modified":"2026-04-11T02:25:49Z","type":"item","id":"Q442296","labels":{"en":{"language":"en","value":"Approximating Markov processes through filtration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6064625"}},"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":"Q442296$3C42C8DB-256D-4769-AF84-1935837B5A8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ad7c3975c7b20368033d8d98d503b3970992788","datavalue":{"value":{"text":"Approximating Markov processes through filtration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q442296$4127AB4B-2657-4516-BF93-006ABEDA7D11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6fc549ffe645574df932edb896b0293e331bd56","datavalue":{"value":"1257.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442296$F40ECA2A-2C11-4980-B218-97503423A32C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d77ecd0c705389db5013c77f6cf1d0c18e3ff691","datavalue":{"value":{"entity-type":"item","numeric-id":265836,"id":"Q265836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$8CC004F5-FE10-41D4-B799-7FACD9E58F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48e3f86aff53251e8d360c8097a6d94f9c5044b1","datavalue":{"value":{"entity-type":"item","numeric-id":188299,"id":"Q188299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$106C0857-5974-4135-BD36-41F390B425FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$8317FBAD-56A7-4038-B2F2-2EEF9EFA1640","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a441d8d0715752b5706ed908d152eb5ee7e7874","datavalue":{"value":{"time":"+2012-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q442296$33C46D6E-77A1-4AAD-8670-F1A74B57E8D4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b55806ac3006ec2d3bb3cf03b6c3b09dbfabbcd2","datavalue":{"value":{"entity-type":"item","numeric-id":406466,"id":"Q406466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$6B47B8CD-E07F-4397-86A3-E22854D9D7B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442296$DCAB5F55-E87D-4AC3-9C70-08525007E81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442296$5229CA94-1AA6-4D5F-BCD4-8A758BAE8DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442296$BF608042-1ADA-4298-8A41-3EF4977C8CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"314e54fbb18d33f780194e79b8f7d977d400cb90","datavalue":{"value":"60J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442296$2ED65D73-03D7-417C-8676-495C5698EC3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7987796fae30612a96fed0e9af110c19f1de60ac","datavalue":{"value":"6064625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442296$B9BFE965-65CA-4037-BF40-88513C62D3B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b3b85975b4e57d1ef1ceaea645496e678172b6","datavalue":{"value":"Markov transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q442296$FCAE94FD-ED56-4635-A4BA-33710AC4C688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1514011e463f4b96b73949f9956db3dccc72fb4","datavalue":{"value":"probability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q442296$D2C76320-6E1F-4478-8A4B-B576F8B9B2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1c50b264d43cf6273103b30c268b06670139060","datavalue":{"value":"coalgebra, Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q442296$DA370052-0032-432F-8FA8-7C34D9EEF7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q442296$4A63B575-13E8-4C3C-8289-8EC530D1C17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05bdd07461d09bc38695333a1cd0618fef804a5b","datavalue":{"value":"filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q442296$DCA0CEED-56DD-4B60-9C6C-9F96D77531D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e07b50c9df2e9b318de6969878f5ef04fa4a6b3","datavalue":{"value":"metric approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q442296$7D6C006E-E135-40C8-B4F6-011A6CF94C70","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":"Q442296$E8072368-E7E3-4BEA-AB73-3CDFEA9CCEFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8aa761158073e714df85d561d5aac39ae2863c07","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.03.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q442296$95B9D432-13B4-4A98-A4CB-A24E660CD9D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86400e3f87574c87ba8164032d55cfe6f46be14b","datavalue":{"value":"W2079922371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442296$F9CF70D3-1F12-455A-B6E2-15FF46C57B27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebdf580c22f4f5a53dfd663e2e613d1e499e3b15","datavalue":{"value":{"entity-type":"item","numeric-id":3535612,"id":"Q3535612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$95EF27D0-478A-4873-9BD9-0F4EBFAF5CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005537799f3a85442d3ad04f80b3b2e785727979","datavalue":{"value":{"entity-type":"item","numeric-id":3999603,"id":"Q3999603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$D6F4ABD2-9F0E-4F49-8D3D-625F7FF9492F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1302e7cd826566734c891bd338365d2f8b29d5f","datavalue":{"value":{"entity-type":"item","numeric-id":1806327,"id":"Q1806327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$47FD2426-90EA-4FFB-9FF0-D3621FD2D309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58d8d8c115929f1bebe5ab67166db3c1ed09d44","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$78F4DECB-0C65-4569-82BC-949040D15D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c26807c2efabfe4028eec4255a13eb24be3d6d8","datavalue":{"value":{"entity-type":"item","numeric-id":4836494,"id":"Q4836494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$3F21890F-CB22-469A-944D-F9746CB0B5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$A9C97C9D-FF98-4917-8772-3A55AD65BD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb78820f77a8727341fe72896e629906f4ade6ca","datavalue":{"value":{"entity-type":"item","numeric-id":5902151,"id":"Q5902151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$9092EA43-05BB-4F9C-9311-F841412020AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae926a3c6443faf6036e960ace71a8e991267e1","datavalue":{"value":{"entity-type":"item","numeric-id":2844076,"id":"Q2844076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$4A0F6FFA-7943-468E-9033-C7EEDE902F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aacb971a9ba51fec57dbb3d5aa315d494051ee8","datavalue":{"value":{"entity-type":"item","numeric-id":2495642,"id":"Q2495642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$067BAB6E-2276-43AA-AB81-D87ED0707524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$8ABC4368-9C04-4ECB-A9C8-E3A6B4291B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$B2F051F4-FC55-43A7-9808-17741082F0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a531204ae2542b6ae01481ef774eb43412c971f5","datavalue":{"value":{"entity-type":"item","numeric-id":1398379,"id":"Q1398379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$C5D69C7D-37BB-401E-B2A8-CFBDCBC4199E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$E58839D7-883C-4F5C-B8CD-54E664A96D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8862b43cfd7dda3400a88a9cff2ab2712adae3","datavalue":{"value":{"entity-type":"item","numeric-id":1400292,"id":"Q1400292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$988C346B-6F3E-4247-916F-0FEB53DDF1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066f9fe7a54531c998693336627ace132be8122e","datavalue":{"value":{"entity-type":"item","numeric-id":3005987,"id":"Q3005987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$6437A70A-E755-405F-A909-57282F91BC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4765dcf18419bcddf55f50ab636aeb1db8507afa","datavalue":{"value":{"entity-type":"item","numeric-id":3835041,"id":"Q3835041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$48862E9D-293A-4BF2-8FD9-2D0F17A0D065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48fc05d00dd5a9e60c59252374a3abef55ae80f8","datavalue":{"value":{"entity-type":"item","numeric-id":5697710,"id":"Q5697710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$038D8DE4-2F10-4670-9645-CBB23A3E0D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a289feb7940af722a1a5e23174f2fa7c2e2cef25","datavalue":{"value":{"entity-type":"item","numeric-id":2372202,"id":"Q2372202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$1F3EA59D-BCEB-4044-A2B8-A2FA0E87C7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe345c7c5946b7f066ac0bd9178ff5b80fa23956","datavalue":{"value":{"entity-type":"item","numeric-id":5470704,"id":"Q5470704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$458B5E25-84A4-4DD0-913E-E326F89DDD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e451b1746a346de32c7ff025c45f478901c7da","datavalue":{"value":{"entity-type":"item","numeric-id":1049890,"id":"Q1049890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$B5B5B97D-8DF5-445A-814A-C11709C8A69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d30215fca78a0f56d82903f2b8192b2a52b730d","datavalue":{"value":{"entity-type":"item","numeric-id":4375489,"id":"Q4375489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$0B4113FE-D0AC-43C1-9D20-3DD53E00FA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$8A54DAAE-2828-41F6-8212-81262F1E508F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c46af4e2dbdec71e2e1e67a8fb006535d85d316","datavalue":{"value":{"entity-type":"item","numeric-id":4495853,"id":"Q4495853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$E9CC2D54-F550-4F62-9B49-733716A4E6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568d2eb823b4c9e9e80096c7fca67b4b9501a726","datavalue":{"value":{"entity-type":"item","numeric-id":3056298,"id":"Q3056298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$52EBD124-FEEE-4826-ADA8-1B5055ACCE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b7740432e4336265e945966de7c08a93bb0f50","datavalue":{"value":{"entity-type":"item","numeric-id":5799972,"id":"Q5799972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$7B29B1B9-D3D3-4924-A24B-9DCCCA683F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5944af26ee3b4bfdaa06cea7dcc79aa4a0536c29","datavalue":{"value":{"entity-type":"item","numeric-id":5938620,"id":"Q5938620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$A6FDCF14-F090-411C-9C31-C84552D24D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05981077627ac0d2bd85d116bddabe4dfb00025","datavalue":{"value":{"entity-type":"item","numeric-id":1276113,"id":"Q1276113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$FBE0B0E2-FCCE-472D-8C21-E64B11484A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$7F57059D-1C2D-415F-AD15-62A591678C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c3f212a06c5be4db5f867d04c1cea9f971a440","datavalue":{"value":{"entity-type":"item","numeric-id":3056297,"id":"Q3056297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$31C702BA-6363-4094-81A2-C17E10689A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f182afa47ea37b09a1d1a3075ffe1edef8370b5","datavalue":{"value":{"entity-type":"item","numeric-id":1063584,"id":"Q1063584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$8FCC650B-9ADC-4E31-A8A3-8ED16A0E03C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$56838C65-6046-453D-96F2-9E83CAA4DB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81fe8f79f4f3c2309d7effb7fb1b336680bc742","datavalue":{"value":{"entity-type":"item","numeric-id":2495647,"id":"Q2495647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$96FDAC1D-0849-4FD7-85AB-201770DB623A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$7179E894-99B7-49BC-9094-28351002056E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8157a29376ddf64165229cd4cb7a085c0eff46f","datavalue":{"value":{"entity-type":"item","numeric-id":639648,"id":"Q639648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$E19AE95D-7A7E-4574-A234-1D1594424D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6622f1be6c0d3f81529892eb85458f10d5b9edcc","datavalue":{"value":{"entity-type":"item","numeric-id":2373743,"id":"Q2373743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$B8DFF44F-93A9-4ACC-A30F-3F533AC94899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaedb9f602c018e3f49cab3fdcc2051049564e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$ABB45E48-116F-4003-95E4-DD5A9AF88D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06d718bcc840d3b83d43940d7f5ed1f727a0ac5","datavalue":{"value":{"entity-type":"item","numeric-id":2503333,"id":"Q2503333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$66F020EA-A6BB-46E9-9117-DF40490BA698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12923a3b7df0419e3756741f3337b0475e4eda2b","datavalue":{"value":{"entity-type":"item","numeric-id":2570971,"id":"Q2570971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$EBA04112-522C-4468-B422-38D4FFFB81AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caf2146e004869421d0004301b1cf463b9d5af6b","datavalue":{"value":{"entity-type":"item","numeric-id":2767183,"id":"Q2767183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$823E5FC2-AA14-4673-A827-85CCF98FC23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c77ba712dbb0728555a9f8b6c69ff2f5aaf8517","datavalue":{"value":{"entity-type":"item","numeric-id":3656777,"id":"Q3656777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$A1B21A07-1D18-4F23-80CF-1785562D4F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da2ecd46d26472d14217d6fa35fc8984df8befc6","datavalue":{"value":{"entity-type":"item","numeric-id":1959219,"id":"Q1959219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442296$F34DDFCA-7E56-4FC7-A4C0-EEEE14EBF109","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e4e63c8034a7975fc0c838c13350fc1f08d0a89","datavalue":{"value":"10.1016/J.TCS.2012.03.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442296$BE3C08C8-B0EC-4142-B41A-1D75ADBFF81B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"48992b7f76fcb2dc4dc8fa7b2492b05b112f9524","datavalue":{"value":"The Hennessy-Milner theorem states that image finite Kripke models are bisimilar if and only if they are logically equivalent. This holds for modal logics that are interpreted through Kripke models. The extension of this property to probabilistic logics with probabilistic Kripke models based on continuous state spaces has turned out to present a considerable challenge; it was answered in the positive for analytic spaces by \\textit{J. Desharnais} et al. [Inf. Comput. 179, No. 2, 163--193 (2002; Zbl 1096.68103)] through a laborious construction using disintegration of measures, and for Polish spaces by this reviewer [SIAM J. Comput. 35, No. 3, 590--626 (2006; Zbl 1095.68063)] through selection arguments. The present paper deals with this problem through an approximation argument; approximating Markov transition systems has been proposed and studied by \\textit{J. Desharnais} et al. [Theor. Comput. Sci. 318, No. 3, 323--354 (2004; Zbl 1068.68093)] and by \\textit{F. van Breughel} and \\textit{J. Worrell} [Theor. Comput. Sci. 331, No. 1, 115--142 (2005; Zbl 1070.68109)]. These papers construct metrics, so that approximation becomes metric approximation. The present paper constructs a metric as well, but in contrast to the papers mentioned above the metrics are constructed through novel process using filtration, taking a discount factor into account (the later two formulas differ the smaller the distance gets). It is shown that a Polish space is obtained, but, strictly speaking, the authors obtain a pseudometric space which is shown to be Polish after canonically factoring it. The techniques are derived mainly from the first author's Ph.D. thesis and a subsequent paper of his [J. Log. Comput. 19, No. 6, 1427--1454 (2009; Zbl 1191.03018)].NEWLINENEWLINEThe paper is well written; it carefully explains the development, the proofs are accessible, albeit, as to be expected, fairly technical. It provides a wealth of information about Markov transition systems; the references reflect the state of the art.","type":"string"},"datatype":"string"},"type":"statement","id":"Q442296$E18FED57-DE03-4108-96D6-5A975EF130A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3af87767f3a74c0f785aa6386b2c903acb4d72","datavalue":{"value":{"entity-type":"item","numeric-id":5895176,"id":"Q5895176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75965532273b445e748be01ede0d54cee972376f","datavalue":{"value":{"amount":"+0.8091500997543335","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":"Q442296$45FD3FD4-B761-41E9-AFD8-626F6B8936D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f216cb589c603b5ed97285ef983e321f72589bc","datavalue":{"value":{"entity-type":"item","numeric-id":5902151,"id":"Q5902151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96eae6c934a019033f27346d5d7a3a4a8d236377","datavalue":{"value":{"amount":"+0.8059539794921875","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":"Q442296$3EA20FAB-3778-44AF-A8D5-5E451FA878EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e9a837203be232957d37f1b5de747e8012e61d","datavalue":{"value":{"entity-type":"item","numeric-id":1398379,"id":"Q1398379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3fb63b310601fae010ea0f8638995aba8d0023e","datavalue":{"value":{"amount":"+0.7948962450027466","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":"Q442296$B3D87681-BB9D-4946-AD4F-6D83FEA9A1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbcbb830a3b6b32593c6518d4329c073791dd872","datavalue":{"value":{"entity-type":"item","numeric-id":5900584,"id":"Q5900584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3fb63b310601fae010ea0f8638995aba8d0023e","datavalue":{"value":{"amount":"+0.7948962450027466","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":"Q442296$4ADD04C5-3A80-4E72-80A0-E1A73CF2B2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6cc67862388efd8cd8ae475c1ef67c5de72d24","datavalue":{"value":{"entity-type":"item","numeric-id":265837,"id":"Q265837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b0bf628595194826ce660f0c63b9eaf6a756d0","datavalue":{"value":{"amount":"+0.7923886775970459","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":"Q442296$8A4B9C46-9AD4-4C93-A88B-26402109843D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximating Markov processes through filtration","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximating_Markov_processes_through_filtration"}}}}}