{"entities":{"Q1047800":{"pageid":1049648,"ns":120,"title":"Item:Q1047800","lastrevid":55946977,"modified":"2026-02-21T10:07:43Z","type":"item","id":"Q1047800","labels":{"en":{"language":"en","value":"Hybrid logic meets IF modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5653954"}},"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":"Q1047800$DC689E99-320D-4CED-8C02-E8FD17D37F7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c072fce8d5319bb4cb6f379d01ad3bae6a14f9c3","datavalue":{"value":{"text":"Hybrid logic meets IF modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1047800$A44D5CBD-8814-4CEF-B092-DA6D751DAAC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d78eeb205227c915645974ed01b5732017c6a65","datavalue":{"value":"1194.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047800$A4FCE4E0-C2D0-4698-9478-9B11A970AB31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4fdee91c38391aeb9065dfab736680a56bfca37","datavalue":{"value":{"entity-type":"item","numeric-id":514034,"id":"Q514034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$936BC154-C18E-414C-B248-CB9D8AB16142","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$DF96E249-7B47-4E6A-AFA5-A101E8889229","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92cf555916d59fb417884b9a08f363c4d96dea85","datavalue":{"value":{"time":"+2010-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1047800$4068AF63-D040-4A12-A68D-51B72493AEF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047800$2E7836DC-BA0B-4F96-BFDF-1BFCBA93E38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047800$E08519B2-D863-4EC1-A4B4-94F9E7D07BD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65c91157aa957af456478beb87c92f32eb153180","datavalue":{"value":"5653954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047800$DABCCD7A-62DE-4B74-8E3C-46D8F5C57E92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047800$2F4588EB-0CEA-4C21-B577-29F91DD7D227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047800$D4AB00A4-1634-4D9B-BAFE-C43A75E73CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047800$AD53C281-FCA6-4FFD-90C6-9B2FABA9DC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fab48301b8e6ed80e084fbdbedc0702a2e9ee01","datavalue":{"value":"game-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047800$A5BAE832-C25A-4307-9F71-D6D98146A954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047800$BA8D98F3-D35A-446C-BF77-FCC495B51F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c30e52259e2227cb68686a0094ace6707c533e87","datavalue":{"value":"independence friendly logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047800$D5A9AA04-9AD8-4C79-9456-3F057AE43B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047800$D0BE53DB-2A46-4FA1-A2ED-22E46E711091","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":"Q1047800$DE4F8952-E7DD-4CCC-BD0B-E53688821C2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7aff5b2940b70e969672e7231cf9cb0fe1243f45","datavalue":{"value":"https://doi.org/10.1007/s10849-009-9092-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1047800$32B4D99B-EF7E-4A04-A122-800CC2078396","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76c2181fa37c806e3e40752292bc216203c1afb9","datavalue":{"value":"W2007134052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047800$A00C25E0-D9BE-41E2-BFDC-20A1D05082B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b7a24cb858348231a677fafe8ef0c5a37418cf","datavalue":{"value":{"entity-type":"item","numeric-id":4945233,"id":"Q4945233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$9363801A-57B5-44A9-A767-32BAA6808BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$E9CBBA86-A232-42FD-A399-1885B643D146","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":"Q1047800$659A68CE-FE50-4647-B6D3-DAFD9F66EF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07dc09641810652554874240e41134d187b3581","datavalue":{"value":{"entity-type":"item","numeric-id":2753677,"id":"Q2753677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$67F0FB79-4E74-4FFD-8F2E-91A11666479D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb4a1b31e9e3174c7a913bf8b623fb33dd0f5f6","datavalue":{"value":{"entity-type":"item","numeric-id":3150204,"id":"Q3150204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$9DE127BE-3FE7-4C1A-9AB8-AF0F12DD9447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$45BE5668-8756-47F6-ABC0-FEA71658CD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af533ab156cbb785d7f92b5af85c3fa0ef61af6","datavalue":{"value":{"entity-type":"item","numeric-id":2747710,"id":"Q2747710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$18340F1B-39A9-49FB-B67F-AD2D7E37243E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fff70f794b26e320204c34a00c8318c5a3faa2c","datavalue":{"value":{"entity-type":"item","numeric-id":4399718,"id":"Q4399718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$FB92F990-EC2D-4B33-9899-30E76FCB1B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c20ebeed862feb6e0841b92fd1c342102e628d","datavalue":{"value":{"entity-type":"item","numeric-id":4255575,"id":"Q4255575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$B80B37A6-F5DF-432F-9316-DE88BA83BD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2853a1afff2fa52921b6bce366d86931777cc23b","datavalue":{"value":{"entity-type":"item","numeric-id":5544276,"id":"Q5544276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$361EE219-9DF5-4A5A-BBBD-E474925F2804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d48aafe511c3d70836530bc562f0f9a106bd757c","datavalue":{"value":{"entity-type":"item","numeric-id":5642556,"id":"Q5642556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$50BD22C4-EFD0-4FB9-B7AE-49C409E37673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52f372fafe719de5108c59e0672833ae8788a32","datavalue":{"value":{"entity-type":"item","numeric-id":4055622,"id":"Q4055622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$E7E4B73E-E1DF-4BCA-AE3E-612F6F4DB484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e38e809e6634a4ef6da64539f67ce4a1baaa978","datavalue":{"value":{"entity-type":"item","numeric-id":5310671,"id":"Q5310671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$663FF75D-2A1B-4C22-9692-3B72823D6220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8413e35396f689c527307b15a1f798700960d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$4FEF1911-181D-48A0-A17A-F41908B82D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159a5b6bc122136ca7e837726b08a530e0338246","datavalue":{"value":{"entity-type":"item","numeric-id":4732440,"id":"Q4732440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$AD81EF17-2028-469E-AA55-AC632B02BAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$E2A6F9AC-6611-4E4F-AB59-1FBE0F538A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$9ACCCCB0-A3F5-45F5-BE8A-8A51A4D162D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629a9cfc29759a58cc620095ca39298f5554851e","datavalue":{"value":{"entity-type":"item","numeric-id":4362727,"id":"Q4362727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$7206B344-A6C2-42D5-B46D-071DF2A38A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87919dcd5f5365ff8fea7bedbe78e26d7194329e","datavalue":{"value":{"entity-type":"item","numeric-id":5483004,"id":"Q5483004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$3051F5A2-CF11-4886-B836-AF85AB4A29C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1fb1869eeda22b80b779f24041d282533cbf11","datavalue":{"value":{"entity-type":"item","numeric-id":3085169,"id":"Q3085169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$5CD4883B-37EC-453D-81F5-197010A17DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac366ac97a9adbea83879d2f3a7c01ff6e55871","datavalue":{"value":{"entity-type":"item","numeric-id":1208148,"id":"Q1208148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$9DBA8867-1881-4C86-B537-54F393E0D478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d3e3a99cce3d2042863f77e12ba79884796aec8","datavalue":{"value":{"entity-type":"item","numeric-id":1841518,"id":"Q1841518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$95BC96FF-1368-436A-997C-BC9E92E5DE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a74f9bc8e616ac965b836ae1bb36286955db287","datavalue":{"value":{"entity-type":"item","numeric-id":2500830,"id":"Q2500830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$43657A2C-958E-4F3D-9450-C1ED028C4A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94335b6198a4660e05410711e1402e65450c3673","datavalue":{"value":{"entity-type":"item","numeric-id":3370762,"id":"Q3370762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$6E28E3EC-250F-488F-94A5-A992A3E17591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a87021c2b940923dd9b6d58954bdf1a5350b5a7","datavalue":{"value":{"entity-type":"item","numeric-id":2499295,"id":"Q2499295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$D28ED30C-03BC-49DF-8F1E-E7FD8773E81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c391d51519d27b1cc12dfdf3487ee6d2a19e3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5311051,"id":"Q5311051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$CCACA6BF-9ECB-454A-B1DB-4AB667BF2DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7cee80ccc9c05c045ed7569da5ff7f24f83468","datavalue":{"value":{"entity-type":"item","numeric-id":3509069,"id":"Q3509069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$0C84B67C-6601-4E8E-B66D-187A6BDD3B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"183153dbddbd0bd94eb4038760a337e1e7b1f43d","datavalue":{"value":{"entity-type":"item","numeric-id":3574473,"id":"Q3574473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$647EC34C-B380-44CE-9410-870C01A99F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047800$0F184B0C-E4D5-4121-BED1-853487754682","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f55e34208001a5b82c245ebced0727b7c02eb9b0","datavalue":{"value":"10.1007/S10849-009-9092-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047800$85BF5F7E-CCB2-43FB-A15C-86A2E1C6F2E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bead712fa4ff659be1333143ef9a306746c1a2","datavalue":{"value":{"entity-type":"item","numeric-id":5311051,"id":"Q5311051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3e89f80da3ff4fbb73a6d3492d87b582b1d0f7","datavalue":{"value":{"amount":"+0.8072624802589417","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":"Q1047800$C02319A7-1F6B-4097-853F-A79EB51DCC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903940373308fc61ecc94d43713d2c3f3ff6442f","datavalue":{"value":{"entity-type":"item","numeric-id":3511448,"id":"Q3511448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a0a195af348ec854e42c3a2c91c6e3c8fa305c","datavalue":{"value":{"amount":"+0.7790418863296509","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":"Q1047800$C5D4BDE2-775E-4BC0-9235-26D457ADBACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73490b2cde8853a5dfd12f43df9c00f4229cf594","datavalue":{"value":{"entity-type":"item","numeric-id":3577747,"id":"Q3577747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34df79f11b200d511825a3b3dcc93265dc2e543b","datavalue":{"value":{"amount":"+0.7633560299873352","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":"Q1047800$C09C0E0B-DA8E-4E4B-92A7-A0F98E964277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0970bd3601360a0faa35946d9548cb93ced38f78","datavalue":{"value":{"entity-type":"item","numeric-id":2016064,"id":"Q2016064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd55241057d2d5465805432873af3c359330d37d","datavalue":{"value":{"amount":"+0.7611351013183594","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":"Q1047800$26C19265-7325-45C4-BC7A-2A025988023C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1047800","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1047800"}}}}}