{"entities":{"Q804559":{"pageid":806407,"ns":120,"title":"Item:Q804559","lastrevid":49504672,"modified":"2026-01-07T09:05:53Z","type":"item","id":"Q804559","labels":{"en":{"language":"en","value":"Kripke-style models for typed lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4202234"}},"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":"Q804559$4992C5A0-C390-44C8-A71F-A2C0777AD340","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"632b6353dd756a3c76af9b3740179a5e80418d67","datavalue":{"value":{"text":"Kripke-style models for typed lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q804559$34F07267-5E22-4FC5-AC13-F20DD1A594CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ea3e1b300506803e7307dd2034333045667f951","datavalue":{"value":"0728.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804559$BCEC15F6-310A-4AF2-AE18-6B1FD53CD345","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1a4332480149b81b739c1bd80953002d34fd52d","datavalue":{"value":"10.1016/0168-0072(91)90067-V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804559$D0C62CB5-AA2D-4FE5-9097-9CDFAD119267","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7b0bfbbcf5657a8b101c8d9d79e6747c41c0556","datavalue":{"value":{"entity-type":"item","numeric-id":276486,"id":"Q276486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$761FADED-E8C4-4BBE-9090-6C95743BAB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d67ab1b2e03f8f419b2b30d0b67a5844940e3455","datavalue":{"value":{"entity-type":"item","numeric-id":615954,"id":"Q615954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$9EFF0FD0-3402-4227-B55C-717242983097","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$D16645A3-CE72-4038-9F55-26754F9BEA3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q804559$5B416DF6-27B8-44BE-837B-A2D18F60BCE7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a55ee8330a50ef36083d7cd103ce65eb9b335313","datavalue":{"value":"As an extension for usual Henkin models, Kripke-style models are defined for typed lambda calculus. As for the relationship between the models and Cartesian closed categories (CCCs), every Kripke model determines a CCC, and every small CCC may be embedded in a Kripke model. Kripke models are Cartesian closed subcategories of the presheaves over a poset. Strong completeness is proved for Kripke models: every set of equations that is closed under implication is the theory of a single Kripke model. Moreover, the notion of logical relations over Kripke structures is developed, showing that every theory is the theory of a model determined by a Kripke equivalence relation over a Henkin model.","type":"string"},"datatype":"string"},"type":"statement","id":"Q804559$DC49928D-3673-493D-A211-C7BE60DF286A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804559$AC95CC29-BE9A-4854-AE36-B4E61821FEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804559$61F5144D-1E02-464F-8A38-5B302C6CEFC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fbcc02aabe20d90a175e2138c473e72d1349fd5","datavalue":{"value":"4202234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804559$D52F67E7-BD98-401A-A676-5F890F4CCC17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q804559$583FBF57-FF1B-4E22-9114-D5C0D9C523BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q804559$1C3837AE-ABF7-4F7F-AFCA-F4A5A61E9A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q804559$A86CB73E-BB7B-47AE-A4FB-04FA8B0B0B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q804559$A7714317-72EB-493E-949C-C013231BABBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f788b0d37bcf838c672f6a2930ca92330cb6957f","datavalue":{"value":"logical relations over Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q804559$2C236B7C-1186-49FB-9A4C-A816F3635F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"775227bb73079640d8b4d57f94433ec19b50020f","datavalue":{"value":"Henkin model","type":"string"},"datatype":"string"},"type":"statement","id":"Q804559$6A7DA4DF-F512-4C25-A399-FC4C934020C9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"28250893069e71fafa8867acc0bc3bea3a755b06","datavalue":{"value":{"entity-type":"item","numeric-id":1055195,"id":"Q1055195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$1644D90F-47DE-49FB-8686-EDAE8C958476","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":"Q804559$F6E6D922-FC11-40C6-B8CF-EE12E718182E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$D6037003-8EEB-4CA6-8158-A901F6FC8687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8f68f9e78bb6a5d59f21b1f2cddad1744eb2f2","datavalue":{"value":{"entity-type":"item","numeric-id":3659782,"id":"Q3659782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$2EA36985-2AC3-44E5-B9FA-3F16AFFD849B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$8B7424B0-7078-4549-8698-0C018D13508E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c583b65c7819a91d7f03c50f27e11283eee826","datavalue":{"value":{"entity-type":"item","numeric-id":3962973,"id":"Q3962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$2EE606FB-64A8-415B-9DB9-EA41247A4F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cd5ab5a5ea5c6193197d3df0f1f914a278f076","datavalue":{"value":{"entity-type":"item","numeric-id":4430286,"id":"Q4430286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$810C3EC8-9C04-48E8-9FA5-011ED5B01E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$EA808914-1D29-40C3-A008-72B06D7337DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$F6AB83FF-DE8C-404A-B65A-B3B5C1597546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ace66fe0c4cd62691edd231304d8897fcb4d1ec","datavalue":{"value":{"entity-type":"item","numeric-id":4128535,"id":"Q4128535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$D42F8243-C8E9-4E31-BA18-9BD3E5AC0A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf083bc541bf0c234dcd141ce046a20f00fdfad","datavalue":{"value":{"entity-type":"item","numeric-id":1139120,"id":"Q1139120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$48E9ED51-56C0-42B6-BAE5-E4B2FAF3B060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$AC27B2CD-2031-4148-9CD9-CC9482511EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ad9da17a866aedbb1fcb0b1b80324ca70c7695","datavalue":{"value":{"entity-type":"item","numeric-id":5619069,"id":"Q5619069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$DF1EACB2-F46F-4715-99B3-C4163444600B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7e43f784716a014f37546d3a4d6870aa0b11fe","datavalue":{"value":{"entity-type":"item","numeric-id":4744243,"id":"Q4744243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$6F280870-4EBF-45D5-BE68-DD5A6EB94D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1db2d402ff5c6f889baeb52606e979869a2ee1d","datavalue":{"value":{"entity-type":"item","numeric-id":3719794,"id":"Q3719794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$AAB96AE6-0F7B-4EF6-9790-5B31A780C27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$882DF288-286B-4B0B-9393-5B3DE2EE12C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774822eedcef03842f356259260ade0204086937","datavalue":{"value":{"entity-type":"item","numeric-id":3947643,"id":"Q3947643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$5CE02E0B-B0A7-4D25-8E16-410440711C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401b44bfd7fc7c59d63d94a30d5811741cc99581","datavalue":{"value":{"entity-type":"item","numeric-id":1073004,"id":"Q1073004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$40350FA4-7E30-4914-BAD4-25DABAD5DD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$E6B1FB65-B582-4436-8F53-1EAAC5137FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd28c12456284672020a3edcf055a9fbd86ccecd","datavalue":{"value":{"entity-type":"item","numeric-id":3707398,"id":"Q3707398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804559$93F4CA42-B3D6-4A47-8744-8EA049873935","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c561b53db804a457c959caf979b5f4184a83145","datavalue":{"value":{"entity-type":"item","numeric-id":3827990,"id":"Q3827990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb0fc756115459d0d3d8b9845592b5d078d5c10","datavalue":{"value":{"amount":"+0.8692188262939453","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":"Q804559$FB9AC189-8993-4825-95A1-CCB77DDB9DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c01be75160e4b81e064094feb73a4345171196b","datavalue":{"value":{"entity-type":"item","numeric-id":1356979,"id":"Q1356979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16c6a22999fc27c4616866a386b7846503ac9cf","datavalue":{"value":{"amount":"+0.8096494078636169","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":"Q804559$7478ECEE-C5F1-41FD-BDC9-94A36693547B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2aa8f06de91161a2843c45ceb2230bc87a842e","datavalue":{"value":{"entity-type":"item","numeric-id":3066102,"id":"Q3066102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8907727b6116850d303f007797bf75b7275a474","datavalue":{"value":{"amount":"+0.7974753379821777","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":"Q804559$2BBB4972-06A7-4946-9D64-FC42FB060D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a64f9fd6f1e5409551a26ee49cd56f091134dfb","datavalue":{"value":{"entity-type":"item","numeric-id":3714050,"id":"Q3714050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ba31a82508371fc06655e34e20985fb8e3f1c4","datavalue":{"value":{"amount":"+0.7919366955757141","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":"Q804559$1E996615-6036-4DF8-BC43-3BA6625330A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090c7f1df58d9c25198f3dbf945015c18259729c","datavalue":{"value":{"entity-type":"item","numeric-id":3714051,"id":"Q3714051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5622b64509e17d3d74dc766abb7713c0b7a6f722","datavalue":{"value":{"amount":"+0.7810509204864502","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":"Q804559$B857958D-B3AA-4256-83C1-2BA66DCE996C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:804559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:804559"}}}}}