{"entities":{"Q3075442":{"pageid":3086158,"ns":120,"title":"Item:Q3075442","lastrevid":45388768,"modified":"2025-12-06T21:15:10Z","type":"item","id":"Q3075442","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5851813"}},"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":"Q3075442$36DAA576-44D9-44EC-B873-0BF9910A566B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"401f97978a3a3ef02f71c557159818286a843cef","datavalue":{"value":"1206.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075442$BB8F1DCD-E4E5-4A11-A7A7-05A52A1F0D8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c930bfaa88d0466feb9bef34cfbca5f6b60b9e3","datavalue":{"value":{"entity-type":"item","numeric-id":206560,"id":"Q206560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075442$478FFEC8-A61F-4221-8541-9A1AFA03578A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69f954a0f2b7ac472ed97c8eb163db44a29d7b9a","datavalue":{"value":{"time":"+2011-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3075442$5F84918F-520F-479E-BA60-59334EB244F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075442$47EB2481-F8FF-4E7B-AD83-B353F8D9DDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075442$7E667967-1D94-4F04-8DDA-07E61FAA3CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075442$A2A1578E-7548-4080-AC85-D6E00303FA0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10509797fb9f023c660dd9818e791b7b51e1e37d","datavalue":{"value":"5851813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075442$5B1FE971-F54A-47FB-8994-4FD1CDEBA481","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075442$ECE9C110-DED0-4278-AC58-1B82130BDEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd14db8f42831e71547ff65407961dcdcd1a68d6","datavalue":{"value":"proof-program correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075442$D5828E73-3A7C-4101-BD21-3AFF8E406B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3329e5ddc19ec41605ea21e54e688588faa574a2","datavalue":{"value":"classical realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075442$AB55EB0E-3FF0-4C90-9BE5-673F6F9CC826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075442$B341ACC9-DFF1-4009-82FA-34633E091E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c15990d7cf06767a57f99531e78e4297344b607","datavalue":{"value":"axiom of dependent choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075442$D8B90A10-7AD6-4174-B171-A139306BE401","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":"Q3075442$A36C8FD1-3219-4D23-BC8F-439B9D233354","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62af87e04d829fda2c3d13b22c27cf5c245d090","datavalue":{"value":{"entity-type":"item","numeric-id":5343334,"id":"Q5343334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaee863ea11de2bd458314d2b5e4a6f286b0f552","datavalue":{"value":{"amount":"+0.93089247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075442$7C8CB9C7-9694-448E-B463-73B0FCB58EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aa2501c1573c6700d8d909a4d436e4b43980dda","datavalue":{"value":{"entity-type":"item","numeric-id":792319,"id":"Q792319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a6179f74d558698c072137b9faee2b3c9dfbbf","datavalue":{"value":{"amount":"+0.9274661","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075442$2F30B695-88B1-4A7B-A2EB-601D1A100827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9f903e8936865bfd264bb778af6be43fb26bf7","datavalue":{"value":{"entity-type":"item","numeric-id":5056354,"id":"Q5056354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6a8c8981003440fc26b3ba8d61f127ea8412db","datavalue":{"value":{"amount":"+0.9214301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075442$F4075115-31B5-4459-BAD0-3191259ED101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fc3f0ec3e6ac73c7705982596b59f8f32d18b73","datavalue":{"value":{"entity-type":"item","numeric-id":3305313,"id":"Q3305313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7a685ef809a11bed42ffc205d92e84219946f0","datavalue":{"value":{"amount":"+0.91754615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075442$213C48E2-FFA3-46DA-AFA8-23DB5635F29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7832a8bc7a865fdbb2eaefaa303434fb088edc6d","datavalue":{"value":{"entity-type":"item","numeric-id":5739945,"id":"Q5739945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e914750d5f443ae031d0cbe39fcb54d4362ab578","datavalue":{"value":{"amount":"+0.9148064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075442$5D8DE48F-5E36-4732-BD9F-0963E90D2F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44255fb98e8563479d8d540bacf90ce73642adbf","datavalue":{"value":{"entity-type":"item","numeric-id":5104721,"id":"Q5104721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063bb64e933b0cbad73d35f0e128d4db7083434a","datavalue":{"value":{"amount":"+0.90491056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075442$3C836534-401D-46CF-B668-3F1B4538191B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4d503548ea84f50bc691f5a15f83cde383124f","datavalue":{"value":{"entity-type":"item","numeric-id":2851691,"id":"Q2851691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"066772d55c45db1378c36b4b45529a4f3601b48f","datavalue":{"value":{"amount":"+0.9018693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075442$4B7D8FED-5CE5-4CC4-A609-C52153B04E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace8e346ecef3333a5a970819d17a94bddb1b2ae","datavalue":{"value":{"entity-type":"item","numeric-id":5886518,"id":"Q5886518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06be5b8e8f63baec9df46e97b8d2b1cb13f6cf27","datavalue":{"value":{"amount":"+0.89228857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075442$E53B5C74-7F35-4BC3-B5E0-878A6C68D2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2046776814bf1bed67e77bc1a5477dd1a01601","datavalue":{"value":{"entity-type":"item","numeric-id":1274048,"id":"Q1274048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66cc116cdafa84442163c5249e5889412b0ea10f","datavalue":{"value":{"amount":"+0.89223284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075442$77E6A065-9844-4859-A2AF-E53962CB6002","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3075442","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3075442"}}}}}