{"entities":{"Q687156":{"pageid":689005,"ns":120,"title":"Item:Q687156","lastrevid":63476058,"modified":"2026-04-11T13:24:51Z","type":"item","id":"Q687156","labels":{"en":{"language":"en","value":"An intensional epistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 429182"}},"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":"Q687156$B7531012-7204-4FD1-870A-F7D2301B9433","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f81023a4a65bdbb46c1c016a2c1b5c4478da259a","datavalue":{"value":{"text":"An intensional epistemic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q687156$89AF853B-624A-49CD-B2CD-FFBE59D81F41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"759f7f3318293295341dde6696c6aff3e1b1b757","datavalue":{"value":"0796.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687156$063627E2-E37D-466B-BB8E-FB3935DFB38E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"666e4d0c2f26faf87a36c1c5b579d61ec5a446cd","datavalue":{"value":"10.1007/BF01058391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687156$37BC9032-D590-4642-81CA-2122231202C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df536ce7afbe2ef6eb252e7a383ac80b29cf52e0","datavalue":{"value":{"entity-type":"item","numeric-id":687155,"id":"Q687155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687156$471F5BD3-8646-4A68-AEFC-97BA85CD7294","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687156$64DDA6D6-590F-47E0-AD56-D9B6C4698B28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a07e8af38f76d1e005ebe63136b3f3c24a5ff2b8","datavalue":{"value":{"time":"+1994-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q687156$79A9CAAA-2DB0-4649-8C67-0DAF2A7E5E0C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3d0b334b5bb5cc56641d90e36062c4186df5300f","datavalue":{"value":"A quantified multi-modal logic with equality is defined, where terms get additional markers. These markers are integers and denote the nesting depths of the term within the modal context. In an appropriately extended Kripke semantics for the logic, these markers can be used to record the world where the term has to be evaluated, even if it occurs in different modal contexts.   Using the markers, several properties which hold in standard predicate logic can be conveyed to the new logic, in particular the possibility to Skolemize existential quantifiers, to substitute terms for universally quantified variables, even if they occur in different modal contexts and to treat equations by replacing equals with equals. Exploiting these properties, a multi-modal version of Horn clauses and a corresponding extension of SLD resolution with paramodulation has been developed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q687156$845DA364-75DA-49D0-BDB3-D7890D1F7040","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687156$0B99826E-6DC6-4813-ABF9-45AF8C0C0F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687156$43A05F34-5EF4-4738-9558-2A482FBD8F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687156$98B474A1-3D43-401F-96A2-CBDD4FB639F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49ae97bb7a9ede3594d5a1cae8798809fb11466d","datavalue":{"value":"429182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687156$065A5F28-7F3F-401A-9675-9DD8FA7E1550","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faa65e9ce8207d8632dd3966182940fde9bb38c1","datavalue":{"value":"equality handling","type":"string"},"datatype":"string"},"type":"statement","id":"Q687156$CA42D4AE-38A4-4B1E-BB85-90346C47D6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f345d460a783211842f7352f2f1d072966aa3873","datavalue":{"value":"quantified multi-modal logic with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q687156$744ED2CF-D2EF-428C-8FC9-CB13EA89FBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adc5d92fee2ce9c6d56c9aacd919310ebf0273d2","datavalue":{"value":"extended Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q687156$01AFA808-F9B4-4F4A-92A6-932A50839107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f478a02a2d64352f37676cf34941f70a18bfaca","datavalue":{"value":"multi-modal version of Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q687156$14A6E434-A21C-41B5-AD81-FF24EA88DA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7770d9e05ef6e33a69d38144109ea354172a26bf","datavalue":{"value":"extension of SLD resolution with paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q687156$B76587AB-582B-4F18-94DC-2019DF2952C6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"29d85a164d09045374c4187cab59d334a70ca718","datavalue":{"value":{"entity-type":"item","numeric-id":1097715,"id":"Q1097715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687156$BE1B1453-0794-4E6C-8130-83672C1E7314","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":"Q687156$F46E118F-96C5-455B-81DD-21BA774E6E50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e0b063e99538f837f694f06b6a003774ada4819","datavalue":{"value":{"entity-type":"item","numeric-id":1824409,"id":"Q1824409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687156$96A8E175-CA82-45F4-A3A2-6451A27565BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7487e6586399550416a8a052c2ad2d8b206b5273","datavalue":{"value":{"entity-type":"item","numeric-id":918192,"id":"Q918192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687156$6EF4860B-64D0-4096-902E-504622188398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce0e7b92e2dd7189877c09d710424762dfb9960","datavalue":{"value":{"entity-type":"item","numeric-id":3030269,"id":"Q3030269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687156$A98C35B2-54A1-4407-B1A3-15691B13E52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687156$7AE0E368-5E24-44DE-ADDE-694ED41BFD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d1be4473dd04d762364ae568b2c783c9dd04a1","datavalue":{"value":{"entity-type":"item","numeric-id":5726696,"id":"Q5726696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687156$B3010EF3-B10D-4BD3-B437-5133C4E602C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c9f86a5342fe6bb6ac25007f55bbaf7bd99a2c","datavalue":{"value":{"entity-type":"item","numeric-id":5608782,"id":"Q5608782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687156$E38AFCDD-B6C9-4D48-9577-EA9A5044E94D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2af968c5360e20202385c0b68cb9d723ba9ab97c","datavalue":{"value":"https://doi.org/10.1007/bf01058391","type":"string"},"datatype":"url"},"type":"statement","id":"Q687156$00E71D7D-F0D2-48B5-81EA-7ABCB3B1597D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2470d3d0ad32e5e69c601ddc25bcafa197126fa0","datavalue":{"value":"W1975223030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687156$47BE7182-487C-423A-AC85-0C14CAA04575","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4423ed1cc7565237d533e21939fe084d5b616b5","datavalue":{"value":{"entity-type":"item","numeric-id":918192,"id":"Q918192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528db14ee87cdbc8f194ae45420580164013fd0a","datavalue":{"value":{"amount":"+0.743554949760437","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":"Q687156$4A8F4EBB-05A6-445E-BD64-4BDFC00D9637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3373586c7e8464cb83179f35fa51741e3f6910","datavalue":{"value":{"entity-type":"item","numeric-id":4295869,"id":"Q4295869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e7ce11daf3479ebd15f3b218f9f9e5fe42a7e8","datavalue":{"value":{"amount":"+0.7398761510848999","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":"Q687156$692FD5C0-D47C-463B-BC9B-B32E53E29638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996c25d4d8ccb60e5d05dba0e9466c0a0761a84c","datavalue":{"value":{"entity-type":"item","numeric-id":3030269,"id":"Q3030269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f8689076952477e0c863f86245d7ef9ffcf5b5","datavalue":{"value":{"amount":"+0.7360196709632874","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":"Q687156$0FA1CE78-5D39-444A-A39D-54261E4F2617","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":"c450be91f96ec47b341a9f648aea6fd0a70bd8e0","datavalue":{"value":{"amount":"+0.7347802519798279","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":"Q687156$916ADC56-ABE1-4C8B-872B-24FCAD8D0620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b39d1c60387675310043ecb6d9e77a061ca4ef01","datavalue":{"value":{"entity-type":"item","numeric-id":2503328,"id":"Q2503328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9332f905214a4c1d3f19060b19caa3a9257ec7b1","datavalue":{"value":{"amount":"+0.7306016683578491","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":"Q687156$111745E7-B44C-4EA9-9F8E-8F045748AF5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An intensional epistemic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_intensional_epistemic_logic"}}}}}