{"entities":{"Q5901578":{"pageid":8009379,"ns":120,"title":"Item:Q5901578","lastrevid":50645222,"modified":"2026-01-14T16:23:19Z","type":"item","id":"Q5901578","labels":{"en":{"language":"en","value":"Deontic Logic in Computer Science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5549732"}},"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":"Q5901578$AC49AC0F-677E-4F98-8521-DB4D933961DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f821095d36c9f6dcbf697610bc4fbcd5328939d6","datavalue":{"value":{"text":"Deontic Logic in Computer Science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5901578$87AB8293-6906-4406-8409-68BF9D5F6AE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7970bb93822b174bb7d227a33c4065dcc51824a9","datavalue":{"value":"1169.03333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901578$564A4374-584B-4766-8F2C-79BC377131A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71515fad67bfb9668754c82e5924582179bb4e93","datavalue":{"value":{"entity-type":"item","numeric-id":969424,"id":"Q969424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901578$BF390B52-AF2C-4CC4-8989-022FFDB1E1F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901578$8D54EFF9-EF02-41E9-9EE7-09299E795BDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d715aa81d46dbbd3b8e2af07a7b374e075fa5e9","datavalue":{"value":{"time":"+2009-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5901578$9EA8FB71-9754-4D8A-8643-7922C7F7B94A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901578$4FEFB32E-4FC7-49AD-8763-96D99A67D009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901578$2B6ACB10-7B57-4CEE-9809-3FB9FB65BF9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9261e18a4e7544bdaff9a4db92fb8b63ee6a0da0","datavalue":{"value":"5549732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901578$30786F00-3363-46E2-B282-F5545BB345A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b470724f44d7b7dfd2ec01b22af392cec053e45","datavalue":{"value":"temporal realization operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901578$E281D0EF-E611-43AA-AB03-5FC6C65BC08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"244e92bce6441a154025ebfec5658abc1b68c9a9","datavalue":{"value":"historical necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901578$16F9D81A-B2C3-4A4B-82DB-A933BD48143A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78bfb7e7ae30c1050036f56ce461deb9cbe06d06","datavalue":{"value":"conditional obligation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901578$18375620-0ED6-4B45-9420-E77B8DD8CBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f368bf9f1f3f37fa2ab23c0327a7fd8f8555417","datavalue":{"value":"finite two-dimensional co-ordinate system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901578$A6A6951D-9D5A-467E-9F05-9B56F308E107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecd92cdab70a8a44f10d3006029f40755aac3b4b","datavalue":{"value":"frame constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901578$B754FE3F-AEFA-42B9-BB44-5F4B796EF59B","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":"Q5901578$E12315A8-743B-4033-8E2F-0697F79211BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f52c17b3bf0abcbe6bf222aa4f030d589f578e78","datavalue":{"value":"https://doi.org/10.1007/b98159","type":"string"},"datatype":"url"},"type":"statement","id":"Q5901578$E2360FC8-0D63-4EA6-B8D7-56E7690A38E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01ca9c71c76258287dd1f205e9d67e43e264da72","datavalue":{"value":"W2481393147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901578$A22EFE46-8F1C-4D3E-B8B7-7F6EB503BA33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2cbca381f015d81ccda11bc119e553b80ccda03","datavalue":{"value":"10.1007/B98159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901578$07C0EE5F-D805-4565-8B73-B781891BE65B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38631e450d012167cfe6ab47169958a402868181","datavalue":{"value":{"entity-type":"item","numeric-id":2568340,"id":"Q2568340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64fc2778dece7be8d4f9bb72cdfb9c5edf561c86","datavalue":{"value":{"amount":"+0.9644528031349182","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":"Q5901578$2EE28804-2D49-44B3-8378-A028DE9111E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07ddd73c9f0e427bc076376ec65f5303c1bbfd0","datavalue":{"value":{"entity-type":"item","numeric-id":4817197,"id":"Q4817197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad5e2aa057b29c1c4a924f136e9e1fd06831b65","datavalue":{"value":{"amount":"+0.9098562002182008","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":"Q5901578$7E41F004-9ABA-4E11-99D8-3EFB9184E4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"423a82d482289b20f64a9492f94b8bfbc51527ce","datavalue":{"value":{"entity-type":"item","numeric-id":1303792,"id":"Q1303792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac53c59599957d9de5342357ecbde6121c80e9e1","datavalue":{"value":{"amount":"+0.806435763835907","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":"Q5901578$7F92AF1D-2C43-4FD5-85FF-9A4480E009B1","rank":"normal"},{"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":"a8dbbe0708046ec48709d78e74e796463372276c","datavalue":{"value":{"amount":"+0.7770941853523254","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":"Q5901578$1B497FCC-DFF7-4546-B144-F96CDDC2545F","rank":"normal"},{"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":"dd096c5a5de089dfebc371a61f5955042d77cdfc","datavalue":{"value":{"amount":"+0.776310920715332","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":"Q5901578$0EC33EDA-03FC-4F43-A681-00989B3BFCA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901578","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901578"}}}}}