{"entities":{"Q3638294":{"pageid":5668200,"ns":120,"title":"Item:Q3638294","lastrevid":50700056,"modified":"2026-01-14T20:43:55Z","type":"item","id":"Q3638294","labels":{"en":{"language":"en","value":"$\\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5574386"}},"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":"Q3638294$917CD630-2307-4BDE-831B-450D9CE86B21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8826d303d6dbe68b5bb20c51a8a9d5014681228","datavalue":{"value":{"text":"$\\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638294$82A14C23-C1B8-44AF-BA20-65B6C9E9ECC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cf4b1920139091dc44c514a25871b94cc45a327","datavalue":{"value":"1246.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638294$8FC057D6-938D-4E21-8DF8-7407A7A049C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ad9ef39fadfa6deac611e3d608b9d2d270b704f","datavalue":{"value":"10.1007/978-3-642-02261-6_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638294$0EEB096C-9DC6-4766-8908-E46028E95993","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42133de6198db819877bfdb40a898971ccf10209","datavalue":{"value":{"entity-type":"item","numeric-id":444495,"id":"Q444495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$CB00884F-DD55-4C61-8E8A-5A00F22ECF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7eb82b840f2cb52b344ebb7a6a6575033a768c","datavalue":{"value":{"entity-type":"item","numeric-id":418140,"id":"Q418140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$8310580C-5BAA-4CE0-B334-CF5ED845B8C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed383584163989cdc199f2dc33d683a90414662b","datavalue":{"value":{"entity-type":"item","numeric-id":2915012,"id":"Q2915012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$935ACACE-CF68-4B07-BB69-6B176D2EA434","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f2e3fc7575081ebb3b175707a32845a6955dc2","datavalue":{"value":{"time":"+2009-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3638294$3768F101-657F-41FF-9D15-4B0FEF42BD2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638294$5B701C45-AE36-41D5-A5ED-88AF4C7D0A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638294$1CD01B2C-2CF0-4ADC-A9DE-FB40E0923974","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1fa10962eb5270fd92f49f3830c64ca61eadaf7","datavalue":{"value":"5574386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638294$E2874CE6-4D85-4B84-B8A3-D7A81B7604C0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$BFB8E2D9-B3FF-40FF-BE27-7D7EF8D2A1F0","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":"Q3638294$34688518-452D-4BE5-83BD-9E955E268333","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6265824b0d9dbf7f5419950f1f9a02f8f2ab826","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02261-6_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638294$0B5E3CC0-36F3-4082-BCA3-D088A3862E79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ba6bd41327563961b171c6892fc97c373910b10","datavalue":{"value":"W1857414717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638294$9425A1EB-122B-48E2-BF26-758E7326C6AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c088b24d4c518136ef7e270b842fd1151b75b77","datavalue":{"value":{"entity-type":"item","numeric-id":1861898,"id":"Q1861898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$CF98E9E7-4783-4FED-B897-73C3419167A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$086C63E0-EFF2-4A1C-8911-FF61DF8E830E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3feba506e86c0c8da50c6ce66341bbbf5a4ae4e5","datavalue":{"value":{"entity-type":"item","numeric-id":5560264,"id":"Q5560264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$5FA3B08C-0A7F-4C68-9735-58C80274B005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ddd0ebdff7243b04f21569bd225d43d9c00d923","datavalue":{"value":{"entity-type":"item","numeric-id":792312,"id":"Q792312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$952F5550-AC45-470A-8307-349D865A424B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc04b441aa9601b246021f0a8e69e8277ce6359","datavalue":{"value":{"entity-type":"item","numeric-id":909653,"id":"Q909653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$5305FE6A-11B3-432C-8888-51C7EC65C70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2009a1656849d6bac3d1bb347e9aef0bbf6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4329182,"id":"Q4329182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$C9892074-5EE4-4688-8AB1-0D0E8C44590B","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":"Q3638294$340AB10E-DF82-45A9-8F49-F27191D07077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b747c082fe0b084f5ed990f04f5805c2a7bb129","datavalue":{"value":{"entity-type":"item","numeric-id":5428911,"id":"Q5428911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$88B42D3F-0D9D-4B68-973C-718FF9619B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b53365776c073ea2436bb2e8017426c89a93b010","datavalue":{"value":{"entity-type":"item","numeric-id":3540088,"id":"Q3540088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$18E2708D-D6F2-4DD9-9DED-7CB2D58789E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"279e3c72f72115409a49088f862179fa2e746651","datavalue":{"value":{"entity-type":"item","numeric-id":3525078,"id":"Q3525078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$0D4456AE-E318-4803-9133-32D21113A3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf1ba170fae28e63e92407b948b3875ee6ea399","datavalue":{"value":{"entity-type":"item","numeric-id":3313253,"id":"Q3313253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$C89CC751-15FF-49E8-AE5E-54B48E1AC67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b481472eb7429920f404590c97c4ef041b51d425","datavalue":{"value":{"entity-type":"item","numeric-id":4394901,"id":"Q4394901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$3AAC07D7-BF5A-4642-8A92-DE393B4E5443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e133cf1ada7f1b0dd17b79e98c981a127a99823","datavalue":{"value":{"entity-type":"item","numeric-id":3917484,"id":"Q3917484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$4314663D-BDBD-4E5F-B38C-5DE7B8C95A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49bedc120937d2ca2c0da20fbb588f395782764","datavalue":{"value":{"entity-type":"item","numeric-id":3318101,"id":"Q3318101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$29961FD7-ABA0-46BF-B51F-4DEA596F798A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82787ca52f83616d8cf97675d138ad8a3461fcef","datavalue":{"value":{"entity-type":"item","numeric-id":3638294,"id":"Q3638294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$2CA76EE5-DF35-48E7-9FAC-F1FE0AF7D965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638294$CAE96081-4A70-4BE7-91FB-CAB3F3885D41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf6342962fc95939ed119569d84f4d3b3cd7669","datavalue":{"value":{"entity-type":"item","numeric-id":444496,"id":"Q444496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d2e562373d35a14ed258068a817f22fecfa57c","datavalue":{"value":{"amount":"+0.8583967685699463","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":"Q3638294$3AEDB9D9-D31E-44B1-BACA-9E94918BB9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd21b00981416301847e31b823570f1e284d7191","datavalue":{"value":{"entity-type":"item","numeric-id":2038045,"id":"Q2038045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9ddbbb530f4fc70e973514b24b1aa1f3753352","datavalue":{"value":{"amount":"+0.8072757720947266","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":"Q3638294$0481288F-C4E2-42CD-8C94-E8574D52186C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22cf000bf31cd59181ae030daf2f0231a2c941d2","datavalue":{"value":{"entity-type":"item","numeric-id":5428911,"id":"Q5428911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8036dfaaf58c25217c47cee97d5069f3bf0191","datavalue":{"value":{"amount":"+0.788352906703949","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":"Q3638294$919C0792-63D2-4619-8A50-7C763FF73079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88fd251e10209b521d19efbf61ca9e4e4ba02a6d","datavalue":{"value":{"entity-type":"item","numeric-id":3605474,"id":"Q3605474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"099f0e2a306853967775aff8549c07ed0872f783","datavalue":{"value":{"amount":"+0.7582408785820007","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":"Q3638294$98336871-3ACC-451D-9CBD-683F4BE8848A","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":"f5204927fb55434e5a9e3bcefc3e297d3399eea5","datavalue":{"value":{"amount":"+0.7441802024841309","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":"Q3638294$C90FCC44-DB18-4BA7-99DF-33542E8BCEE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3638294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3638294"}}}}}