{"entities":{"Q3527294":{"pageid":5557198,"ns":120,"title":"Item:Q3527294","lastrevid":87310976,"modified":"2026-06-04T11:21:56Z","type":"item","id":"Q3527294","labels":{"en":{"language":"en","value":"A Lambda-Calculus with Constructors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347558"}},"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":"Q3527294$C38A6419-F212-41FC-B69E-0629F505AFFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33838b115da11723e38bb6f111d7fbc33ce39a71","datavalue":{"value":{"text":"A Lambda-Calculus with Constructors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3527294$3BAE0887-1620-440C-BC43-06B0DF605AE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75823269532e1cd34933b3c0cdfd57aa1a4ae87e","datavalue":{"value":"1151.03320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527294$E0BABCD1-8B8C-469C-90B3-53B1B582A96D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91bca5ba07bda468f5fe06fa164989307bc948ff","datavalue":{"value":"10.1007/11805618_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527294$23A13752-F377-4DFA-B0EE-64E855C48950","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b74ddffb839e67fcf9cf810df1c9f370a382a84","datavalue":{"value":{"entity-type":"item","numeric-id":3527293,"id":"Q3527293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527294$2A3F80A9-6C01-4D89-89F7-6E3243F5CAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0842fcbe111f9be8377f324c26e11a51d0a9daee","datavalue":{"value":{"entity-type":"item","numeric-id":2482839,"id":"Q2482839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527294$987E4F17-B71C-40C1-B9D8-84BEF115E9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdb3ae3415ba415c06f89f01c89d6517b82a8176","datavalue":{"value":{"entity-type":"item","numeric-id":683743,"id":"Q683743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527294$0D3447D4-B4A0-421E-868B-59FFF027F3D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527294$76C2C43F-6FCB-477A-B080-B79E9DD01BBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-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":"Q3527294$F846C0DF-3190-4998-9290-53C552C367CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527294$73F3DABE-29C7-4691-BF05-8DC67C096CFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e4d3e6338360578758de6b943ca6dca250c56e9","datavalue":{"value":"5347558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527294$3F3C0BA0-BBF0-434C-9328-88EF13E4DCE2","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":"Q3527294$B283032A-87FE-48D2-995F-8D62DA76CBED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aeff317d984f87be3f3051a5ab1693a04c2c7529","datavalue":{"value":"https://doi.org/10.1007/11805618_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3527294$EEDCEF8E-D1E8-48A3-AB6E-5C2E1DC03AFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8e616efad7297f7e6afa740bc6a61d893646f4e","datavalue":{"value":"W1546532908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527294$E79C7EC4-DADA-4D35-984C-31765DB08D2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e8356be2d62533834705232e97b52f0b5f5da2","datavalue":{"value":{"entity-type":"item","numeric-id":3003303,"id":"Q3003303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f43c47b32469013bb6bf368c200fca7514ceffeb","datavalue":{"value":{"amount":"+0.939137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527294$83A44E9C-F0EE-445A-82E4-7C289137E27E","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":"7100d34bf0ecbbaa84da5df916d9fe0950848593","datavalue":{"value":{"amount":"+0.9278858","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527294$438009B6-DAA8-4245-8738-762B71B90A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592dbd5cbb0cff0033572b3a212ef55d68bbc7a0","datavalue":{"value":{"entity-type":"item","numeric-id":2904629,"id":"Q2904629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498130fe7469704f447eee34999160c526bb97f3","datavalue":{"value":{"amount":"+0.92016786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527294$FCDB2088-DA08-428C-9076-231CDDD49488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e1d24aa94a413bd5eefe1104f8ec9789fdb8dd","datavalue":{"value":{"entity-type":"item","numeric-id":3638093,"id":"Q3638093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2d81af0e46975e0462823bba6899401246a960d","datavalue":{"value":{"amount":"+0.9173664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527294$0E45F9F5-D886-4324-B09B-9531B34C160E","rank":"normal"},{"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":"7f38c0a36d0c217a9be859a16bc369bfbe01d5fb","datavalue":{"value":{"amount":"+0.91659904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527294$D8BC26FC-C6F2-4550-AE83-38F2F5FC7AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a020cdec295853b77cdfe9fec2964fdae112d7a","datavalue":{"value":{"entity-type":"item","numeric-id":3178293,"id":"Q3178293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e962b69c5be62b012f1234c9381090f6cb68ec","datavalue":{"value":{"amount":"+0.9112116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527294$78107708-EA6C-409B-841C-63876EAB1BCA","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":"23cbbc30c7cbb80e21a8ffca4f3cf4b02e57689d","datavalue":{"value":{"amount":"+0.91033876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527294$890BC53F-D30A-4398-929E-848A3B80E044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090c7f1df58d9c25198f3dbf945015c18259729c","datavalue":{"value":{"entity-type":"item","numeric-id":3714051,"id":"Q3714051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a76497f80c4d15f9ce3eee03016c5c02ef12a71","datavalue":{"value":{"amount":"+0.89504737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527294$ACE418C3-6DBE-44A3-A564-2C76C3EE9E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c369cbe60177c955fbf1373bef4d0bb4d5433ef3","datavalue":{"value":{"entity-type":"item","numeric-id":5951522,"id":"Q5951522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d0a006779f5aafbe3f93e8d24af0d015a8fdbd","datavalue":{"value":{"amount":"+0.8852938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527294$D3A323D7-ABD0-4DFF-B547-7E128BD1D907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be43b2971e0f053af8f4332ae40481fcc15a3421","datavalue":{"value":{"entity-type":"item","numeric-id":3025159,"id":"Q3025159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"846c02490ac95ba87125d622b57b010ed80e4d67","datavalue":{"value":{"amount":"+0.88043445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527294$6FFFDF17-8244-4A70-B337-8B959F8DB9B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Lambda-Calculus with Constructors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Lambda-Calculus_with_Constructors"}}}}}