{"entities":{"Q1350516":{"pageid":1361255,"ns":120,"title":"Item:Q1350516","lastrevid":67664202,"modified":"2026-04-12T19:13:17Z","type":"item","id":"Q1350516","labels":{"en":{"language":"en","value":"Equational programming in \\(\\lambda\\)-calculus via SL-systems. Part 1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984047"}},"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":"Q1350516$01E3F7F2-3B15-4383-93D1-1B0C389613DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab635d48116e573a2181949f653a400f21196c16","datavalue":{"value":{"text":"Equational programming in \\(\\lambda\\)-calculus via SL-systems. Part 1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1350516$376F1CDE-F447-46C8-81C0-8C018E5813F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed49916954810cf3dd79f94d06ca7f4a390d2937","datavalue":{"value":"0872.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350516$07FD64EA-C060-4854-8BDC-DD99501EE9B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f2c0d0a69366b6105b9830d2e93759736549144","datavalue":{"value":"10.1016/0304-3975(95)00105-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350516$AC8B82DA-FFBE-4E64-AD04-8328A0234036","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a357fda3647bc7bd0bed1134727ddfa0047069d","datavalue":{"value":{"entity-type":"item","numeric-id":397406,"id":"Q397406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350516$0ED0A940-F089-43B8-8248-86F870F73934","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350516$47518A28-8CD3-4F97-9E76-8ACEC71EFE4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1350516$6BD17E71-F715-40E8-AC42-D9E2F88BD392","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350516$834BAEBC-651C-435E-ADC3-B9F328D66CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350516$61CEBAC2-5353-4430-AAA4-5F26D10B7C13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd71c4ecb6b735d01999c9f55f70f5fc1e55b652","datavalue":{"value":"984047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350516$6CA04253-4CCF-4F51-A601-F44FEA42393B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e042b272bdb19d4954ae3169f72a3f673e4805c","datavalue":{"value":"systems of equations in the \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350516$EEAD201D-4443-45FF-A827-195CF14BFA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350516$C69F1615-7879-451C-83F1-9D516B83CF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac208301aacad3534f2348fb14e6fb3baf3da3db","datavalue":{"value":"equational programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350516$DFA43B41-7C84-414D-9981-59C1D3672E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350516$7DA5AD0C-F108-49E6-B273-61AF7D66365D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75b36df3abb1e2940ef7a9237895dfb44815ceed","datavalue":{"value":"automated synthesis of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350516$BC72AE25-A392-4285-8093-66D21C97C65D","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":"Q1350516$C8DF4D5F-6F93-4FE0-B8B8-4F56B4ED61AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d01bf3a3db04e5b2d294e2c95914fa27a7cd3db2","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00105-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1350516$B0C74907-FAFD-460D-A9EE-27BACB3F37D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d610287d669288d533e291e0a91c10f76eae437c","datavalue":{"value":"W1990479768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350516$4338E913-F8DA-41AF-A1EE-84A4E3DB119C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350516$E4519EB8-43D5-442B-A8C2-A7EF182D33C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1463bc9145dde1ffd210d6809ebbc8df1d1a40d3","datavalue":{"value":{"entity-type":"item","numeric-id":1079357,"id":"Q1079357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350516$24F17794-EBA1-4D0B-AD89-F41424E6B0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c7c5658ecd10d5bb7858b9d366315dedd456f1","datavalue":{"value":{"entity-type":"item","numeric-id":4068081,"id":"Q4068081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350516$85F19609-E1E2-4BD4-A9DD-3CF313EBCEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9024ff47176330d82a5e4edd700cb5b2a1c56535","datavalue":{"value":{"entity-type":"item","numeric-id":4204131,"id":"Q4204131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350516$48C61465-6A05-4416-98D1-1F8B4A9FB4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236a31a320e3caff29d67ad55988b7b04a31dd94","datavalue":{"value":{"entity-type":"item","numeric-id":752684,"id":"Q752684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350516$D61FEBB7-72D9-466B-9D7B-A9A414FA93D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf8f59cc1b038d12c22ab3708ce592e8e055a5a","datavalue":{"value":{"entity-type":"item","numeric-id":4175261,"id":"Q4175261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350516$2FA61940-C38F-437C-9B75-7172DE1F31D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e12c7630e715c700404ed39275ba726d44bcce","datavalue":{"value":{"entity-type":"item","numeric-id":3674617,"id":"Q3674617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350516$FAE24BD6-EA32-461E-B4C9-A3D6289E8D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e1427fe2cc4f762fdeff53d2b88ac222c2ec52d","datavalue":{"value":{"entity-type":"item","numeric-id":3776590,"id":"Q3776590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350516$27BDB299-32CA-49B7-9774-BCFA01C6581D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf98d48f6000aac013695d0413c9e2db94b67cb0","datavalue":{"value":{"entity-type":"item","numeric-id":3978457,"id":"Q3978457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350516$E723E2BF-CFDD-4666-8304-EBA08DB1419B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2c3393b348f7f91761c1b619cac69546959b09","datavalue":{"value":{"entity-type":"item","numeric-id":582274,"id":"Q582274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350516$89106FD6-3F4A-473D-B765-6255E63EC3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"898da8295491644e00654a4dbf335ad26601f457","datavalue":{"value":{"entity-type":"item","numeric-id":1350516,"id":"Q1350516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350516$AAF2DFFF-1F28-488E-AF2B-B5B1735B75B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20782396a042bc7ba18926a1fb20beba8697abf","datavalue":{"value":{"entity-type":"item","numeric-id":1350518,"id":"Q1350518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350516$3A65F56F-AC2F-49E1-9E35-C85C0D63E03A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d940ba90f1f135502b439fef17c3b100c2329b3","datavalue":{"value":{"entity-type":"item","numeric-id":1350518,"id":"Q1350518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"994cf782c846b7fee1e6ea79d324fafff6319451","datavalue":{"value":{"amount":"+0.98690414","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":"Q1350516$64998C26-2E74-4379-9BEF-B082DF04B061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5596095dd99dd684b60d6ccd6f7910efb1630ff4","datavalue":{"value":{"entity-type":"item","numeric-id":3980023,"id":"Q3980023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4f4f00109416c6ec86287755e8b12add71e083","datavalue":{"value":{"amount":"+0.87986565","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":"Q1350516$847E0725-EF75-4996-B6DC-4C5BF37DE680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0baadce94e33045e1554d8e75452c29f55a67f77","datavalue":{"value":{"entity-type":"item","numeric-id":2765372,"id":"Q2765372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48fce4342c8133bf6e9f31204e000dbc5a234a7","datavalue":{"value":{"amount":"+0.8714468","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":"Q1350516$617E6D51-7690-4D73-9E66-55D7B68B506D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf3a7608693760ca9fda7b2dfc47f408e02a49c5","datavalue":{"value":{"entity-type":"item","numeric-id":689097,"id":"Q689097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"634e5039ba8e8a837348a24af2b81a8d627ae7f6","datavalue":{"value":{"amount":"+0.87038386","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":"Q1350516$F1427FBC-6187-40E9-8437-F801B4588112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dae860becd9de9724616bcd11df5c39516101a5","datavalue":{"value":{"entity-type":"item","numeric-id":5316622,"id":"Q5316622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8aaf9a4533abf4c47b01a57cf85ef1f59f47a76","datavalue":{"value":{"amount":"+0.8698931","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":"Q1350516$2B5BAEE2-5A70-4932-BE3E-D9C288B84387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afc808ff58147bee0ac72a81fbdc9f7f57f01d4d","datavalue":{"value":{"entity-type":"item","numeric-id":3527290,"id":"Q3527290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be90847a5d7e8cd6f8c44309b859eb0a28815d2c","datavalue":{"value":{"amount":"+0.8686173","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":"Q1350516$99F55A90-10C2-4A1B-A217-A0C4AEF6EC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7baf9edc098e029c6e96cc27acd223c5429daa2","datavalue":{"value":{"entity-type":"item","numeric-id":5410454,"id":"Q5410454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173c666fc086bfd6d5230237b9ced38b666133e4","datavalue":{"value":{"amount":"+0.86791","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":"Q1350516$09EA81BA-B9B5-42C2-A7BF-0E6A657D5966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3260d99a7a47922e0a128a281b2b9b3f96c3b722","datavalue":{"value":{"entity-type":"item","numeric-id":5311271,"id":"Q5311271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2022d7ac22347c73dc9117c6ec0866dd50304876","datavalue":{"value":{"amount":"+0.8608031","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":"Q1350516$8215851F-3DF3-4C59-9420-8D036A5571AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3b51f8a0d80d67354e45b2e72b0c69c6d1b718","datavalue":{"value":{"entity-type":"item","numeric-id":2871868,"id":"Q2871868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eccfbd9c65c4de1433ac5a10ecb0f5955788a1bc","datavalue":{"value":{"amount":"+0.8603992","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":"Q1350516$19651EA4-2EDF-4E9E-BA7D-5B0E1BD1C512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368314ba4158aa49d3575bcd9866ad3acb2459a3","datavalue":{"value":{"entity-type":"item","numeric-id":831147,"id":"Q831147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a2df2f1bf325d8ba8ed842eae32a96cd083c16","datavalue":{"value":{"amount":"+0.8595204","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":"Q1350516$792DB760-B5F2-491E-A002-621E4111EBEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational programming in \\(\\lambda\\)-calculus via SL-systems. Part 1","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_programming_in_%5C(%5Clambda%5C)-calculus_via_SL-systems._Part_1"}}}}}