{"entities":{"Q507382":{"pageid":509149,"ns":120,"title":"Item:Q507382","lastrevid":62359725,"modified":"2026-04-11T05:33:24Z","type":"item","id":"Q507382","labels":{"en":{"language":"en","value":"Confluence reduction for Markov automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680836"}},"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":"Q507382$DC909F47-1C45-4D6E-BDB7-7D7579FD0FE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76b484a4d7f8e039e3990344bae62b9d0884adc1","datavalue":{"value":{"text":"Confluence reduction for Markov automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507382$706807F5-AAAE-4FEF-B133-581F37B24F93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c05f77715e154d2eebf38bd03735698ca82cc989","datavalue":{"value":"1356.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507382$93B01EDA-52DB-4A9D-8007-F03BECD60E33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d8205f7645ace19f38d4b0abd4fd4de5774377b","datavalue":{"value":{"entity-type":"item","numeric-id":507379,"id":"Q507379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$D52E51C4-91DA-47B5-8E5D-4002FE3B1B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$D7DD584A-8E7A-4CC3-B9B8-367D6BCD2EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a469e1856598e76c0542f05574b54b053e1e517a","datavalue":{"value":{"entity-type":"item","numeric-id":507380,"id":"Q507380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$31CDEEAF-D2AC-41AC-9697-54DC9BB8B236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e81000e95d5baed5e5b30033cfcd1070b84fdc23","datavalue":{"value":{"entity-type":"item","numeric-id":225107,"id":"Q225107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$1CF7E67F-9B2F-4E5B-8594-6B029BF80AF0","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":"Q507382$0C2C4938-4DBE-47DC-82A0-68E9B35C9705","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69224595960101be6ec21574e4c403135d7942f5","datavalue":{"value":{"time":"+2017-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q507382$6E8A1FA3-FF4A-47FE-AC96-9F4F34401BC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507382$F5AA1A8E-679B-4E3F-B1AF-7C515EF631E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507382$1CB8A890-7CFB-40FC-A449-FC83D250BCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507382$E71F6C34-C4FE-4D55-9448-47D11453565E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69dbadfbed814060176bfd513002bb1fd6c671b3","datavalue":{"value":"6680836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507382$B8FD619B-642C-409B-A2D4-49052AFCE745","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"754faa789ef14fb45fb733afb19bac9f401507e4","datavalue":{"value":"Markov automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q507382$18A26FFF-6394-4BF6-B5B9-4927B451D88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q507382$8F4992CE-6D44-4B0D-918B-7B8C755FD3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c736379fa328dd527c485e6778d8aa2292378f5f","datavalue":{"value":"state space reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q507382$381F3A8B-A1A6-4401-BB5C-B2DB166F36F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q507382$7AD833FE-66D4-4596-8C91-DBEA5D90E80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19164ee3369effa105eb840adb09aa7fa1030d80","datavalue":{"value":"divergence-sensitive branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q507382$6C8B1517-2843-4F07-99C4-EC69FEEB8A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q507382$DCC54FED-9289-4FDE-9A9B-36FC9B0F0337","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$B7BB0D66-67C8-475E-B67F-142735E3B74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e8cb462015797bba50d4d9cbf9f7a854ecbf67c","datavalue":{"value":{"entity-type":"item","numeric-id":22540,"id":"Q22540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$8617B608-C005-406B-A6D9-E2D6FE46F377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$D8C426AF-E0E3-4232-BA0A-4B2F621F50AB","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":"Q507382$469617B4-57F9-473A-9E36-864E636DB15D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3a0fee5e22cf29a881fc046233f6767f0c22e8c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.01.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q507382$95FDA935-BDBE-43F3-8F01-D1EC6F3BD0A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21f66131dc39953ae8f7a71ba781e695d7a5e6b0","datavalue":{"value":"W2784133204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507382$C1751D45-BE42-475B-89BC-561BDE166F84","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2d49681617c364ad61ccff762e06243b8b4c26a0","datavalue":{"value":"Q57800637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507382$85F77792-96AF-46D0-8F0E-162E87B7F76C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f95d843d6f6faf44a70e5631cb686bd443e747","datavalue":{"value":{"entity-type":"item","numeric-id":3584919,"id":"Q3584919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$D60FAA0F-7AAF-476C-9156-2B8B55F69AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d6627251827dd5dad1537e3b42a7c0773916d0f","datavalue":{"value":{"entity-type":"item","numeric-id":1951578,"id":"Q1951578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$3F704E71-2CAB-4F97-9C40-9F5F55E2C1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a782d14eec90bc25573fd48776befab89d02e6","datavalue":{"value":{"entity-type":"item","numeric-id":5300867,"id":"Q5300867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$B1965E4C-9E7D-4AAC-9C84-192DBFB807C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969c74baa5b03ff64d51dc3c56b6ebc913d9d1a5","datavalue":{"value":{"entity-type":"item","numeric-id":2921114,"id":"Q2921114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$962C0C15-5897-43D4-BB9A-007D23C6FDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01bb998e3eedfd5bc48772810588c75ec6838ed","datavalue":{"value":{"entity-type":"item","numeric-id":672042,"id":"Q672042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$C1AB62D6-A091-43C8-BF1C-DDAEB69384D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23b6e54a49f6404b1becb9f5148a66c34076cb9","datavalue":{"value":{"entity-type":"item","numeric-id":4806211,"id":"Q4806211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$EBE3F36D-9864-4E36-A59D-55AF0FE64DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e86dde2ce252b353fcf619267682a107fb13c5b","datavalue":{"value":{"entity-type":"item","numeric-id":3000663,"id":"Q3000663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$B4032708-569E-4290-9C5D-DCEF76FB2DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$59A0D0E8-7A2C-4229-A795-E67DF9855BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67bdae8c6890e0500909d8a4dceeaec64bfd876c","datavalue":{"value":{"entity-type":"item","numeric-id":2912690,"id":"Q2912690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$C56151D9-8282-487A-A9A9-49F783BEC3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99172993b703deeee130d171d26e818df4f73786","datavalue":{"value":{"entity-type":"item","numeric-id":2453113,"id":"Q2453113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$9B48036B-9F2E-4F09-A4EB-D836A0F6667C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$E4BAB2C8-65DB-4D6D-9F5C-43F3D02015CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e0ffcb9f443e96b2809579517f52869e025251","datavalue":{"value":{"entity-type":"item","numeric-id":2842675,"id":"Q2842675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$3AA0F2FB-0ECC-426E-8A82-62CD7C0DF594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f35a91485ca2750c48daea939f429af331c84242","datavalue":{"value":{"entity-type":"item","numeric-id":3066128,"id":"Q3066128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$A88DB3C6-C23F-47AD-A0DE-6934510BC5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$212EA923-682B-4E69-8CD0-24F05C6EEC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52546f301075061d67bd55ccc16f57fafa5d854","datavalue":{"value":{"entity-type":"item","numeric-id":3557065,"id":"Q3557065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$6AE0E68F-450C-41EE-B504-A6E6EA21F90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcac611c59fe03238207f7bf88ce537435b074f6","datavalue":{"value":{"entity-type":"item","numeric-id":3617741,"id":"Q3617741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$2A63707A-A525-47FF-BC19-49E3798F67DB","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":"Q507382$D5519A34-B70A-4C15-9C34-E72F3B1715E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79fc7f17988ce0e0429ab759ddfd29ad9a08df14","datavalue":{"value":{"entity-type":"item","numeric-id":4813198,"id":"Q4813198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$755B48DB-D3C3-48B8-A633-D4870A9525CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$0051F44E-1B15-4BDA-B792-F2C4FE659D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be9b645d9f37735823e86c3d18dea20531fc4e0a","datavalue":{"value":{"entity-type":"item","numeric-id":3648690,"id":"Q3648690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$5181F6DC-F5BB-47CD-AF2D-93374A32047E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d99d1aec144156c4eedca85e9fea065f7a8a8c1","datavalue":{"value":{"entity-type":"item","numeric-id":2848414,"id":"Q2848414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$71BA908A-0AB4-45CE-99D0-A4B885677B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840d5c28da0e38c899ea1bbb79ad1bea8bed6f34","datavalue":{"value":{"entity-type":"item","numeric-id":4835250,"id":"Q4835250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$38A70A8C-B65F-4EE3-8909-668970947EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccaaa363791d58ebf5c7296e72c1f94e6693e837","datavalue":{"value":{"entity-type":"item","numeric-id":5900705,"id":"Q5900705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$8658DEA9-FC42-471D-A6EA-8FFED8158A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f69048aaf4d9304e90434a3b52df097c9d8325","datavalue":{"value":{"entity-type":"item","numeric-id":3538849,"id":"Q3538849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$900E77FC-9C6C-489D-9383-D10E2FB4001E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8407733afda77ab4367d83e654abed01ac5b21b9","datavalue":{"value":{"entity-type":"item","numeric-id":3190122,"id":"Q3190122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507382$4ED08AAE-8D08-40F2-937D-AFB6201EABB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3f5e8bfb972b7ecaa5be245a98fd46e4a7ac645","datavalue":{"value":"10.1016/J.TCS.2016.01.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507382$9C089883-47E0-4BF3-A205-B090FAE478B1","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"b3b088bb6cdac3f6be9f97c783aa22cd451a030f","datavalue":{"value":"journals/tcs/TimmerKPS16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507382$3C1A3CA7-A810-4BD8-A6E9-F554FCB96735","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c61b71a4051d890532469f7d7831e0ff1eeeb82b","datavalue":{"value":{"entity-type":"item","numeric-id":2842675,"id":"Q2842675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd22fcc6dd2b3f30eb27900b7dc21ffd05e0a50a","datavalue":{"value":{"amount":"+0.9927751421928406","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":"Q507382$5ECC3ADF-013F-41EB-A903-B097342421DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3227006ca64fbafff61ebd42d18f42173e0eec53","datavalue":{"value":{"entity-type":"item","numeric-id":3000663,"id":"Q3000663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c661e593e5edf606dd6f727b5a82b30ce01eb7","datavalue":{"value":{"amount":"+0.8142614960670471","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":"Q507382$0FC74A41-BBB3-40AC-A49E-71E7E4BDD674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac947bbfd86dbf710844c44c2e262e4fba7b3c6a","datavalue":{"value":{"entity-type":"item","numeric-id":2912690,"id":"Q2912690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36abb8c1107031813ef753500346a2b268d7986a","datavalue":{"value":{"amount":"+0.801361620426178","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":"Q507382$A32C646B-238D-4940-8B58-5848DF2330F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7892b33ab909e8ae2d9ada76f4b93abd29a05f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1951578,"id":"Q1951578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cbc095c579af44533848e0668a8cadfc266d59d","datavalue":{"value":{"amount":"+0.7903912663459778","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":"Q507382$2B7C8FDA-E8B6-4555-9388-F9727A98B694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181f3cf59c709bf1e1d56ebe3fc5d294caed0933","datavalue":{"value":{"entity-type":"item","numeric-id":3584919,"id":"Q3584919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77fa8e64ce855bfb19c99038428c536428374544","datavalue":{"value":{"amount":"+0.7853516936302185","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":"Q507382$3AEC563A-4114-450E-96A2-FFAF9E7A32DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Confluence reduction for Markov automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Confluence_reduction_for_Markov_automata"}}}}}