{"entities":{"Q6327019":{"pageid":13462453,"ns":120,"title":"Item:Q6327019","lastrevid":56054530,"modified":"2026-03-03T14:35:27Z","type":"item","id":"Q6327019","labels":{"en":{"language":"en","value":"Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents"}},"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":"Q6327019$8D8B2EA7-0910-4504-9F10-9A63EE3B7028","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05c2ca997c41e2d2db6860d21bdbc2905ddd8c37","datavalue":{"value":{"time":"+2019-10-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":"Q6327019$F7AF4AEB-5DDA-433F-A805-44433A4314CD","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"053ca8cfcd0552c9d51ea79ac030ee464ff46c4f","datavalue":{"value":"1910.05215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6327019$495E0086-8380-45CA-A2FB-099FFDAD0C05","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6327019$966FCFDE-8F66-49A5-B01F-85AFA876A193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6327019$2DE25BED-1B00-4352-B46A-258EBA533ED5","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":"Q6327019$932A9289-D635-403D-B57D-7A208505BCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6327019$CE404DD7-FE4D-4FE1-B426-7D5C69D1DE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6327019$2AE1B61F-A618-4359-AA49-15812562E288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cc236d1b83c1da4faad787dc86785ac363afb66","datavalue":{"value":{"entity-type":"item","numeric-id":1652987,"id":"Q1652987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6327019$FC00FA13-BAF5-4AC7-BC54-60BF63EEEAAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6327019$E89B47BA-E4D0-44DB-A036-AFF69DF4DCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6327019$8BD60B1A-F27F-4ACE-8644-39E2C55669E3","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":"Q6327019$FDD80FB0-7F67-40B9-B5CA-E45F1488CCB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e2239a2cd540748d4627b60d24f317589d97ecc","datavalue":{"value":"10.4230/LIPICS.CSL.2020.28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6327019$900750B3-6BAE-4909-BB59-14872D27F7E2","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"926136e98ba34a87baee085f1fda01136ffddca4","datavalue":{"value":{"entity-type":"item","numeric-id":5874215,"id":"Q5874215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6327019$797A1DCD-9FC6-4B3E-AEF5-631F2C8766D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6327019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6327019"}}}}}