{"entities":{"Q5267440":{"pageid":7297016,"ns":120,"title":"Item:Q5267440","lastrevid":100555211,"modified":"2026-06-05T22:25:59Z","type":"item","id":"Q5267440","labels":{"en":{"language":"en","value":"Higher-order pattern complement and the strict \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729817"}},"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":"Q5267440$C7D119F2-8B0D-4A23-90EB-3962FFE4FFF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6a939735297b72d412d7d6efde7179e19c5c7a5","datavalue":{"value":{"text":"Higher-order pattern complement and the strict \u03bb-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5267440$F200AC47-C1DE-4404-9E91-522453CC3882","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"476ddf668c307ca57909ddc3782fbd12aa87d5fb","datavalue":{"value":"1365.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267440$CFF85C45-E565-4088-B73C-376229F046A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"965aeffb4d03e4a4d5b73f74cab98654d53b4152","datavalue":{"value":"10.1145/937555.937559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267440$3B1C8429-6DE1-402E-8C75-B473F2949D83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8135914452c3b1bd839ce74f3161ea4765c65f58","datavalue":{"value":{"entity-type":"item","numeric-id":287276,"id":"Q287276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267440$E250F573-51C5-4ADC-90E8-91D1302EC929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267440$2399E862-EA8D-4FA9-BF99-8889CD5939D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267440$4141B4DB-276C-47B7-B20D-B4CD7A303A25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5267440$5DF32773-2B60-40DF-B843-47FD05ABBEF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8b6af242c4cc3a8bdb01e509de8e4316dbf81a3","datavalue":{"value":"https://arxiv.org/abs/cs/0109072","type":"string"},"datatype":"url"},"type":"statement","id":"Q5267440$6FE78D63-1115-4E5F-A411-7D7FCCD8FD7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267440$D28CC739-72A9-49FE-99CC-7F72A65AC175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267440$23B6CACF-D0B6-4A5C-849A-57456BEFE002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267440$970FA345-9A82-4310-AA1E-EF100095C131","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"866f73c22600e7b2ab400f49f053c1ed9ea379ec","datavalue":{"value":"6729817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267440$2268A63A-A3CC-4F31-A7D9-7E9308D8EE4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5609a50c85bfa2ac7f5fa4c3f0144026334fa5d6","datavalue":{"value":"complement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267440$33D37135-A745-4FDB-9037-5D8B3F364866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ad642d2813eee2a994e43b3b9490128acbb130e","datavalue":{"value":"higher-order patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267440$ED87C16A-2A3C-421D-95A0-92BDFBBC5A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eb60728b8755ed91d753671bd30cd725a13e87b","datavalue":{"value":"strict \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267440$D77B6173-009D-4BFE-AFC2-842625F7F176","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267440$5AFEC88C-429B-4C61-B1C6-A44A6D3416A0","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":"Q5267440$4AF23C33-DA47-4D97-B551-89F3DD5760C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57644d1a68c5849cbe1c43a7da70f110df2c10ae","datavalue":{"value":"W2077870744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267440$B462DD01-5769-47F4-9869-B9AB56E528DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48cf5138ed6d167d90e9a1bad25e4a636e33e997","datavalue":{"value":{"entity-type":"item","numeric-id":930865,"id":"Q930865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f187b57d08225489ef1f0c067714ee5b4f3ac101","datavalue":{"value":{"amount":"+0.7348859310150146","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":"Q5267440$9A4E7EFB-3373-44DA-B3F0-EB4F19A27498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357040841b6bd18fb9d302a090c8f4eddd701d05","datavalue":{"value":{"entity-type":"item","numeric-id":5044750,"id":"Q5044750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8acc5eff8da9ed12c3756453306176edc372a39b","datavalue":{"value":{"amount":"+0.7282049655914307","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":"Q5267440$A680E38D-4D11-419A-9483-CB6CE155B65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"365eb4f08379941e08bdc557b553311512ef4e9d","datavalue":{"value":{"entity-type":"item","numeric-id":4780213,"id":"Q4780213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3a144ecb9d93e3ab66d5bf65e86f590b223153","datavalue":{"value":{"amount":"+0.7246803641319275","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":"Q5267440$C0F6604C-D96F-49B1-B82B-F17BBAEF70EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fce87e1e4581922017d2f5560c916cadcfe98fc","datavalue":{"value":{"entity-type":"item","numeric-id":5055872,"id":"Q5055872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9da1400152cd9ef79c405674185893620108a15","datavalue":{"value":{"amount":"+0.7221097946166992","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":"Q5267440$07D6F96A-19C6-4CE3-BC85-201A707A9E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ed2f867cb44be11e0a99bfc40cbd07d51a0a32","datavalue":{"value":{"entity-type":"item","numeric-id":5713937,"id":"Q5713937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17edbe55c90b15e8e318f06927820b53d6866282","datavalue":{"value":{"amount":"+0.7211484909057617","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":"Q5267440$41B7E63F-C353-4529-8480-7F0B1E44F1EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher-order pattern complement and the strict \\(\\lambda\\)-calculus","badges":[]}}}}}