{"entities":{"Q4267723":{"pageid":6297324,"ns":120,"title":"Item:Q4267723","lastrevid":46775166,"modified":"2025-12-25T13:56:17Z","type":"item","id":"Q4267723","labels":{"en":{"language":"en","value":"HOLCF = HOL + LCF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1347959"}},"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":"Q4267723$5A438DFC-C7A7-4C4B-98DE-ACFB9679DB89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72777b9c673da0ba295cc7c48c9d8c03764c2cb7","datavalue":{"value":{"text":"HOLCF = HOL + LCF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4267723$DCB150F6-83DB-412E-9D8C-F27235A1B94E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1eb3160fc01ad50d3c366c78d26f584c5653b7ce","datavalue":{"value":"0933.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267723$3FECDD64-23F1-4E73-B12C-0107D563D323","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f016e49bb2c236a13e6530490ca35df66f1c4ec3","datavalue":{"value":"10.1017/S095679689900341X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267723$CDD63BAF-EFB2-45FA-90CA-7EBD489B2599","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c976b8b3a5d0d2cd6a0899fab77bfcb20553a9","datavalue":{"value":{"entity-type":"item","numeric-id":1583741,"id":"Q1583741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267723$EB976887-E89A-4A53-BEC6-07AF9EF70A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267723$6ECD075D-C388-41C3-A96A-2099E33E1605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"922ae95e156193bf43196b5e76a08bd2cb8e81fc","datavalue":{"value":{"entity-type":"item","numeric-id":2752049,"id":"Q2752049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267723$25D22A10-6D8A-41D7-8ECF-85DD495DADA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9331ac54e779b0289919c3bc55387f6a4e4a4eaf","datavalue":{"value":{"entity-type":"item","numeric-id":2729069,"id":"Q2729069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267723$D9399CFE-FE3D-4FE5-8A80-EB172BBB157D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267723$D34A2B8B-3D65-48AB-A8BC-DE6C3B2AA4AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17efae152c5b59503115bb21d795e62311ef5a22","datavalue":{"value":{"time":"+1999-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4267723$93EE7688-72FF-4AC1-994C-54ABD4968672","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267723$1D34D6D9-C242-4157-9213-51506C1B38AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267723$85FCCEB6-6EB3-4B26-81A8-084B311C1F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267723$69926C2D-4082-4FBB-B11B-C9DA7266C9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267723$08C3F970-65B4-494C-AC1E-B3DF4702400B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5061012f129466987bca472473a2e353a281ffc","datavalue":{"value":"1347959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267723$C6220891-D7F3-4A12-AC2F-6388FADDE3B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa0c89b1012137c169ee7a00acd21cf10e09c07d","datavalue":{"value":"HOLCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267723$308EFD0C-F584-4F50-8E46-FCB09B935709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0de37930e1e519ee1b5c8bc079e9607cedec0aa","datavalue":{"value":"Church's Higher-Order Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267723$38425519-3861-4055-8D72-8C317D13220F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53573a788c203fe0722e6d7cd600ae6fadb0e6e5","datavalue":{"value":"Scott's Logic for Computable Functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267723$ADC52E79-065E-4877-B727-3D34DEA94A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267723$D79872CD-6931-408A-AF47-46FA72AF4C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267723$E1039E08-A79E-4376-902D-FA6697646660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267723$0D7D1969-7E7A-42AE-89A8-2D9B32A80661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267723$B10A5CC8-C68D-4FE2-98D9-14BF573641FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267723$07FC1217-5159-431F-9904-B4B922347FEC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267723$08925F1A-85D0-4052-B261-7F1EBC7DF8ED","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":"Q4267723$F95B3FB2-5EAD-4AB2-9483-0A43DC4C54BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6975582c6d1826b18cd22a84a705adf2167bcc5","datavalue":{"value":"https://doi.org/10.1017/s095679689900341x","type":"string"},"datatype":"url"},"type":"statement","id":"Q4267723$145228B6-3A7D-4A1A-8B0A-F096B78928B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9f796d4110a23c79c80d9356ef9054fb03a06d3","datavalue":{"value":"W2113426200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267723$8DAF8F6A-41CF-44CD-9FD8-4AF77A14D681","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60426e5739f83e401a40414b0864841d3d924e4","datavalue":{"value":{"entity-type":"item","numeric-id":3024884,"id":"Q3024884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b009e244026fb6b04766f2c4bd94e717a5b9ea","datavalue":{"value":{"amount":"+0.8814864158630371","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":"Q4267723$5C93F9BD-9B68-4EE3-B9C2-8A05DE7834E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9c1e417f115e28e688b9ba3a2b728252feb724","datavalue":{"value":{"entity-type":"item","numeric-id":3487318,"id":"Q3487318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d599c2a3f48125bd1cf3acb73523a22390a1886","datavalue":{"value":{"amount":"+0.75803542137146","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":"Q4267723$D6E9AD4E-7391-446D-ACCA-DABA47F4EA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc48efbdeee56bca3f2742f8b5286de45a51ffc","datavalue":{"value":{"entity-type":"item","numeric-id":5477652,"id":"Q5477652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ea7707f7b53d1a93ad628e44b1caa31e0d27e78","datavalue":{"value":{"amount":"+0.7509202361106873","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":"Q4267723$E6B41319-CE6F-4101-BC57-2C503C4E8733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b675de94614d42de3721ca8b178a73fd06c537","datavalue":{"value":{"entity-type":"item","numeric-id":2915704,"id":"Q2915704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f02ae497884b5444e9e5c05e1bd291795c0da93f","datavalue":{"value":{"amount":"+0.7501176595687866","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":"Q4267723$174F99A8-3E8B-4E53-B2D9-4B78DB925AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880184504bd47d4aab173f44873bb04dbe6f5cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1309243,"id":"Q1309243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c56c6926ce64a6ee45199a3d8da2fdf09da2bc","datavalue":{"value":{"amount":"+0.7468050122261047","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":"Q4267723$EAF970F9-AFB9-4C5B-A6CE-5032B4303B32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4267723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4267723"}}}}}