{"entities":{"Q2043817":{"pageid":2054559,"ns":120,"title":"Item:Q2043817","lastrevid":72501558,"modified":"2026-04-14T05:21:20Z","type":"item","id":"Q2043817","labels":{"en":{"language":"en","value":"Automated verification of reactive and concurrent programs by calculation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7377683"}},"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":"Q2043817$C472DB1B-3AFA-40C2-B437-EFB2A653AAD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5876a69b9aaf07a82ce1c6620d965a87faa45f14","datavalue":{"value":{"text":"Automated verification of reactive and concurrent programs by calculation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2043817$4DAA1A3E-B302-41EC-83CC-D2C2392BBF87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f0d16d56334eda577a220b2d6e48a64c295fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1617822,"id":"Q1617822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$D196C538-27EB-48A4-8202-AA554E92195D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f28c6f17189715ed832177cbcbb505f96e8d7c4f","datavalue":{"value":{"entity-type":"item","numeric-id":1617823,"id":"Q1617823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$62AB2E03-E20E-4C31-BB63-FDFBA176F853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$198A531A-AD62-40DD-B987-0F861548B1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$E1DCBFFA-852A-40E7-A4B9-21C7FC4B5D0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$ED362D78-78A8-4105-8369-06593BEDEFA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"49ee50f687aac7f2e200a1c881fd3cbd74f354c8","datavalue":{"value":{"time":"+2021-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2043817$6C70D280-CFA2-4D74-9380-5EFAD118E0C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44171e5337b5773c125b2bd1c18b26deb06b615d","datavalue":{"value":"https://arxiv.org/abs/2007.13529","type":"string"},"datatype":"url"},"type":"statement","id":"Q2043817$9CD455D1-F618-4489-AF7A-B618DF0A74E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043817$A8DCBE7A-5290-41F7-9DDF-7F175B3A9E24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54e97d9b16d734fb46e98c16851ba14c6e99d1c2","datavalue":{"value":"7377683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043817$317259BE-4DF7-4636-8412-B261714212E1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$3E788D47-E834-42DF-82AA-01FEC3E5004D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$46A8600C-012A-49BD-A58F-D7163C68F796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$58DE2C2F-F4BB-473B-92D7-AA39C87A2F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab2732a43462e4afd2685a78e5271e3564f77228","datavalue":{"value":{"entity-type":"item","numeric-id":23407,"id":"Q23407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$157198CF-6A27-4027-9B4F-1D3F95CE5F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b51aad9f9cb7e5631db9ce3025117af99d637d67","datavalue":{"value":{"entity-type":"item","numeric-id":32996,"id":"Q32996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$6AD87DC4-6A44-472D-904F-C13ABA7D31F0","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":"Q2043817$DB7A4B4C-71FB-4E6E-9129-1C0DC3C3CE35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"357f2ea771996a9818f264881fe08db5f8cdaee5","datavalue":{"value":"W3046818083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043817$75C22AA3-08AC-44B9-B12E-B57FB2218919","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$51CFCEA0-D7C6-42DC-9A77-EBA594323730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4077aa82c7ea28dce00f8ac3c2dab611f36bf1ec","datavalue":{"value":{"entity-type":"item","numeric-id":3602999,"id":"Q3602999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$E558BE08-3ADA-4848-B593-29A2B16BB4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$C8CB5336-789A-4A25-94F5-D9A29D415F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10b7a4b3622c431ed62ce97a8f67e7b229bab321","datavalue":{"value":{"entity-type":"item","numeric-id":640296,"id":"Q640296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$55F0ABB1-E230-4A47-8AAE-B007A2A6F555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$7FDB5E39-AABC-4E5A-A2C5-83D25F08FECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65cf27cb319b50deacb73df4d115e078e49367","datavalue":{"value":{"entity-type":"item","numeric-id":2007732,"id":"Q2007732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$F39ADC30-8EF7-4B1F-A7F8-6A5FEEE9F6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f86b973e3b901484f98039b484118a2d2770aaf6","datavalue":{"value":{"entity-type":"item","numeric-id":1708268,"id":"Q1708268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$593EBEF7-4624-4E35-A132-1271DD0D8173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bcd3d912fbc11a09800564de2ac48525b4612f1","datavalue":{"value":{"entity-type":"item","numeric-id":1617824,"id":"Q1617824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$227FA195-2E72-4803-8EA1-D8A40F776506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5981e1168811f3b1a276d506216532fa05a55595","datavalue":{"value":{"entity-type":"item","numeric-id":3179407,"id":"Q3179407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$0870DD66-FDEE-41BD-B0AF-10030D9D2DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a70ad38291edfe02c754f317e893f9e8215911","datavalue":{"value":{"entity-type":"item","numeric-id":2281640,"id":"Q2281640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$DDA9DB46-4EDD-4772-8376-76E6288D3579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b441dd0710fe42108f247bc0567dc27fd863143","datavalue":{"value":{"entity-type":"item","numeric-id":844885,"id":"Q844885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$1A437D86-1DDB-4432-AF21-D1951E50325D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$A94489BB-3684-455D-ABFD-0B3A6E2C6D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309e188ad760a88b4574ef759d6e2cb79dca59b5","datavalue":{"value":{"entity-type":"item","numeric-id":333330,"id":"Q333330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$BC1D85C4-C85A-4434-8D62-DF6AAE57A114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e27ad4b2994da46e11c5d31647a6af63a7a804b","datavalue":{"value":{"entity-type":"item","numeric-id":4282663,"id":"Q4282663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$D98445FA-923F-422B-ACC2-CEC4FF7CFF4B","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":"Q2043817$0BB74E2C-16B4-4CA3-9FCC-3135A8D48FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a51285ecc98c7aa36e85f90f6de1b67d1e1af30","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$790CFC07-5C1F-4E55-AD7B-32AA12B5EC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc11302650095b8014b4cfac23c2bd493ca57fc","datavalue":{"value":{"entity-type":"item","numeric-id":3358736,"id":"Q3358736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$E87E9F07-63EB-45BE-8D6D-98B076C3A86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6be6cff01d2235451e68957f7f50c6f48767737","datavalue":{"value":{"entity-type":"item","numeric-id":1166268,"id":"Q1166268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$727BBF1C-02C1-44E2-A36E-D6D36F02A190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57f85513ab872b58f88eba81bfa4694f89279373","datavalue":{"value":{"entity-type":"item","numeric-id":3623939,"id":"Q3623939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$430F3F95-BA2A-483B-91A8-55AE074C22D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263b81d6f82aa7bc5c419ca585e86c9e4182e475","datavalue":{"value":{"entity-type":"item","numeric-id":1019016,"id":"Q1019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$E4C22D13-8A07-4E1B-9CF8-799BA1510B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a87be1fe3b334706741fb78f02001e4e8709cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1937313,"id":"Q1937313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$246985EC-9D12-4B73-8484-0230D7A83BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eae4550db0f21facfb349c31c5ff4057cd2cf92","datavalue":{"value":{"entity-type":"item","numeric-id":5307472,"id":"Q5307472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$7DBD3A64-351C-44CA-8D4A-928B64BA9387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07be54a74b6e196c5ea397ce63a96f656ed0929e","datavalue":{"value":{"entity-type":"item","numeric-id":968306,"id":"Q968306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$27CC1FBB-9A98-45F1-B239-E07EC12FD117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$92F214DC-9A09-44FD-BE3C-D6E819B9B302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$08021643-7839-4A67-929F-95470602ECE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9500c52b82211c30e7e53c9ebce092e43e61718","datavalue":{"value":{"entity-type":"item","numeric-id":5716879,"id":"Q5716879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$18F86322-570E-464B-B719-A6375AA8AB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b545e86e2ce93629aa1dbd624c1b554feb8e1870","datavalue":{"value":{"entity-type":"item","numeric-id":3585034,"id":"Q3585034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$5B50130F-752E-4800-ADCD-3FF86CACBDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b462f9efdc73cb182123e1a57698287d93289144","datavalue":{"value":{"entity-type":"item","numeric-id":4600381,"id":"Q4600381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$D3AB41BE-D762-4D50-A176-E3A99D401323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e97c3eb4cb2f11ca34697e2d3972f7b2b7bc1bc","datavalue":{"value":{"entity-type":"item","numeric-id":6487937,"id":"Q6487937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043817$34BC48DD-C990-4692-BF1E-836D183BC50D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8af01c4c71c23aa506a4de36848b757bf8b1c707","datavalue":{"value":"10.1016/J.JLAMP.2021.100681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043817$5BA37B29-72A6-4073-A11E-4FD5085122A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daeda69beb5bc4f416d4471ecf35838fe5d7d9d8","datavalue":{"value":{"entity-type":"item","numeric-id":1617824,"id":"Q1617824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7afeffe3a12667b5c36822e4e79f23e534041dbe","datavalue":{"value":{"amount":"+0.9073441624641418","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":"Q2043817$709D8A8E-95C6-4ECF-991D-D9CEE5538890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb906b7819af3215c442ea0a6017f05602f2584e","datavalue":{"value":{"entity-type":"item","numeric-id":2351261,"id":"Q2351261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84fac9290fb0ebb4ef230097685fb137b5745cdc","datavalue":{"value":{"amount":"+0.7687961459159851","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":"Q2043817$CAEC1F78-A050-4DB6-B427-4D57950A6B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4864234ea385815bb3c16df8db12dc98aff1cf","datavalue":{"value":{"entity-type":"item","numeric-id":1566912,"id":"Q1566912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2eefd7e89c26557f6bc63bfa6ee014f7b425271","datavalue":{"value":{"amount":"+0.7544320821762085","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":"Q2043817$ACE8DD04-33F3-4D13-8850-19E6B922DDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4ae21a694301765523f3da5b99f95884cfac20","datavalue":{"value":{"entity-type":"item","numeric-id":5410484,"id":"Q5410484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2eefd7e89c26557f6bc63bfa6ee014f7b425271","datavalue":{"value":{"amount":"+0.7544320821762085","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":"Q2043817$D05C06E7-7BE3-4FEC-A46C-21958AEBD4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7d60a6ce8052bfa56fde89469334cce4c5fa7c","datavalue":{"value":{"entity-type":"item","numeric-id":5447371,"id":"Q5447371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa31e3c51ad62a4a50ea22c43cf46607d229397b","datavalue":{"value":{"amount":"+0.7502008676528931","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":"Q2043817$5E5931EF-806A-467E-8001-1715F03EA381","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated verification of reactive and concurrent programs by calculation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_verification_of_reactive_and_concurrent_programs_by_calculation"}}}}}