{"entities":{"Q3525078":{"pageid":5554982,"ns":120,"title":"Item:Q3525078","lastrevid":50456990,"modified":"2026-01-14T02:37:36Z","type":"item","id":"Q3525078","labels":{"en":{"language":"en","value":"A Complete and Compact Propositional Deontic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344404"}},"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":"Q3525078$7AF4301E-0E60-4A5D-85EE-46845DDC8E04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b165715174a430ef34ad656325aaddfafad7664e","datavalue":{"value":{"text":"A Complete and Compact Propositional Deontic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525078$27DD2C28-7027-4C0C-99E9-F51D3B6A0ACB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b41b0e6e0be919ef532525f79fd5309db33ae5e7","datavalue":{"value":"1143.03343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525078$36E18257-3A7D-4926-BAF0-8B840176EB56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2ce89bce0df37ee589f696e8a8be1b2600ab252","datavalue":{"value":"10.1007/978-3-540-75292-9_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525078$94EB0B1F-A69D-4BA9-B111-00D8735A6052","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":"Q3525078$97736BC4-4D7B-45B2-ABEA-46B201DC75C2","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":"Q3525078$4626F7C9-EC9A-4769-8FFF-A480F889855E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5455e2a6e277df376db235f9f0e564aaed31de9c","datavalue":{"value":{"entity-type":"item","numeric-id":3525071,"id":"Q3525071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525078$395172BA-98D4-4873-80E0-41E37DA41823","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7c6c778a05329d7667480e28a68302bbad05fa7","datavalue":{"value":{"time":"+2008-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525078$0A17D917-6F77-44D3-B473-9FD0E0AF592E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525078$D5ECE464-17CE-4813-9550-C0775AEB8A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525078$34704570-F12F-44CF-B095-E2F848E9C35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525078$BE325088-8B78-40A4-B80F-CDF17D50512B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525078$EADF0FB2-AA5B-46E2-B54F-96A662083E8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84d4e8b114474e80b977fa193ba52256966b379c","datavalue":{"value":"5344404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525078$F8EB894A-CF1F-4AA6-BC6B-6175C08677C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525078$30F992CC-5C39-4988-BF1E-B1D0A6C4A2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525078$1A156063-9DCF-4678-9CF2-FB38DBDAAC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525078$26F03761-4EF8-4121-9E6D-BF0DD0AE79EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b01b02968c48df9f6d634df64bea355af4ca03","datavalue":{"value":"fault tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525078$4EC61650-316A-4006-B75B-36EC59A9CBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905927e9217e5376753c6da03d9967873a6056e1","datavalue":{"value":"software specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525078$2D725128-AD9F-4140-B76A-CB35B52FD9BD","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":"Q3525078$93DBBBFC-FFAA-4EBF-9E20-E95BA6A2E525","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a16bd74b9969167098ef2705d8468b33668b93cb","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75292-9_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525078$8B92C63C-E16A-4D0E-8F32-BFCAC3BDE065","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"baf73eb0b8f309632a2cd85b0ddd9b97b422071a","datavalue":{"value":"W2101995394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525078$16B1DD1C-3352-410A-A063-FF9F6F1114CA","rank":"normal"}],"P1643":[{"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":"638f46659a69507da8c4a2a5a813cd1cedead1cb","datavalue":{"value":{"amount":"+0.8339430093765259","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":"Q3525078$FB1B2A26-396E-420E-B650-5E4F60CADA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb6042010fafd16d83403b3a63a31b79b10fc61f","datavalue":{"value":{"entity-type":"item","numeric-id":3522041,"id":"Q3522041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33306da31e2c978cf611e5688c8e9f16fa43a439","datavalue":{"value":{"amount":"+0.7911432385444641","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":"Q3525078$5EA6C104-7C80-45BB-9D6C-4A3423C06481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc47c4bbbe86aae319568688a3d9dd46b17eeafc","datavalue":{"value":{"entity-type":"item","numeric-id":3529366,"id":"Q3529366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6937634060a0bffb1e44004daaa28af0267e8eb","datavalue":{"value":{"amount":"+0.7800958156585693","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":"Q3525078$0CB4F32C-2B7F-4E50-B8EC-4AC80D7847C9","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":"0452de084b3c0446af318813180cb09b6cf28649","datavalue":{"value":{"amount":"+0.7705855965614319","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":"Q3525078$2495B7A3-B8A4-4359-B869-CFE473784418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470cdd1799aeb715a64f64de810fa665ccebbf64","datavalue":{"value":{"entity-type":"item","numeric-id":3529363,"id":"Q3529363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1576809d0d36391e59796aa1cec2db874e4c0e5","datavalue":{"value":{"amount":"+0.7559747099876404","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":"Q3525078$F76AA476-56EF-452C-BDE3-FB7008AD9711","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525078","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525078"}}}}}