{"entities":{"Q2981976":{"pageid":2992701,"ns":120,"title":"Item:Q2981976","lastrevid":52799354,"modified":"2026-01-23T13:01:24Z","type":"item","id":"Q2981976","labels":{"en":{"language":"en","value":"Certified symbolic management of financial multi-party contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713877"}},"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":"Q2981976$7B42B33D-5871-42D2-9CE8-0F77CCF7A12B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84a1757d134d064c4de04a31e004701daf2a5721","datavalue":{"value":{"text":"Certified symbolic management of financial multi-party contracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2981976$46DA1B54-D8A5-413D-A193-C28715B6AE70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"344a915829e910692c3e6501eba12c78fb2aaa5e","datavalue":{"value":"1360.68356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981976$A7F5EDD4-EA61-4096-8A67-91904229A79E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b6d8f63efd99624fda87c3b44707ae726228d65","datavalue":{"value":"10.1145/2784731.2784747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981976$0CB12581-EAB2-454F-B4F8-E46E4930BBA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4136daa22cf2091db4454b4ad389b74934d06947","datavalue":{"value":{"entity-type":"item","numeric-id":667428,"id":"Q667428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981976$6D58DE00-E25E-40E6-BFE7-FA6EF27985C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23f707c14c60ff548453441f2906ab0697244485","datavalue":{"value":{"entity-type":"item","numeric-id":2981975,"id":"Q2981975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981976$4CFFE2FD-875F-457C-A093-7770175A8E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc429072b684b7b31c034a58843fb499ef0dd634","datavalue":{"value":{"entity-type":"item","numeric-id":1768481,"id":"Q1768481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981976$27D50F54-B654-4021-9B84-21EE662F32D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"958b9d2649c5f166ed12d91711a9f2d3feb923ea","datavalue":{"value":{"entity-type":"item","numeric-id":2945523,"id":"Q2945523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981976$74F7D209-3DB6-4906-A7AB-D4A460797262","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2981976$16907989-AE5C-48E5-AD5A-F32F5DECC489","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981976$E0A5AB91-B998-4E7D-8109-740D1C98F2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981976$B2F4DEC4-2719-488D-9BD5-45E3041D95A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981976$7758D2AB-6C82-488C-BC45-EC85BAFC9825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9fdaaab264a017fdb284966ce5ba7ee903c763b9","datavalue":{"value":"91B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981976$AF1C5646-32BC-4B11-B7C7-72F51F517AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ee61d12d8ac50f86a0265856e85b664dcd7fc0ad","datavalue":{"value":"91G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981976$AB4D3DA1-38FA-4B84-B7D7-30004C2ACF54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0550993febc1d5d6b9fb76cd7247512084e3ba8","datavalue":{"value":"6713877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981976$38772114-1C63-4BAB-BB15-0F6119EE8AED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19cbd00e817fa68d4342c78b647ba0f8172adf2d","datavalue":{"value":"certified code","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981976$EF7840E0-9EFD-4546-83E4-C46C05962239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981976$A7034011-564F-4DEF-935B-EE959F76B1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37a9162ab85e0915b9e54a6f19fae18e611f8502","datavalue":{"value":"domain-specific language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981976$FFF804D8-685B-4BEA-BA94-EAF6D17E223E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76990fd8e61090e5e0fc676ea5f00b5e12b3b06f","datavalue":{"value":"financial contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981976$5222CF50-554E-4BA1-B812-3925715CF4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981976$F769E7A2-99D8-4B2E-A983-1ACC35D89F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981976$6B1037AD-41E6-4E52-B357-827D98B7CE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981976$A1C6EBFD-952D-4AB6-A49A-998DDA1C3BC2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c6d172c098733ae7e17cdeec3f3a6c0f5c807df8","datavalue":{"value":"Q58061576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981976$FF3B9850-3B43-44AD-A398-0400C321CD93","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981976$9A1E2425-64EB-45F5-B694-20B0F5D60386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981976$F0ABD137-8B00-4FBE-B40F-E51BF2306F3A","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":"Q2981976$F3ACA587-4C10-4F15-97A4-DD34C8FB9B4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3e0f32ef035dd6c33820a48084c52816b49ad44","datavalue":{"value":"https://doi.org/10.1145/2784731.2784747","type":"string"},"datatype":"url"},"type":"statement","id":"Q2981976$1502B254-1EB3-46E8-BD1A-0D1F5EC35FFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2409ba42fabdbae44fb1a8caca429df2ba5d6111","datavalue":{"value":"W2047482109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981976$C7F6B635-3CE0-4BBC-A5BB-7247F4019721","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee25949a3a1affa653148dd4e6ce2555f5c2c92e","datavalue":{"value":{"entity-type":"item","numeric-id":2763985,"id":"Q2763985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46438d8ebf0fbf9aeb23c1c0421ce7dce9e460ab","datavalue":{"value":{"amount":"+0.7046919465065002","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":"Q2981976$E89A5308-7458-450C-9315-BF3412DEC1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54fbeaf5920feb31958054f7fb2f25e801064732","datavalue":{"value":{"entity-type":"item","numeric-id":3000571,"id":"Q3000571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46438d8ebf0fbf9aeb23c1c0421ce7dce9e460ab","datavalue":{"value":{"amount":"+0.7046919465065002","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":"Q2981976$DBAEA071-7213-4CC6-9FDE-7AB5F0F47152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe157d5ffa8dd502bbeb2df9544c92552d6a7a03","datavalue":{"value":{"entity-type":"item","numeric-id":2043802,"id":"Q2043802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e851299c25d5aef93db4ba9d2d1650fdb196c01","datavalue":{"value":{"amount":"+0.6815569400787354","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":"Q2981976$87A087E3-D3B5-48B2-A752-80F7EFFAF779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6caf09c8ad4463cbe1e9566abaf45efd26b9b97c","datavalue":{"value":{"entity-type":"item","numeric-id":764380,"id":"Q764380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3cc73e33137f7794560986c4f3231b9dc56742b","datavalue":{"value":{"amount":"+0.6737847328186035","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":"Q2981976$10A78F92-E29A-449D-8CE4-1D7BA59B2418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132eb975de93bd8b7e2a085c1950995241e5469e","datavalue":{"value":{"entity-type":"item","numeric-id":3510789,"id":"Q3510789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2204cfca12fdaafb0cb5cad19af3f40fdd3e59d","datavalue":{"value":{"amount":"+0.6728307008743286","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":"Q2981976$3004623B-84FB-4EDD-AE6D-C7DB86E79D82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2981976","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2981976"}}}}}