{"entities":{"Q6618558":{"pageid":14229715,"ns":120,"title":"Item:Q6618558","lastrevid":55769350,"modified":"2026-02-17T22:28:19Z","type":"item","id":"Q6618558","labels":{"en":{"language":"en","value":"Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7925981"}},"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":"Q6618558$08158D2D-28E6-463A-A14A-697B9A4E7A27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94816ad24014bc9eebf12db217f787b6f6b04de6","datavalue":{"value":{"text":"Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6618558$2100F736-6EE9-4F6E-8AAA-FC37B944A6FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b03afa877ed57f0898399bfd93d61fc9567c47c0","datavalue":{"value":"1548.0303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6618558$8A218161-1FB9-4351-9C82-127171031B89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b2d0010f0d544ac970a0c68a27f74f5e3d43ab7","datavalue":{"value":"10.1007/978-3-030-70084-3_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6618558$9C51EF7A-AB67-4DA1-B89A-38C1F93BB64C","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":"Q6618558$3B7338C0-D599-445B-AB9F-F2D8253A6201","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":"Q6618558$1E8D6B17-0FB4-4BC4-9E58-2CA39A934D0E","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":"Q6618558$09E9732D-DFBB-45C2-AEC2-15C8642C32F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d48e9cbda4241d93d51dcfb125f25dee0601b285","datavalue":{"value":{"time":"+2024-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6618558$254AFD4E-0C7D-4247-ABA8-91161722E548","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6618558$073E7C5B-F600-4501-B79E-36B20CA9885B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6618558$8644F4D2-22EB-47D1-8D28-D3F319435F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6618558$6D1A8A4E-FA2F-4579-9FDC-666A90A74166","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ea8e178ec79dfbfeefa9a9b59950e8292021c40","datavalue":{"value":"7925981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6618558$B1B4C064-E3A2-4027-BF29-B241668B7260","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"582ad5c563fe7cc98fa0405ee0ba071556b10587","datavalue":{"value":"dyadic deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6618558$23E1C423-B6C8-44B2-878C-BB51E3020D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53b53fadad63b335e13331b69454543022e5687","datavalue":{"value":"classical higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6618558$DDBADDA9-4437-4E3C-881F-F4A3AF574B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c63025624a588a2d5aee1e2333aabc7eb290a1b","datavalue":{"value":"semantic embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6618558$553AF819-CCF5-4184-9902-6B8B665F5A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad843c6ea4d5b9670896c2bdbfb9c4784edc7cf1","datavalue":{"value":"faithfulness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6618558$0A4922BC-B6DC-47CB-B243-6DC3EAA1E64D","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":"Q6618558$958A2151-324D-4DFA-AECC-4CF5C183E82C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$19AED954-A936-4E38-AC87-89D0CD0E7698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd9a23733869cdf6d59b70b142e18db86efa96d6","datavalue":{"value":{"entity-type":"item","numeric-id":5680122,"id":"Q5680122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$72CD4329-865B-4B6E-B6A5-8312586C73F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b31eb60d26c4661feb10212d462496d10d3f508","datavalue":{"value":{"entity-type":"item","numeric-id":5680123,"id":"Q5680123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$DC60CA2C-F9EF-4284-8DC5-1F5D0952D3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efafa2e2c176d912ba73c3933ed3a7a7495ce16c","datavalue":{"value":{"entity-type":"item","numeric-id":2363418,"id":"Q2363418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$CBF901EE-70C6-49AC-A5FD-E94507A351DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04cdbf60575c5f5395b6bb7df67d68d06aea35bd","datavalue":{"value":{"entity-type":"item","numeric-id":4619819,"id":"Q4619819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$91CF56E9-B21A-4904-BB53-BCE055CFEA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6806978a979e5b32e84f7ae90552bdf193355f","datavalue":{"value":{"entity-type":"item","numeric-id":1945702,"id":"Q1945702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$B43F3A37-70C9-4EA9-A78B-B42A2878E1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49380a5a0cffda5d1e1b4a498a844a9c2c454f3","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$470A2F86-C287-4068-90BC-5FE2E0065D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6a505c48f7ed8fbc36053c87307f799e1a7f54","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$5EEAB304-6B54-4663-B1ED-5FB841B1E78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d4afd360c55657f5f71c4b2160366c3488de0d0","datavalue":{"value":{"entity-type":"item","numeric-id":2211865,"id":"Q2211865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$F40ADA92-023F-4BE3-A4BF-804F444DD26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$A34152B1-351F-4B96-B10A-4A4804868E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bdd78b9ebbe4489db68c54b3f505ecbdd2e7190","datavalue":{"value":{"entity-type":"item","numeric-id":703304,"id":"Q703304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$72CFC127-A319-4D05-BD5B-F9668716C42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc92394c37de3b612c31c4ae383ddddc72e9742b","datavalue":{"value":{"entity-type":"item","numeric-id":5300583,"id":"Q5300583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$E581CFFE-997E-422C-89B0-008462F39684","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":"Q6618558$ACDAAA3D-A705-4A7B-A439-9427E35B007D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e56178ba6499de56fba5f64430b4c3f11a448987","datavalue":{"value":{"entity-type":"item","numeric-id":2621423,"id":"Q2621423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$BDFED677-805C-494C-96C2-3A1FA14D28C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ce029bf879fdaed2d64cff89d2bcfe4c552ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5760328,"id":"Q5760328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$4BC85963-E838-4D7D-A3F8-2F5C44320AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba16d3643e7f45b2a6fcdd3509fdca985c4702c9","datavalue":{"value":{"entity-type":"item","numeric-id":2589521,"id":"Q2589521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$C2E6ADA8-749E-4294-B856-18E290C3A0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"913c58f74559ee0ba6d32dcc6a8c62446e3a6189","datavalue":{"value":{"entity-type":"item","numeric-id":2180221,"id":"Q2180221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$8C07B297-8779-4CAE-8403-2ECD9D3CC81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$7D9DB562-5EED-438C-9A31-90B0D72DF20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2b83ba84c64080a4429b9e55dc21ab47b4bb63","datavalue":{"value":{"entity-type":"item","numeric-id":3426565,"id":"Q3426565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$47E6A8A3-71AA-42D4-8DA1-306BF7FE6949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6618558$84CCF27E-7499-4E00-823F-B72A3F8D6B1C","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":"f41f68e08cf18bcae3c8eb0d065faf3ee44c7d30","datavalue":{"value":{"amount":"+0.9531209468841552","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":"Q6618558$6F423EC6-F057-4CB3-AA23-9D2536B7CAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ffe94983145212ffc10816791bd3febfba36981","datavalue":{"value":{"entity-type":"item","numeric-id":5869628,"id":"Q5869628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b53642c3c4a873b7a5028f2444bad6161b6e6c","datavalue":{"value":{"amount":"+0.9079282879829408","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":"Q6618558$16DB6FCE-7985-4C05-93AA-C1B8D9021FC9","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":"2fa7e96c51b55c9e255d8db7bdef97f71b94ca10","datavalue":{"value":{"amount":"+0.7838754057884216","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":"Q6618558$AF9ADFB3-3869-4F4D-A85E-79914DA3A55C","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":"1e7b67157a9be4ecf74a8f99a5c87db504af65c6","datavalue":{"value":{"amount":"+0.7627329230308533","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":"Q6618558$86101B72-1EDD-4B44-810D-80383440205D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32643632a441d0ab22fe3cd3772e94d103eb24c","datavalue":{"value":{"entity-type":"item","numeric-id":2819197,"id":"Q2819197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2ffd2466bcc13cf9375e4c6505a6d94d118b38","datavalue":{"value":{"amount":"+0.7258992195129395","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":"Q6618558$4F04D677-6968-481F-ACFC-CD6BB32A1F49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6618558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6618558"}}}}}