{"entities":{"Q6350253":{"pageid":13484860,"ns":120,"title":"Item:Q6350253","lastrevid":59009583,"modified":"2026-04-07T07:24:18Z","type":"item","id":"Q6350253","labels":{"en":{"language":"en","value":"A cut-free sequent calculus for the bi-intuitionistic logic 2Int"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900440532"}},"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":"Q6350253$913A9FA7-7576-4088-9EF7-1169FF9B9B7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"675a5c487b4c2f0d035548f97f026fe5d0481979","datavalue":{"value":{"time":"+2020-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6350253$B78B5E34-9833-43E2-A7A2-BB9028D676A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eed88e7b4ca4d162b9b8cee07310086df1ba6736","datavalue":{"value":{"entity-type":"item","numeric-id":2037303,"id":"Q2037303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6350253$17B12375-54A4-4C80-A635-DBCA6D54DADF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab19bbecafa03745793f5aa459e6cbcf72e36993","datavalue":{"value":"900440532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6350253$D13FFD2F-BA07-419C-AAF2-3D33B36713DE","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":"Q6350253$A32A7A32-2030-460A-B803-F857C1B4C2F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6350253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6350253"}}}}}