{"entities":{"Q6531908":{"pageid":14142969,"ns":120,"title":"Item:Q6531908","lastrevid":103509872,"modified":"2026-06-06T07:31:06Z","type":"item","id":"Q6531908","labels":{"en":{"language":"en","value":"Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6531908$06BDA18C-3D7D-4DB7-BA55-CBBBFD7B7470","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d64d408bde79356c1eecd1f8c4ef4ab415625977","datavalue":{"value":{"text":"Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6531908$1873DA5A-4BA9-44E6-8AC4-7FE94272CD17","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":"Q6531908$A03EB290-2EFE-447E-A723-2240C55F5C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9416262b1a929f0f1cc54516469cf47a3a7887c","datavalue":{"value":{"entity-type":"item","numeric-id":2142083,"id":"Q2142083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6531908$8017A4B8-9B9B-4190-97DA-D101C4F762A9","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":"Q6531908$FE20692D-893A-49E4-A8D2-60F6514B37C2","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":"Q6531908$F7529553-E47D-4B24-A2AF-98B644F199B9","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"eabc83b11b470f2840cfa6e433a034cce998b0cc","datavalue":{"value":"2404.15855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6531908$999872DD-5800-4996-B978-3004F5124F5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Taking_Bi-Intuitionistic_Logic_First-Order:_A_Proof-Theoretic_Investigation_via_Polytree_Sequents"}}}}}