{"entities":{"Q1813498":{"pageid":1824240,"ns":120,"title":"Item:Q1813498","lastrevid":42217844,"modified":"2025-06-02T12:05:07Z","type":"item","id":"Q1813498","labels":{"en":{"language":"en","value":"Can LCF be topped! Flat lattice models of typed \\(\\lambda{}\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6518"}},"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":"Q1813498$8718A6F2-39AF-4A41-B873-6B4DFD76D36C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9420459a56fddd7d54ebc8f0beb60c745f5c1bd","datavalue":{"value":{"text":"Can LCF be topped! Flat lattice models of typed \\(\\lambda{}\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1813498$1A92BD42-0E2B-4CB1-AFE3-D2DCD8849928","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"364e16f0cecbc646e865724ccd60654fa3273b41","datavalue":{"value":"0825.68447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813498$6EBCC3BD-BDF4-40EC-B03B-162598772E87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8afb23eb492bb7eb953df0858f2cd30f967a55f6","datavalue":{"value":"10.1016/0890-5401(90)90064-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813498$7433C164-AF4F-48D1-9A94-FD1F00FEA5C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4980e1debf1992f0f9eac75eba29af68208bded3","datavalue":{"value":{"entity-type":"item","numeric-id":673122,"id":"Q673122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813498$631D21C6-6CB8-4B54-9D30-2E609D85AFD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813498$308EB474-AFF9-4982-A47C-6E8431E98E98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1813498$EE56E45F-4AD1-43E3-963B-DA3CB0B2B725","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813498$AA6AE421-DC85-4D0D-A615-5732E3B8434F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813498$8ED82C45-6712-4679-A8AE-8A566A69879D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3afd568d8b6021829ca30b1289ec192da473f13e","datavalue":{"value":"6518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813498$A4337810-6CA9-4837-A569-DEE009229288","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":"Q1813498$D3812346-91FF-48A0-B062-5C8B2EA2360D","rank":"normal"}],"P223":[{"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":"Q1813498$00F5955F-EA02-4AFF-BA91-870EB66B8768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d357a0359359f800317bcc63c36bf1381fbc16","datavalue":{"value":{"entity-type":"item","numeric-id":3741042,"id":"Q3741042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813498$F7647A48-D244-4524-9901-BD571A896F4C","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":"Q1813498$BB8804AE-D78A-4429-9228-056CA228FEAC","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":"Q1813498$ACFC1876-F938-4A1A-A087-12C5C21AA269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813498$C30111A2-2283-4E60-8CE6-1EAF3FC1478B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c2ef8a8cb311224eb2dd2c8960d6898506427f","datavalue":{"value":{"entity-type":"item","numeric-id":1095880,"id":"Q1095880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813498$FF3D4658-C650-4A78-91DE-6B51ABFA2D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa1f1e22d14a969b6d4920214406059e190ad35","datavalue":{"value":{"entity-type":"item","numeric-id":599804,"id":"Q599804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813498$77D74427-8936-4BED-8082-79D7577BB211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813498$7F987B25-4D4B-436A-AFA8-D92FCF62C6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813498$6688A442-7DFE-4930-AB77-B894F4B784CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813498$FD0F2F94-1888-4715-B392-A99289A4A85F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1813498","badges":[]}}}}}