{"entities":{"Q5115868":{"pageid":7145442,"ns":120,"title":"Item:Q5115868","lastrevid":40736712,"modified":"2025-04-04T12:52:00Z","type":"item","id":"Q5115868","labels":{"en":{"language":"en","value":"The Significance of the Curry-Howard Isomorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7237980"}},"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":"Q5115868$DB7F0DBA-8D03-41CE-90F2-678184C1BE9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc4efbf17103b349070d831f11b5e5379e8650ed","datavalue":{"value":{"text":"The Significance of the Curry-Howard Isomorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5115868$0D4CF6FB-645F-4CE9-8C67-595E7D85BEAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd535505a68839d61b50ba59574c6c743b621410","datavalue":{"value":"1465.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5115868$1593D83C-ED03-4587-8EB2-AC37AC43ECB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2725bbb76f79c47f97b8e538fd67c1b5b7ba52db","datavalue":{"value":"10.1515/9783110657883-018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5115868$C6F654D5-10C1-40CA-A80F-83234172B404","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b019e89cb08882c4fda7783a360d1728596378","datavalue":{"value":{"entity-type":"item","numeric-id":288246,"id":"Q288246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5115868$A7FC8EC1-391B-4E90-A014-B918E08C1CF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d60511a3e8b97c5b55f9e52879ef8f0d25263697","datavalue":{"value":{"entity-type":"item","numeric-id":5115849,"id":"Q5115849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5115868$9CBD4796-AB81-44F6-8F76-C0D80452EA22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a5de714875b12302ca8a32fad72843bd851eaa6","datavalue":{"value":{"time":"+2020-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5115868$446FD6BE-04AE-43AD-A59E-F6F4900DA2D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e1ddc6afdfc7aec787f09e704d7d0594126bebe","datavalue":{"value":"http://hdl.handle.net/1880/112761","type":"string"},"datatype":"url"},"type":"statement","id":"Q5115868$AFF5E17C-464F-4832-85DF-F294FB55BFE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5115868$F3FB9E80-539C-437B-A4B0-AC62669111C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5115868$F9B86177-7673-4E64-B8B5-3BB79B9946E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5115868$73A241DC-9D3E-42BD-874E-C7230A98B439","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3ea14af0d0afdcf9d4a58017c43fcf268fff3bb","datavalue":{"value":"7237980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5115868$D8D0F41B-6953-4CA1-8802-494933157C45","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":"Q5115868$679101D5-0AEC-4582-8B59-7F1C9DC523D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"780cdf3922ae4406132cc134be162a48f4a56b5d","datavalue":{"value":"W3102065375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5115868$1D288C2E-1D24-4D25-9574-D50E3CDCA240","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ae07fb74213ca8660c32d4638ccb5492853216","datavalue":{"value":{"entity-type":"item","numeric-id":5691056,"id":"Q5691056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f7722bb9d0afa69abe1da329386a42a495c83b","datavalue":{"value":{"amount":"+0.93701017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5115868$58C8F311-6D33-403D-9F22-85CA124FED81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b644f0db550959452a6b37c2ace79081a94270","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16e5c2bf802cc41eed3d51bad8c6ba1cff1e097","datavalue":{"value":{"amount":"+0.888304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5115868$9FEB64B3-C00A-4371-B20D-6EC4370C5967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef70568ea46ad23ba540051acda66845ec8fd124","datavalue":{"value":{"entity-type":"item","numeric-id":4488199,"id":"Q4488199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6893da22a4da558c6b08bc0f9536b200baf650e9","datavalue":{"value":{"amount":"+0.8355619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5115868$CB45C8A0-9073-46AE-BF47-211169B6E541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c4bc3351ee32a17134c83269b492b490b4afeb","datavalue":{"value":{"entity-type":"item","numeric-id":3483270,"id":"Q3483270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d6998009a56d4ca0ef6bba90dd5171e64938909","datavalue":{"value":{"amount":"+0.82017547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5115868$3D891D3E-9E38-4FF3-A308-C65163321715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5328fe99f2115a1604961feb5537ba10869380d","datavalue":{"value":{"entity-type":"item","numeric-id":3792661,"id":"Q3792661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519849eb1b4b72e7db8893345337dc37ee4ec8d2","datavalue":{"value":{"amount":"+0.817368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5115868$B917153D-18A7-4140-AFA1-23A1EE4FD85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0244d9dfe5f989c8adc66d3632adb77155967e85","datavalue":{"value":{"entity-type":"item","numeric-id":4722063,"id":"Q4722063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce316263d5a8e698ef7ed7c4f4668401aa84e25","datavalue":{"value":{"amount":"+0.814478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5115868$48627E3D-F497-4BE4-AB1D-171D85169440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee82c618cd0d21109015362895397b877e579aef","datavalue":{"value":{"entity-type":"item","numeric-id":4707049,"id":"Q4707049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ac9b24b2398fb46b8c79824f1e40e498060d157","datavalue":{"value":{"amount":"+0.8129931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5115868$95034E1A-6970-45EB-BAAD-98E92E27FF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92dd4220db6ff5602f5b66f52817904436807d7","datavalue":{"value":{"entity-type":"item","numeric-id":3697210,"id":"Q3697210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ea076eb90eb7cea744e8deb080f7b11f23b52a","datavalue":{"value":{"amount":"+0.81262857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5115868$14268985-66A1-403F-964B-7FEDCDBDA764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a1584df16086ebc6bfdba9f45d12c423a715b49","datavalue":{"value":{"entity-type":"item","numeric-id":5738308,"id":"Q5738308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2225241c967fdf66093a9ca248c6b8ba3757ca6","datavalue":{"value":{"amount":"+0.8120551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5115868$C46BFB11-28DA-45EB-9655-C3C0AEEEF640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3f33172e2e68ad159b3c1c257b9b34a5a697657","datavalue":{"value":{"entity-type":"item","numeric-id":3448916,"id":"Q3448916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6a0a11361308191ed066a38d08fa029dca228e","datavalue":{"value":{"amount":"+0.8103997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5115868$3DDAD7BC-44C4-4641-9B14-4DD93B914018","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5115868","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5115868"}}}}}