{"entities":{"Q4779581":{"pageid":6809161,"ns":120,"title":"Item:Q4779581","lastrevid":74479095,"modified":"2026-04-14T22:48:12Z","type":"item","id":"Q4779581","labels":{"en":{"language":"en","value":"Intersection types for lambda-terms and combinators and their logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1836030"}},"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":"Q4779581$9C1E50F7-0A8E-4BCE-8B66-DC11BDE78AD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0b4e8981464bb7f04d2c44d6a7d75c31a1bc72a","datavalue":{"value":{"text":"Intersection types for lambda-terms and combinators and their logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4779581$45D3DA37-07B8-494E-B232-F3C922D47DBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7aafb0e039669fc367e3eca6fc3d6a4c469d7cc0","datavalue":{"value":"1022.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779581$6FB6F895-D97E-4C17-A4A3-0E59E409D4CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1164e2a9c28144da81c4177eacb0191278982fda","datavalue":{"value":{"time":"+2003-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4779581$865FB73B-2540-4AB5-90CD-CD93E7CE234A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779581$3CBFDD7B-2D47-464E-8607-56F85263C985","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"683758672b1111913a5319e79401b109efcba0bd","datavalue":{"value":"1836030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779581$601374AF-BF1E-4ED7-9E0F-ED9A98C2939D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779581$5225755D-0382-4B3D-A736-A211C022FD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed97bf08da395c4c6d4f923f5415522b672466f2","datavalue":{"value":"logic of intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779581$AB53EA86-F7F0-4A67-A70C-04FC832F7890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c5de734e99fc1e232021ab59d77cf5a52df10c0","datavalue":{"value":"Venneri logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779581$C2E62C2B-15F0-4198-9F6A-D189186B7E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d126272b366bf65232a9bec90de141c7fb15c02","datavalue":{"value":"natural deduction-style logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779581$11C8E25C-5071-458E-9CD1-346973F20E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"970ea7b604da2cc8ecf16084a23ac84157bbb264","datavalue":{"value":"lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779581$77CB4CED-986A-4768-98FA-919761F8699B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779581$9AD1B106-23EB-4B3D-8F4F-75E6774C6942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a53287121b0d741c8dae435da6ee15dc38530c99","datavalue":{"value":"assignment system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779581$8FD36316-B059-4F31-B5BC-42474D411F9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d7a7742b54ec2d03c259f24892f02db2125d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779581$38046B49-A016-4333-916D-7D5E3142B50B","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":"Q4779581$98CA9D99-1B47-4D18-B1F5-0D86ACDB9132","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2760bcc3f621b5ab7ee56f1b82539bf7ac66769a","datavalue":{"value":"https://doi.org/10.1093/jigpal/10.4.357","type":"string"},"datatype":"url"},"type":"statement","id":"Q4779581$23885882-2B55-4279-A59E-99A56CBAC862","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e3995954b2e046fd1ed9ef6bb4fb8343bcae35d","datavalue":{"value":"W2170952169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779581$7944D739-853B-467D-886E-CD5CEEDB1EC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c7f3980957a28bb0dba4075904fd998e881b34d","datavalue":{"value":"10.1093/JIGPAL/10.4.357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779581$3D0D9B07-CB4C-49BA-A2D6-74ACF71899E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779581$66F71409-8A9D-4646-B348-2AC5EE0B88F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b30c4f93427b71219cc6573041f6bbd7265d3225","datavalue":{"value":{"entity-type":"item","numeric-id":4783322,"id":"Q4783322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3011955c0856ae53738ca5ce17ac618b867be3ca","datavalue":{"value":{"amount":"+0.8284638524055481","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":"Q4779581$35E7C009-3C24-421B-87C7-6C2C4ADD0E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88af7f9b1051893633177dd3c414fea534e27a94","datavalue":{"value":{"entity-type":"item","numeric-id":1199823,"id":"Q1199823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f814efe75ae586782239608143a6ae1fe68745b","datavalue":{"value":{"amount":"+0.8283634185791016","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":"Q4779581$37B45023-D2F6-4519-BB81-567B2CB900C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47c40ebe9954b1b074b265bc98d08c5c1240089","datavalue":{"value":{"entity-type":"item","numeric-id":3510443,"id":"Q3510443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c15e167d876ae4e87e772044174bc564d7a93d5d","datavalue":{"value":{"amount":"+0.8283631801605225","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":"Q4779581$13F7481D-B8BA-4F2B-AB3E-3CF4249EAE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372bf5f7d2f966d1f0f5fb0ca388974f67e9c157","datavalue":{"value":{"entity-type":"item","numeric-id":4291035,"id":"Q4291035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff482649b8360f84cd7161c63314710bb12d78c","datavalue":{"value":{"amount":"+0.8223589062690735","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":"Q4779581$23790ACD-67FB-494B-AEBF-748B4EE63532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d38d28c46ff1302439489f07643c13a8784af29","datavalue":{"value":{"entity-type":"item","numeric-id":4964689,"id":"Q4964689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba4d54c9b86315f9f21c9d9120c2331ddcc428a","datavalue":{"value":{"amount":"+0.8200329542160034","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":"Q4779581$2718526A-B00D-4ECD-9147-E1BC57E5EC0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intersection types for lambda-terms and combinators and their logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intersection_types_for_lambda-terms_and_combinators_and_their_logics"}}}}}