{"entities":{"Q3086787":{"pageid":3097502,"ns":120,"title":"Item:Q3086787","lastrevid":51217376,"modified":"2026-01-17T07:18:32Z","type":"item","id":"Q3086787","labels":{"en":{"language":"en","value":"Exploring properties of normal multimodal logics in simple type theory with \\texttt{Leo-II}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872267"}},"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":"Q3086787$7F69B2D2-1A33-4DCB-9A84-6747CC36198D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1366bc8018fe3e45923637bfd6fa803d41e39ad6","datavalue":{"value":"1227.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086787$A5446195-C6AD-4768-922A-66C164777D1B","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":"Q3086787$58EC502C-6DB7-49CA-9812-15C093CF3D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086787$21887632-F7F9-4082-BBCF-1FE879A2512D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-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":"Q3086787$FEDCB0E5-F8BA-42EA-A5FE-F635E6F1A18E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086787$0D9BB151-DC08-440A-BD37-1E8688398BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086787$6DC29D10-5291-4F6B-82E5-6918536045E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086787$88446CA6-059B-4033-A99B-F671A9B8D79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086787$4CBAEF7C-8A5C-4C32-8757-36122D301E2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d35534e9b5009fec224df05b9fb743d018b3883a","datavalue":{"value":"5872267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086787$EA66E03D-3E67-490D-97BD-AC3BB9E9C48A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0c59d54aebcbd64cd0adb3ed506987e29204b2f","datavalue":{"value":"embedding of multimodal logics in simple type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086787$AD16CD54-D471-4D1D-8C34-3370DA3219BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6153095f417361f9b6eb977e49e3f6a618e0dd6d","datavalue":{"value":"higher-order theorem prover \\texttt{LEO-II}","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086787$E756704B-1CC4-4911-947A-0487F1DD2428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f3f59e2366c952c5e477c2cff617cdee103211f","datavalue":{"value":"first-order automated theorem prover \\texttt{E}","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086787$0465CB66-6D76-4FA0-9511-1B97BB348225","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086787$F2C57FE0-F269-458E-A8E9-FD4A48BC6B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086787$D854524D-8416-45A9-BAE0-62F06B7C50E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086787$F0707093-4009-48BE-ACA1-275B0DA78CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086787$E5C6D97A-6AF3-4516-8EF1-F2826BA19EF2","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":"Q3086787$DA71A838-4841-49BD-A758-9AA9129CA103","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e25a58fe340270143dde7b6e2af57fa691dcb8d","datavalue":{"value":{"entity-type":"item","numeric-id":3061280,"id":"Q3061280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49c6200c87888cf17b8aef85ceae0bdfbaba5142","datavalue":{"value":{"amount":"+0.8696143627166748","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":"Q3086787$55F41D54-4DC6-445F-9932-FD25A5AC2936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faa06d6539769fd18443e292a0da1fe6a99ccabf","datavalue":{"value":{"entity-type":"item","numeric-id":1199813,"id":"Q1199813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4413e4ac187f1ec87e4507168df2c5ba5bbc5f9","datavalue":{"value":{"amount":"+0.8657218813896179","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":"Q3086787$0F1F789B-7B7B-41D1-B846-75AC2DF86780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf735ed0349b7b682c8162ad5039bf70eddcf98c","datavalue":{"value":{"entity-type":"item","numeric-id":1945702,"id":"Q1945702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484294cc9766fdd47c73d3d73aad85305f32b13e","datavalue":{"value":{"amount":"+0.8318502306938171","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":"Q3086787$EF06E5B6-D9BB-4669-B441-5670F7581A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e9fee84c87286b00bdc4b21645ee39236268853","datavalue":{"value":{"entity-type":"item","numeric-id":3058454,"id":"Q3058454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3534e2e36093599e2984f87a9be2fff8847bab34","datavalue":{"value":{"amount":"+0.7525255084037781","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":"Q3086787$A29F4136-8BE9-4F1B-A513-2941A23F3F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2c9e5a90d2a3df89da9c5d708821407fe1b6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4645724,"id":"Q4645724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c798cae8672d74c643552c5aa71fb7bd4d8c070c","datavalue":{"value":{"amount":"+0.7419071793556213","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":"Q3086787$E37B6ACC-A8D0-41F4-8E98-56F2258244C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086787"}}}}}