{"entities":{"Q5277728":{"pageid":7307303,"ns":120,"title":"Item:Q5277728","lastrevid":58524090,"modified":"2026-04-05T14:30:22Z","type":"item","id":"Q5277728","labels":{"en":{"language":"en","value":"An elementary fragment of second-order lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743971"}},"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":"Q5277728$1421DF20-D8CF-4F46-B6AA-0CD04F9BC27F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e90d8106a6bd927ea15495ad31678f1b6b8c0da3","datavalue":{"value":{"text":"An elementary fragment of second-order lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277728$30441BB4-AC4E-42C6-AB2C-313F36784C97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb47469c58592194c3088c11eca335295498b9ea","datavalue":{"value":"1367.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277728$7029B93B-E469-4EF0-9544-AD4CC71FF8A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9af5fd87af84002eb76d25f6fab4139b66aebd62","datavalue":{"value":"10.1145/1055686.1055695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277728$B6018E6E-E48B-477B-B69D-C146CCA6B202","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb8c6d7991f5202e4a9f96d80547d6992e4ea57","datavalue":{"value":{"entity-type":"item","numeric-id":636309,"id":"Q636309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277728$296B1E54-AA00-4E60-A595-473E7B9E5374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7760d2294608b8a183e8edcaea7081a99d31bc21","datavalue":{"value":{"entity-type":"item","numeric-id":293308,"id":"Q293308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277728$BA83DCAD-3773-44B0-AF90-BE6EBC55B780","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":"Q5277728$365254DA-CE23-46E1-B990-017F08FAF088","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277728$01AB2990-D8D7-478E-9F5E-0F30EA5B1E04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff2971e214fea8df4cb005a17f79d6d1594f3d71","datavalue":{"value":"https://arxiv.org/abs/cs/0210022","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277728$25D84B3B-89F1-410D-94A9-76279E80BD1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277728$702A653B-EFC0-428D-88FF-5E74F81FF865","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b5efa7b3fa0c9c867043407005a95745488de03","datavalue":{"value":"6743971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277728$DE397187-5161-4FC2-BCC4-E704E3A3071B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fbe180e051a3523b22956f29240abb78360b09a","datavalue":{"value":"elementary recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277728$DBFBDC38-2C16-46CD-95D1-96F3C53C1558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277728$3DF20086-898D-4CE3-93E3-49453DE2E194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277728$7A958B44-ECC9-4C98-BEBD-0ABE9C2384DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277728$0780635D-3CC6-4B0B-BD03-E15B5C4178C1","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":"Q5277728$9DE09C97-DFEE-4516-8D60-6ED63EA89CA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f78a47ecc7d8d6798755acfdedfbcca36dfe13f","datavalue":{"value":"W1984066424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277728$79E137C8-E47E-447D-AA66-42C3897B88BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72e33cf84810c53f278f27ef54d4498c40c3cd6","datavalue":{"value":{"entity-type":"item","numeric-id":4704766,"id":"Q4704766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c9b1eede102df2aae0ebe0ca5a0af158c43023","datavalue":{"value":{"amount":"+0.7835308313369751","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":"Q5277728$B0BCA338-7254-43DA-94E2-9AD9C5CB4C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50dfe45fe31b9b599561bd5d32b7d3eb960420f3","datavalue":{"value":{"entity-type":"item","numeric-id":3190158,"id":"Q3190158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2c10ef21048de2d442ad24ccc2d8c79628b0bae","datavalue":{"value":{"amount":"+0.7835306525230408","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":"Q5277728$7838E30F-70FC-4456-B885-2686383B9504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338852e87b136eb797310116c51b839dd439d6cc","datavalue":{"value":{"entity-type":"item","numeric-id":958481,"id":"Q958481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed05e72650a9085b05cb860c2a005daeda85a864","datavalue":{"value":{"amount":"+0.7728473544120789","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":"Q5277728$1482961E-01C0-4CBA-83F5-95C69BACBBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a77e0ad4ecd1ec0fdadcbc16ee81ff1005a76ce","datavalue":{"value":{"entity-type":"item","numeric-id":4428884,"id":"Q4428884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb08ac5f562fb50a24a53c822f72f1d2dad5dd9f","datavalue":{"value":{"amount":"+0.7665100693702698","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":"Q5277728$619F662B-7613-4AEE-A803-2C31373553EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ba330d6958da46eff5b1cf9c3e67524bc6e935","datavalue":{"value":{"entity-type":"item","numeric-id":3787978,"id":"Q3787978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a553eb8475ebd73753a114d23cb76b5db0ebd24a","datavalue":{"value":{"amount":"+0.7504383325576782","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":"Q5277728$D8ACBEB2-E9B6-4050-AAA9-0BF9D709B9D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277728"}}}}}