{"entities":{"Q5869628":{"pageid":7899179,"ns":120,"title":"Item:Q5869628","lastrevid":54407405,"modified":"2026-01-26T18:46:52Z","type":"item","id":"Q5869628","labels":{"en":{"language":"en","value":"\u00c5qvist's dyadic deontic logic \\(\\mathbf{E}\\) in HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7594188"}},"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":"Q5869628$9D2697BF-4B17-4534-B441-6BCEC241B530","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5869628$4154CDFF-3D7B-41B9-92BC-EB9A934838B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5c251a9002be8cc314032004dd706ad54fc17b9","datavalue":{"value":{"entity-type":"item","numeric-id":5102445,"id":"Q5102445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5869628$53F1F05C-AE30-48A6-9ED9-123B6C72230C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07e0564590a6b8b48e6591b0958830c188e9fe1a","datavalue":{"value":{"entity-type":"item","numeric-id":383045,"id":"Q383045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5869628$6B6B87BD-CF92-43BD-8D4B-AEF74D141170","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12849bc9397048f3fbe61bf9712405dfa85dc246","datavalue":{"value":{"time":"+2022-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5869628$2C171001-F712-44F6-8171-F53A372A613C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5869628$568238A5-F499-4568-A473-BE21DAE02D84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e2e36cd19c36abf3c1f26ee969ac9c4f382772c","datavalue":{"value":"7594188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5869628$8110FB7C-0FE5-4B19-A4FC-7F02A465FC8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"582ad5c563fe7cc98fa0405ee0ba071556b10587","datavalue":{"value":"dyadic deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869628$C56FF3B9-2BCA-4624-BA50-A9599D24398B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3080deba55b8c55aac8606c7b82b4a83723a15cc","datavalue":{"value":"preference semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869628$D526536D-5C11-4DE8-B526-9515C19D1E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53b53fadad63b335e13331b69454543022e5687","datavalue":{"value":"classical higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869628$FF2BFB95-225A-4C77-8A67-87502E848473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7335c316e60c3e2a4bf4aa0e4f7ed341af887457","datavalue":{"value":"semantical embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869628$98F5C2CE-5B18-4134-8160-08D13AE7FB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869628$D8FDFD16-59FF-4F9E-AA3B-7EA3FB4DC176","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":"Q5869628$E95811AE-6443-4938-B92E-9C4A75ECF6DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20e08a165d7dd9470c5fe0a5bd5760a0db75f1e9","datavalue":{"value":{"entity-type":"item","numeric-id":5224901,"id":"Q5224901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6595523c61aef77a2bb856ce0187617b6b3ac004","datavalue":{"value":{"amount":"+0.8947782516479492","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":"Q5869628$A63080E8-8D2E-4475-83A7-93F2F148A535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95e7c98e01734f91afef5d0f22e46a8d96468c1","datavalue":{"value":{"entity-type":"item","numeric-id":5869627,"id":"Q5869627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe206dc4cc49190ed504f037c45d58e5b1f77cd","datavalue":{"value":{"amount":"+0.7776620388031006","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":"Q5869628$06DC09F8-6141-4C5E-AD56-94AEB8E40E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d53c963fd9799f4db3360855c9bdf1179861bd","datavalue":{"value":{"entity-type":"item","numeric-id":3522050,"id":"Q3522050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae648eb32355c877c2bb9d350ec257d7348f0100","datavalue":{"value":{"amount":"+0.7401027083396912","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":"Q5869628$95BBC3A3-63E0-4672-AD5B-0FC3A2BA1E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7051583d2a01a5ad74c0f3fda90a554a21ab0a07","datavalue":{"value":{"entity-type":"item","numeric-id":4938871,"id":"Q4938871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70dcad75ee4e454b15c6bedd0b4e416b2844f399","datavalue":{"value":{"amount":"+0.7261765599250793","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":"Q5869628$1C522829-2A38-49AB-B9C5-4BF938B1619B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a8b27f4819a3e6b4025fc0d73070a3c394b3e38","datavalue":{"value":{"entity-type":"item","numeric-id":1935597,"id":"Q1935597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a2dc1b497fe211ac2b65d1c4221c4923dca412","datavalue":{"value":{"amount":"+0.712202250957489","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":"Q5869628$1A3EF985-2F8B-4842-8FF3-7EE6F2ACB788","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5869628","badges":[]}}}}}