{"entities":{"Q1346610":{"pageid":1357349,"ns":120,"title":"Item:Q1346610","lastrevid":68661576,"modified":"2026-04-13T01:16:01Z","type":"item","id":"Q1346610","labels":{"en":{"language":"en","value":"Automatizing parametric reasoning on distributed concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 741026"}},"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":"Q1346610$037AF349-07CD-431F-8923-1F7E57DC1C62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3348e2222f1850ab2c8376778c1737a776fe089e","datavalue":{"value":{"text":"Automatizing parametric reasoning on distributed concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346610$98FBF8B5-79BA-4D72-B5C3-4F4E63B9167B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7777a281b788abec76be2d66c5e8c2307f4b67c","datavalue":{"value":"0829.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346610$916540AC-17E9-4407-AF55-22287E419F44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f676f829cf725a8e92561781655b7b7641de64ab","datavalue":{"value":"10.1007/BF03259392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346610$FDD12238-5F6E-48E4-B09B-CB96AB452E9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f900f77ef10c59a03f069c5af5579652c6549dc","datavalue":{"value":{"entity-type":"item","numeric-id":672233,"id":"Q672233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$AB9AF166-A008-4152-B0FD-216D5EB59A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8cc20251caa9024b82592803a89bf37c2a06f9","datavalue":{"value":{"entity-type":"item","numeric-id":1044844,"id":"Q1044844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$E5A5B7EB-9428-40DD-BA0D-93F4C9C07302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"773813d3efcd2f81e3c65b8886dd15507b9dab7c","datavalue":{"value":{"entity-type":"item","numeric-id":672707,"id":"Q672707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$7710FDF8-8726-41BA-8FF2-9812D174D7B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$D6F97E4A-B908-48CE-B123-F8E787B8ACE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"105cd52c1072aef79a48ec029075a51ef3a83a4a","datavalue":{"value":{"time":"+1995-04-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":"Q1346610$176D3D17-0802-4612-902F-8C4FB9432AAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346610$B62EDF2E-D0EF-4C0F-A5AE-7CD8883F8152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346610$F5C89AD2-2ADF-410F-9C09-6BAD001D55AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2617a20c765c4662ff30b3f656499ec2a9d3f3e","datavalue":{"value":"741026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346610$8F613424-A819-48C4-AEC2-408A0406A9FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a768cf797b20670d949d06db025d739d8249e9cc","datavalue":{"value":"concurrent distributed system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346610$DBCF43F8-CC51-42BD-9C2A-9D5740D7ED59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8eab91a064dcf1649ad1573273b2cf0f55e56ef","datavalue":{"value":"semantic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346610$62E8F30F-0D87-4064-8B8B-83AE18FA2707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346610$736D1CF0-2691-466E-BDAB-61313174D89E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb385c6fb44380b06a40402fc65293954318bdb0","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$2ED36504-F625-4915-BB23-D2F6D4E330E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba362c5b8903f53c491273ee6fd47a3bd999240","datavalue":{"value":{"entity-type":"item","numeric-id":1318281,"id":"Q1318281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$83D608EF-DBC7-4C4A-A24D-2D5E2B4A8CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35e030d299d34323851896cfb85ba05314bc3be","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$9F6C96DD-8186-46DA-8C2A-976A258E6A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930cff729793c9543272b2b16970f179d3d40ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3763573,"id":"Q3763573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$1B73E1C5-954F-4383-9A2F-B89329CAE87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$7A4496EC-D7D4-4D29-817F-6FB5FD07B68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"170d28b455d5d0a98d8115a060065b436291213e","datavalue":{"value":{"entity-type":"item","numeric-id":1329198,"id":"Q1329198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$1B718ED1-4444-44D8-93CC-AA38FD00244A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a07a972928d590fe80c9a36dbe254b4aa1d80cf","datavalue":{"value":{"entity-type":"item","numeric-id":3805920,"id":"Q3805920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$D0E23CD0-7895-49AA-841F-63023676B857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1c6f3b612d6ba19b8a4acdb4969da43b572919a","datavalue":{"value":{"entity-type":"item","numeric-id":1187645,"id":"Q1187645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$73CDC4BB-9484-487D-848D-14C5CA90ABCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ebab1a15130c4096edab086c1604ab2961cab1c","datavalue":{"value":{"entity-type":"item","numeric-id":685411,"id":"Q685411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$10EF0642-93CD-43B6-A2A6-AEB4586BDD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0daf34ff0c38342e10fef42e7b7cde5eeefffab","datavalue":{"value":{"entity-type":"item","numeric-id":1089787,"id":"Q1089787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$28C1A8B0-243D-4EC6-9F51-A4F0BA0BF5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b49887873cf1833e3e1d4a2284f84cba89bf03","datavalue":{"value":{"entity-type":"item","numeric-id":2736365,"id":"Q2736365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$51E4623D-8F7D-4154-BB01-F138A716452C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c9b97325196e15821b091871efdab4e43e1736","datavalue":{"value":{"entity-type":"item","numeric-id":3975146,"id":"Q3975146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$939B733C-4E4B-4A88-8A90-405225AD51EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2af4c0d8f7240bbf9343bb6798fb99c89343b13","datavalue":{"value":{"entity-type":"item","numeric-id":3343446,"id":"Q3343446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$153FBB24-52CB-41F6-8246-EA675E41C200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$0F142F31-A5A0-43F5-B50B-D53779AA6BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e41f66d950376244d6af021137259b1fd9dfb542","datavalue":{"value":{"entity-type":"item","numeric-id":4005177,"id":"Q4005177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$99002A95-98C0-4CF2-B16C-B18B04E419DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3ab4b808fb410148033aab846d449312e63f061","datavalue":{"value":{"entity-type":"item","numeric-id":1346610,"id":"Q1346610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$9F34ADCC-9158-46C4-BBA5-4D713466E9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$20CEE02C-4ACE-43DB-A0A7-536BE6DB8974","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":"Q1346610$E3A1292A-7430-415C-82AD-7A15B06D758B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9197cbc9665692cfaf763a42b30a099e1811e19","datavalue":{"value":{"entity-type":"item","numeric-id":3675511,"id":"Q3675511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$30B7EE42-01E9-4AED-8D09-271F17494C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d082a20e65bddcbb901961398a89e69863d48399","datavalue":{"value":{"entity-type":"item","numeric-id":4724421,"id":"Q4724421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$D9459992-AF46-438B-A406-B56B5DB8A3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f45f552829e448fdb1f5d0c5585c08bd5972555","datavalue":{"value":{"entity-type":"item","numeric-id":3694687,"id":"Q3694687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$DADAC780-53EF-4F5C-920C-2CBC9E52A17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$ECE8348F-42DA-46D4-8D12-A69CD7B32550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$1BB0C68B-3AB5-4CA3-BF41-9453A91E18DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cac7fbe3edf8dd45e61377edf3265a1c6bdbb5","datavalue":{"value":{"entity-type":"item","numeric-id":3805922,"id":"Q3805922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$607E8570-35D9-4E4B-8A20-8022453FBC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a5be0c101b23bfa62ae4840034b8ca646534b1","datavalue":{"value":{"entity-type":"item","numeric-id":1079949,"id":"Q1079949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$4516AC6C-060D-48A2-AA1D-FDDDCFB73ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7be8e298cb87bd430b3e305916df543385d249","datavalue":{"value":{"entity-type":"item","numeric-id":3912034,"id":"Q3912034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$0DD7E7E8-FBA7-432C-B224-1687444CD45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53ff0a420feecc8124e674d6ad3dd21b8ae9afad","datavalue":{"value":{"entity-type":"item","numeric-id":3912035,"id":"Q3912035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$702FE7AC-197A-4A96-AB8C-63E5A5B33084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561af13c87e50291ff68f61fc96790f93d6204d9","datavalue":{"value":{"entity-type":"item","numeric-id":1091145,"id":"Q1091145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$BD342363-F219-4EE6-990A-53FE551232D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346610$9F9493B4-493F-4952-9011-A7C1F89AF746","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":"Q1346610$89B06978-A90E-4BE6-9122-440F7258177F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2ed50a555355acc6c3fb6141f77e8cb510d6fa2","datavalue":{"value":"https://doi.org/10.1007/bf03259392","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346610$D35D805C-3378-4D72-839B-50D626317251","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5de0174d018fde22bfadec2f349255199653bc0e","datavalue":{"value":"W2078614932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346610$0F7476AA-15BD-46A9-956D-16060D924B5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21094922331cdcb7af8df158c52c67afe2d7acb8","datavalue":{"value":{"entity-type":"item","numeric-id":960505,"id":"Q960505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"727d71ff0a9e218cdf567f208de8583db5de0031","datavalue":{"value":{"amount":"+0.7774083018302917","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":"Q1346610$D2A90712-BE25-4BEB-A071-3AF0F8241594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7c4bc253e534ed9c376fcb6a54c14657f09af6","datavalue":{"value":{"entity-type":"item","numeric-id":2032913,"id":"Q2032913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed9738d67413aaadb0468631084090c9a92f7ed2","datavalue":{"value":{"amount":"+0.7451900243759155","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":"Q1346610$AAA6809E-4502-4DED-AB18-CB59F1F3AAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545e1ab53716f4fafe9a4a6ba87d1be66a8e3d58","datavalue":{"value":{"entity-type":"item","numeric-id":5295510,"id":"Q5295510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b5b2baf0ca887f774d332ecb39119f4877a4130","datavalue":{"value":{"amount":"+0.7370108366012573","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":"Q1346610$3192001F-5712-45A3-95CD-CD5706A2E697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2241f2a59dad9a94e34f461d1fb56a9fd898afbb","datavalue":{"value":{"entity-type":"item","numeric-id":3066135,"id":"Q3066135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e99eb84cce8656f590d0c8577542c48b0891bf","datavalue":{"value":{"amount":"+0.7317712306976318","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":"Q1346610$653FB895-76F4-4567-B24E-4E368D189F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e8b584b0cfe1c54b3c766993597b000fdb2f573","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"132e994648299e98fe2563bb9c310bc56104ef6d","datavalue":{"value":{"amount":"+0.7289118766784668","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":"Q1346610$3B312995-CA21-4B1D-ABED-A7D8F00E0D68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatizing parametric reasoning on distributed concurrent systems","badges":[]}}}}}