{"entities":{"Q4297779":{"pageid":6327380,"ns":120,"title":"Item:Q4297779","lastrevid":47257138,"modified":"2026-01-01T03:49:55Z","type":"item","id":"Q4297779","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 599579"}},"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":"Q4297779$075AB99E-CB6E-4990-846F-4075DD601D69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc0253de113db746eaa5896a10afb700bc66157d","datavalue":{"value":"0842.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4297779$8E6957B8-C435-4ACB-8662-A9B31A10C57F","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":"Q4297779$59F3E528-0407-4EBA-B9DE-AD79EA31BA67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bfe6432f5773a71c2a7271ca3f6ce2ea60b6eb42","datavalue":{"value":{"time":"+1995-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4297779$4F3AE0F9-2BDB-4FB9-B8C7-84CB189F4591","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4297779$ADE4AC9F-18B0-45C1-A832-A4E862448C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4297779$AA6F05C6-8CC8-4E2D-90BE-E64B0E2F622F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4297779$EFB674E9-22F7-4A22-84CD-37E48FFA709B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4297779$CED9D185-1F51-4640-A088-319F8175A894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4297779$0EB307C2-E044-4500-ACD2-DDE5A558AC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4297779$0F688011-90D8-403C-8FF4-107D7325CB52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edabc772a56a9efdd7f0a33ace680b0b50efeeed","datavalue":{"value":"599579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4297779$FEFE4A28-A44C-42A8-9350-E7D5599D61CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4297779$087CFB05-4E5F-45FF-A945-9D20E599A535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4297779$A33B2F73-40C3-4D57-B37E-749E4D2EFCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b97684f44f37f2c64005c3c14acd1b9d69c50c09","datavalue":{"value":"concealed programming meaning of mathematical theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4297779$C9595782-056F-4AB4-A963-CCE251A943C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4297779$E4565183-E9E0-4E38-96D5-13AC0129A34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f3d3097a8713c6441474d2de7b5a406c9300f96","datavalue":{"value":"programming theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4297779$D4D6F630-377A-4EAD-8416-331321987431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4297779$AF74F79B-75AB-47AE-A05A-E3134F5A10AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370675ac5ea21328b45c528afb69ed51eafadc17","datavalue":{"value":"functions and proofs as programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4297779$187795C7-C809-4C95-B101-D9994848CCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11f5908e1efcfce86b7de597ac18a327c3738d74","datavalue":{"value":"theorems as specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4297779$EB4FCC35-A781-4A29-BED4-078D73FAD3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4297779$875B4865-CBCA-408B-8B55-4F9EFC242AC5","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":"Q4297779$41053300-2613-435C-92D4-6D6C8BE35013","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f8ddf71b2d5cd28cd251b780e95170840ac8ba","datavalue":{"value":{"entity-type":"item","numeric-id":1408657,"id":"Q1408657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e93613beda6877b9c8d1ac2a952bd8b2a90ac9","datavalue":{"value":{"amount":"+0.7638978362083435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4297779$C2483996-4575-439A-AB7A-816038C666AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a6bd9f3333a0cb2d7ffabb5730e4061c833614","datavalue":{"value":{"entity-type":"item","numeric-id":4359526,"id":"Q4359526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d02b6615262e1410997fa55ea3afbca1bfa39dd","datavalue":{"value":{"amount":"+0.7553319334983826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4297779$59C27CFB-71A0-4FA4-B486-9DC888B073ED","rank":"normal"},{"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":"be9c1d2b9ded621aa04b430985042432a0313d6d","datavalue":{"value":{"amount":"+0.7511801719665527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4297779$F9985F6B-BFF5-46A4-98B1-D8EE6529C3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fbde3ac068c2183ac42db8d3e451424532f5a11","datavalue":{"value":{"entity-type":"item","numeric-id":1120558,"id":"Q1120558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5516e721a9a7e9b62c20f65f6a456e0d87e5839e","datavalue":{"value":{"amount":"+0.7499217987060547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4297779$2B555307-BDF4-42F7-8C19-3B106FC2037F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bacc6d2a90af26a415d0f1e5cb1ad815d32a128","datavalue":{"value":{"entity-type":"item","numeric-id":5458392,"id":"Q5458392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c47df73aefb9a5c343e57bcc87e93f209d4816a","datavalue":{"value":{"amount":"+0.7446714639663696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4297779$215A1B30-C8F7-499B-B065-CFEED4D508B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4297779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4297779"}}}}}