{"entities":{"Q2007732":{"pageid":2018474,"ns":120,"title":"Item:Q2007732","lastrevid":72322323,"modified":"2026-04-14T04:06:46Z","type":"item","id":"Q2007732","labels":{"en":{"language":"en","value":"Unifying theories of reactive design contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135127"}},"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":"Q2007732$18EF4C3B-4476-47E7-ABEE-688B9B9DB59C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08ac1efc09b586344e14df2c781d9c7b42ec0934","datavalue":{"value":{"text":"Unifying theories of reactive design contracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2007732$CF92C1F4-BCCB-4771-9C45-ADE7E14E46BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed20d837b116fd293eb36eea1fb01a35f634105e","datavalue":{"value":"1436.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007732$E84C0E68-4991-434F-AFEB-7A84C7024331","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":"Q2007732$98F105D8-8400-429E-9C30-A9F0E2D319CC","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":"Q2007732$8F49B46E-5617-4185-95E1-0456B6276757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68d7da77aca0fa29be0c285f098b38a9ceaff9ae","datavalue":{"value":{"entity-type":"item","numeric-id":2007731,"id":"Q2007731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$909FC198-8AF7-48C8-A03A-12046CF1E046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4d150d5bf876b5a829b43934d70c20b18c58f39","datavalue":{"value":{"entity-type":"item","numeric-id":432149,"id":"Q432149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$B8BD16E2-4ECC-4619-9D7B-E3C89B2F4C86","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":"Q2007732$78E5B2DE-C327-4E16-9852-B6C273826950","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":"Q2007732$5E173BAC-508C-4558-A1FB-97A2EBEB0001","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2007732$0CE15A19-DD6A-4975-8C26-33C931CAE84A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d82027e53da47a4f553698ce32b5c45e5021a86d","datavalue":{"value":"https://arxiv.org/abs/1712.10233","type":"string"},"datatype":"url"},"type":"statement","id":"Q2007732$FC740DF0-6F3C-4AA1-9A73-3DAB37DCF6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"05de09280dde72029fc8a81a26bd97c79351fbe0","datavalue":{"value":"https://eprints.whiterose.ac.uk/150655/1/grcontracts.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2007732$B3F68169-A685-4E10-9BEA-419D9DBBAABF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007732$68117FE2-C0D3-4CD1-911B-73EAE02DCED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007732$896CDCB2-D3F3-4AA1-8E36-55522F93D899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007732$6061B6F6-7EA0-4562-BE19-5FF32E4A64A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f67ab757c7896523966f40c58566aae4df82ff0f","datavalue":{"value":"7135127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007732$BCAA7AEE-65E8-4947-9778-A4894BA8945D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0c4574e716227700683f5736ac4fce4fff9be5c","datavalue":{"value":"design-by-contract","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007732$54B09112-FCD8-492C-9A22-CE10D1742BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007732$D44DE811-3D1E-4062-8FF2-6973EA64AF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1203243fb6d1e0ba6a8d0eb5c56d76a1539719","datavalue":{"value":"automated proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007732$E091AE06-C638-47E6-A6C2-B23B74BEF502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007732$B421697E-0367-4AA9-AACA-0B78323C00A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d866d2f01ac2c31359811196209e4cb400acaa05","datavalue":{"value":"unifying theories of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007732$DA096654-323D-46A5-A27D-BD136505AFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007732$EECBDCEB-A704-4641-B1EC-AED848DBBDC6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$62323DE7-5E17-473E-8EFA-7BFA2031B566","rank":"normal"},{"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":"Q2007732$CB789BBA-F731-414E-9053-2598AF3411FD","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":"Q2007732$DC044F6C-3172-41B6-95FF-C1DC886559DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$2E54CFAF-349F-4526-A461-7A7A1529BDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$5922292A-9C83-4658-BEE8-54267B77E601","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":"Q2007732$6A1FFAEE-39A6-4666-A261-2380B1A16906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f427ab6dbbd025b0c0b66dd047be36c332e9e80","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$085B444C-FC6C-415F-8E1B-7AFE8C655F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9fd7dbff509abaee9c64d21afb19f85055bad01","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$8EB263B6-1548-4634-9F7C-FDB58CECD8AF","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":"Q2007732$2E1EBEED-7494-4250-AF1A-A187311A0207","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":"Q2007732$5E0458D9-00E0-4FF1-996E-F688A550B0F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ee324cb260c39c78921f4b9d6e5038c41d6be80","datavalue":{"value":"W2780548495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007732$778E959D-0D84-4497-A02B-949089D3F318","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc62f32ebe5f2c566c09500f98ee202c262830a","datavalue":{"value":{"entity-type":"item","numeric-id":736461,"id":"Q736461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$ADACD38A-99E7-4956-AEB0-D434C81AB9A0","rank":"normal"},{"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":"Q2007732$C47C5A92-B5D5-4247-9F8B-B8E844077648","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":"Q2007732$DF72903B-68FF-46A5-BB55-B0A8481436F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5469f72b3d14e0a040a00af8c98b8e5cf4cb2b","datavalue":{"value":{"entity-type":"item","numeric-id":3172879,"id":"Q3172879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$B88E9A59-46A1-4DF7-A6FA-8BD3364842FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1ee9207afaa0843ab43d79ab6a7d2898ee1edc","datavalue":{"value":{"entity-type":"item","numeric-id":2814612,"id":"Q2814612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$C9D1B4E5-86F7-4D71-9436-FA9EA8EA0474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df24839d625a390053c16402f9628907f226566","datavalue":{"value":{"entity-type":"item","numeric-id":5901607,"id":"Q5901607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$89A28273-7F24-4343-B4AA-1AD20549EA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b7eea9779481cab76a91c583cbcea71a07981a","datavalue":{"value":{"entity-type":"item","numeric-id":1682288,"id":"Q1682288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$0E5E3DB7-FAF2-4CC6-9FC0-E0A1881B2BE6","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":"Q2007732$7875B703-08BC-4DEA-8D1B-4B13AE79B6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$7F756B40-9B10-4099-940F-37A49E7B539C","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":"Q2007732$57CECB15-22D3-4404-AA6B-D5EA9493C1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3587daf8b7bb37c28a02a6be9585e6348d1d132","datavalue":{"value":{"entity-type":"item","numeric-id":2971175,"id":"Q2971175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$D4A671C1-9347-4C94-9516-9A8D1908FC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ea00f9571a2f3eb35a08ae82329dd711da0dc8b","datavalue":{"value":{"entity-type":"item","numeric-id":2814613,"id":"Q2814613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$456BBBCE-61CC-4584-B8A3-2E8F6A1110BB","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":"Q2007732$A596A607-18FF-4137-9527-BD46C251E62C","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":"Q2007732$A3003061-265A-4D76-AE85-9A3DC455566F","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":"Q2007732$972E3FD7-A8C5-4C9C-9F59-BE3B7B07E90D","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":"Q2007732$FACBEB97-35C2-4247-A1C0-582EAF5F62E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb8b9acf5c0941429f9d82771001b6bfd7ff5d0","datavalue":{"value":{"entity-type":"item","numeric-id":2281642,"id":"Q2281642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$A102D7AE-4E7C-468A-A322-7486AB148E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ea5bfd8d7136af5d265eaa42d8a4c9b1cfad0b","datavalue":{"value":{"entity-type":"item","numeric-id":5395093,"id":"Q5395093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$B63F2F8C-2B9C-4E34-8159-0BF36CF4984A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c670c189ca485c7f6b031024bac0680e696f6","datavalue":{"value":{"entity-type":"item","numeric-id":854169,"id":"Q854169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$AEBD578D-5181-4999-BFFF-7AA15EBDE279","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":"Q2007732$FEB944FC-CE62-4FB6-BAAC-975E15699F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$46762AF1-F882-4BDB-B4A1-DE4639446102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$BFD8796F-E8C4-4905-9643-4547449E43CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5284f7991c38fae99078136506785628d19da5a","datavalue":{"value":{"entity-type":"item","numeric-id":4158461,"id":"Q4158461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$B23BBBEC-C7A9-4654-94D0-7BBAD98A7BE0","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":"Q2007732$97E59900-D919-49A9-B2C2-D919BC3522BF","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":"Q2007732$11EFA58D-DBDD-441C-8BA4-C21C9EB3A9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$5D2EC7FE-AAD3-4FB4-8B49-6A07E2FE95C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e3ed510da67008599207038e7ef43fe6112388d","datavalue":{"value":{"entity-type":"item","numeric-id":1566912,"id":"Q1566912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$5CCF09D0-5204-477C-86EB-0CDEA3ED65CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a9a4926ad0a1d7ac2a521c96efa1cb2e5f581c","datavalue":{"value":{"entity-type":"item","numeric-id":674261,"id":"Q674261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$55D145B6-E306-48E1-9440-42AD1281908D","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":"Q2007732$81F49CEE-AAF8-406D-9D02-5BFB9323D86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db45f234f354c516e6967660fb11814401792350","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$E16096E6-2483-4FC5-ACB1-1FB5BC9AECD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$3EAB7328-1CF1-4E5F-A565-5B24BAF5CDF2","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":"Q2007732$B45FAFE4-39DD-4BB1-BE59-2BBAEBB0D669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ea564efc740124803ad16ff2c7c525657a956f","datavalue":{"value":{"entity-type":"item","numeric-id":2640348,"id":"Q2640348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$56D6C760-7EDC-44AF-8484-7E12F9F5149C","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":"Q2007732$17E21C1D-2918-41C0-9B68-A4D65BBAAF47","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":"Q2007732$1594EEBA-90BF-4998-9DF5-B937489B180F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$FF1B0054-1F38-4D5F-8CD7-ED006BB8C663","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":"Q2007732$5B6F675C-DE00-4F2C-A0AE-3B80FC0AB64E","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":"Q2007732$1ACE5978-1452-4EB2-AE14-C5EE1A58B3F7","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":"Q2007732$44310916-8179-4EEA-84CA-B9609911D9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc99143de283b817191afeeaabe0436b30719fc0","datavalue":{"value":{"entity-type":"item","numeric-id":3455644,"id":"Q3455644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$A9CCB781-F222-4FC4-A55C-BD372CFB851D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62f5283fad229cb4a2faf8324e19c587723671f2","datavalue":{"value":{"entity-type":"item","numeric-id":3585032,"id":"Q3585032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$858D0722-65B0-46E5-AC84-CF2D16AF2410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23a4f79d5a209fbc2d0b0773de40c58b9c966c61","datavalue":{"value":{"entity-type":"item","numeric-id":2971180,"id":"Q2971180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007732$AC3350B3-2B57-44B2-A1F9-E8928BBC9E3B","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":"Q2007732$C7A69C33-5E0E-4297-9BBD-6E5044000294","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"383ddfef8779b1a32699fe0eac1f6b263177802b","datavalue":{"value":"10.1016/J.TCS.2019.09.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007732$A477E353-C0B3-4DC8-9888-8F838F8CB03A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e1c41ceaffd06892be7aa7a6e82bccf6e878d1","datavalue":{"value":{"entity-type":"item","numeric-id":4931301,"id":"Q4931301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f4adfad536f84508a1287867230b1992ee466e3","datavalue":{"value":{"amount":"+0.7440693974494934","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":"Q2007732$A55AEDC6-06F9-4410-B2AE-425595A100F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16efe40924502d887455ab8723369f8a505c23f7","datavalue":{"value":{"entity-type":"item","numeric-id":2441722,"id":"Q2441722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d445b5490f2029947412e50e804e56a4008458","datavalue":{"value":{"amount":"+0.7393178343772888","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":"Q2007732$9359FA10-D1B7-4FB4-8514-E5AE8501EC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed6ab8a797b16d31806528ab9ef991a47bd5c828","datavalue":{"value":{"entity-type":"item","numeric-id":5901607,"id":"Q5901607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e6604fdac74e0fefcecde33bc2a634d57c340d5","datavalue":{"value":{"amount":"+0.7304395437240601","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":"Q2007732$80F34DEC-C1A6-4BF8-9FDF-643CC98DE231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13aca015168c7420e828ba3c8070c3825219f7c7","datavalue":{"value":{"entity-type":"item","numeric-id":633299,"id":"Q633299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e0a0e26e39de6c323efd24752af92444c5431cb","datavalue":{"value":{"amount":"+0.7254899144172668","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":"Q2007732$8803E300-85EE-44E9-AE51-1BD9B2695628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4920f0ef729a21bea4d02215a5d3621fd1ce02b6","datavalue":{"value":{"entity-type":"item","numeric-id":3602999,"id":"Q3602999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb147c38e4c7b357bf8cd6034ed33612e152e99","datavalue":{"value":{"amount":"+0.725098192691803","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":"Q2007732$16C29D41-3EF0-4CAF-A04A-8AE55376935C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unifying theories of reactive design contracts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unifying_theories_of_reactive_design_contracts"}}}}}