{"entities":{"Q930870":{"pageid":932718,"ns":120,"title":"Item:Q930870","lastrevid":65459733,"modified":"2026-04-12T02:44:43Z","type":"item","id":"Q930870","labels":{"en":{"language":"en","value":"A typed lambda calculus with intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292220"}},"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":"Q930870$BB26FA11-7C1F-47E8-AE4F-6E9EC5A06FE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5e6f5addf7c80b70f9de4f668063ee700370462","datavalue":{"value":{"text":"A typed lambda calculus with intersection types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q930870$048DB42D-D5AA-4530-B208-3171C9133D06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c783cf9a0b21c98f8df3fd41f09806497322be3","datavalue":{"value":"1145.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930870$5A0FB4A6-D261-460C-8E55-1CD5CD029D34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2e3774dc3d7288a395dfaa7792296a4e59727f1","datavalue":{"value":{"entity-type":"item","numeric-id":553897,"id":"Q553897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$D3897109-59CD-4336-B6A8-6C0CCDB49C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67add0efd7322c1f14c581399aafbcf879da2df6","datavalue":{"value":{"entity-type":"item","numeric-id":553898,"id":"Q553898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$F017F4F2-B1E8-48E4-A718-DAF455E68D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41a921e135ddb711ee21dcf4c8ef6603b9186117","datavalue":{"value":{"entity-type":"item","numeric-id":553896,"id":"Q553896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$390B8FEC-D53C-4972-B5F3-C1547379F098","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":"Q930870$8A677E81-5948-4BDC-89A8-8FC49977AC52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1e5c358dfaf7831eeef2b1629a133ab38a6eded","datavalue":{"value":{"time":"+2008-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q930870$DEA78A4A-4277-4D56-9EED-D17DE3CBC18E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ba73b72e7db1d7e76afc9ea24758ca6ce57a12a","datavalue":{"value":"http://hdl.handle.net/2158/257190","type":"string"},"datatype":"url"},"type":"statement","id":"Q930870$BA5A0B55-FDDB-4B73-B1DA-E29A8A2574CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930870$13A2897F-8279-4569-84F2-034E4A2B0AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930870$6B27789D-1A76-436B-8466-224B130D9629","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97e639d67b5c856917d09f226596ccfacead02f2","datavalue":{"value":"5292220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930870$BF88E2CD-71B3-4827-9005-BA9672C7095F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q930870$5E80825C-F45A-44C8-92F8-A53BD3BED87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q930870$0D0DCCFF-AB18-40D5-B116-89ED7FEC76FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q930870$44FE2DFA-A9C7-4782-8F49-7D6B230AB4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"962cfb4b5bd47fd68fbb779309e94c9c4238832e","datavalue":{"value":"Church style","type":"string"},"datatype":"string"},"type":"statement","id":"Q930870$4529E164-073F-431E-86E3-41F7F94BDFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b04ef87b87c3fbfa2d5f2f720e39b158d7ea7234","datavalue":{"value":"Curry style","type":"string"},"datatype":"string"},"type":"statement","id":"Q930870$750B2278-A26A-4EA0-8288-ADFDEACF53C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q930870$AF7BE926-75C5-42A9-B6CF-EE08F3FAE919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a0406e1807103b4b393bf2c05c708236cb0a357","datavalue":{"value":"shared resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q930870$13EB5B96-C8AD-42A2-8D3E-1D01BACD389A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5bbf77f7f6056d0e55fac094035de7178400fc7","datavalue":{"value":{"entity-type":"item","numeric-id":33175,"id":"Q33175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$F1D03EA1-9574-4F1F-898B-C7D9E24A5D31","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":"Q930870$1E1FE192-8518-410B-AE23-8606848D2AC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12543d588be5534ca28ccb68ec231601052876c1","datavalue":{"value":"W2105663497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930870$0B15996E-BA40-4BC4-A138-0F5A6084CC6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1a0a2327301d6b7d392f56d6312d170cd0ea93","datavalue":{"value":{"entity-type":"item","numeric-id":4035227,"id":"Q4035227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$E63E3DD2-4251-416C-9ED1-BB14B608A98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba05a0e311e5019f3b9ffe419a12cc76d0b217b6","datavalue":{"value":{"entity-type":"item","numeric-id":2369008,"id":"Q2369008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$C86511C6-2049-4D77-9A2C-F96F46D28EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$BFECF5D0-71BD-4806-A464-A20D453CE0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4432ede11d1e9c5a5e5259ca701aa56b3a85c184","datavalue":{"value":{"entity-type":"item","numeric-id":4779581,"id":"Q4779581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$A8E4664D-F29B-4E21-AD9D-66AE0F8A997A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1648bdcfaee094ba2a2bd47f6ddea0e5fb136a","datavalue":{"value":{"entity-type":"item","numeric-id":4916178,"id":"Q4916178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$2DB227DB-B11A-43B3-93F8-422B6FC7CC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$35A4FFC9-8012-409C-B15F-A8F1BC4677D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a538718f218d7316878b6a0f618e6f4b8fbe9436","datavalue":{"value":{"entity-type":"item","numeric-id":4198724,"id":"Q4198724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$11E83118-823C-4B25-8970-3EDFC614A52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76afab86c4743f9938c618014047220792d9988e","datavalue":{"value":{"entity-type":"item","numeric-id":2842838,"id":"Q2842838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$D2AB9D45-D0FC-4A9D-BAF1-0D40E081AF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6702cea0608dda49f9fd0c414c42b15c1d7b9a8","datavalue":{"value":{"entity-type":"item","numeric-id":1381437,"id":"Q1381437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$7F4A035D-5ABB-4E8C-A378-55346043911C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc803507d3b7d093957d2109e59f1a91bbe771d","datavalue":{"value":{"entity-type":"item","numeric-id":1430899,"id":"Q1430899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$E0B58732-5540-4170-B3B4-8205B93119DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbdadc2f831ecaaf8965dee386f688025216c37","datavalue":{"value":{"entity-type":"item","numeric-id":3452185,"id":"Q3452185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$5C56268F-457C-402B-8C3E-A4AA80E9CB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$D6FBFC62-226C-4000-A641-E09FD314D551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$BBC27989-FD29-4E6E-A9BB-96F3EE8F6333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d5a6af42d172b77b05b13c0c63ca4f9ebeb6dd","datavalue":{"value":{"entity-type":"item","numeric-id":2381503,"id":"Q2381503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$8D6F4613-241E-45AC-816F-DCA500471601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8192a60062b4ffd5625199647ad409694386fb7b","datavalue":{"value":{"entity-type":"item","numeric-id":4723730,"id":"Q4723730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$EA383446-EA57-4F48-8CFD-B8AAD8D4FDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb37d4c5374d4a6b2459e0fbb29b51beec76c5b","datavalue":{"value":{"entity-type":"item","numeric-id":4103076,"id":"Q4103076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$71A672E5-5044-487E-BD59-84D98C4A554B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c60d9aa764a441319bcc6ddab79cc77f2f6681","datavalue":{"value":{"entity-type":"item","numeric-id":1221740,"id":"Q1221740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$B353171B-5612-4C30-9188-01732CB3F47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063784ee78bc24f70166ec572e54336af29e83e4","datavalue":{"value":{"entity-type":"item","numeric-id":4281484,"id":"Q4281484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$87C84677-B5E7-4929-9FC2-BEDA556C603F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$879C7B48-9761-4E30-8445-ADF0BCC9E800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbce5de4c77185caa8d7bc5b184a55acd88d3bf7","datavalue":{"value":{"entity-type":"item","numeric-id":2842843,"id":"Q2842843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$99271ED4-1448-43C6-89DE-983AC35EB7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c01a3a60293b8dcee3f22c6ba500443234c547f6","datavalue":{"value":{"entity-type":"item","numeric-id":4783322,"id":"Q4783322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$9F604E1B-978C-4206-B3E6-0FC7BC583465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$397FD488-4DBB-488C-95B9-732EE95C523F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$A4B09F71-95CE-4BA0-B4AE-3E5282187651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e943059f11e6052ed511d609da082d75ab2cddfb","datavalue":{"value":{"entity-type":"item","numeric-id":4347376,"id":"Q4347376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$EB55FC45-292D-46FF-A4B1-C8C0632896B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6ba999253464556d07386a325da245f321d282","datavalue":{"value":{"entity-type":"item","numeric-id":1350344,"id":"Q1350344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$F8BF1F69-45C0-4FA5-9E31-2A1CDE6CBAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61ba215039c96cd178dc11f47607c7c5bc1d306","datavalue":{"value":{"entity-type":"item","numeric-id":558418,"id":"Q558418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$E25F1037-A587-4FF5-A7E7-35B95AD786F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2c30f25ec3cfab62eb3585cc72cd5d0d7469b4","datavalue":{"value":{"entity-type":"item","numeric-id":4291035,"id":"Q4291035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$D018E04B-32CB-4D00-B7D1-FC74F4A40D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca6150f436daa08959bae207b272edf02cd89b4","datavalue":{"value":{"entity-type":"item","numeric-id":5348861,"id":"Q5348861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$784E7229-0CF6-4B8A-9FC9-22AC024489C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b829e11b7e086e434ca5f59894bd994b3f0b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738350,"id":"Q4738350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930870$426C3FB4-A509-4D9E-BD15-4DEB7D8A3AA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b0ccbdd86e570d12086334ad587fb7991d63387","datavalue":{"value":"10.1016/J.TCS.2008.01.046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930870$4819935C-766F-4536-8426-3C3696C992C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b65cd5c5585f465ed8a880fa1acebbb85338c0","datavalue":{"value":{"entity-type":"item","numeric-id":2381503,"id":"Q2381503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6a65d373cd1c4310cb0153b7393e870885119e","datavalue":{"value":{"amount":"+0.8438543081283569","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":"Q930870$53A9B688-5357-4D0A-88FB-5A4E18FDB09F","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":"2fc1d9cd2cbb09fc82a9ddbb172a60b0386be60d","datavalue":{"value":{"amount":"+0.8373879790306091","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":"Q930870$B5392C56-89FB-46B3-B305-95B3087B0006","rank":"normal"},{"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":"f0747ab2582f1b9524b1bda06f1d7f0dc4ad7a10","datavalue":{"value":{"amount":"+0.8242349028587341","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":"Q930870$1D924029-6F5A-4FF8-837D-16861CBBA12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b58e657fa108ec92890277c2cfa9da6365ccd0e","datavalue":{"value":{"entity-type":"item","numeric-id":2851086,"id":"Q2851086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ce2be81b4d33495b2e5e4e8826f75db9654177","datavalue":{"value":{"amount":"+0.8147558569908142","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":"Q930870$49AAC550-471E-46E7-9BF6-013B472D8DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2083e8a04f24ae4244b105938838260c8a02124","datavalue":{"value":{"entity-type":"item","numeric-id":3105748,"id":"Q3105748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f04157a61b5297b1d4cf2d234f7227a2270b40f","datavalue":{"value":{"amount":"+0.8050490617752075","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":"Q930870$60857501-D95D-49AF-AEDD-2850CD8B6D63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A typed lambda calculus with intersection types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_typed_lambda_calculus_with_intersection_types"}}}}}