{"entities":{"Q5300583":{"pageid":7330157,"ns":120,"title":"Item:Q5300583","lastrevid":41130673,"modified":"2025-04-18T10:23:06Z","type":"item","id":"Q5300583","labels":{"en":{"language":"en","value":"Completeness and decidability results for a logic of contrary-to-duty conditionals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182027"}},"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":"Q5300583$679C1529-CDA7-44A0-B452-12919BD17C2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90465c6fab70d27e5ae531b60bfa9d0247332d8c","datavalue":{"value":{"text":"Completeness and decidability results for a logic of contrary-to-duty conditionals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300583$4135D22F-C83C-4DAA-8AED-51A7D46E1613","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb150283cfa767b928829c4d9ea24fd5db79f7a3","datavalue":{"value":"1272.03096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300583$7EAD4613-CD17-4B71-A24C-551C9816FB8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2431cbe3e3a46ed072ac6b0c7fef40b52d98fae","datavalue":{"value":{"entity-type":"item","numeric-id":911746,"id":"Q911746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300583$34F468E9-C88E-4B30-AB70-364D186F24F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e25a671cd20df0072627d9b839608032e714130e","datavalue":{"value":{"entity-type":"item","numeric-id":931778,"id":"Q931778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300583$D926178F-ED1D-4D94-9C88-A91E53ECD5A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3597cb1f80734925febdf12e95bdb9febd2257af","datavalue":{"value":{"time":"+2013-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300583$DF181870-FD0B-45A4-98A1-91763B66D7DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fbf7b70cc2ea038cb26641e12eaa922b58ddc0a","datavalue":{"value":"https://semanticscholar.org/paper/4fe7a2b44b3983eda1fc8ad1c4c47b9c315dc02e","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300583$2431C2D7-5BB5-4409-8CC6-075D1B6BC502","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300583$6D1CDF08-BFFF-49A1-ACAB-0A96F17448DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300583$2DA5FCFD-8B10-4D61-A084-BAE8580AD621","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62125e899fdf40a797cccd5fcf513dbddc3071e4","datavalue":{"value":"6182027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300583$A1EA8087-44F7-4B4D-956C-3E6C8880B6D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300583$654764F6-D90F-4686-A5E9-C19FCE88F396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd7d55bac1f2c5b876b84bbd528b809196032d","datavalue":{"value":"contrary-to-duty conditionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300583$7A3E9992-B052-48A5-B820-A390F183B12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300583$CA63ADEB-47C3-4208-ADE5-251F68A95B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300583$DD7DC4AE-62D5-4A1B-B012-0D1BC4F9105A","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":"Q5300583$2406AE5E-1809-407B-B4F4-FC9E3D4A55AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e64bdfbddea0c26ea4ed2606c8859e3b697225d","datavalue":{"value":"W2065024328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300583$C461B146-931F-4CCB-B677-ED2A60AD7FAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f995f1af1f3136f51f727578d8a3d399cc73fc87","datavalue":{"value":"10.1093/LOGCOM/EXS009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300583$99EADCB6-17F7-4F6A-9AB0-F398D2905815","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2edba320384cab912d234f4967b717ab13b5a068","datavalue":{"value":{"entity-type":"item","numeric-id":4286222,"id":"Q4286222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf3d3c44d151e85a1c1797012fee260d1039583","datavalue":{"value":{"amount":"+0.8016503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300583$CA33E5D0-F60D-4111-BFA8-EED0A49254F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca569ccd0da25b40a52478aec039e0d9a2688705","datavalue":{"value":{"entity-type":"item","numeric-id":5928925,"id":"Q5928925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef1b6ac86c2131f62cd614449fd2eb6647dee7e8","datavalue":{"value":{"amount":"+0.7864611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300583$4C4D9ED0-149F-4E17-ACC2-46DE4B0F1822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff1f3cadf75959b508f1fe34094bb7b0747a3a4","datavalue":{"value":{"entity-type":"item","numeric-id":1922820,"id":"Q1922820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930dbd7f072467145e408054db2a17d32b3b26ed","datavalue":{"value":{"amount":"+0.7767126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300583$F45E4A4B-87C5-4E2A-9C1E-0B0DABDC2B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322f692e69c90a391d7b9b49238bc067f0bd6c9e","datavalue":{"value":{"entity-type":"item","numeric-id":995671,"id":"Q995671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be0d663c90f3778593c49fc079255a2b2bce45f","datavalue":{"value":{"amount":"+0.77433354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300583$6EED8EDD-510A-42A0-BA79-EC31D0301C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e211e643b235f532579d6c00bf91f6e2bd1b388","datavalue":{"value":{"entity-type":"item","numeric-id":2639845,"id":"Q2639845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd22541b97bb1a72fcc8cd04f434b6da90c93c3","datavalue":{"value":{"amount":"+0.77411276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300583$C77A5C09-4863-48D3-AEE0-691F70D73C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a4e943d43dcc4a6bfa0d637c64645b3c9eedaf4","datavalue":{"value":{"entity-type":"item","numeric-id":4845310,"id":"Q4845310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b97452743168c8e03eaf807073ccb5069e3d481","datavalue":{"value":{"amount":"+0.76054937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300583$61184DA2-D6EF-4FE4-853B-D66BB94BEC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"909c5ab505ba5581810d5ede7fa0f6ff7e08f590","datavalue":{"value":{"entity-type":"item","numeric-id":3367512,"id":"Q3367512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b09506fd2f0cfeacb9e9e8a82d4612ca8d8c44ac","datavalue":{"value":{"amount":"+0.7571717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300583$5AD5BFD6-D3E4-4B7F-908E-75E6D2A08EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393c2d14d929b3d48c8354c84704c85ee9c9a234","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6135825cf4525afd658dc08f55da8c525cc0ce21","datavalue":{"value":{"amount":"+0.757097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300583$ED7CAB63-6297-4CD6-9C8D-3A9AA0E11E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e2c31f61da5bf95b36737e9b354a3bca952f603","datavalue":{"value":{"entity-type":"item","numeric-id":857664,"id":"Q857664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6be2de078e05b884e83da812e299ab492cfcd4","datavalue":{"value":{"amount":"+0.7555701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300583$C5275C2E-6EA9-4818-AE61-D99A98149628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ceca7ddab2954c20a197bbef81c0a71cf85696","datavalue":{"value":{"entity-type":"item","numeric-id":302248,"id":"Q302248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a301cddc07d0b4dec50ccb85f15fe6e825e9d993","datavalue":{"value":{"amount":"+0.75144947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300583$D2DD1DE3-A6CF-4201-8528-12D561F643C0","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":"Q5300583$89B70B83-64BC-4A93-92DC-C039681320D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5300583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5300583"}}}}}