{"entities":{"Q3356299":{"pageid":3367004,"ns":120,"title":"Item:Q3356299","lastrevid":49519654,"modified":"2026-01-07T11:15:38Z","type":"item","id":"Q3356299","labels":{"en":{"language":"en","value":"Temporal Reasoning over Deontic Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4208064"}},"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":"Q3356299$A049EAFF-916B-45D9-BDA2-415FCC02CF20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9df13004fddfe21c0ac0bd560bc5dfbaccda507b","datavalue":{"value":{"text":"Temporal Reasoning over Deontic Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3356299$7FC90994-1EDB-42F6-BF76-BA18D836238B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f95e6685b875662413f2a29e4563f7aebe0c2203","datavalue":{"value":"0731.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356299$B14D8E74-FDC3-4386-AD90-54D6CE6B95FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"754d0fa1bb49600f4f02ba3ce85d71701d3732c0","datavalue":{"value":{"entity-type":"item","numeric-id":407505,"id":"Q407505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3356299$9089D335-E126-4C07-B582-BCC43CA4CFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b70ccda10eee0149f281c226dd8d9cc2ff73c3","datavalue":{"value":{"entity-type":"item","numeric-id":673999,"id":"Q673999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3356299$28CE90D1-0C51-4959-81C5-1CB0B672992E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3356299$176767D8-FCE4-491C-9E89-526488A4F92D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356299$0CA82FFE-F600-4A77-896A-898875DEAAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356299$E149DC10-F372-4AFE-9739-00FD59CF97F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356299$F39B7E14-5EB2-4EF4-84B6-39F96F264C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356299$175F5DBB-52C1-410C-8DFA-C57F57DA9C6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd1c79bf8e2832d832cd16d65130227f40c9ed47","datavalue":{"value":"4208064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356299$C40EECCA-25F1-4DD9-88DD-DA4DBE88C5A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356299$E7A38FE4-FD99-4C5A-B9E1-6463F680FD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356299$47F4B5CF-15A5-45B5-8512-716F376F7F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54127638e99918d7b154879b0ebd3f90525579fa","datavalue":{"value":"reasoning about dynamic properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356299$E6A1734E-7F5A-472C-B84B-777952CE09EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356299$BFEEBFD0-62F2-4201-9948-99DE0879D006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356299$902FB53A-46F3-4D77-9D62-088FEC7EDF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d50772b3387d3392e15f43723321c5b0c8d6229","datavalue":{"value":"consequence operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356299$D6E8E572-28EB-49A1-8282-A4EAED8E73F4","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":"Q3356299$EE43D4B9-AEE7-4773-9622-62CE3158968E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d062f20f77a5a126b50d13d4c79345d6d68f6ff","datavalue":{"value":"https://doi.org/10.1093/logcom/1.3.357","type":"string"},"datatype":"url"},"type":"statement","id":"Q3356299$9CFE4C5B-8DAF-4807-9D19-121D146D458E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3ba9bb17cec2c62bdc385d11cea26c3b0bb60c8","datavalue":{"value":"W1976588322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356299$30939323-4DED-4122-B388-5CCF5E521760","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a805bd546f8d3a70bc359148f3a2cb5fc5222fcc","datavalue":{"value":"10.1093/LOGCOM/1.3.357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356299$690220A4-552F-4F9E-839F-E4C756E6C6A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3356299$471375AA-5989-47E3-B4ED-A638FA73AE99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b678aeccd5939e9f1ee345969effad5852e227b","datavalue":{"value":{"entity-type":"item","numeric-id":3529355,"id":"Q3529355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a0bcc9eeb1fefad676164601a794d63db7c1abf","datavalue":{"value":{"amount":"+0.8158419132232666","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":"Q3356299$66BF8B23-9E74-41E2-AD8D-388B14FA9BEE","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":"30f5009b0a57a274a81d0f05b1a113c91e25996e","datavalue":{"value":{"amount":"+0.7898126244544983","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":"Q3356299$3E1BC625-BEEA-49DE-ABE2-80F4A2894489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cd34313b4c7e77872156aa5e5a934d644eaa299","datavalue":{"value":{"entity-type":"item","numeric-id":4982115,"id":"Q4982115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf4123443ca98417346d6ed1b5935494932d6c0","datavalue":{"value":{"amount":"+0.7835879921913147","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":"Q3356299$58F1EB3E-1966-4C65-9A6A-052BACDB8E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fdc6100992cda787096843dc0f886f8f6a63d88","datavalue":{"value":{"entity-type":"item","numeric-id":5406121,"id":"Q5406121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e33a976f8b3b4b82531c45dc02f54dcd4bfbe73","datavalue":{"value":{"amount":"+0.782716691493988","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":"Q3356299$768A040A-371B-4CA5-B701-99C41F688C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6832e0ac87fd8d78faa2a2562e2a9a2a8de08db5","datavalue":{"value":{"entity-type":"item","numeric-id":3600564,"id":"Q3600564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158c4af13e3f5c296780ac810f8eb4a343c3c207","datavalue":{"value":{"amount":"+0.7823718786239624","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":"Q3356299$36C2D6B7-B894-4D07-827E-F220CCE5FA7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3356299","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3356299"}}}}}