{"entities":{"Q3003303":{"pageid":3014027,"ns":120,"title":"Item:Q3003303","lastrevid":58097073,"modified":"2026-04-03T19:13:39Z","type":"item","id":"Q3003303","labels":{"en":{"language":"en","value":"Semantics of typed lambda-calculus with constructors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900056"}},"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":"Q3003303$285C8F45-BCA3-439D-B18C-85685FC2CE3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"263326f08875f84516a07c6a369acb73f88423fa","datavalue":{"value":{"text":"Semantics of Typed Lambda-Calculus with Constructors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003303$48060C72-FF61-476B-B208-2A0A93A0B265","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea1a8b0275545a34223580a0a3891fa27fc7fec0","datavalue":{"value":"1218.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003303$95419D41-A535-449C-A684-2948557E84CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e71e1dbb344f0c27013c9e125a00dadb0f8b6de2","datavalue":{"value":"10.2168/LMCS-7(1:2)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003303$CD849E5C-3F1B-4D18-BAB9-8DD1E1816A53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61a4a3101962200d4129eb59dd3a57bf6b47e93","datavalue":{"value":{"entity-type":"item","numeric-id":2441512,"id":"Q2441512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003303$8CBF6695-6FCB-476C-84E2-16EB8D7338D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003303$CEAAF229-5F9A-428D-8580-A1F0D834A89D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003303$E6EB5DD6-544B-485A-A787-FB86877EE274","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40c2476bcbf01fe28ca7ed277a0844ce73cf0965","datavalue":{"value":"https://arxiv.org/abs/1009.3429","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003303$3DDC6194-CA77-4285-ACDB-F6E81D0F16A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003303$DADEC7A3-67B4-4AEF-8605-DD7544C63CDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63b8dccf66b4737f82d96a93d2e166664a8477a2","datavalue":{"value":"5900056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003303$8AFFD616-FFC6-4A23-92E1-481B46C06C6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003303$953ED2E8-CA89-48D5-8592-78C43822B895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003303$473B090F-A092-4BB7-A6C2-17BE51B4AD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003303$DBF1CCED-FCA3-4E97-936D-C7F33A45CBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8bb84bd86abec9f57c8cf048201e810211b8ba","datavalue":{"value":"strong normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003303$6EF5CBDA-07DC-4321-A76E-8A01D2C1B403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d35f71b2feeef33ab46de91b2f82b629e259d0f","datavalue":{"value":"reducibility candidates","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003303$18357377-92FC-43DE-941A-D7189B51CF3F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003303$00156059-B693-43EB-B955-FB3EEBC15C74","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":"Q3003303$D7E85E87-7AD8-46FA-B75A-8E009FC77EC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55615640391df20424701e08354837b4a4bffeff","datavalue":{"value":"W4205386752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003303$7BD9B0B0-AE36-42A2-B93A-9AF0EDE0677A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056bfb2f51a0a06e2d368d57fc4be0778ae53331","datavalue":{"value":{"entity-type":"item","numeric-id":3637198,"id":"Q3637198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c64e71ca18cb16e9ea76782419514b9f765143","datavalue":{"value":{"amount":"+0.903945803642273","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":"Q3003303$AA08203D-E8A7-4DA1-AEBA-1F8B19A5731A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25874115f7b5639622ddada8abaf228c3ee7bf7f","datavalue":{"value":{"entity-type":"item","numeric-id":3527294,"id":"Q3527294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1626cf86cedff38035df3c3ba7807ed3ce74816","datavalue":{"value":{"amount":"+0.7917222380638123","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":"Q3003303$491275E4-1F71-4B44-908A-BA1DDBAD1A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d57fe45543f6360e93699ba7881bbf2282b8c19","datavalue":{"value":{"entity-type":"item","numeric-id":3644936,"id":"Q3644936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5e4f41f99d26474f2847c1bc56826d71bc0fe2","datavalue":{"value":{"amount":"+0.7798770070075989","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":"Q3003303$319920F5-1D27-4840-8122-8D97CC5CFF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a715d38b9608064b19a7f411bef7ba6321fa368","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee472fa3d91dba03298fe3e852dd0d8ecafa0614","datavalue":{"value":{"amount":"+0.7755928635597229","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":"Q3003303$4ACAB5EC-5C48-4F05-8997-E0D6D7232B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f73781220a078ccd8c80092e662d084531b7eb","datavalue":{"value":{"entity-type":"item","numeric-id":2639842,"id":"Q2639842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f563b4225cba4869d9ccbfca24c3bee954c567","datavalue":{"value":{"amount":"+0.7737838625907898","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":"Q3003303$8B17BA7D-E872-4BD5-9538-2CBC12D13138","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003303","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003303"}}}}}