{"entities":{"Q5179008":{"pageid":7208580,"ns":120,"title":"Item:Q5179008","lastrevid":52227500,"modified":"2026-01-21T05:05:49Z","type":"item","id":"Q5179008","labels":{"en":{"language":"en","value":"The functional interpretation of direct computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416654"}},"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":"Q5179008$6D65DF7E-A1C1-448F-8780-38BC711D2F1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a945ca311d257a1d7201b4d82801941084e1c75","datavalue":{"value":{"text":"The Functional Interpretation of Direct Computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5179008$A24FCDB4-6194-4395-B631-B53507D74451","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ef7efb34d8df1d4abb57df6ecae587c07435666","datavalue":{"value":"1347.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179008$28382F73-72A7-4DD1-A882-A4A578BB100A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8529a07395758c7f92e5bf2b02863c3fd7bf325","datavalue":{"value":{"entity-type":"item","numeric-id":1005957,"id":"Q1005957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$B7DA2168-E1CB-405D-9CA8-FC13BED2DD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0abb4f1c0073438793d43eb9c7ac443b64bb74b3","datavalue":{"value":{"entity-type":"item","numeric-id":1744399,"id":"Q1744399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$56A78DE0-6E35-4243-BE54-4668E76FE142","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$1C5D5796-EF83-4AF7-BCFB-F97880FA5F8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5179008$E1623BBB-A37E-4876-8F0E-FD2F2F5999A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179008$582C9C40-D84D-45B1-BFAD-077DF5A791A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179008$739D9315-CD1F-46B5-AB03-CEE6A7092437","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a367a9f9e2f9bab9011b8a107cb1875dda5af768","datavalue":{"value":"6416654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179008$8E34208D-775C-4E78-B849-89F30F0D1953","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179008$62D97A15-0062-4FB0-85CA-4EEADE0844E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179008$C6592598-AE7C-4740-AB8D-EA00F921D190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580520fce237640a876b8d180acd2f68d76de1b5","datavalue":{"value":"labelled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179008$D046A288-6937-4795-9DC3-5E9E76966493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92c4732e120e474a2fc224c7740504ee7dbc83bf","datavalue":{"value":"equality type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179008$A5F6AC89-C92E-4287-A8F7-620C24C33A67","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":"Q5179008$235D1345-687F-4444-ACA2-0EE20F69AAA4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"79173015014ac17321363e629557509d59965420","datavalue":{"value":"Q56211002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179008$07A2066F-BCDE-4BA3-B80B-F5F562803CA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6957fc68901ee57f230b3e1471e4e53c2fae2092","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q5179008$3CAD9A23-DEE2-4CFC-826A-A4F65C6CD3A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d8506327d6745fdde512cff2f6fd0fc022e9161","datavalue":{"value":"W2026740543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179008$61D49D7F-D5DD-42EA-A9E3-8900146F4AB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$D95DA6BA-9652-47C6-AEC8-F3F2C9E37DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$D12F4D3B-4C95-4A63-8425-8A9E1D60DCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3c9ae67106175f5143597bda48ec2beb4bbfbb","datavalue":{"value":{"entity-type":"item","numeric-id":5591514,"id":"Q5591514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$4876FBDB-BA64-45BE-9704-F5AA14CF0630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7592e0114cad4156ff3281bd5ca4ddfbd5a4cef8","datavalue":{"value":{"entity-type":"item","numeric-id":1823935,"id":"Q1823935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$454FAC49-F895-4ABD-B8F9-00BFB42DF1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$0513E45F-4CA4-46C4-B43C-3ECF3ECFDD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a110e1d9f52987e82b463da0fc8533d1f07a5f46","datavalue":{"value":{"entity-type":"item","numeric-id":4032664,"id":"Q4032664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$C4F7484D-15DD-4A07-94F4-84E1436B6F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9b6c837d9448bc2b136325c331db8629ab4909","datavalue":{"value":{"entity-type":"item","numeric-id":3522248,"id":"Q3522248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$6DB679A2-9DCB-4169-8FB1-EC578C5E2702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd8a478cc62a99b91fe28e65ab091dda13e457f","datavalue":{"value":{"entity-type":"item","numeric-id":5724776,"id":"Q5724776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$58021DE7-29A0-45DB-955E-8D933B3C1ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72bce0021a20e6075192b92537623e64018b293b","datavalue":{"value":{"entity-type":"item","numeric-id":4099614,"id":"Q4099614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$DB72F0CE-5E1E-42D2-B936-07F73786F728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$BC4CF086-46EC-429B-8446-6973D8B37426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee172cf1bbc62eabf7dd1b43feaebcac6a2fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3886868,"id":"Q3886868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$A90ADE88-CD92-4A39-8F90-3EA1B53BA1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ece9f88a5860d659787874ff1cb3f2701585e7f","datavalue":{"value":{"entity-type":"item","numeric-id":4283246,"id":"Q4283246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$03F1B596-17D8-48D1-8FBC-75BABE27164A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$45638F0D-2AA2-4718-80EB-E426259ECBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db46c135b522d2647ebae377eabb84bb4a233694","datavalue":{"value":{"entity-type":"item","numeric-id":4237679,"id":"Q4237679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$4DF4E5FD-AE88-47ED-8384-5C2B09285ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dce3450310059b9470592f2eb0f3333952ce4d5","datavalue":{"value":{"entity-type":"item","numeric-id":3012539,"id":"Q3012539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$82211E10-429D-4141-97E6-351D773824F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f570a26a86f2bced5d4e19c2deb4dfc07202c43","datavalue":{"value":{"entity-type":"item","numeric-id":3830972,"id":"Q3830972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$76653635-9C9A-4A91-A2EB-7C10293B3C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce601de00ac162ba39b2f700a4afae564efe7cc5","datavalue":{"value":{"entity-type":"item","numeric-id":2765562,"id":"Q2765562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$2278B94C-0C13-47FF-A61F-7763ED476279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b46eb7f683fa78401af6eccc5467a299ff87b34","datavalue":{"value":{"entity-type":"item","numeric-id":1005958,"id":"Q1005958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$AD8D0721-ECF6-49EC-A342-20A770FC1AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8e99a87ff4d1a69386330e39cba9c4d4342217","datavalue":{"value":{"entity-type":"item","numeric-id":4394918,"id":"Q4394918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$DC7FBDD5-0A7C-444C-B58F-D2BACF116D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ba2ad790a03b271dd1f6c0e5ecae8389bec3f0d","datavalue":{"value":{"entity-type":"item","numeric-id":4946226,"id":"Q4946226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$32911990-44A9-4E13-8ED7-60124EF47D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa717f27e27ebdd1bef1d9020a47a8eabbf38055","datavalue":{"value":{"entity-type":"item","numeric-id":3091729,"id":"Q3091729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$E186C6F8-3EC8-44A3-9080-86633C02971F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43df6d7abb9f6800f09b23bed9fe6abc2c42768","datavalue":{"value":{"entity-type":"item","numeric-id":5251187,"id":"Q5251187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$D3DFB596-9A85-4439-B044-A92CCD1E09DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761227e28ec3092e559c7874757d0ce5e8b995d8","datavalue":{"value":{"entity-type":"item","numeric-id":4198749,"id":"Q4198749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$75261FA5-1A74-4F28-AD5E-F3340CF2E068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179008$C28B7E7A-A9A0-4CC5-8CE1-CA9775AFEF84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbe2295020baa9f8a033e82daa88549f2ff4a13c","datavalue":{"value":"10.1016/J.ENTCS.2011.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179008$4D302B47-1D53-46FE-BF3F-02DC6014C930","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f37d5ff1cb453660da13b604f1627e12771e32a","datavalue":{"value":{"entity-type":"item","numeric-id":5251187,"id":"Q5251187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"988ba8d586a28396b40b192403aae2ea1e6ad54f","datavalue":{"value":{"amount":"+0.7945249676704407","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":"Q5179008$E3B44045-0A06-482D-A480-C1FECB30358C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb95eaedcdc0ab4e7b96ea4ff37c76c7da83e4b9","datavalue":{"value":{"entity-type":"item","numeric-id":4237679,"id":"Q4237679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c085ce99d7898ceec3d43eef1ffc88c60dfced4e","datavalue":{"value":{"amount":"+0.7381331920623779","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":"Q5179008$8562A85B-F5CF-40D4-8EA0-F88493F389A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6287a1d68e12f09801489b946a15b2d058b3bf7","datavalue":{"value":{"entity-type":"item","numeric-id":3012539,"id":"Q3012539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33fc1d7478b3f05fdf4a45638f965953f0131423","datavalue":{"value":{"amount":"+0.7162560820579529","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":"Q5179008$1C6E46E4-DF1B-4832-97AC-9BE29B98F4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51dd06b8da364bf14f332f0f4056c56bca59a69d","datavalue":{"value":{"entity-type":"item","numeric-id":4946226,"id":"Q4946226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fddee530b060cb0eda82e41ff8045d50a413eaa0","datavalue":{"value":{"amount":"+0.708609938621521","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":"Q5179008$A74CFC7D-91A5-4287-878E-3736F239ED81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729ab2d852ea7ddab66cad7c4d64be59e4a8bc5a","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd49924ef9c05edbc5579df712886fcbd83e417","datavalue":{"value":{"amount":"+0.7052874565124512","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":"Q5179008$0868462A-556A-4850-ABFB-39C3A544F2BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5179008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5179008"}}}}}