{"entities":{"Q6528231":{"pageid":14139292,"ns":120,"title":"Item:Q6528231","lastrevid":95470319,"modified":"2026-06-05T09:06:34Z","type":"item","id":"Q6528231","labels":{"en":{"language":"en","value":"Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic"}},"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":"Q6528231$F6D923FB-709F-492E-9B18-AC4A7B529FE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0357d414339d85063f9afd5424428c26d9b35cf7","datavalue":{"value":{"text":"Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6528231$AAE69B72-240D-4B60-B9FC-8C578FD98676","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe1cb568b800464519d8765426eaae0f6a02b7b8","datavalue":{"value":{"entity-type":"item","numeric-id":720756,"id":"Q720756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6528231$4AEC79A4-C988-4500-86AA-B4244A794B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"083bccb7c13b140557dcaa6f5ac0a632fed63607","datavalue":{"value":{"entity-type":"item","numeric-id":5872866,"id":"Q5872866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6528231$3442F132-13C8-4530-B69B-58EC2CD07213","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":"Q6528231$138D8657-B93C-42C2-A6EB-B04D68F3F9B0","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"31bda8d7e2aa656257c8a0d2a7510d942cf2e130","datavalue":{"value":"2403.19525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6528231$7C23ACE1-D0B9-4202-BE26-A42842C111E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Projectivity_meets_Uniform_Post-Interpolant:_Classical_and_Intuitionistic_Logic"}}}}}