{"entities":{"Q5170187":{"pageid":7199759,"ns":120,"title":"Item:Q5170187","lastrevid":52046117,"modified":"2026-01-20T20:06:37Z","type":"item","id":"Q5170187","labels":{"en":{"language":"en","value":"Deontic logic, contrary to duty reasoning and fault tolerance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319546"}},"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":"Q5170187$52684927-4DED-44C6-B3E0-41C7A146CAD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be116f1dfe9941db16c11275a15b7800b4dfc759","datavalue":{"value":{"text":"Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170187$AEDE409B-F83B-4D14-988E-EF293A5D0200","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5094b884b86ef78990fe9fcc2db075735c3c11b4","datavalue":{"value":"1294.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170187$991A880C-B4EC-4C21-AE7C-90226A3FBA26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d361cd9268293c29924e15f6199d570f0f070511","datavalue":{"value":{"entity-type":"item","numeric-id":526729,"id":"Q526729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170187$1CE67F73-7952-4D7C-B8A7-C0DEC48D89DC","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":"Q5170187$EFA42507-D4C8-460A-B40E-73E859C03438","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170187$17AF0324-0A66-4625-B93D-D8BDC7A7157F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf050e1c17ecf8d76a38048fff5f6c3dcd9c662","datavalue":{"value":{"time":"+2014-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170187$77B0FD04-0D2B-4923-8BC6-6316322ED6C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170187$323B7A6C-5A77-4E91-A27A-3D849CF5048A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170187$32CF07FD-59CD-4E0A-8CE3-88A36ABA2808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170187$1EC7A16E-F673-4E7A-BC39-18CBFC99506B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170187$8CA34264-2458-43D8-8C2C-B127F2E4AB51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5e00217d8c524971fe2da6ad9f1989a1ad86487","datavalue":{"value":"6319546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170187$0266556A-842C-42B2-AC49-D880B84E2EB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ddd745fe9bab1983b420aca632b09a81afbc1d3","datavalue":{"value":"fault-tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170187$F6F6E329-07FA-4430-B83C-B04B4EE43A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170187$44F8D1D1-459F-451E-AEF1-7599B5A3BAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905927e9217e5376753c6da03d9967873a6056e1","datavalue":{"value":"software specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170187$16416427-007E-47EF-AF11-39C136ACBA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170187$96D63035-705D-4CE5-B6B9-D07509B09664","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":"Q5170187$8B09B39C-70C2-42CD-B333-F99DAFDDBD0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"412ef8b269231f55cca9dc7f017bd9f7b9129d4d","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.12.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170187$2373A6E7-2068-448B-84FC-D54A710C8B50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"291f71e0ba809778e490ecef4bb6bb27b3f8cef0","datavalue":{"value":"W2000766861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170187$916B4F13-A4B4-4F73-A8D4-44DF63313F9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4413362734a60c702bb0780829a6df7368a39a43","datavalue":{"value":{"entity-type":"item","numeric-id":4343991,"id":"Q4343991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170187$99D2D4A6-A305-4F0E-AC3A-3F3AF13DD8F8","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":"Q5170187$A600E728-268F-42BC-A90C-029B5F431FF8","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":"Q5170187$7A1502A2-E055-462C-879A-3F3AAEC9B398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f01c8f091af7460d6939b3995c3c52a2386a40","datavalue":{"value":{"entity-type":"item","numeric-id":3623815,"id":"Q3623815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170187$E5773EDE-B566-41FD-A5F0-0F410C48571A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852d4b1b71410cb7a7f7b21a99c93090456f9524","datavalue":{"value":{"entity-type":"item","numeric-id":3522041,"id":"Q3522041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170187$E414023D-18F4-4C9D-B0CB-45737A6B26A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11039108a3bc0c7fffc97304db9d5fed280c1c69","datavalue":{"value":{"entity-type":"item","numeric-id":846527,"id":"Q846527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170187$2FCB788D-7EDB-4B44-BD6A-39CD7C634BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170187$7E26F9BC-DA0C-433F-82A4-6C38B596CB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd82301c7ea43d8a1f8d34f6a69fee173ff82d65","datavalue":{"value":{"entity-type":"item","numeric-id":3036697,"id":"Q3036697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170187$1C230105-8974-460E-BF61-3D5E79B1D119","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":"Q5170187$BF007FCF-3F6E-429B-99A9-8AF296D61200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c60cd2a547f5bc571d8b2f3dd4c64ca607fbca","datavalue":{"value":{"entity-type":"item","numeric-id":3942378,"id":"Q3942378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170187$52C39FAC-1928-4D82-9FA6-18FDFDFFA941","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":"Q5170187$DC185FD7-BF65-4E8E-9005-6EE218280450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e194e4f0fc9edf3456d8d3403662e4d2028b7172","datavalue":{"value":{"entity-type":"item","numeric-id":3529365,"id":"Q3529365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170187$45092F15-D7E6-47C0-9B7E-B9DAFB0E50B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbaa5b9558153792b6ffc0e73ad2045dc0baf80b","datavalue":{"value":{"entity-type":"item","numeric-id":1922823,"id":"Q1922823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170187$09BA8459-5997-4B06-B616-00CF51B3070C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de385163c13cee77dc189d1df5d328bec41a08c8","datavalue":{"value":"10.1016/J.ENTCS.2009.12.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170187$5E30305B-F959-4400-8028-ABF51DB69779","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17aaadefe6ce9e2d7607ea9c0e82c4041eb69c4","datavalue":{"value":{"entity-type":"item","numeric-id":3623815,"id":"Q3623815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd3a8e72a46082a80b471f4aa3c72314a7c72df","datavalue":{"value":{"amount":"+0.8735834360122681","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":"Q5170187$8DE7CBD0-FFBB-4383-B946-4E5F1C3DA40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ecfb151174a40b41dcafd1b84dc8288b8f60a6d","datavalue":{"value":{"entity-type":"item","numeric-id":2890324,"id":"Q2890324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4473f7fade684f7ca04706e2b0def12d0166d2","datavalue":{"value":{"amount":"+0.761940598487854","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":"Q5170187$F46A961D-6539-49EF-910C-BC735FEBBA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf54bca1ab584ffa97407cbc499fd6dae83ab245","datavalue":{"value":{"entity-type":"item","numeric-id":846527,"id":"Q846527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a604e62d07ca8c3aafb30033833203465d9b741","datavalue":{"value":{"amount":"+0.7578945755958557","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":"Q5170187$3DE05EF8-8275-4A3A-8663-C574513B7784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab04a983197232df05fcc34920659910dc7dff24","datavalue":{"value":{"entity-type":"item","numeric-id":5296763,"id":"Q5296763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95277b57475e574d6ac4dbfea723890af9f055d6","datavalue":{"value":{"amount":"+0.7423312067985535","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":"Q5170187$D235C5DD-DC91-4734-8F45-681A2BD0543A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e3c50c96669517f9856e4d622ef6ed4749a2c1","datavalue":{"value":{"entity-type":"item","numeric-id":4295371,"id":"Q4295371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ffd24e0f0d25b4fe35adfeda51da7a99e814bf","datavalue":{"value":{"amount":"+0.73573899269104","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":"Q5170187$3F331968-C007-485C-9954-A9BDE4B49E33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170187","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5170187"}}}}}