{"entities":{"Q541209":{"pageid":542976,"ns":120,"title":"Item:Q541209","lastrevid":62613117,"modified":"2026-04-11T07:16:26Z","type":"item","id":"Q541209","labels":{"en":{"language":"en","value":"Simulation refinement for concurrency verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5904437"}},"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":"Q541209$BC129A75-E1A9-4D3A-A0DC-80285FD3249C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5049895728727439549b9da90ed480e50e9e886","datavalue":{"value":{"text":"Simulation refinement for concurrency verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q541209$8C426286-B913-4817-AA5A-F73AF063B3D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16f5cc748e5c80a3640cb6831f4cccd484c38d2c","datavalue":{"value":"1220.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541209$B6623E84-979C-439D-93B1-B62158121D14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$EE88F1D8-40B1-49AB-8E95-F553B9D856F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$61B7FD12-7565-4716-8E02-1F5D3C45C6FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1d636dc02e31c50ff8e96e46630d760ff43fba8","datavalue":{"value":{"time":"+2011-06-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":"Q541209$4896793A-CBA7-4685-B254-57BCE0A3256A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3fe5090e20b7a34323c3e1f8f9eabaad5c6c1aa","datavalue":{"value":"https://pure.rug.nl/ws/files/2542927/2011SciComputProgHesselink2.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q541209$AC479C4D-947C-4F74-91E9-B7DD1F75D222","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541209$26B3B6BF-4E35-4A70-917E-269E043A06F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541209$0D49E4E0-D1AA-4779-A463-2DD2C88A221A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54279aee82dccfb4b9a4d8bfef1061af6e269c77","datavalue":{"value":"5904437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541209$45E2B5F3-073A-4A8B-99DC-D0B84DB823EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q541209$3792CB8D-0218-4EB2-B412-15DE61F50B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q541209$36753649-11CA-4F21-A35E-0268AD7B2D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29285bdbfc7696cf08ae9d83dc80cad788f3cfa4","datavalue":{"value":"atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q541209$87CABAB1-F456-4112-B9F5-8F340DC04353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q541209$EF3E5B60-59C1-429D-AEE8-3236792ED6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ea7bb225dfc0f1ba88b53ac8e959b98d283c0d","datavalue":{"value":"semantic completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q541209$7D5615EB-6878-4683-8BE1-6F38741A3A01","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$5D5CC616-4B52-44EF-BACA-D63D2653ECF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$507C66CA-16C1-490F-8F15-AA63688E6E3D","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":"Q541209$DED08023-4CDF-4DAC-9A91-310C09F9B88D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2282577d0cea84fac1af59b047c4a759b434684","datavalue":{"value":"W2017337059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541209$D73CCD1C-FE4A-4C57-AA80-A2CF006CBD5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$DBD8055B-CEF7-4FB1-A219-152C5821EA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475ea5d083fb5bd89962d85a5420e1d194f31549","datavalue":{"value":{"entity-type":"item","numeric-id":4024005,"id":"Q4024005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$4168AD5E-76E9-4A27-88C8-4D58FE438268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e9cda558a24065b5e7de0632711952a3d611e0","datavalue":{"value":{"entity-type":"item","numeric-id":1006897,"id":"Q1006897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$F26A4F53-9995-4A7D-8AEE-FB2D8BA247ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad248ccf824070c3144d2b78441ca65e975b03b","datavalue":{"value":{"entity-type":"item","numeric-id":2942754,"id":"Q2942754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$8334035D-821B-418C-947A-84EED59013CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$70C0FC0B-6B39-470F-86A4-BA90E64F1640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$CBB808F7-129E-4727-8FE3-B296F188916C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$6A95FBAF-82AE-4AE1-8BD9-F42A0707442F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc3787d50b8d5f8c825d8feef81b4a6dfe493cd1","datavalue":{"value":{"entity-type":"item","numeric-id":5277709,"id":"Q5277709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$0B1E449E-7C3F-498D-96B6-14EB187D7D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a080b074196bf11d4837ba9c75e22e80835817","datavalue":{"value":{"entity-type":"item","numeric-id":3713577,"id":"Q3713577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$5FD47AB1-F87B-4402-82D4-7BDBDBF3F4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c3461e823e16301f2ba1d4613d0fabb013ef51","datavalue":{"value":{"entity-type":"item","numeric-id":4023579,"id":"Q4023579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$685929D9-9F2A-419F-B013-F6BBB50EABCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61e18186660f507496a6592b43dddb3ee46382b","datavalue":{"value":{"entity-type":"item","numeric-id":1881266,"id":"Q1881266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$8AAD6C10-8D82-438E-80E6-0F5DE9B1511B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a735ec939b05a13b9d5b1c6aa87eda0dd6bd7d","datavalue":{"value":{"entity-type":"item","numeric-id":5277719,"id":"Q5277719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$2C3C24A3-477C-4AFD-9858-766A8A3CCB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ac0bc07aad125b8ddefb97e4ac504406d17b78","datavalue":{"value":{"entity-type":"item","numeric-id":2509154,"id":"Q2509154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$B69DB1B1-1140-425B-9AC9-303815CC1D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd854f986328af892adf8880b229e6bc2346685","datavalue":{"value":{"entity-type":"item","numeric-id":2491215,"id":"Q2491215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$5CFBB8F3-ADB4-46AA-9433-38EC760DEBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b86d3aaef46c4ba4341c2f060fa2871a2728b1e6","datavalue":{"value":{"entity-type":"item","numeric-id":884994,"id":"Q884994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$71AE4398-DA6A-4987-95A2-43F4DFB7FDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e54947be7d38ea67306ce14a0134a44f0c2e5b","datavalue":{"value":{"entity-type":"item","numeric-id":2482021,"id":"Q2482021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$57E62AE2-70B5-43FE-866E-4D43B137BD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee34cdbf8262a496f426f42270d285084070f04e","datavalue":{"value":{"entity-type":"item","numeric-id":5403461,"id":"Q5403461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$DCE9B94D-54B9-42D6-AB5C-D71B5AEA461D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceadd664d54c8ad5ecba9795891b9eb907415754","datavalue":{"value":{"entity-type":"item","numeric-id":2475808,"id":"Q2475808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$5D8CC9AC-A6EB-422C-9730-1BC1C28092C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b990987646964abac11e3e2c0c4b5cc7c7b0913","datavalue":{"value":{"entity-type":"item","numeric-id":1112600,"id":"Q1112600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$871A35CB-C0BA-4E68-B6D5-3B646E2F2468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b9483df215582e358e0771ecddc45b3af6e4f0","datavalue":{"value":{"entity-type":"item","numeric-id":4851528,"id":"Q4851528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$DEDAA284-4BF8-43B3-A319-B73ECDCAAAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"044f68b515f4c88d6ca18496380950f10e372449","datavalue":{"value":{"entity-type":"item","numeric-id":1193607,"id":"Q1193607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$26D27CD3-0FC8-4450-9EED-B4ED1D7A7FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438a5045106d4146b4a77af56b6435d17e956023","datavalue":{"value":{"entity-type":"item","numeric-id":1391748,"id":"Q1391748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$18699FBD-FFFD-42B0-AD19-567CEAD390A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05656618a7fbd87833428b51ffbb73b7b47e20fc","datavalue":{"value":{"entity-type":"item","numeric-id":4077431,"id":"Q4077431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$46C1F51D-0814-4DAF-B14E-648406C99DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$DA9462AA-C195-4E87-9D71-FD50A1F477E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff15a003decaf3fb97cc8f3b2a4669e9d9544304","datavalue":{"value":{"entity-type":"item","numeric-id":4873991,"id":"Q4873991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$1D1C7D7C-99BC-43F9-A4E3-DA78CF793591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d86757aed588d819db82dae30fd8dcbf504d44","datavalue":{"value":{"entity-type":"item","numeric-id":5897075,"id":"Q5897075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$3DCAAD8C-6EB8-4DED-9AF2-9FA850A4592E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$2F1A7703-F925-47DD-9FFF-7E534E728D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$AA0770C7-ED40-40AA-BD60-C81FC9E6C95F","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":"Q541209$09797DE5-8808-4D8A-8356-AD85EC3F9ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d761d81a5a82c266b822dd00556b7a4ff57c359","datavalue":{"value":{"entity-type":"item","numeric-id":5403462,"id":"Q5403462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541209$8A3D38F9-FD95-45F1-9A1F-1688331F8D91","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":"Q541209$76087BF8-80AC-4C8C-993D-2E36C3D6F57D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38769c6a5055cff9ad68488f25b6a2eead216456","datavalue":{"value":"10.1016/J.SCICO.2009.09.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541209$29E314BC-C906-4375-913C-606B427CF40D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245728ea1091b8b8a2c7dfe7ed8eb6ec3d7996aa","datavalue":{"value":{"entity-type":"item","numeric-id":5403461,"id":"Q5403461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a102a5a0bdf7c7d5f4cd87189c6339a4dbd70c","datavalue":{"value":{"amount":"+0.9710697531700134","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":"Q541209$07FC9244-7C25-452E-BBD7-1CFBBAD9973A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493cad6f3de1d42c53b0c3cf7ee8b567ee64dde4","datavalue":{"value":{"entity-type":"item","numeric-id":706513,"id":"Q706513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36afd18a3b2b577f86c950036dc2fe004731838","datavalue":{"value":{"amount":"+0.799026370048523","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":"Q541209$92A96B2B-CC82-44BD-A492-1ED69046C9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9546ecc581a57aa727cf7de31e001286230e40eb","datavalue":{"value":{"entity-type":"item","numeric-id":5897075,"id":"Q5897075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7da1bea7d333039506ccfe2ffb81dcba03310549","datavalue":{"value":{"amount":"+0.787869393825531","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":"Q541209$61E63D98-D279-418D-B39C-22562141B4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2db83a0eae6ef674b25a558d72ce173867a5309","datavalue":{"value":{"entity-type":"item","numeric-id":911322,"id":"Q911322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3afb933728c1ed437129f8928150e15a077a2adb","datavalue":{"value":{"amount":"+0.7833356857299805","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":"Q541209$693D61D1-C3F8-4B23-8ACF-AE262A7D4747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f2080ffe7b6af8141029c0c2703ac6b39c5ffb","datavalue":{"value":{"entity-type":"item","numeric-id":2844822,"id":"Q2844822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48fb7c87d639c462b9554b4e1da5f1caa27577ab","datavalue":{"value":{"amount":"+0.7739914655685425","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":"Q541209$01BDFE89-939C-4051-8982-B34B8159F320","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulation refinement for concurrency verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simulation_refinement_for_concurrency_verification"}}}}}