{"entities":{"Q271706":{"pageid":273473,"ns":120,"title":"Item:Q271706","lastrevid":60591876,"modified":"2026-04-10T17:55:43Z","type":"item","id":"Q271706","labels":{"en":{"language":"en","value":"Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6570843"}},"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":"Q271706$219DD8E8-5F3B-4055-B628-DD16DF7D83C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de2717a2031d85775cf0c6a4694755b65b56206e","datavalue":{"value":{"text":"Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q271706$0EF1E86D-60D6-4756-8083-F91D3AAE8C9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5149076ce7387f1e342cd8c4265850ede16d0c03","datavalue":{"value":"1334.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271706$C05F640F-AA6A-4D60-822C-9F9024E561DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$8EBD5E2E-4202-488F-ACFC-13BD6B2BEA11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ca45399d7f8e443a58842f216d6469aabc08f0c","datavalue":{"value":{"time":"+2016-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q271706$2FAF2B2E-D0D7-4A1A-B55F-7FE5AE3CAD6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271706$B9054D93-5DC1-482E-94A1-C2BFE9F10E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271706$17B25ABC-F34F-4DB0-81F9-0DBBFCE03473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271706$3D30C7BE-69A9-47BD-99E5-5373BC7F4C50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed2fde04410ca1f935d820e1669b2ebff83de3c8","datavalue":{"value":"6570843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271706$2CDDDE2F-92EA-4351-B230-92F2CF20AE0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f47e4fdc183ef8beb69defca6943946e6f2cb91","datavalue":{"value":"Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q271706$2CE950AC-E7FB-46EB-A2B4-3861AE640B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44b1ded56e7e6f2050435dd60f28b969b08e43a","datavalue":{"value":"formal approximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q271706$1029872E-EC00-43A9-89E8-1FCC09BA3C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"247aa633bfd4227d35da22316ee692273df88241","datavalue":{"value":"probabilistic bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q271706$EE2E7EB6-203C-4DDF-8258-8F34AF51F585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bcb3b15eb556c29b2b433ab34747b76b273c378","datavalue":{"value":"metrics over probability measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q271706$52ECBEE0-8159-445E-967B-487766FA0713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338ca446442efb530f2e25aab3ed31d5097ea7e7","datavalue":{"value":"Lyapunov theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q271706$9615D9B6-4EC7-4314-B7DC-F90259BF4FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7acd2a5aadae8d31da3505242ebedbc77b7a1d4","datavalue":{"value":"stochastic contractivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q271706$55FF15D5-4635-4BB8-A6CB-83C1461260F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e02d59b4464bcc995a7a1f4456bcb2cc8318f5","datavalue":{"value":"probabilistic reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q271706$ABBBE94D-6288-469A-B502-551A121F1B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3195016279ab1d9a9e1d68e3882bca32a61a40e3","datavalue":{"value":"randomized methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q271706$DD2CF8E5-D465-4D96-BC3E-251D56F2F502","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$8E1EFAA3-FC0D-4B2B-81FD-AE3AD92A75DC","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":"Q271706$8C27C45A-4D34-4C28-8C5D-40211AED8C2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7733231674f9b1c52ccb158d97dfdfdfb92cb24","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2013.12.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q271706$AB932B4D-F825-4464-BC59-EE4A78F4D9F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a76cddb9c8059e1422138440b58da79ae6045529","datavalue":{"value":"W2122994575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271706$82F9435C-1167-4419-9B2D-2FF6FFC9DA51","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"729f795ca424d98d354acf6baaddf10a060ef6ef","datavalue":{"value":"Q113317934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271706$E620B18C-EBD6-4DBC-BC9B-2F5BA5F7A9B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fe5e4abf2d41b7956a4cc29b717dfd999acdd6","datavalue":{"value":{"entity-type":"item","numeric-id":5347900,"id":"Q5347900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$88B7F663-A950-42EB-A1F3-2454313E2BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea67ed95d1f053285243b5bc166dc74f203ace9","datavalue":{"value":{"entity-type":"item","numeric-id":2377974,"id":"Q2377974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$CF0F5D44-D0A1-4FF7-A386-5F8A2F81F95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$8B4DD30E-5BA4-44BF-B746-2C7A72F7B569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf0eb5674f5aee2d2425c47370db13662fd90f1","datavalue":{"value":{"entity-type":"item","numeric-id":2769588,"id":"Q2769588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$4E4585C7-02D8-4597-A7ED-B52F3A5C264B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822d3266cb2da2c78f9f02913436333a680e919e","datavalue":{"value":{"entity-type":"item","numeric-id":5900585,"id":"Q5900585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$8AFA561E-65CA-4AD5-B469-299B91AF9AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$B6E35B9F-98C9-4785-83AD-0BC77453209D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ba99abf5090ae3a850b4f832068b58d7000dad","datavalue":{"value":{"entity-type":"item","numeric-id":2494653,"id":"Q2494653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$4F8895F9-BCF1-4392-B31B-4301EBD0A9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc59bae63b743ea9cdfc1df5e724d22cf1709df7","datavalue":{"value":{"entity-type":"item","numeric-id":4296371,"id":"Q4296371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$D71F081D-5C7E-4075-B0DE-4B4FF308F8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f473626f3722039c2e8b6c9ffc258a37faa3be09","datavalue":{"value":{"entity-type":"item","numeric-id":5703923,"id":"Q5703923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$94F626E0-2D01-4710-A295-02937CD93B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c09903f795084cc2bf0d93c333ffd9536415e88","datavalue":{"value":{"entity-type":"item","numeric-id":1769067,"id":"Q1769067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$0CB20284-F095-41CF-9F40-E85662198974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb069f53702ebcb4130c6349536a4829440ca29","datavalue":{"value":{"entity-type":"item","numeric-id":3136505,"id":"Q3136505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$99C282EC-1717-426F-978F-AE57E0BF563C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e96e02a00cd876cf01a1d0a9262643789d291f","datavalue":{"value":{"entity-type":"item","numeric-id":4571977,"id":"Q4571977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$413D7CBA-40E3-4BC3-9918-C4267617C1C5","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":"Q271706$E3A69C0F-ADD5-4B06-92CB-842C7D15BA78","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":"Q271706$CE679C6C-6420-4222-8F76-6731F498FAC7","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":"Q271706$BC1D57F8-E0A8-4649-B394-2AF452C07E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2f3a03b951b4164ec7aea7a6175d05ea038e6e","datavalue":{"value":{"entity-type":"item","numeric-id":4844685,"id":"Q4844685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$05ED7C0B-2BCE-4E92-B9F7-7F376F3918DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf726ba27a648f56dffebd26f0d41fb12b61b81","datavalue":{"value":{"entity-type":"item","numeric-id":4832030,"id":"Q4832030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$6F50CBC3-3A9A-4A7A-999C-242FCEB6E6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d1541f94d2a3019ad963efd594514664e26738","datavalue":{"value":{"entity-type":"item","numeric-id":5282109,"id":"Q5282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$63F266F7-5604-47A9-8F6E-DE2E8F40A875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20088838b4f3ffa48f33c282f01143698cba154d","datavalue":{"value":{"entity-type":"item","numeric-id":4978661,"id":"Q4978661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$89E4C07C-B7B9-4A67-97DF-E7ECC6E5D328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1d38e45e800469b29837961c3573f9cc9c8611f","datavalue":{"value":{"entity-type":"item","numeric-id":814474,"id":"Q814474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$1A7A5244-179D-4958-B401-A8FF43584812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$9B4C473A-F81B-4AA9-A567-E155046798EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f505dfb824e1aae39a5d3eb343ed8fbc59b2938b","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$C848A499-9D37-410B-B004-988483B571AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba9bcad470813439b1f4366c75af52a8b006228","datavalue":{"value":{"entity-type":"item","numeric-id":4974594,"id":"Q4974594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$89C98773-04C1-4868-AF44-3E617D9052EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a976889dd86df68fe38acab3f8382d4b41d329d","datavalue":{"value":{"entity-type":"item","numeric-id":5723527,"id":"Q5723527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$0DB25A9E-F475-41F1-83AA-5F8E7C788C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6418a40069817f4039cf54100a333cbcc2b94d84","datavalue":{"value":{"entity-type":"item","numeric-id":3344923,"id":"Q3344923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$0C1419EA-122B-4AE7-870C-742B1B70882C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599e62b4ad1c4b0544badfd084d6f9b22d599553","datavalue":{"value":{"entity-type":"item","numeric-id":2703816,"id":"Q2703816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$187BA8F1-C0F5-4246-BC22-5536FD64FB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f20df29facf53673cfcc4ee25abf625d9488e9","datavalue":{"value":{"entity-type":"item","numeric-id":1975237,"id":"Q1975237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$D02953CF-260C-43EE-A09B-C7147FEE3CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$187890E1-6914-4FF8-AD75-42B08AC47009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0554f3dccbfc464e5a97829a436da1550d935054","datavalue":{"value":{"entity-type":"item","numeric-id":689061,"id":"Q689061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$3E3FA26E-D164-4613-8F14-5014C1CB718A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85e3e7f78b7508caba9f51ef52b2603c02d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":1421437,"id":"Q1421437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$DB496E91-957F-49A4-A8DE-45C410458B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$833119BE-99F6-4359-A4BF-0334586DB592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e37b11de159c723a2c1f100e5b13d198f7e49e","datavalue":{"value":{"entity-type":"item","numeric-id":4974526,"id":"Q4974526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$A57AC652-2D00-48E5-B0EB-2773055C6186","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":"Q271706$7B9D16D0-8FE4-4BB2-9085-9D3EB081517F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce30f5d00d1e74ed5d5aa045c93f932d22763df","datavalue":{"value":{"entity-type":"item","numeric-id":1004115,"id":"Q1004115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$11310678-EA59-431E-AFE9-6B155157DD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$49F1E540-6028-4031-BD38-39FF384B49EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7723e1d9a21481be0b030805e6fb84133e7480ba","datavalue":{"value":{"entity-type":"item","numeric-id":3067563,"id":"Q3067563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$B9F432AE-2CE1-4748-BDF6-EC74E0A283CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$1E2EB8FC-662B-4111-B86F-28DD7F4FFE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"150d8ccaab0130b5657b514092f579888b271b59","datavalue":{"value":{"entity-type":"item","numeric-id":5703957,"id":"Q5703957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$C626D5C8-2E85-45D3-B134-525D29A9402F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b65b5698b86df64f1bf56c95e86633fcd84c18e","datavalue":{"value":{"entity-type":"item","numeric-id":2503604,"id":"Q2503604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$574F5ACC-27D7-4597-ADDE-A46B723414A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ae5fa721f724c2c93f9d1963970f6ff50e63ee","datavalue":{"value":{"entity-type":"item","numeric-id":4535035,"id":"Q4535035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271706$C3C75004-8ADE-4F6E-9C8F-7990552D0D85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9218d2df8c7fbcb5a0672d8b90969fefb0f4db9d","datavalue":{"value":"10.1016/J.ENTCS.2013.12.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271706$60053C69-6F67-4B62-BCC0-1BBE1BAB4E97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07e679525c5255a4ab84f75009ecbc7a5a55561d","datavalue":{"value":{"entity-type":"item","numeric-id":2986966,"id":"Q2986966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b8c78178502ec6a06c87fd0cdc79ea15fb8759","datavalue":{"value":{"amount":"+0.7591896653175354","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":"Q271706$50ECCD87-702D-4F71-888F-23B9CF25DF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27bcd5444ac0bf7c32afacaa946934b132abbf98","datavalue":{"value":{"entity-type":"item","numeric-id":5310651,"id":"Q5310651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1244cc9635003c50b872a9062e2640eb60f315e3","datavalue":{"value":{"amount":"+0.7581379413604736","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":"Q271706$BEEDBACE-6AE1-422C-82F1-F1774AAB7785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4b854e744fe5050706361c48146c441ab95b04","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51684cef5c3f9c8a8e968620af6452222d210d31","datavalue":{"value":{"amount":"+0.755124032497406","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":"Q271706$EB7975CD-84DE-4727-8777-7B72E4DB89BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b113dc4ddf850472c0f50ee0bfcbf3b86c2f2bc","datavalue":{"value":{"entity-type":"item","numeric-id":3225169,"id":"Q3225169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6095baa49fa2d21327bab98ed44e52a4f3344adc","datavalue":{"value":{"amount":"+0.7531207203865051","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":"Q271706$9BE4AA34-F207-4B3D-A8F2-487C61A1B905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eceaf5ca8d4610616a6c6947618f515b3249714","datavalue":{"value":{"entity-type":"item","numeric-id":4417860,"id":"Q4417860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b36e56836418c6410826ca5453242a517a3605","datavalue":{"value":{"amount":"+0.7518746256828308","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":"Q271706$0467365F-B380-4B82-8408-EB32561E8043","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximation_metrics_based_on_probabilistic_bisimulations_for_general_state-space_Markov_processes:_a_survey"}}}}}