{"entities":{"Q2038045":{"pageid":2048787,"ns":120,"title":"Item:Q2038045","lastrevid":43487371,"modified":"2025-07-29T08:20:16Z","type":"item","id":"Q2038045","labels":{"en":{"language":"en","value":"Runtime verification of contracts with Themulus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7370066"}},"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":"Q2038045$8291A937-1E0F-4082-9F30-D0474171ECE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5aef63042219b0c607ce08a8d6c269a6d89dc506","datavalue":{"value":{"text":"Runtime verification of contracts with Themulus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2038045$45E931BB-F21F-447B-BD6E-E520AFBF661C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ad6f81dca9da6e82ddadb55e0fef76f77c8877e","datavalue":{"value":"1476.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038045$A8A21F76-33D1-43BE-9AAF-66AA2666F675","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58a9157d3d1ef3fd0072e2d383f77b0cb9f17699","datavalue":{"value":"10.1007/978-3-030-58768-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038045$2B86C944-10E7-4CE7-BAEC-CED262892C86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c293b6f33796f4b8ad66f3c88d33c31d7836a21","datavalue":{"value":{"entity-type":"item","numeric-id":2038043,"id":"Q2038043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038045$10EA61D6-A53E-428B-8BCF-3514999B0C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"852b8a3fb9aea208cccdcc61a3209a9b14d708c6","datavalue":{"value":{"entity-type":"item","numeric-id":681470,"id":"Q681470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038045$5DCE467B-711C-40D9-A2C2-0667C7068DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c1b3e5fc32ae92a04c89fefc3fa71295928a059","datavalue":{"value":{"entity-type":"item","numeric-id":898614,"id":"Q898614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038045$32CF17F7-D3B0-4A62-9332-8A4374568A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94229b96c71d77298697de05e94c9bf7fba20fdb","datavalue":{"value":{"entity-type":"item","numeric-id":2008290,"id":"Q2008290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038045$CA18807A-B020-426F-B83C-3655EF7201A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f00d76f2beb673643e2f767b40abd30faf48df5e","datavalue":{"value":{"entity-type":"item","numeric-id":436360,"id":"Q436360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038045$001AC2FD-EE4A-444E-80FA-4DBB327397D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1926b5e5d0313a397a856b5060f2ee4412bba3","datavalue":{"value":{"time":"+2021-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2038045$117186EC-5736-486B-BA5D-92E90E303CD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038045$824524B5-1838-4FAD-BE7C-F07D142CCC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038045$2B6FCAC6-F629-48AB-9833-935382093BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038045$21859FD2-FE74-4481-A446-51B98C1CB835","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70468b1678c6f44d5eb15fe34a6f65f132175602","datavalue":{"value":"7370066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038045$06866497-2F9C-4839-B992-440C2B8306D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038045$648844EC-ED80-4DCB-BB6A-5C52CC36B6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038045$90862BD7-52D0-4C4A-BFBB-961E8AE2BB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038045$79965F73-260A-4D04-B366-F41882685E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2960d44308cf26889a10311f69a85de01dd7bc5e","datavalue":{"value":"LARVA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038045$DCD6DFAE-5C1B-4D1F-B53E-29EC0DD38074","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":"Q2038045$1740898F-FA15-4E7E-945B-5F9E497FE8FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2affb51f1faea81dd020dcc79d3369a5fce3bdc9","datavalue":{"value":"https://doi.org/10.1007/978-3-030-58768-0_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2038045$4651CB08-D64B-4C5E-B98C-D4A4064914A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a559856204b1b2710d9ada3cfd674228d71552a4","datavalue":{"value":"W3085455177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038045$641A220A-EAD8-469A-A7FB-88F721D71150","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8360af298a627e5d5d1ab750776bd06a0d1776c","datavalue":{"value":{"entity-type":"item","numeric-id":347375,"id":"Q347375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9408fe3e51974f721386231725ea243845daf8a7","datavalue":{"value":{"amount":"+0.8646678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038045$AC37121E-66CC-4CE0-BFBD-D6F58B92B399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e0dd57fe1e35413c3e245b3e0c84c483501328","datavalue":{"value":{"entity-type":"item","numeric-id":5370871,"id":"Q5370871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5fd3140c5b215c46bab06d2061018f7e91140a4","datavalue":{"value":{"amount":"+0.86126274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038045$50F8ACED-9A8B-494A-9C11-87224E003835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe82b7fd0e2cac18c6b4586d95c8bf631fe89def","datavalue":{"value":{"entity-type":"item","numeric-id":4413673,"id":"Q4413673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6d077fe31bec18ebd4a23a14a9f60a7bf4e777","datavalue":{"value":{"amount":"+0.85099417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038045$15409E54-C0FC-4443-BFB1-ED1AE4F4C1C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2038045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2038045"}}}}}