{"entities":{"Q5741618":{"pageid":7771169,"ns":120,"title":"Item:Q5741618","lastrevid":97033685,"modified":"2026-06-05T13:05:22Z","type":"item","id":"Q5741618","labels":{"en":{"language":"en","value":"Obligation as weakest permission: a strongly complete axiomatization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6607497"}},"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":"Q5741618$DAFB1373-66ED-4FDE-8E2B-9D58F593BB92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84e858947abc180a28356957ac0dd177f05204b5","datavalue":{"value":{"text":"OBLIGATION AS WEAKEST PERMISSION: A STRONGLY COMPLETE AXIOMATIZATION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5741618$0543CCFF-08FF-4D6D-BFC6-784139CA4E57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6552cfe27a666c14fbacb36755459e9c93ace0c","datavalue":{"value":"1391.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741618$11F6CD57-A599-4A2B-B2EE-C8B93CC0D223","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4acee810a47b738bca09049ded781a30baf470f0","datavalue":{"value":"10.1017/S1755020316000034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741618$46E65C72-8C07-4A5C-98AF-5825983A7CFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eef4cfc7e643db0ff62c7422eafa31d1f687271c","datavalue":{"value":{"entity-type":"item","numeric-id":301344,"id":"Q301344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741618$361FC7A7-B27B-46F8-A1CB-ABCB2C7ED4DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741618$7B9A43F3-4EF1-41EF-B45B-6767D257CC8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"616a0252d32d72041f737468a44ae9f126dda891","datavalue":{"value":{"time":"+2016-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5741618$9C0354E8-A507-4505-8E9E-C56DF99BD35F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741618$F58DEF71-B32D-4602-A760-1D7B532AC978","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c88e6070987b84534ff7feadd4906be36f9add1","datavalue":{"value":"6607497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741618$F402C6AB-EF94-4B2F-B581-D077C05296C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5741618$49EF06A2-00E4-4E3A-9B10-7AD66EFE5CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa753cdaed285e2c65faedd19663e9dc625f34de","datavalue":{"value":"comleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5741618$7B0FA88F-5F03-40F6-9464-297597443AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36e89d2d9d3473109cd45a9a8b036f2b78ebff45","datavalue":{"value":"obligatory formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5741618$3E826455-8AF5-42D8-BA6A-A4128A6F2FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5741618$77A824DC-D223-4DDC-8832-FABAC9B41043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ea82a5230653f7054f9ef0629955d616241a5e3","datavalue":{"value":"weakest permission","type":"string"},"datatype":"string"},"type":"statement","id":"Q5741618$485F46CB-15E5-4309-9E52-2587D4E7E769","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":"Q5741618$C13AADA5-7292-4DB0-879D-9D5E7F3415A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e14cfc361f0a1b92d8539c762fe0b3ad4c1609","datavalue":{"value":{"entity-type":"item","numeric-id":809068,"id":"Q809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741618$93DE08CB-E644-4DF4-B378-3CD9F0B5C905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8a375ed79bbc76408de18d931c97521e19e371a","datavalue":{"value":{"entity-type":"item","numeric-id":3167601,"id":"Q3167601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741618$6A24FE52-3301-4CF2-9014-8332CE79FE2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"108e366a40949257eb7999243eb65c3480db27ae","datavalue":{"value":"https://doi.org/10.1017/s1755020316000034","type":"string"},"datatype":"url"},"type":"statement","id":"Q5741618$B66E319D-EB7E-4604-BE70-FF79B0220508","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"508543e8b6b4c644e2d9b8802621f93abcc8b36d","datavalue":{"value":"W2328840787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741618$911D6B14-1238-4829-B862-941AE573674E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae49478fb72a7fcbfb941845a3baac630505ebf","datavalue":{"value":{"entity-type":"item","numeric-id":1706805,"id":"Q1706805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c20fd289f0b87192d45fa6b14bba3f8cd23e1b8","datavalue":{"value":{"amount":"+0.8446141481399536","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":"Q5741618$4EEBE927-FB4A-45C2-B54D-7D58F3A8EB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9c50b62c1c5dccd1cbc5e096147004ce46bf1d","datavalue":{"value":{"entity-type":"item","numeric-id":3459090,"id":"Q3459090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15cd860daebb2d14a9264efa8f65e93f448580b7","datavalue":{"value":{"amount":"+0.8406578302383423","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":"Q5741618$7B2ABA72-0A05-4D0B-A9C2-92B1268B32C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcd24fdae03eabffddb0f51b9bb887421730ebc3","datavalue":{"value":{"entity-type":"item","numeric-id":3167601,"id":"Q3167601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c1b174fc1112e4351e7f93b1c437f5e1066444b","datavalue":{"value":{"amount":"+0.8294174671173096","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":"Q5741618$638AC526-4547-4CCE-91F7-6895FE01E86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfe4575b43b02ac02f32874a266112a86ab571d7","datavalue":{"value":{"entity-type":"item","numeric-id":1922824,"id":"Q1922824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b79230fa2d3d31b0f24efd4aee3c2eb6fe4986","datavalue":{"value":{"amount":"+0.7908959984779358","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":"Q5741618$D06E007C-51D5-47B3-95FA-08566D62DF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d53c963fd9799f4db3360855c9bdf1179861bd","datavalue":{"value":{"entity-type":"item","numeric-id":3522050,"id":"Q3522050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719d80f6d65026f0ccee73251c61e87058d15ac3","datavalue":{"value":{"amount":"+0.7639116048812866","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":"Q5741618$BAC5E710-2909-468B-9161-7095ABCE3C34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Obligation as weakest permission: a strongly complete axiomatization","badges":[]}}}}}