{"entities":{"Q6372007":{"pageid":13505936,"ns":120,"title":"Item:Q6372007","lastrevid":99512885,"modified":"2026-06-05T20:07:45Z","type":"item","id":"Q6372007","labels":{"en":{"language":"en","value":"Nested Sequents for Intuitionistic Modal Logics via Structural Refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6372007$4B609070-DE73-4A53-BC9C-9CDFBF3930C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86486849d03cdb8621ac571bf3978b52d8c04f48","datavalue":{"value":{"time":"+2021-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6372007$AC24B85D-4F16-46E7-8A47-E084AA9CF55B","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"a0d377dee1a001ffe84dc04c11d664512b26e67e","datavalue":{"value":"2107.01998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6372007$8F142396-83C3-47D4-8736-353A3CD6BA56","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6372007$FD6AF94B-8DC9-4C7F-83E7-23055F889F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"d9c15d4dc922d1082ff725e5e40ff9c90d3b6ee4","datavalue":{"value":"cs.DM","type":"string"},"datatype":"string"},"type":"statement","id":"Q6372007$7FDDF379-38FF-4DEB-91FB-702ECD71F3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"b0de8c0dcbd08129980d69c19c9933a2bdbc26ce","datavalue":{"value":"cs.FL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6372007$E3DA395F-76D9-4B50-81BC-D5CC58C300D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6372007$B03C00C1-F435-4065-9C0E-452723D75F73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1cd4ae27124a7613f6f15cdd4522fe66a676dd","datavalue":{"value":{"entity-type":"item","numeric-id":2142092,"id":"Q2142092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6372007$C140639C-C4C9-45D8-AC90-AF81D8E21483","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6372007$D086A98C-8F82-4760-9474-256AA002B9C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8bae7853a2d75607b725f064ab46ab92525288f","datavalue":{"value":"10.1007/978-3-030-86059-2_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6372007$89C18E66-D8AE-4AFB-88B6-785D3DFC7777","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":"Q6372007$042B72D7-F41F-4C22-8277-AF0100C1CE89","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"8ff6c7b206120a8df0cc2f5ff34f652da4dae5ff","datavalue":{"value":{"entity-type":"item","numeric-id":2142093,"id":"Q2142093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6372007$DE21E012-F41F-41F1-ABEF-1789A146AC7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nested Sequents for Intuitionistic Modal Logics via Structural Refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nested_Sequents_for_Intuitionistic_Modal_Logics_via_Structural_Refinement"}}}}}