{"entities":{"Q1814846":{"pageid":1825588,"ns":120,"title":"Item:Q1814846","lastrevid":73021434,"modified":"2026-04-14T09:26:41Z","type":"item","id":"Q1814846","labels":{"en":{"language":"en","value":"Isomorphisms between the coherent models of the lambda-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 940886"}},"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":"Q1814846$60A6CBB3-E49C-4803-A5AB-0774D5531DE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97d6353f633b731a954defc6fe37e74181da6515","datavalue":{"value":{"text":"Isomorphisms between the coherent models of the lambda-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1814846$66356D47-4470-46D1-85D2-E36B0F04871C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95512d8bfa81f2dca543c1681441a319e9c2ae20","datavalue":{"value":"0864.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814846$252254B6-4302-4424-B9F8-F6ECE7361C99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c9994e22132749d99397bc99150caa21bed2ae3","datavalue":{"value":{"entity-type":"item","numeric-id":457561,"id":"Q457561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814846$A890D851-5447-45BE-AB1C-403D21C202BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"458fca2b56f2582953e7095ef1b99c53dd52a001","datavalue":{"value":{"entity-type":"item","numeric-id":547811,"id":"Q547811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814846$32BE3077-3A90-41C7-8E8B-F73D00D0BD13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3556926a7495ff0c5ad9c786087e5ca19eed455","datavalue":{"value":{"time":"+1997-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1814846$221DF3C1-77D4-41B8-AE9F-A236B2780896","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814846$C43FFBBB-F0B4-4D18-B68C-8FADDBC5CDB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1db4942b00804bcfc89b8f4b55a082647cdc376","datavalue":{"value":"940886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814846$7030259A-083E-4C91-925F-66E734664C53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"573ddadb7773738024a9fbd7e9e8d95dc85a058e","datavalue":{"value":"coherent model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814846$C233DD93-27FF-4BEE-A932-4C2A05CEEAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814846$A9443230-82FD-4B26-BE8A-870469C8B66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7004ea3c45e788d894ca43ad9fb77d664ad32ef0","datavalue":{"value":"automorphism group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814846$69046FBB-5150-4A62-B5DA-EFE196491FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07f85129e5a74252a21c1c1a16f98e8c7008066e","datavalue":{"value":"permutation group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814846$F5778489-7BDB-4B11-8C9C-1834F38F7D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1330dc1334d924f72883a606ea41b89c71671dbd","datavalue":{"value":"BF(E)-models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814846$BA9A62B9-5FD4-418E-BADF-78A270FFAA23","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":"Q1814846$CA35BB27-50DD-47CE-BDAA-FD229D5F6FB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f578a1911c171ed88013402739343665af97e53","datavalue":{"value":{"entity-type":"item","numeric-id":3360838,"id":"Q3360838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a66eb4cd7c3b64e91a02b4b761f8e85d097e102","datavalue":{"value":{"amount":"+0.8046668171882629","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":"Q1814846$66FAF328-075A-48EA-BF9F-C955E1B4F57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0528e2eeec6f4c281f444c79634703e0cc4d701f","datavalue":{"value":{"entity-type":"item","numeric-id":1580649,"id":"Q1580649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c016b98437afe5b2a78d9c077aeeed2c29d74b8a","datavalue":{"value":{"amount":"+0.7441018223762512","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":"Q1814846$AD5A89E4-80BF-4C06-9472-F9F972D5E4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b79f31a9aa15e9f0e8aa978ed9a3a4a3b49601","datavalue":{"value":{"entity-type":"item","numeric-id":3221959,"id":"Q3221959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c016b98437afe5b2a78d9c077aeeed2c29d74b8a","datavalue":{"value":{"amount":"+0.7441018223762512","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":"Q1814846$5D76E80C-D4B5-4B2A-AC9B-8749389D1776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596d28f353fc493c81ee47c97c99ebafcf63d9df","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d94ef015176b5db07bc1f7f7207b5deaa1ea8c2","datavalue":{"value":{"amount":"+0.7358760833740234","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":"Q1814846$A95BFA3D-2F9A-4C2D-94A3-9D33B6C6C855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e81a7174a1ef4613d63d76e76175dfccb179833","datavalue":{"value":{"entity-type":"item","numeric-id":4991956,"id":"Q4991956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58364edc49c474a27a94652342654fbe7ae4c9d","datavalue":{"value":{"amount":"+0.7186293601989746","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":"Q1814846$498CB190-2B88-4B5E-9A85-3289E0E387DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isomorphisms between the coherent models of the lambda-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isomorphisms_between_the_coherent_models_of_the_lambda-calculus"}}}}}