{"entities":{"Q5224901":{"pageid":7254470,"ns":120,"title":"Item:Q5224901","lastrevid":53486849,"modified":"2026-01-25T01:07:03Z","type":"item","id":"Q5224901","labels":{"en":{"language":"en","value":"A dyadic deontic logic in HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7085137"}},"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":"Q5224901$80F67270-9F1E-4D02-9703-914547F65D06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfc76ad50882b68d78a55e7ecc23ddd6d3e31c9f","datavalue":{"value":"1418.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224901$CF385BBB-DD7F-4489-B7F4-73787678A9B5","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":"Q5224901$E552AC7B-2CA8-4DF3-86B6-578D7B7E394A","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":"Q5224901$F32C8A6D-A33F-4841-9AAD-6BA206C6A189","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":"Q5224901$BCC5BBC4-A2F3-48EB-82E4-6BBA466A7524","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224901$20464915-046B-4BDF-83EE-28D8B64AD821","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224901$C99C5E50-5390-4E67-815D-CA40774CDB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224901$D0A3B420-9A41-44DB-8974-2C3BCD093E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224901$7FE9ADC5-01D5-41BD-806D-1F01E2DE25F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55872f51723ffe12a46c34a27a8bc5f65c6ab88c","datavalue":{"value":"7085137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224901$200144EC-1518-469E-AF24-A71DD06319D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1ecf15047306ddcbb5d2886bf09296104517670","datavalue":{"value":"logic of CTD conditionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224901$C03DC661-3E20-43DA-826C-694869033F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53b53fadad63b335e13331b69454543022e5687","datavalue":{"value":"classical higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224901$150E50B5-2855-4A98-8482-2CABC75F2B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c63025624a588a2d5aee1e2333aabc7eb290a1b","datavalue":{"value":"semantic embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224901$0E4CE32F-032E-4C36-8B7C-35B2C3F675DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224901$B7D17A85-0615-4757-A29C-0E95FD38D329","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224901$803BCA32-15F9-41AC-855E-2C34BCC86C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224901$601B075A-D5C0-4946-A00F-B78BDADA8342","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":"Q5224901$2B7BD5CB-F549-46E9-A3F1-98D8EDD7C2F0","rank":"normal"}],"P1643":[{"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":"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":"Q5224901$E82B4DE9-F176-4F8B-8A25-3CB7C967F06C","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":"f70b58a2466bd2521910ce8215b726a4ca2a9f24","datavalue":{"value":{"amount":"+0.7722471952438354","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":"Q5224901$43052563-BB95-4452-B2ED-491564D99FF0","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":"999716f798259cac0b6ab4da5058d7fe1837cb46","datavalue":{"value":{"amount":"+0.7451392412185669","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":"Q5224901$9BB4033C-59BB-42B2-A76A-AFCFC0A2C145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c724725837931461cac224b93554ded3c2abc9","datavalue":{"value":{"entity-type":"item","numeric-id":3194730,"id":"Q3194730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b989ab6d229957e24a4c404b6c7918f4c68716b","datavalue":{"value":{"amount":"+0.7373007535934448","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":"Q5224901$85A20F3C-6A74-4312-BAEF-08D72EE17741","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":"ad408ade49b1e5aa152695123eac974710698cc1","datavalue":{"value":{"amount":"+0.7149258852005005","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":"Q5224901$F7200965-C2B1-443D-86CE-7BE52D97DE59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224901"}}}}}