{"entities":{"Q965902":{"pageid":967750,"ns":120,"title":"Item:Q965902","lastrevid":50967677,"modified":"2026-01-15T23:50:26Z","type":"item","id":"Q965902","labels":{"en":{"language":"en","value":"Using hybrid logic for coping with functions in subset spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5701669"}},"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":"Q965902$07C3CB8E-9DBF-41B1-B16E-5C831D89124F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6280cd0e3b5ef345a186bc5ca3034b2fc11ee24e","datavalue":{"value":{"text":"Using hybrid logic for coping with functions in subset spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q965902$DF99523A-CE9A-4744-94C3-6733321BBD1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c79157786c28dbafe8342162336adcfca5363bf9","datavalue":{"value":"1196.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965902$6A1144EA-0606-410B-B188-92F25A435AEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2e96a8166b825564aa7d3e45e288dcc7e8fe930","datavalue":{"value":{"entity-type":"item","numeric-id":190300,"id":"Q190300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965902$B243AA26-1CCA-4501-9B2F-4272DE0AD92A","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":"Q965902$BEC315AD-2D23-4C11-9B68-13A9691FB768","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf11706925c44dddfc197e0393a2ad75b3d2238f","datavalue":{"value":{"time":"+2010-04-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":"Q965902$18643B88-3244-403C-A228-D94C6CE72669","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f1fb8703dc5a1a7575d0b9ebbbf17f63ed1e511f","datavalue":{"value":"Moss and Parikh's modal logic for subset spaces is extended by gradually adding state-valued functions, set-valued functions and functions of neighbourhood situations. This is done with the aid of some basic concepts from hybrid logic. The soundness and completeness of the derived logics with regard to the class of all correspondingly enriched subset spaces is proved and it is shown that these logics are decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q965902$0F7C6F1F-2C45-42D1-A71A-64A27E1D7508","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965902$C67AFD3A-54F7-4725-972E-FC134B82A073","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965902$8F1EE8D9-9B87-4302-9350-A417903E2AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965902$76143165-B8E9-4EAC-838C-9C637EB0B45E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f51adbd04f860ad9856722de0e32cc229e56a34d","datavalue":{"value":"5701669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965902$38EA5B88-942F-4BBA-BD2A-649DA0277FE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fad559aa4a3a56f1fbbda5f801d2c70993bc7e9b","datavalue":{"value":"Moss and Parikh's modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q965902$A7224136-F8E3-48F7-95F2-41907CA6D365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61d46bdb48d6676e591930ddf15a1dcc8c245301","datavalue":{"value":"modal logic of subset spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q965902$2D612712-A8DB-4986-AF7B-D4BE7481478D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dec3301dc007cfa206cb98d9ec78b5424df6a11","datavalue":{"value":"functional modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q965902$03F9AA29-F8F8-411A-AA7E-A29427B0CFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q965902$AF04925C-AC54-43FD-B102-30FCCC1068F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q965902$78D0347C-59A6-4209-967D-63027FC020A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q965902$64B4CFB7-1DCF-4667-A2A1-2C0FEFDCE523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q965902$C9BD7C34-12EC-47D0-8787-FFBB2EFF1187","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":"Q965902$4E0A3FA4-AA96-47D7-9725-DDD596119C3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da795dc31f6e45c3d81128aa6bf53d0a93f0b8c7","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9226-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q965902$762E844B-28AA-4163-9699-66D291DDC78B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c97c822f8f0e7e2686ecc9cb967169b76e5a0eb4","datavalue":{"value":"W2052420015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965902$2B503E2C-69C3-49F1-BA91-D09A499DCB03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3219170f125a9eba1a841cf9e493708d686b77e","datavalue":{"value":{"entity-type":"item","numeric-id":3511030,"id":"Q3511030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965902$6CA645F5-9C8A-4FBB-85CC-1C5A3E97EBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965902$C2CA5557-AA52-4617-AA76-5151E187C2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965902$6DFD32D1-184A-4E89-99E3-85647CBE19E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f0209397207ef23d26a6818689d3e0e2b46f11","datavalue":{"value":{"entity-type":"item","numeric-id":1919762,"id":"Q1919762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965902$D7613DB3-C48F-48EA-9375-B15B42F304B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80271c9c3ac6f87859aa5e6d6b8604a18262f1ec","datavalue":{"value":{"entity-type":"item","numeric-id":4215596,"id":"Q4215596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965902$841A9C56-A902-4E6A-AFFD-94717643A0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079f9793bb7b316fa7df491a77326c885a223fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1006488,"id":"Q1006488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965902$95C1F1CA-DE44-4D62-8C4A-157B6DCAA5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965902$6B45945D-886C-476E-BA89-90426DDDE20A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dfda1b13e97a77c20745f97338b1c8d80bd386b","datavalue":{"value":"10.1007/S11225-010-9226-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965902$286C0A84-FD05-41B0-B7B4-639668206385","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ebc7ee32c678ae4c498c4f7470f1b53d9a7956","datavalue":{"value":{"entity-type":"item","numeric-id":3601810,"id":"Q3601810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f802cd264839ffbc6e6ae05d681b25605ddfc676","datavalue":{"value":{"amount":"+0.8114567995071411","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":"Q965902$FCE67015-13EB-400E-962F-5E75BDC2CD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc358c3df1a85ec73fee85c82d94bba5a05c6493","datavalue":{"value":{"entity-type":"item","numeric-id":4823801,"id":"Q4823801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca5c9ea50fe25309e74005e45c6227b4655401e9","datavalue":{"value":{"amount":"+0.8107866644859314","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":"Q965902$51472D2D-F7FB-41CA-AF6C-DCE8D237BB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86f98ceca3e6622b29e2b4a4cdeb9baa336995f","datavalue":{"value":{"entity-type":"item","numeric-id":1006488,"id":"Q1006488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffafdb695c0d895d6309b47d03cb7c0f0a2ea201","datavalue":{"value":{"amount":"+0.7841736674308777","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":"Q965902$1CC702FE-687C-4DC9-8CA3-6BD493E4CDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc8e4f1582dc8bfe0ae52ca232974302e3f454ea","datavalue":{"value":{"entity-type":"item","numeric-id":4738569,"id":"Q4738569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a20bbba2ee9e972e9ed14d1c3ea333c033bb30c8","datavalue":{"value":{"amount":"+0.7754625678062439","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":"Q965902$5985DFD1-190E-4ABD-B55D-BA2E9DB772C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846c7f60eed623f222e9e39b582c077f7e52091c","datavalue":{"value":{"entity-type":"item","numeric-id":2027210,"id":"Q2027210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80ac3723c91660bdf21cb9b78cef76b1190878e8","datavalue":{"value":{"amount":"+0.7648907899856567","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":"Q965902$900AA4D8-016A-428D-A904-483AD24919B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:965902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:965902"}}}}}