{"entities":{"Q4077995":{"pageid":6107595,"ns":120,"title":"Item:Q4077995","lastrevid":39405378,"modified":"2024-12-29T02:43:51Z","type":"item","id":"Q4077995","labels":{"en":{"language":"en","value":"The Connection between Equivalence of Proofs and Cartesian Closed Categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3496119"}},"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":"Q4077995$1FDB1C3F-930B-4C1B-9E2E-CE85F1F0326C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d732c3c7770498ab48bf091ff85bbd6ecc59a4f4","datavalue":{"value":{"text":"The Connection between Equivalence of Proofs and Cartesian Closed Categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4077995$D4AF6A1D-FCB4-4273-9F59-C343A57C2E86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3023b1454deeaa4c1c5b12a96e294b74a2b1851a","datavalue":{"value":"0317.02036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4077995$8086113F-7DF5-4054-ADD1-66E6D429A69B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a07aaffb33e2a15df02944432d52658f5236a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":4077994,"id":"Q4077994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4077995$3F7C9FA7-13E0-47DF-841D-D8EAD9D50AB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d8799c40959ae8ff71bbf3cf3439e413c339966c","datavalue":{"value":{"entity-type":"item","numeric-id":1503938,"id":"Q1503938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4077995$9907CE98-FDD1-46B4-81C3-638C2B80DA87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-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":"Q4077995$CF2CFD0C-B465-44F0-AD89-BCF606911B96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4077995$6D80D472-3AC0-4ECC-9807-C11157262795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4077995$1A5CD825-937B-4D39-AF91-4EF3B773631F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b79087d2e89a5ca27dc8e3409dff4711c6af436e","datavalue":{"value":"3496119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4077995$9C3B971B-E9A6-4B29-B4F3-DC8AD79D9575","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":"Q4077995$8A4D4470-33AB-491D-BC81-5584326141CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89b3cf4fae5b0c197edc257b99b69b8299503d55","datavalue":{"value":"https://doi.org/10.1112/plms/s3-31.3.289","type":"string"},"datatype":"url"},"type":"statement","id":"Q4077995$ED7780B6-0A07-43FE-90E5-E8FD3810C7DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2f96d9f584cae690e12549bc78f5c47f42e757d","datavalue":{"value":"W2007512721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4077995$01D78E50-F03E-4FD0-84B3-7046A11939DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ee57e504dbdcb1b7d726816034e02cc3f66b451","datavalue":{"value":"10.1112/PLMS/S3-31.3.289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4077995$FCAAB1EF-843E-4E6C-8CF9-8321AA1CD66D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4077995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4077995"}}}}}