{"entities":{"Q5369481":{"pageid":7399055,"ns":120,"title":"Item:Q5369481","lastrevid":52930427,"modified":"2026-01-23T20:20:32Z","type":"item","id":"Q5369481","labels":{"en":{"language":"en","value":"Modular focused proof systems for intuitionistic modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6792349"}},"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":"Q5369481$3865C3E8-3747-4A22-9583-5CFEAB31E900","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"353f985cd879e6a66d45208adc1813f68f992566","datavalue":{"value":"1387.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369481$0B598080-1A44-4F15-8B9F-D633FCEB6C92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20c32845a86517c3925e9fa1724cfe5786b42b11","datavalue":{"value":{"entity-type":"item","numeric-id":928658,"id":"Q928658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369481$E4BF8340-3631-4D6C-9936-48DD1DB0F50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"749da45a046df78df31a8068066ac46a7099b035","datavalue":{"value":{"entity-type":"item","numeric-id":1694450,"id":"Q1694450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369481$D722941F-5F3F-440B-AE87-A716A206CD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369481$06052307-A5C0-47D4-BD03-0362C3F22AE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eae4cdb5001296cfa1d627ad5453506a5832f064","datavalue":{"value":{"time":"+2017-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5369481$D2D8EB56-2E37-44C8-9CF7-1EEB1EF1D43D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369481$815687B8-55C0-490E-A0D7-F1E5A19DAB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369481$92422AA9-63DD-4C6C-A53B-B3D8B2F109D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f8743ab02caf3b733c07c999239434a83647feb","datavalue":{"value":"6792349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369481$04906CA6-81D6-4082-95BA-36CA0BBD111C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369481$C0989D99-1610-4154-8E01-32261030DF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369481$A33FFD0B-0E41-4DB5-8C04-00899226EBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369481$90A55EC8-FCA1-42F6-B21B-CA0E2E4937D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369481$7106FA88-E1B2-43CE-804D-C5F5826D420F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7703d39a27a27281175ecfee2e3e3ef8e18d9ab1","datavalue":{"value":"nested sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369481$A5A9D7E3-3B9C-475D-BCC8-F7041A213E6C","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":"Q5369481$9DA162C4-DF72-443A-86DF-095AFDF8F7B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ba65f8aa588525259c3f483b5623e3373f74b08","datavalue":{"value":"https://hal.inria.fr/hal-01417603","type":"string"},"datatype":"url"},"type":"statement","id":"Q5369481$C1E87EE6-FD96-400B-80E7-B1BD705DDB1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"217fa0ddad1e5af3fc2e342ff2cd1d66f5f78f0a","datavalue":{"value":"W2488055829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369481$7AB94C47-592C-4D43-B1E2-0AD6010EFF33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e9d8dc6c65d23187c04de986e07291cb2d72674","datavalue":{"value":{"text":"Modular Focused Proof Systems for Intuitionistic Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5369481$1CA1C521-66A8-44BD-BA20-A5ED81959B19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bdcf926d964a6b8f90af5eba3c8351ac0b5b669","datavalue":{"value":"10.4230/LIPICS.FSCD.2016.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369481$2953AC05-EB2A-4D9F-9691-1FD439ABBBCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2576c18a9e4b5008104411dc21f38fb1c1d8a3c","datavalue":{"value":{"entity-type":"item","numeric-id":2811354,"id":"Q2811354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56fe5960d57a0d1f10c22eea60bb18fd0028353b","datavalue":{"value":{"amount":"+0.9001150131225586","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":"Q5369481$B7B52C43-58CA-4568-AC39-05A204914B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1e5c6acb9e6c6c701600252dc2d0e75a1d201a","datavalue":{"value":{"entity-type":"item","numeric-id":3460084,"id":"Q3460084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b712e54f8c981c66e4e0815b9cd846daea255ca8","datavalue":{"value":{"amount":"+0.851235568523407","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":"Q5369481$4B1F88AC-138E-4488-B110-BA2A91A83224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889231deb57232aad79d4a8364d607ebf1a58209","datavalue":{"value":{"entity-type":"item","numeric-id":3608430,"id":"Q3608430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42077094a4092b36fb1e5aaa1351134bbc79d022","datavalue":{"value":{"amount":"+0.8330199718475342","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":"Q5369481$0497011C-2473-48BF-A822-8B6DBF84E311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eeeb93e74ff091af6be8fcbff4ea645907fefb8","datavalue":{"value":{"entity-type":"item","numeric-id":2946730,"id":"Q2946730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b2d6b0dbe5c3cb5ed7c45740761af87ba74f6a","datavalue":{"value":{"amount":"+0.8274682760238647","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":"Q5369481$DA530A55-C256-4AF6-910B-332F9CF64D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a7ad3822057c63fd97893fb1ae3fd5abb0f02e","datavalue":{"value":{"entity-type":"item","numeric-id":3187008,"id":"Q3187008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc4ed02c687f1d90470c9fa51781446b986b504","datavalue":{"value":{"amount":"+0.8239938616752625","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":"Q5369481$D185DA15-61CC-46A7-AD08-F5C2C18DF026","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5369481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5369481"}}}}}