{"entities":{"Q2265425":{"pageid":2276168,"ns":120,"title":"Item:Q2265425","lastrevid":43787100,"modified":"2025-11-14T04:55:57Z","type":"item","id":"Q2265425","labels":{"en":{"language":"en","value":"A categorical equivalence of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3432232"}},"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":"Q2265425$2881C866-B7A7-4E9A-A023-8A29092CA2DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4156c8c9c5e60090e44571a3d5cd7f172f0c581c","datavalue":{"value":{"text":"A categorical equivalence of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2265425$4F1D08E4-496F-4B89-89B3-A54E151D63BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97da01c13a2425278f2d366eab7aa2af0f4bccdc","datavalue":{"value":"0275.02033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265425$91454D4E-A747-4BB4-AE7C-972651369B68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20cbb1276eb7c92a83af8336c192bb119384c926","datavalue":{"value":{"entity-type":"item","numeric-id":2265424,"id":"Q2265424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265425$37C0D00B-771E-4020-9F3E-5FF5B629E250","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265425$57292C72-4997-4FBC-9E1F-DFAD194AD4B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q2265425$6721462E-1DED-4849-9936-19185145248D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265425$D52A6F2E-1FC1-4225-802E-12DB30286F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265425$C39CDB7C-F309-4B23-9A6A-7C2E74A7D34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265425$F4C26BF7-E326-4253-813A-9C2F2AD60B13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2c3af34d28683fc821ceb58247dab68f8ef9a55","datavalue":{"value":"3432232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265425$F1BC3FA8-79D5-4BC0-B4E8-4189D74D7137","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":"Q2265425$4C7E4AEF-6F8D-4351-9B28-A1EDD726A7C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdee04ee4135925e789e39612b3c51e455821b72","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093891297","type":"string"},"datatype":"url"},"type":"statement","id":"Q2265425$5B46A340-1433-4F68-99B6-A0AD0DC2646F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0314c83f34fcbd77e5a010f194e6ad2a327d7c6","datavalue":{"value":"W2029507159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265425$08E25E48-E743-4F43-90BF-7F18E45784E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff710798b7ad6e4c58154721aeb320d5dd7332a6","datavalue":{"value":"10.1305/NDJFL/1093891297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265425$39AF48E2-CAE4-49BA-8FB3-4A447BFEC15D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2265425","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2265425"}}}}}