{"entities":{"Q7062633":{"pageid":21801024,"ns":120,"title":"Item:Q7062633","lastrevid":106320566,"modified":"2026-10-22T10:43:39Z","type":"item","id":"Q7062633","labels":{"en":{"language":"en","value":"Computational interpretation of classical logic with explicit structural rules"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"aliases":{},"claims":{"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q7062633$6CF3105B-366F-4246-BA8B-D87FC7107386","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac663eff6b901fcda15b920fc50e87643386954e","datavalue":{"value":{"time":"+2012-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7062633$B2840340-6EDA-4616-A31B-B706C0F2EAC0","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"c3b2b722025102bd3a10743f0e1716f20dd9378c","datavalue":{"value":"1203.4754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7062633$92789EE2-B290-4DA7-8304-9C710DDEB77A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a8f67a7203ff5cdeef2bd4736ab7f6f290a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":202167,"id":"Q202167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7062633$9CE4726C-7935-445C-ACEA-4A9452EDA091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7062633$A8BA42EB-E5D3-4FB1-B19E-3543787DCA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e77523be570e79aabd553b37c81c78c4b2847019","datavalue":{"value":{"entity-type":"item","numeric-id":294429,"id":"Q294429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7062633$547CABA1-AB73-424B-98F4-F85E77FF700D","rank":"normal"}],"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":"Q7062633$5692B8FC-BF8B-49B5-9BBE-8A85A31228F0","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":"Q7062633$CC23A756-D905-4CB5-8989-A2BF480061BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computational interpretation of classical logic with explicit structural rules (scientific article from arXiv)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computational_interpretation_of_classical_logic_with_explicit_structural_rules_(scientific_article_from_arXiv)"}}}}}