{"entities":{"Q3455830":{"pageid":5235230,"ns":120,"title":"Item:Q3455830","lastrevid":52414076,"modified":"2026-01-22T14:34:21Z","type":"item","id":"Q3455830","labels":{"en":{"language":"en","value":"Compositional reasoning for multi-modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6520027"}},"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":"Q3455830$F9905866-6299-4DF5-8048-670FFEEEC378","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63101f2d007389e9f213a667771558d687f70b64","datavalue":{"value":{"text":"Compositional Reasoning for Multi-modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455830$4318C9A5-F915-492A-99F5-F2C81C6B5F61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b387f9e24f5d95ee015f301d30aaf957d61a5afb","datavalue":{"value":"1419.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455830$F8476782-91D3-4E77-BFEE-1EC2AF91AE7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcfdb1f43c4035ad141ed4db6244afe9f1a5942e","datavalue":{"value":"10.1007/978-3-642-35722-0_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455830$C5501F5A-9722-4A99-8898-8BB822F4BC3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455830$5A992A38-1E82-43EE-B080-35402FE8DF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455830$BB8AA93D-F7D2-409C-A65B-ACC8EC078922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42133de6198db819877bfdb40a898971ccf10209","datavalue":{"value":{"entity-type":"item","numeric-id":444495,"id":"Q444495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455830$1BF6A896-D6CC-4C06-A1DC-3357FCFB8C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c966e7dbbd59a484367bbf8cf75fa2113f8ffd32","datavalue":{"value":{"entity-type":"item","numeric-id":426788,"id":"Q426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455830$D6E8160E-9CDD-44CB-8BFD-236186390F50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455830$D872838D-7A31-490E-A02B-53D63B17F7B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455830$FA5430B1-9C1A-4F6A-A039-D50A598097CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455830$DA564E70-DAD1-40A1-BAAB-ECAE3BDBC52A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f24a8e83ae196215877675105cb7605fd07a549b","datavalue":{"value":"6520027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455830$23C43F55-2AA9-4BE5-9A1B-66CE0201F94C","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":"Q3455830$5E8D601B-E605-46C7-8119-1EE5CAA5D7B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62d4b89fb6c178d5ca847274c89507eabe1396a4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35722-0_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455830$910D8D1F-AA52-48C0-BE33-72A486098062","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0f8d009957cdad315688093827a0ab15dfeb604","datavalue":{"value":"W70178704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455830$06E9865D-2543-45FB-8D42-F08A288C0618","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455830$850F6905-0F51-4D30-B95E-739C4FA6CC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e66c63c51508778ce501709c80be252e81c998","datavalue":{"value":{"entity-type":"item","numeric-id":5277691,"id":"Q5277691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455830$4E9D2941-D3F9-4843-8B0C-B2CF44D1B84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455830$9BBC0836-547D-44CC-8B5B-D949FA2E7E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d92abb81e4c7620c439cb2525d42b7c192af975e","datavalue":{"value":{"entity-type":"item","numeric-id":2368979,"id":"Q2368979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455830$2AF6B9FF-37AA-49E6-ACA3-50BD95A3122B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455830$F5C4895F-9ED6-42DD-842A-4B2FB619A9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455830$F75F63CB-3A3B-4D65-8056-582B1AAC8F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2a6bbb40f25f4db3104def630456b503e1dceb","datavalue":{"value":{"entity-type":"item","numeric-id":3988057,"id":"Q3988057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455830$B062E75F-176A-4645-B32C-1DF01B8DEA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec9d2c6d437a8dcb67fe333e5f250b25a8d9de87","datavalue":{"value":{"entity-type":"item","numeric-id":4159026,"id":"Q4159026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455830$C3995F37-4812-4174-833B-BBAAB0C53749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455830$C2993044-EA2B-4799-84B7-9A1E63FDC433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5395ae7b8e9c15f5c8ec77b6a2d487aebdcbdfba","datavalue":{"value":{"entity-type":"item","numeric-id":2901220,"id":"Q2901220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455830$24CAA45C-9E97-421B-846E-739262CA2BB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585b246af46931608b255d203c2ad85ffcff5071","datavalue":{"value":{"entity-type":"item","numeric-id":2901220,"id":"Q2901220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ca5e956c667f8ed93edbd2a695d53bc7411dca","datavalue":{"value":{"amount":"+0.7836904525756836","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":"Q3455830$F9366F20-D006-43C4-8533-43878B81F7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf2312a039ccc6673779f11dd114fee45c73172","datavalue":{"value":{"entity-type":"item","numeric-id":1604670,"id":"Q1604670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"636e5f527c5c152453635a8a2afa51718e2ac6b0","datavalue":{"value":{"amount":"+0.7262938022613525","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":"Q3455830$D0C096E5-8DA2-4DF7-A618-F15C31032DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b62c5a3cfdf97550acbe4068aadc78990b0e4719","datavalue":{"value":{"entity-type":"item","numeric-id":2897444,"id":"Q2897444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f907539a8637cd6d5eb033aabd95ecfef15a0e3","datavalue":{"value":{"amount":"+0.7249065637588501","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":"Q3455830$6E0D17EB-356A-499B-9700-7F18D7E4240F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f15e3b01455a6efefdd9763621b909dcc926ecc","datavalue":{"value":{"entity-type":"item","numeric-id":2425352,"id":"Q2425352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3691caa3feb575569199bba87f64565f79cbdf70","datavalue":{"value":{"amount":"+0.7165931463241577","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":"Q3455830$6C343852-3BC4-4608-8B61-73C9F1960B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0335598fe9a08545628ba7e5fb212ba2143ef99c","datavalue":{"value":{"entity-type":"item","numeric-id":4982125,"id":"Q4982125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0006b89f02ca65c1d2f611d2f6fcde1f639f33","datavalue":{"value":{"amount":"+0.7162161469459534","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":"Q3455830$3D242212-96B2-4B64-8979-F070CEF710E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455830","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455830"}}}}}