{"entities":{"Q2875057":{"pageid":2885777,"ns":120,"title":"Item:Q2875057","lastrevid":83962526,"modified":"2026-05-07T15:10:40Z","type":"item","id":"Q2875057","labels":{"en":{"language":"en","value":"Strict intersection types for the lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6329952"}},"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":"Q2875057$A0B8CE6C-A667-4900-96E7-F815C7E35B48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2961eed6349ed90a75eb9fc4377305b5b8075ca","datavalue":{"value":"1293.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875057$29D559CC-76FF-4D15-9684-BF5A4A2D88DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11644fc9e5db883e02848479616e7243cb2991b5","datavalue":{"value":"10.1145/1922649.1922657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875057$7649E50D-E1C3-489A-B9AC-B3970D2A7902","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ec95c9417991096363f0d0f0e5d9ea0afefe59","datavalue":{"value":{"entity-type":"item","numeric-id":235593,"id":"Q235593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875057$AABD80B4-7586-437C-8B05-31360E7311F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"648f066d7111f855f920a4df12eb5365632ac7c3","datavalue":{"value":{"entity-type":"item","numeric-id":59986,"id":"Q59986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875057$87B86451-04EE-4DA7-A4F1-5B2CB21B0747","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f80e145b44ef7aa11a9e241ede63c58486ab29d7","datavalue":{"value":{"time":"+2014-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2875057$B3BC8124-E8B9-4720-92BF-655DAA1CBDB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875057$896D7F4F-5520-4C39-ABDC-04990913F25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875057$BD26EA03-A65F-4157-8EC0-29EB97636E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875057$84923C97-BB3E-4720-A1E3-788C6DC7C9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875057$7E88BD54-0B48-4698-98D6-EA35CC6249F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3315846b337b0b9f84fa9c94ad2e081d742f5e1","datavalue":{"value":"6329952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875057$57D8F12C-541E-473A-97CF-2E44225A11C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875057$46FED86E-4716-431F-BAD9-07A9F048054C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb64bfe03ffb189df4fa0a5e82a11f292a594009","datavalue":{"value":"strict intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875057$A894AFBF-04A6-4668-8C8D-98C0CADA7F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875057$12C8A393-DDB0-46EA-97EE-9AC15C80EBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df822fd52b3a6968af13bbbbfd94791b13fae35","datavalue":{"value":"filter semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875057$62FCB6C4-AE9E-4DC6-AA70-EE2132EAA3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875057$0D23E467-01E6-45E0-A478-5956AF3650A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56963dae395eb27e9fd9f4a6366e2d05eee3d5ee","datavalue":{"value":"principal pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875057$BA8FC95E-2EEB-41BE-869C-BE2F577DB450","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":"Q2875057$13B7EA14-1753-4825-8581-F011C7CA225F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5120957c925ccb89b1465d4caac4a46bb58de5a","datavalue":{"value":"https://doi.org/10.1145/1922649.1922657","type":"string"},"datatype":"url"},"type":"statement","id":"Q2875057$60D4BAC0-AA59-42F1-B32C-DEFE42B5AC66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99d123645dc88c978f183f1a04e6a63a33fa4abb","datavalue":{"value":"W2099162225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875057$85F4C435-C17C-4163-BB2A-2B2FD6A8EA50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83fcf329f5684b3ff495be129eed4fab6a8f2699","datavalue":{"value":{"entity-type":"item","numeric-id":930870,"id":"Q930870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea365615e6759179d5c3268823b84e67da5426b","datavalue":{"value":{"amount":"+0.9546052","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":"Q2875057$2BDA5BA8-3C57-4487-A7E7-17E9043BF1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5dffd85f8c92138c40208a85bb346781c2a3a5d","datavalue":{"value":{"entity-type":"item","numeric-id":2851090,"id":"Q2851090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9167099b519bcbedae3dccb8b298837f4355fdf","datavalue":{"value":{"amount":"+0.9532707","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":"Q2875057$A5FD241D-D37F-410C-B98C-20BBF336F331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5f4e18249119867518c0c9c16b7ab557a8330e","datavalue":{"value":{"entity-type":"item","numeric-id":2842843,"id":"Q2842843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"201fb62f74e68e12ebef5df2c2f9e06c8727521a","datavalue":{"value":{"amount":"+0.95281875","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":"Q2875057$18E66D07-E077-40E8-9C97-61345F80207B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39208f8c9e9f74c27f37ffded3604a402852b56a","datavalue":{"value":{"entity-type":"item","numeric-id":4600774,"id":"Q4600774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e1fc8eb12c5fefa52eaed8e1f2708b51bfcd0b","datavalue":{"value":{"amount":"+0.94578516","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":"Q2875057$CD03E035-B953-4903-839E-3647EFFF3E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb57edcd74e3543ce2b4bfaa158ade414a30ab1c","datavalue":{"value":{"entity-type":"item","numeric-id":5943119,"id":"Q5943119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e44b5b0f91cf0457e9f35f84c4c99ab1c5b99a","datavalue":{"value":{"amount":"+0.94437456","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":"Q2875057$0F5E6AA7-2C3E-4B87-9904-C6A7D416C0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a14a996e0f34d6aec88250df446b0d0a0e27f0d","datavalue":{"value":{"entity-type":"item","numeric-id":4644585,"id":"Q4644585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9bb977a4ba1bc14d4130e2d845ab6c33e27982a","datavalue":{"value":{"amount":"+0.944102","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":"Q2875057$17D9A175-A808-43D7-A353-B094F74E31B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da26c9072eb17315f0057a9e3bcf23f969f6c517","datavalue":{"value":{"entity-type":"item","numeric-id":4779581,"id":"Q4779581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474889b76ed1be3de697b78fa6bef5b982ba74da","datavalue":{"value":{"amount":"+0.9356605","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":"Q2875057$CE0BF83A-3048-42B9-815C-B793A11F1E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a24d66b790e8bfe1c8aa1b1fb29d83d11908933","datavalue":{"value":{"entity-type":"item","numeric-id":2369008,"id":"Q2369008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c0a11df61e900cac20f22e444e8b98ae4d8b316","datavalue":{"value":{"amount":"+0.9327769","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":"Q2875057$6BABFD00-8581-43DF-B20C-56C5E67A359C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42cb534fb8531c56531c4f91c9dba294869cc18","datavalue":{"value":{"entity-type":"item","numeric-id":4405687,"id":"Q4405687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37fe6d1f3426883f1fdc40bddc592351561fdc79","datavalue":{"value":{"amount":"+0.9254057","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":"Q2875057$FCC22FEC-EAF5-4B31-AB7C-B6A488032908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4849900eb7ad962a5fe6bdd4653caf38ebcb76","datavalue":{"value":{"entity-type":"item","numeric-id":5692152,"id":"Q5692152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f930d39ebf457dc3f5a8953426b96177bc4b3aab","datavalue":{"value":{"amount":"+0.92520297","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":"Q2875057$B5504804-2DC9-4978-B691-B24B3C375DC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1de6ac0c8ff27b2caf74d0ce5e3c8e14198384d0","datavalue":{"value":{"text":"Strict intersection types for the lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2875057$6753418F-5426-48E8-AB30-0C22F171AB53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strict intersection types for the lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strict_intersection_types_for_the_lambda_calculus"}}}}}