{"entities":{"Q3990705":{"pageid":6020558,"ns":120,"title":"Item:Q3990705","lastrevid":93020531,"modified":"2026-06-05T03:25:44Z","type":"item","id":"Q3990705","labels":{"en":{"language":"en","value":"Pairings on Lambda Algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 38500"}},"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":"Q3990705$5A3D48F3-CA8A-4566-9450-3565053909E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86679d943a289e368bc11939064a4d146251eed7","datavalue":{"value":{"text":"Pairings on Lambda Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3990705$3C6335BB-9144-4689-9121-72BBB6211402","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8da962f9ce4655d182126d7e9cef7e67396920f","datavalue":{"value":"0751.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3990705$E3E7E50E-5ED3-4692-95AC-FC9DEFC784E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c59ccd35ba4efa471151b67e9afaea5156fedc59","datavalue":{"value":{"entity-type":"item","numeric-id":800475,"id":"Q800475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3990705$9D4A3670-B7BA-449A-ABA4-838EA3FB1509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2601d3c3f504ce6bb5d4474c46c659fb8d17ba71","datavalue":{"value":{"entity-type":"item","numeric-id":354936,"id":"Q354936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3990705$3901E835-04BE-45F5-B4BF-D75C9A911F80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3990705$22E84AE1-BCDB-4159-9C73-7DDCEB253DBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3990705$4A4C8794-DC1D-4A89-9AC9-E0AFFBEF1B95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3990705$27805DF5-97A6-4E7A-AB1D-4B067BCAD29D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e571a56dcb4821f582659bbd75ba135518aa663","datavalue":{"value":"38500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3990705$254D0ACE-72C1-41C2-863E-204F150D24C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f139f485bfbc0efef3240275c23790ec4be3d041","datavalue":{"value":"surjective pairing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3990705$49419512-FD8C-4EB8-927B-A6069A140620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3990705$32425ABC-46B9-4CA1-BA45-32FE4C5ED9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"101ff9cec58455c82125a93d79b410ec52d581ca","datavalue":{"value":"\\(\\lambda\\)-\\(\\pi\\)-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3990705$A214F2E2-B6C3-4738-A316-C9BF6143B4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0206b3ce899f46214672b76de6b4000dbeb8f6f","datavalue":{"value":"monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q3990705$CCF87E66-CDB3-4AE2-8695-1B19FA5BC878","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":"Q3990705$70A2FEA3-C89C-41E1-937C-6FE37DAE6346","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a7f330bb2f9adcea49b8af491d5b6cb4bd83e12","datavalue":{"value":"https://doi.org/10.1002/malq.19910371908","type":"string"},"datatype":"url"},"type":"statement","id":"Q3990705$D61F9407-EA76-4B07-A437-3432978AAC1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b317aaf469120eec6be06456a73fc9524986ff6","datavalue":{"value":"W2091694603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3990705$2C122C13-270A-4916-9177-6207A22E1387","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"704daee7426aee93a36c387d594f0ca521c2fd1e","datavalue":{"value":"10.1002/MALQ.19910371908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3990705$3C48F519-6224-4F83-A680-B12EBA908627","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7acf51e626b53850836e25baf8f1ef89d686f23","datavalue":{"value":{"entity-type":"item","numeric-id":3202990,"id":"Q3202990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e538b99d4e914b757cc7890cea298f9c396a52e","datavalue":{"value":{"amount":"+0.8118394613265991","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":"Q3990705$D89E4B6C-FE8C-4CC9-9260-532FB8F9E4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c943241e45854b49b5a5c170bbc096a70e68bc59","datavalue":{"value":{"entity-type":"item","numeric-id":4327834,"id":"Q4327834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d478c5441dda1815812235635146a0b663e24fcc","datavalue":{"value":{"amount":"+0.7654392123222351","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":"Q3990705$80A426A3-D269-4BBD-A209-93C63F2B1AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8968fb4bd7d1addac8c29679518734cb9fda15b4","datavalue":{"value":{"entity-type":"item","numeric-id":5310654,"id":"Q5310654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9705d1d48765b7bf141cc96d49bf78a53130df","datavalue":{"value":{"amount":"+0.7614668607711792","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":"Q3990705$DFEE2D04-3E0B-4665-9490-DC637B4ED94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a671a6a27aa1ad9bdc9d53fb368583d8c7c6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1117204,"id":"Q1117204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57ea99882018fa1d0498af4a1d06f8f5d0b8633","datavalue":{"value":{"amount":"+0.7578694820404053","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":"Q3990705$B6E0EE38-A89E-47FA-BFF5-B56614E7A30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab97ec4d3ff596e396cd7f9ca646223a1e3b887d","datavalue":{"value":{"entity-type":"item","numeric-id":4764268,"id":"Q4764268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84851f217be5cbb43f96036937a38bd28370fa68","datavalue":{"value":{"amount":"+0.7531777620315552","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":"Q3990705$71D6A07F-3BA6-4838-A943-9B24654826CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pairings on Lambda Algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pairings_on_Lambda_Algebras"}}}}}