{"entities":{"Q444496":{"pageid":446263,"ns":120,"title":"Item:Q444496","lastrevid":51528299,"modified":"2026-01-18T15:55:32Z","type":"item","id":"Q444496","labels":{"en":{"language":"en","value":"A dynamic deontic logic for complex contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6065764"}},"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":"Q444496$E8B1FC79-9FF0-4695-B008-010DBEF5A718","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"297d417c81be9770a7079debd6a635a743ab6304","datavalue":{"value":{"text":"A dynamic deontic logic for complex contracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444496$88E32623-AEAA-4E6C-859F-3FDE8371B72B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5556cb3c1033175d3a88b1875f993b5fc880f86a","datavalue":{"value":"1258.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444496$39A7C34B-FF86-4ED6-B0E7-E9C1A7F4229C","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":"Q444496$D59406A1-55E0-49E2-BC51-B8F2462BB899","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":"Q444496$5ABE1D0A-3705-4298-965D-C085BDB9D63C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$E7B00B0E-C9B8-4F69-8DB8-F72A10CBE068","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17f5b5d4ad052e39462cb5dceca74a207d28c511","datavalue":{"value":{"time":"+2012-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444496$11AFFFFE-FD03-48A4-8799-EBFB3AED15FD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$84B2B5E9-7E2B-4219-AF17-FF0C88D0F2C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444496$AE05B531-E715-426C-8D6D-7DADEAAC1BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444496$3036B84D-A03A-435F-BAA3-DCED17D487F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdbbd235cc69a587ca39f7e14e720223f4e7a813","datavalue":{"value":"6065764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444496$499DA3B0-F314-475C-841E-D0ABB127D5F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccfb3d8e11672392331bf6609458dce259bba836","datavalue":{"value":"dynamic deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q444496$0644F26A-1362-4120-B50E-9829852249FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1db4980ce1459e003630d2a3ffee8f52014834","datavalue":{"value":"e-contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q444496$315FA75D-23B9-4B4A-A795-690F04687C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46ee5f9825a96058fc280bd6c3c5e8223c29f9d9","datavalue":{"value":"legal contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q444496$D1FB3BBC-4374-487A-91C3-D1982EA0F9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e31c1a2c5ac155c48b29ad65b0ba79e655d2577","datavalue":{"value":"complex actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q444496$D422027E-D35C-4A81-B0B7-3677DB9DB15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q444496$E6651373-C470-415D-93B6-BB167BAD0F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c459bc788a673991b326c2c7cd57e91ee6d786","datavalue":{"value":"normative structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q444496$187B0F18-13E4-4965-8E59-43C8706EDBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aad32f88f30f3baa3976de5085e2d42c49820035","datavalue":{"value":"action negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q444496$F9388764-9C76-468D-97A6-A93BB8480DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca63e938b69c4b29aebc056eb0291813a894dbbe","datavalue":{"value":"synchronous actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q444496$713F356D-E14E-4C03-B1BB-4F1590067DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30ad93e7dd6c5a427598aa42060cc12b74c44da0","datavalue":{"value":"sequences of actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q444496$49374661-5B5E-46D9-9719-08389BF1985B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65d0a8093d2904dacd96c82ff8ec5c2774df3feb","datavalue":{"value":"tree model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q444496$55E908D8-6142-4DB0-B275-E91CE71D93AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91e942213dae011cfdd687cc3d87cdb12d1aa413","datavalue":{"value":{"entity-type":"item","numeric-id":12898,"id":"Q12898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$BC7B8ABA-F791-4EEB-AA58-5D0BE3131A0D","rank":"normal"},{"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":"Q444496$E9522CBA-01D2-4E8A-B5B9-405CC2B79E25","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":"Q444496$D22471FC-7FB9-4F03-86EF-556BD48B25BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d44ba70133ece3db5872a60741b67e3092e50d5","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2012.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q444496$2AF2962D-3CA1-4DE0-9448-C7D856CCE18B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abc50b24ec6b4406cb86d457e2a858bc6ebc3ece","datavalue":{"value":"W2150436779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444496$09969FF6-1EB4-4E6B-9311-17CC9C25A36C","rank":"normal"}],"P223":[{"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":"Q444496$5E21CE6E-5126-4656-8B1E-51675983AE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$2EFA0A9E-76F6-4DC1-8EC5-5683C8B2612E","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":"Q444496$29348451-261D-41BC-A393-9451EB52C8C6","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":"Q444496$FF28249F-2C7D-4A0D-9808-4BE2F0623AA0","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":"Q444496$DAD67EF6-1245-4277-AAA0-0B2AC293E2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$8730F23C-668A-49B9-BABC-186D62F3B4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f8e156fce80b33b21b18caaffd9b27d09987b91","datavalue":{"value":{"entity-type":"item","numeric-id":3393409,"id":"Q3393409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$E79FB6FE-4C0D-4431-8836-FBFF508DB2CB","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":"Q444496$7B866C1C-EB06-487F-B6E6-3EEF3C9E469B","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":"Q444496$4F5D9671-EEA6-43EE-82C0-4920184D84D2","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":"Q444496$E2B07D30-8111-471C-8A79-3D173EC03E56","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":"Q444496$079ADF64-4E71-4C2A-BF1D-B8BCE5805DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48ab9b171125f2901a59d92ccc66a2bf9cf3e04","datavalue":{"value":{"entity-type":"item","numeric-id":3677736,"id":"Q3677736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$130A03F1-8C3E-4D9D-B33C-A00640199423","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":"Q444496$2FC56163-D2F7-4970-95A9-E3ABFC66ED5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9edcc87dfc4232f438bb89d9572975124db71a","datavalue":{"value":{"entity-type":"item","numeric-id":5307064,"id":"Q5307064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$C687A449-DC8B-454F-9C10-A423A918BA87","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":"Q444496$06CD600B-29FF-4598-A9E5-63DDCBF98BA2","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":"Q444496$8C421D6B-DFF4-4238-B2CF-74730112BE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10a308da05a1156a63ad365640f61f90f4d39cf","datavalue":{"value":{"entity-type":"item","numeric-id":3510789,"id":"Q3510789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$97EE7E51-0A79-49F6-AB42-05D04D0D8563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$8CE26177-7C58-4FFD-A581-13B9FB4202C5","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":"Q444496$E865F120-6720-43EE-BDD4-AED3ABB8AAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9f16cbb85492293de5d728221754f0d5516814d","datavalue":{"value":{"entity-type":"item","numeric-id":3584951,"id":"Q3584951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$EBB771C7-8F5F-4EBD-8813-09895F1FAD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb9b6bbe7dd40ab920b178ef4e81ddbd81579d7","datavalue":{"value":{"entity-type":"item","numeric-id":710676,"id":"Q710676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$F0EB62D8-F5A3-4A9C-B21A-0CCC3638DF17","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":"Q444496$06E2FB08-8AE2-4E74-9180-09D3DA1B8174","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":"Q444496$E1195996-0A6F-4E78-B628-55BC0FF7FC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$9BE1C4A8-235A-4362-8FAE-D0050C0FF681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$464ACBE1-760B-4CA3-BA6C-13BBCCAE626F","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":"Q444496$4910889B-26E9-424F-A52D-54762ECF8976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1dc09cfac49f6e8dfd3eb299ae3a7ac46b815c","datavalue":{"value":{"entity-type":"item","numeric-id":1207426,"id":"Q1207426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$3ED76734-059D-4EC6-8E24-1588690B7C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267ae0212004177089322e010233b5ddee60b435","datavalue":{"value":{"entity-type":"item","numeric-id":3219755,"id":"Q3219755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$661D2554-B6E9-43B3-ABB5-9B30839AFC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e1f6735227f7a4a67f835270af7fe21c96c338","datavalue":{"value":{"entity-type":"item","numeric-id":4931571,"id":"Q4931571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$44911159-4549-4E1C-B6B3-30B222A3101E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"762373560241d51ab0e810bced62ea9e737106e3","datavalue":{"value":{"entity-type":"item","numeric-id":4885627,"id":"Q4885627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$F0D1B0A4-1144-4CDA-A89C-8BE60568F8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b90ce7fe73f733b88d2da3dac92118f16962252","datavalue":{"value":{"entity-type":"item","numeric-id":4353561,"id":"Q4353561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$4FB76CA7-228F-4E9A-86D4-85BEBBAA36AA","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":"Q444496$B49605A8-B122-4D6B-9815-710CF01C13FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7275593b8ad58a13066810ef4ec8feed040c77c0","datavalue":{"value":{"entity-type":"item","numeric-id":3529367,"id":"Q3529367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444496$B8EEA0FC-BFF4-48C9-82D5-54E06713A860","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"230625bea007edaabe48fe159369aeb2bfd3bd27","datavalue":{"value":"10.1016/J.JLAP.2012.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444496$DFCE41F3-F54C-408D-A3DF-7E8039E24F41","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"76db1d3fc278c8d88f5f77adbd4dff6c027ce703","datavalue":{"value":"This paper presents a dynamic deontic logic for contracts, not only software contracts, web services, etc., but especially legal contracts. This affects the design of the system. Distinctive here is its stance of the ought-to-do, whereby deontic modalities apply to complex actions, rather than propositions as in so much of deontic logic. In addition, each modality is indexed by a clause indicating a reparation in case of violation. Further, the deontic modalities are added to a dynamic logic in order to allow reasoning about sequences of actions, and also synchronous actions. Unlike other dynamic logics, this considers deterministic actions.NEWLINENEWLINE In addition to the formal analysis and representation of the applicable concepts, the principal result here is to establish that the deontic modalities over synchronous actions have the tree model property, and hence are decidable. Further, many familiar properties of the deontic modalities are indicated, as well as how the present system avoids many of the standard paradoxes of deontic logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q444496$DE7A87FF-930F-45D4-8FFE-77850AE055E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b28f3fae0085198ea6ea21d1018740abf263ba33","datavalue":{"value":{"entity-type":"item","numeric-id":3638294,"id":"Q3638294"},"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":"Q444496$47485AC0-F48E-4BCD-BEFE-F6774EF98B97","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":"1e58c9c72c642121da96354f64b6133622633f4a","datavalue":{"value":{"amount":"+0.8022642135620117","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":"Q444496$35808A43-060F-45A7-8C7E-5261DB0C9EC9","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":"a9fa4e97e2866d4c7b541635376b8597222cb014","datavalue":{"value":{"amount":"+0.7992067337036133","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":"Q444496$58CDF4C1-9B29-4C52-9985-97D3B3C11041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18a7476944adef1a893a4a9a440a2435c2c50eb","datavalue":{"value":{"entity-type":"item","numeric-id":3529367,"id":"Q3529367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff2aac62c294db8387a3b25fc8c5980f7fb704db","datavalue":{"value":{"amount":"+0.79899001121521","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":"Q444496$B774608B-F877-48BB-ADA6-8C7CEF43EDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"782a854e7055e13134c9d2090d0ba8955e0ddb50","datavalue":{"value":{"entity-type":"item","numeric-id":3537541,"id":"Q3537541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52900baffbe6aed69972f8153a683567f9a41780","datavalue":{"value":{"amount":"+0.7750099301338196","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":"Q444496$756F3420-7272-4EB6-BC24-BFDC66E97977","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:444496","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:444496"}}}}}