{"entities":{"Q606996":{"pageid":608772,"ns":120,"title":"Item:Q606996","lastrevid":63045138,"modified":"2026-04-11T10:00:38Z","type":"item","id":"Q606996","labels":{"en":{"language":"en","value":"Weak bisimulation for probabilistic timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5817534"}},"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":"Q606996$2D6E3684-4021-4EC6-B60D-9343E5A3B1AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f7d21e72efeb0e66cb6e17053ed37fe933148ea","datavalue":{"value":{"text":"Weak bisimulation for probabilistic timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q606996$8AD05DEA-6733-42FE-836C-C026A1170945","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9ebecac495469220719a56e15cf6cc95f65c03d","datavalue":{"value":"1208.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q606996$88E27DA2-5106-43DD-BB15-F39376E9F1A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0230c7e6165a30b4624bfb880a34e585dd13c43e","datavalue":{"value":{"entity-type":"item","numeric-id":606995,"id":"Q606995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$98898219-5D65-41FF-86AD-9B797BC47D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"986210a7788bf135576802eb9fb5ade52a93410d","datavalue":{"value":{"entity-type":"item","numeric-id":256972,"id":"Q256972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$59CE2893-DDDA-40C0-B03F-E9E94B64575E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b24875f9ec8cab93424313cc3583a741f82ef4ce","datavalue":{"value":{"entity-type":"item","numeric-id":418835,"id":"Q418835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$1433A158-59DB-414E-B613-D0439F086BD3","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":"Q606996$EDE2EEA9-15E4-4E81-958E-DC7857BDF15A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1a8b0b4410e75478f392738ec80b73d0645c344","datavalue":{"value":{"time":"+2010-11-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":"Q606996$1425831E-93FF-4AC8-BB90-0E0F89E02D70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q606996$2CB22943-51B3-4115-9513-92D0891EB933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q606996$92199291-2D04-4B67-925B-3A34E743248F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57ff86d1d8e1a59b69a84235fccfd9a08858d372","datavalue":{"value":"5817534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q606996$9B413AFA-BD94-43E8-91F8-506D6782EA9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2d997bb0bc0a1f981e52a7ffd89cc2ee4d56a6b","datavalue":{"value":"probabilistic timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q606996$EFF5BA49-7272-4951-A917-C5ADE510F6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0652d69d3bb722adccc86703c4029f8e936b3bb5","datavalue":{"value":"weak bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q606996$A623BB64-2A51-4606-9C04-24B184982203","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":"Q606996$2CC737DF-92DF-4F4F-BD52-6C65830AAA99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee11ae14f6cad086a96dfbbcab868661be50d9b2","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.09.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q606996$554A7C5C-316F-4A49-88FC-FFD0DEDB9C11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b5f52661082433c4e0c3edcb4c151b3ecc4e8cf","datavalue":{"value":"W1968437296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q606996$4F1AE45A-A5C4-4003-91E4-A927D09E6768","rank":"normal"}],"P223":[{"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":"Q606996$E21E65B0-744B-4FFA-8BD3-4171950B54BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe35341d761046de2491e7ae124055110a76adc3","datavalue":{"value":{"entity-type":"item","numeric-id":4645208,"id":"Q4645208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$C20A73A8-3F8C-4D0E-97E7-AF7433788CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf8d5093ff3193c51df2ae941855feb62d3e7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4251920,"id":"Q4251920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$E4BE6959-FC8B-494D-AE21-32F4F0313751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a860092cae4ad4c5ee631c0a98f0a7ee7f9c9d0","datavalue":{"value":{"entity-type":"item","numeric-id":3241581,"id":"Q3241581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$B9CFDE53-AF5B-4083-A91D-90034A811FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48f52de9a4a1b8cd2deeeaf3402deb174d136fd","datavalue":{"value":{"entity-type":"item","numeric-id":1128976,"id":"Q1128976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$91C81234-7539-4BBF-BC5E-A0285D331158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abaf40d26eeea4001d6c19e8a18a0ab91157a30f","datavalue":{"value":{"entity-type":"item","numeric-id":1853732,"id":"Q1853732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$F3F87FA7-2016-4A40-B8FF-4EA2D059BA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac7ea46ed5829de66002dbc9fdd446ec28b2d53","datavalue":{"value":{"entity-type":"item","numeric-id":1878925,"id":"Q1878925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$12BEB977-AA1F-40FF-B636-668BE0D5CC70","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":"Q606996$9C038E45-D365-465D-8B0E-5A155D0867AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ee182ed547c34efddf0b14b92016a0567e7200","datavalue":{"value":{"entity-type":"item","numeric-id":4484499,"id":"Q4484499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$2C272DBB-D0EC-431C-8B39-C887D1EC69C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1431aaea098ed3a91234e923623637850c23b280","datavalue":{"value":{"entity-type":"item","numeric-id":3617738,"id":"Q3617738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$CA37FA2E-5F82-43A4-B89B-D8BD4788A7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4fc3d50e08ff8b90689c07f385bfa7df75654d0","datavalue":{"value":{"entity-type":"item","numeric-id":860902,"id":"Q860902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$0C33E912-0D72-40B7-8832-0B257A205BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13957825e67f14e41e510f86d95c402b7cdfe637","datavalue":{"value":{"entity-type":"item","numeric-id":3525628,"id":"Q3525628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$60D7FE78-CA9F-4B5C-AEB9-F3E6D7936F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$84445631-ED32-423B-92ED-19D21849B6CA","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":"Q606996$1BE7051C-162C-4C23-B97A-2B73F2FA6544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8073276a8916b97326b23193e92c52703810ec51","datavalue":{"value":{"entity-type":"item","numeric-id":5726943,"id":"Q5726943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$C94A15A6-D76E-488B-97E2-3424F57960CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$A0F27D2F-5056-48D1-9604-177B9A131443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0459d1a93a135deb9a3f3404173b887fd894a7be","datavalue":{"value":{"entity-type":"item","numeric-id":3266141,"id":"Q3266141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$92DEDE79-448A-4A2D-A596-37E3CD1AA41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$2436CC8B-957A-4873-8093-46B2634B3FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63cf2ce330aed26a5810a4c85886a9bbb0c7639a","datavalue":{"value":{"entity-type":"item","numeric-id":3452345,"id":"Q3452345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$C3B1E59B-C808-4626-9CD2-A6B0D54882C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$621F2355-49D7-47B0-A947-7D9A43BD3624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60edc7eea947e115dd0db0db26305a30610bfbeb","datavalue":{"value":{"entity-type":"item","numeric-id":5464754,"id":"Q5464754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$7F51A0B0-BA4D-4160-AAEC-B3C573237C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69594450f9a422cff08f18b0b69ea9fcc21cd40","datavalue":{"value":{"entity-type":"item","numeric-id":3400533,"id":"Q3400533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$DBBF3AD0-2D80-4FD2-8229-BDC91C325A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6e5802b553fbafa96ec18d7da5062c22b50ab41","datavalue":{"value":{"entity-type":"item","numeric-id":707597,"id":"Q707597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$15C45D70-B861-4096-A402-1B354A4CAF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"789d42b87a55361ca9845f4c6cbe3663776c12de","datavalue":{"value":{"entity-type":"item","numeric-id":955710,"id":"Q955710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$53E185C8-D45C-477F-ADD9-2FEDA5BDF179","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":"Q606996$D02DF956-5909-41CD-AF9E-3CAEA50AF09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e70d1806e78a82125195a157441f06474cf07a5","datavalue":{"value":{"entity-type":"item","numeric-id":1363777,"id":"Q1363777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$CE64AE6D-0920-402B-B9B7-1985AD7029E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e31ac4f1c49c2d82ee9e9e45b6879c54033335","datavalue":{"value":{"entity-type":"item","numeric-id":1923088,"id":"Q1923088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$84BFDAEE-21AA-4C11-9EC5-F031B77C82DC","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":"Q606996$464C3407-197E-4576-95F6-15CA465DB4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b043d2a9911135295eda6ada96f432b0f8ae3a25","datavalue":{"value":{"entity-type":"item","numeric-id":1323313,"id":"Q1323313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$9805CCEA-0B91-41EF-8554-38D0D2ADC641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$7A1576F2-7840-4DD0-90C3-90B30FDB475B","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":"Q606996$713926D7-B648-45E3-BC71-42837D9B5BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74fdff17abcad57b939a9c8288c5a756afbaddcf","datavalue":{"value":{"entity-type":"item","numeric-id":5325833,"id":"Q5325833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$995A8BDA-0821-4C22-937A-C62A5BBFABBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1acfc6ee2702b164c13e518d5de4a164ca1a9c5d","datavalue":{"value":{"entity-type":"item","numeric-id":3588096,"id":"Q3588096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606996$4EB949CE-7F05-48B9-820B-F8EBC4937586","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb9e70f4b04369323fa158d3cde01213a6c5d690","datavalue":{"value":"10.1016/J.TCS.2010.09.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q606996$0B3C9749-056B-4D48-A6CC-CBCC294DC593","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4b9861897f83c40098c84a5af140f149965003","datavalue":{"value":{"entity-type":"item","numeric-id":3588096,"id":"Q3588096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c6fb7656bca4765986417ded62e34b9f6568c5","datavalue":{"value":{"amount":"+0.9455164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q606996$FA7DAFC8-3653-413D-818B-D5713C7D65F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913724d19c5f2456e6de8506edc37016dd1a83da","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb63b6af42714d9e338dc95cf56a693f927608f2","datavalue":{"value":{"amount":"+0.94217336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q606996$38B16F13-5563-4F07-8A75-1AA18940817F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76883eb6fe05535cab5e48099de2541cee95b07a","datavalue":{"value":{"entity-type":"item","numeric-id":2957519,"id":"Q2957519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"534a290974705b2e99de17155b2d749612a115c3","datavalue":{"value":{"amount":"+0.9341075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q606996$541D3919-D3BF-4410-9089-24EEBFC724BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3feb50893bd5d8529c6e3e43f6251e776e0de80c","datavalue":{"value":{"entity-type":"item","numeric-id":282105,"id":"Q282105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be80374632d0e4d0c9052a25abd8734ddc96a949","datavalue":{"value":{"amount":"+0.9299165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q606996$D4C537D1-5021-4755-95DE-E8E87643E54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ca9e0f5a61f182d42b82bc572296915565f624","datavalue":{"value":{"entity-type":"item","numeric-id":6161460,"id":"Q6161460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12549b6c8544ad758a3a936f964ba62d3ed5b032","datavalue":{"value":{"amount":"+0.9121261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q606996$D862FF49-04ED-44A8-B7D0-1965AB5D72EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9bbb36d4b120f137a0a4ed9d19f82b22b20394","datavalue":{"value":{"entity-type":"item","numeric-id":5458833,"id":"Q5458833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16954e9b195c669f975eb3a1d4358507f4fd5cd0","datavalue":{"value":{"amount":"+0.910529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q606996$5C3BAA83-FEF2-4B53-8B93-CAD398809AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"744cb71baa45b8de9207c30d5fb72bd4059db3eb","datavalue":{"value":{"entity-type":"item","numeric-id":5299841,"id":"Q5299841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d57f1d8e82422c7e73154ad484a86994ca4f7bf","datavalue":{"value":{"amount":"+0.9007514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q606996$78743448-F83A-4D0C-B47B-0E24FB2BCCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"496dddf2b6fb6f3fab8e1df53a92f064f4e0321a","datavalue":{"value":{"entity-type":"item","numeric-id":3090825,"id":"Q3090825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d57f1d8e82422c7e73154ad484a86994ca4f7bf","datavalue":{"value":{"amount":"+0.9007514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q606996$6533D2A5-A5ED-4BBF-B1A5-EC0159F8DB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2edec92a7a0efd1687c4aa3a2d290782d1ea20b","datavalue":{"value":{"entity-type":"item","numeric-id":6485908,"id":"Q6485908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7529f51ddebf4a8cab11333adad223aa9c437d7e","datavalue":{"value":{"amount":"+0.89727515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q606996$F38F5716-2238-4A59-B215-88BD033E2095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0468c56b5095132157067038516c1d011b2c06b","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eed60c7a9b9e5a2c2082996bc80b4850d02d129","datavalue":{"value":{"amount":"+0.89654464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q606996$2CD90FAA-9A97-4F66-9E29-04B7790C8F38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak bisimulation for probabilistic timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_bisimulation_for_probabilistic_timed_automata"}}}}}