{"entities":{"Q6508875":{"pageid":14087833,"ns":120,"title":"Item:Q6508875","lastrevid":103459769,"modified":"2026-06-06T07:24:49Z","type":"item","id":"Q6508875","labels":{"en":{"language":"en","value":"Categorical Proof-Theoretic Semantics"}},"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":"Q6508875$F232FDF5-DF60-4C8B-B313-B2D9E5B410E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8a09a57e189e7bc6277af20e2424c3ddae2b943","datavalue":{"value":{"text":"Categorical Proof-Theoretic Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6508875$C47E4105-A1ED-4706-96C5-CA7DD5D8063C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6508875$709BF0E5-D7B2-4DF8-8EE0-C80E9B17FDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32cdf4687a95a8014d553380bd325d3fdf98389c","datavalue":{"value":{"entity-type":"item","numeric-id":194959,"id":"Q194959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6508875$6AEF6927-86E0-4219-90A9-D3ACA688EDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e5afc85545e99d122f94223f695bdc5c3348c43","datavalue":{"value":{"entity-type":"item","numeric-id":280199,"id":"Q280199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6508875$BDF33F06-CFCC-4780-89D0-274030D9183F","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":"Q6508875$F1F43635-199C-4C2E-8111-1FE1236C78B8","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"eff2bd3f037e49b4e7b352261fb464004e99b4ce","datavalue":{"value":"2302.09031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6508875$832B762E-45AF-44E4-9CC8-E357A93CF41E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical Proof-Theoretic Semantics","badges":[]}}}}}