{"entities":{"Q3553919":{"pageid":5583823,"ns":120,"title":"Item:Q3553919","lastrevid":49557646,"modified":"2026-01-07T18:46:21Z","type":"item","id":"Q3553919","labels":{"en":{"language":"en","value":"A Nominal Axiomatization of the Lambda Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5696825"}},"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":"Q3553919$51C872A6-87B8-4B3F-A0C9-262D25CD767C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f9de51ec03e4952a9ab61f03bea737d26d73766","datavalue":{"value":{"text":"A Nominal Axiomatization of the Lambda Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3553919$2B2336AF-94A9-4989-8CAE-260A256BDF6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60abb3696ffeac8b353afd5dd3e100919fa37043","datavalue":{"value":"1198.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553919$62B0155D-CDCD-4E4B-86DF-2657C5B791BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec975b458b6d3d436b4bd0ed89003e846a8651d","datavalue":{"value":{"entity-type":"item","numeric-id":939159,"id":"Q939159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3553919$24DA6565-EA72-4411-B0C5-C2E35F617752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db57da05f7a2528db77ce79579650b12005cc558","datavalue":{"value":{"entity-type":"item","numeric-id":1744403,"id":"Q1744403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3553919$2E055190-4033-4B7E-BB0C-C6656866A25B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c94577583f3aba69a0209f76777f283262f5429","datavalue":{"value":{"time":"+2010-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3553919$C3AFF444-788F-4FA1-A6A3-2FD445283159","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553919$0CEDF419-01D2-4C5A-899F-19DB647E82DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8e1d6b3740d0c01377e69eb542990d1f01afa5c","datavalue":{"value":"5696825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553919$3E854569-B819-4411-B9C6-3EB3127E4555","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553919$2134AA38-4E9E-4801-B506-D88A10CC14EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553919$5297856F-491C-4C43-B81B-72F2492882EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4edb35af393665c20f1bab6d82a33753ad6a2493","datavalue":{"value":"nominal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553919$D8178077-502F-41F8-BA1D-3828BBA278EA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3553919$A6D1FF59-7695-4B9D-B758-EB79A24A1C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3553919$72B3FFAB-B30B-4593-AEBE-4AC86C972DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3553919$60217F88-A151-4B22-885C-5DAADC4BC4B3","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":"Q3553919$F0F0C545-2D4A-4B02-B22E-7CC94CB1B967","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b2960307d3e5580f135ff69fe64402ba457cb95","datavalue":{"value":"https://doi.org/10.1093/logcom/exp049","type":"string"},"datatype":"url"},"type":"statement","id":"Q3553919$A1B5473D-443C-41DE-B3D4-552C85F05C54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ed8a2559cf7449438cf3e210b6b43c85a9a733a","datavalue":{"value":"W2157450565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553919$691CE871-7036-4033-96E2-6B3F7EFD7BD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac7115aa2c11ac28ac8649c6d3a7b276dabc475d","datavalue":{"value":"10.1093/LOGCOM/EXP049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553919$47E81960-0469-4262-91A9-5AEAC2BE3CAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa4dc74efe93f28dc22aed44a5fbf1c71f42bdd","datavalue":{"value":{"entity-type":"item","numeric-id":3343428,"id":"Q3343428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"772e3ebac3f442fd39f763a8e46572b5300b7449","datavalue":{"value":{"amount":"+0.84946716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3553919$3AA4FFF8-115E-4E70-88F1-F70F94528BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ac2d9848e4e703b2d0a89e26f8e8232c9a4ee6","datavalue":{"value":{"entity-type":"item","numeric-id":4867412,"id":"Q4867412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8e6cc17942709db44e053e1bfd381322c894217","datavalue":{"value":{"amount":"+0.84329504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3553919$AE56F5CC-7BE9-4A50-923A-03CC123717F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9492ac52367cd9c745be9207d3ea424ba311914","datavalue":{"value":{"entity-type":"item","numeric-id":3522248,"id":"Q3522248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4e32e9f1eefdaa45c3a8c917bdf6cfde28750ee","datavalue":{"value":{"amount":"+0.8251808","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3553919$8CFAA7A0-7624-4BDC-B5C6-D5071EDF0B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4149079e333e9d5d431375275d4ce081e133b30b","datavalue":{"value":{"entity-type":"item","numeric-id":3019505,"id":"Q3019505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e84f2e871ae42873b2e06f69844c8766eb9436a","datavalue":{"value":{"amount":"+0.82286865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3553919$B646D7A2-7713-4560-8C84-9FC704053BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158d32ad21d2d10e0e2e9d996e9272c8ea060da8","datavalue":{"value":{"entity-type":"item","numeric-id":3988401,"id":"Q3988401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82532e2578f4094a43d82aed4d8dd0aa0ef523db","datavalue":{"value":{"amount":"+0.82011706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3553919$7855C14D-BFBE-4EDB-8DB1-1B6FEBABA33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b9adc2c995d8ee74d1e7766afca836e62ebb13","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f101f9e3ef5b5cc24190d13b03a7b7b66584d89","datavalue":{"value":{"amount":"+0.81611156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3553919$C74E9E2E-7C34-46D5-A26B-61472795D293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f8ddf71b2d5cd28cd251b780e95170840ac8ba","datavalue":{"value":{"entity-type":"item","numeric-id":1408657,"id":"Q1408657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04193508d5eb4a15c32b4780ed7d8adfffe8ca1a","datavalue":{"value":{"amount":"+0.8113283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3553919$6026A46A-CF4D-42B6-9D3B-FAA562AF5972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"025f0d32024899178431f8e6da3d01ed0157021b","datavalue":{"value":{"entity-type":"item","numeric-id":4038235,"id":"Q4038235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edbfd44bafcd55f968fb3c218413b1c76f9ac2b1","datavalue":{"value":{"amount":"+0.80424976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3553919$0AC8519F-B469-4334-8655-81B698CA1A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c723c46188b9ce750d35623a4831e99709ded8c7","datavalue":{"value":{"entity-type":"item","numeric-id":5444708,"id":"Q5444708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e2c248237e6ce9d59c598f68651ecbf22cec54","datavalue":{"value":{"amount":"+0.80420375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3553919$130FAFD9-0CE8-4B91-AEC7-80B87C9B3EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee4861cf54a2a9e79f25b12f80a4583bd495535","datavalue":{"value":{"entity-type":"item","numeric-id":3125737,"id":"Q3125737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf7beff0bbf82312fbf8993d84c7620d5a210e3","datavalue":{"value":{"amount":"+0.80402076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3553919$C6DA7FCF-110A-4283-A7C5-BB8C70223AD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3553919$87DF45B6-C805-4B84-BA12-9914E2BF27C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3553919","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3553919"}}}}}