{"entities":{"Q2735784":{"pageid":2746523,"ns":120,"title":"Item:Q2735784","lastrevid":47665006,"modified":"2026-01-02T09:17:43Z","type":"item","id":"Q2735784","labels":{"en":{"language":"en","value":"Canonical models for temporal deontic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1641279"}},"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":"Q2735784$E0A7ADE2-1570-43E9-8E19-C87C788C6D79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a20f865f454141ad5075f1f8ae9c7dc4e17c123","datavalue":{"value":"0973.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735784$BF1ADA69-5FD4-4496-9886-84F25A14594E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af24377e34bcd879bad40229818ad646a4fb2bdc","datavalue":{"value":{"entity-type":"item","numeric-id":1240203,"id":"Q1240203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735784$864C4439-88E1-47D7-B637-E62C64D518DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeb0d8dbba3b369c80a2428e6e60e1d4a76d64f1","datavalue":{"value":{"time":"+2001-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2735784$FFFD67B6-FA17-4455-90E6-4B53B1EE5225","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735784$869F8D2E-FC64-42DB-98C2-7084CC10E8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735784$BDD17FDA-4827-4368-A6CF-E86D4ED70214","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35d88cdc197313097a9c63c16804288612af5dbc","datavalue":{"value":"1641279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735784$3D78BF96-03D4-4B7C-853A-7917D125C43B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba36bc7be3f819b6f91f9b114de09f51c370a5f9","datavalue":{"value":"canonical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735784$33D76D6E-AD05-4F83-85C5-A2DEA876C1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1f5018e2664ce2b6e12e7a6fa35acbddf7e4748","datavalue":{"value":"temporal deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735784$8263E6C2-BBCD-4B97-8391-30E1AFCC2B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735784$F40126AD-9AE1-4A21-8D1E-C1088A262451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735784$F893CDC3-2D80-426B-A306-6721CD15B036","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":"Q2735784$C81A0093-2B49-4BF8-9CB1-7843B0BC9DD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3533e2977d199cc76731be77ccd3c2303d8ecdc4","datavalue":{"value":{"text":"Canonical models for temporal deontic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2735784$885DCE4D-E2FB-468D-833F-7922CEEDEDB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e564427b46103c49785239499fd2430e05e2677","datavalue":{"value":{"entity-type":"item","numeric-id":6601601,"id":"Q6601601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735784$D0BF76F7-63DE-4967-B722-C68E2E0E28F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ee6a2b7c8e4c9225816fb9ad92a04beec58facc6","datavalue":{"value":"The author establishes canonical models for his temporal deontic logic RS5-DS5, introduced in his previous paper ``The deontic branching time: Two related concepts'' [ibid. 36, No. 141-142, 159-175 (1993; Zbl 0839.03009)], and proves completeness of this logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735784$A35D2BD7-3746-446F-A276-801643833FC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1009ce4a920fa12d0aae6b2b961ff85bdbe584","datavalue":{"value":{"entity-type":"item","numeric-id":2751846,"id":"Q2751846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9089f2950f28db1f13ee1fca3cf84173877bcb7","datavalue":{"value":{"amount":"+0.7869595885276794","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":"Q2735784$52BE95AA-8070-4F2C-8662-B5E1A8DF233D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b05ad7d6f39bf154fbe31020fdf8d7ca41f8dcf","datavalue":{"value":{"entity-type":"item","numeric-id":4856971,"id":"Q4856971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c90f0ebe841f50b7d617f6f661bcc18073cf137b","datavalue":{"value":{"amount":"+0.7767779231071472","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":"Q2735784$7B760A88-AAE6-4D1A-BEE5-6960067F4712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c830f24d34e1f484597de2f94a49811a38b8677b","datavalue":{"value":{"entity-type":"item","numeric-id":2987727,"id":"Q2987727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b59207d26ef55c58cf9697ea4db3ef917f164ca1","datavalue":{"value":{"amount":"+0.7682293057441711","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":"Q2735784$82FCB466-B0F7-4DFB-B91B-1D17930AC93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19d76ff840e5dc589f442b97e61c38dff9118725","datavalue":{"value":{"entity-type":"item","numeric-id":1948272,"id":"Q1948272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b0f9f21df5fd6130c93c1c9a0e0e4be1980307","datavalue":{"value":{"amount":"+0.7618759274482727","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":"Q2735784$F4619A35-735D-4CFC-864E-38EFE38A9D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b78d86dd664c9236fdfcb60831e073d09504cf2","datavalue":{"value":{"entity-type":"item","numeric-id":3356299,"id":"Q3356299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8535d00ce0d82804f8d2ae5f2c97fbf540242b1","datavalue":{"value":{"amount":"+0.7606802582740784","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":"Q2735784$A9EB16C9-AF02-4BCA-9F03-9B1450DF6953","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2735784","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2735784"}}}}}