{"entities":{"Q1356979":{"pageid":1367718,"ns":120,"title":"Item:Q1356979","lastrevid":68700777,"modified":"2026-04-13T01:31:50Z","type":"item","id":"Q1356979","labels":{"en":{"language":"en","value":"Kripke models and the (in)equational logic of the second-order \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1022205"}},"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":"Q1356979$E5782D56-E222-4AD2-8D2F-717FDA6AC460","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2148700c647e9505cbcd833cbb883106b899a677","datavalue":{"value":{"text":"Kripke models and the (in)equational logic of the second-order \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1356979$D9F025DF-C3A1-4755-812C-4EE4EED3282A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c523f160470c538a7fbe1f121d705ff24b50d7b","datavalue":{"value":"0873.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356979$21642D70-4BE9-432F-83C2-DA00E964ED86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"959b2ee3c234bb28e62e238a2b79305911004404","datavalue":{"value":"10.1016/S0168-0072(96)00039-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356979$58F6FBCA-04D2-493A-A69B-F9F95F659FF8","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":"Q1356979$1DB9E6F4-4A79-4DEF-B831-D34FCF81F9E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e939ca6c7add40c971d493dfafac5fb568b99d8e","datavalue":{"value":{"time":"+1997-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1356979$7775D56E-960E-4C16-8D8B-1242B1693DD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356979$5842D0CC-42D9-48D1-82FA-A66C9E01A2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356979$4EC3876F-1CEE-4665-9FA5-C350894CC650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356979$08DD0EF6-9ED9-4027-9DFF-AE47F4BD1DD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fe3ad96ac20a20ea83a00b544f3fffdc375837f","datavalue":{"value":"1022205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356979$E34F804B-3A19-409F-ACB6-5D8BD6C9004E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356979$52580FC4-535C-481B-B26B-6BD143EC0867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9168a78ecc72716f6c4bac412ea5f930139f49bf","datavalue":{"value":"rewrite rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356979$46A96577-BD19-4C95-81D3-59901D800032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bcee3f81e6741695ab88a0cf63a03383d19305a","datavalue":{"value":"second-order \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356979$65201BEA-3BFE-47E3-9F8F-23DD9E2FB58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356979$6A2A463C-6431-490F-AE26-81198AE2489A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356979$A2D72DE7-210E-4AEA-A436-A6CD09AC65EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356979$0D0BAF7E-6C0D-47C7-B326-05CDD058AB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99dcefb52ae4954b255af60bc8280a5163401a38","datavalue":{"value":"inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356979$E0834A3F-F48C-40F1-B90B-48C15CE8C5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e8516f10c520b1844003778699c0bf661bde222","datavalue":{"value":"equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356979$B82BB010-86A3-49CB-876A-B0AE6C09CEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f9770498406da8366c1f7572c880f47ff063c1a","datavalue":{"value":"category of preorders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356979$A54ED5EC-997A-4157-96CC-09638E9F6E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78fd5b86bae17eba6d84c01f7d8d6034e2cdd96f","datavalue":{"value":"exponential of functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356979$7377E9EB-7D6D-4DE4-9102-31A9A466650C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4136ae7537e2c7c84a5148a234f440a7f660392a","datavalue":{"value":"Cartesian-closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356979$A9CB8F33-E3FB-4114-AD65-5994EC15FC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da379a88bde1864c002476b98579917d48414d30","datavalue":{"value":"type abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356979$F8F49A67-B33D-44CE-BC81-EA954E314DE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356979$15356677-B845-49C8-AE39-5A3702ABB2E8","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":"Q1356979$4FE69CC7-A097-471C-9548-FDCA7EFFB93E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0550b530044499c9f631ac5917a28b2702c1ee71","datavalue":{"value":{"entity-type":"item","numeric-id":749518,"id":"Q749518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356979$4DDC994A-A39E-42D9-8E86-7F3413B9BC67","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":"Q1356979$59C4EB75-19B1-4F02-82AB-31E89DBFFC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356979$773B1CA2-3816-437A-B38F-8E6F34D791E7","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":"Q1356979$F4E2E6C1-04B6-4069-8A71-18357227A900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356979$6E549AB0-25FC-4C82-B728-5237FBB4E2B1","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":"Q1356979$4D42ECB5-49DC-40B1-BA5D-7E52F91E3FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd7141de1460cb4e482a5b2d5e472a00fe45932","datavalue":{"value":{"entity-type":"item","numeric-id":1186431,"id":"Q1186431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356979$47B40B18-9B77-42DC-9830-CBDF060CE4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356979$EDA5CE0E-91C0-430E-A78F-03817455FB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492542c2fa16745b6c1ab27c66663c1aea1182a1","datavalue":{"value":{"entity-type":"item","numeric-id":804559,"id":"Q804559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356979$3ED42BB5-BEC0-414C-8E9C-9FB2676D189B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356979$9A5F062A-7415-4BBE-8C04-54C7A51753D7","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":"Q1356979$1D883F27-8DBF-493B-96AB-B9F4616BE0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b225773fe3bae5d0d1a4a5da3e29136b70567e8","datavalue":{"value":{"entity-type":"item","numeric-id":1322480,"id":"Q1322480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356979$7A568FD7-D8F5-4936-8DD1-E58297B01E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777260a5123151297d232c2d79bc36758c0492f6","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356979$92378F10-6005-499E-B5F4-3FA402EA6D93","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":"Q1356979$FEB642AC-66A4-4D39-AB99-C6D5FA3A9DFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a83f202fa5c2c8b6637236a39a2e815a889e45c","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(96)00039-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1356979$FFC6646F-45D1-4680-AF58-0D164E478F67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b46309326f1ee2eb60f2c53e1e5c8fe5e2c42db1","datavalue":{"value":"W1985397485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356979$354238C0-B213-4C9F-BAD3-94001FEED512","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a1665698094e5caeba6cdc014c277177c30f4a","datavalue":{"value":{"entity-type":"item","numeric-id":804559,"id":"Q804559"},"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":"Q1356979$8ACCBE3E-562F-4CA2-8FE5-A195730CAC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d4100a26ede17f3cee25ab86916e0babdd41f8e","datavalue":{"value":{"entity-type":"item","numeric-id":4006235,"id":"Q4006235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92808187d2a5e7355c4216c7177f60815f06b17","datavalue":{"value":{"amount":"+0.7920893430709839","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":"Q1356979$7F1BCCC8-2270-41D4-A7BD-8F23548929E6","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":"1f49351f1f8b97c334731d59c2d338937d0c4df2","datavalue":{"value":{"amount":"+0.7808660268783569","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":"Q1356979$48CBC430-AF9D-4EB4-8B0E-C90C61A76550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec631c05321dbc7306e9c1d245bda028c4260410","datavalue":{"value":{"entity-type":"item","numeric-id":5096261,"id":"Q5096261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b10bffdf26500b3977cf2af188de4e952576f93c","datavalue":{"value":{"amount":"+0.7645611763000488","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":"Q1356979$A87BC404-625F-402A-B875-DED3FA238181","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kripke models and the (in)equational logic of the second-order \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kripke_models_and_the_(in)equational_logic_of_the_second-order_%5C(%5Clambda%5C)-calculus"}}}}}