{"entities":{"Q6517764":{"pageid":14096723,"ns":120,"title":"Item:Q6517764","lastrevid":103466609,"modified":"2026-06-06T07:25:51Z","type":"item","id":"Q6517764","labels":{"en":{"language":"en","value":"Epsilon Calculus Provides Shorter Cut-Free Proofs"}},"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":"Q6517764$8661CF69-E837-4671-B182-C7ECC70C1E37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48f16d8e86125178b03489801fa3c84d273b9ed5","datavalue":{"value":{"text":"Epsilon Calculus Provides Shorter Cut-Free Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6517764$2B24CB7E-23A8-426C-8545-952837ADC479","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6517764$C5AD52E5-BA47-4C44-BDCD-1DC3BE616F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0af247aeda0d0aefbfde68ae92601a0a6b67c69","datavalue":{"value":{"entity-type":"item","numeric-id":670703,"id":"Q670703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6517764$E81A8322-D08E-4C63-B41F-609452EBFBEC","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":"Q6517764$C2B1C4B4-616C-4649-9A28-3E36CBA36260","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"12171ca0f5c9563cdd5fe6f15ba941da94568b8f","datavalue":{"value":"2401.09183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6517764$BF0BE8C9-D219-4522-915A-2572603D0B69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Epsilon Calculus Provides Shorter Cut-Free Proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Epsilon_Calculus_Provides_Shorter_Cut-Free_Proofs"}}}}}