{"entities":{"Q2789043":{"pageid":2799781,"ns":120,"title":"Item:Q2789043","lastrevid":79387601,"modified":"2026-05-06T13:47:25Z","type":"item","id":"Q2789043","labels":{"en":{"language":"en","value":"A Translation of Intersection and Union Types for the \u03bb\u03bc-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6546217"}},"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":"Q2789043$F124629F-B40E-4E72-904B-3D4F1C9F7283","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a174b657f0974f328511b14d936cc00671c5681","datavalue":{"value":{"text":"A Translation of Intersection and Union Types for the \u03bb\u03bc-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2789043$19164BC7-4D61-415D-B254-4F5A1F3A07E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c8def6def417476cc2c5b3919e222515ca18156","datavalue":{"value":"1453.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789043$EC03D35F-B11F-42F0-89E6-9B042EC5A555","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"776552474c64a4db8f4222c38099ace613581dcb","datavalue":{"value":"10.1007/978-3-319-12736-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789043$EB8B0D5B-073B-4E60-8191-47F212418EC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e99b0756d94234ec5b8de37512b98b6fee209039","datavalue":{"value":{"entity-type":"item","numeric-id":1409299,"id":"Q1409299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789043$7D3A806E-5BEA-4507-8BCC-4539C875B43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1266d5b12dd52276642e6566ddda642b92e88574","datavalue":{"value":{"entity-type":"item","numeric-id":740484,"id":"Q740484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789043$1D4D670A-2B04-40FA-AC90-625DB639E621","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789043$070BC2A8-6609-4F5E-8EC8-0DB94B05131B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e53e678e29f7b2f89df1b8e0b1fc2ce3cab575d1","datavalue":{"value":{"time":"+2016-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2789043$986E89B4-5332-4D55-95FD-C48EC07DED9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789043$A5D44566-2586-463E-9BCB-EAAD5D8402AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789043$D05C5B67-41A8-446B-B9D2-69DA4F4DE7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789043$9198C50D-3856-4052-B738-594C1F40D1C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a28dd9a9a6e9a953165a970d19ccb970db38ca9","datavalue":{"value":"6546217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789043$E377618E-6B8F-47CA-9354-8A7F9BB32CB8","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":"Q2789043$61E7F037-4216-461D-9DF5-5D7FC6FE9C97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f09c9d46fa2014a7c76fc81ccc77bc9d9948353","datavalue":{"value":"https://doi.org/10.1007/978-3-319-12736-1_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2789043$EC6C02BF-F717-4FB2-8BA8-D73ABAD8CB80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee3cfb7ff61e918e02e33bb54d79338dd957c588","datavalue":{"value":"W170072346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789043$D57662F1-111D-4363-A3C8-132B53A03C90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0acb101caf711151f31c2701eee28a11adec539e","datavalue":{"value":{"entity-type":"item","numeric-id":2851091,"id":"Q2851091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411541c540607f38a33f73c07e7607e8a62a8858","datavalue":{"value":{"amount":"+0.9664377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2789043$66C8FC41-0C91-4CA7-8BC2-46AEFBCD8138","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":"b5d6de8f26fa9075caf5f21445c30528b2f47c80","datavalue":{"value":{"amount":"+0.9613324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2789043$FEA3C9DF-5745-4A51-B872-983B5FCA65FD","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":"3e63eaf89f4ab9201368f775f4b2218dc8da4b74","datavalue":{"value":{"amount":"+0.93531716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2789043$86FF4B84-F11B-4691-B597-75940FB7CC2A","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":"55a61bcc83520ff775ba9b27d8160ac78c4bd45e","datavalue":{"value":{"amount":"+0.92060447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2789043$10435CBD-6F2F-49A7-BFEE-965E7AEA3A6C","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":"c8e936f6e4e94ec56e90a048c009ef25e0aa9b48","datavalue":{"value":{"amount":"+0.918943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2789043$1A4CFC8C-F8ED-49C2-847A-2F435B33CA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe9e22684671de6b490667c5366106496076ad2","datavalue":{"value":{"entity-type":"item","numeric-id":3066099,"id":"Q3066099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb5f6f95710269d4043592257a2accea274353ab","datavalue":{"value":{"amount":"+0.9172481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2789043$7495D5C5-6B63-4F8A-B589-1A2513275B4A","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":"5c46e28867d3b22c60d9cf706e7b57d4338358fe","datavalue":{"value":{"amount":"+0.91624105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2789043$D76138CB-9271-4311-8203-038C44C568F2","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":"c69ce8c54e7797a59b20e2372e1d9792627727bb","datavalue":{"value":{"amount":"+0.9144189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2789043$69639A89-A179-414E-8F09-890F0B2D1E30","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":"f855a26920162c55d8ccb79e1ec380237a57c8ed","datavalue":{"value":{"amount":"+0.9138263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2789043$B8D882B8-354D-4458-B137-29215A02F7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"858618e0b7907e977165de74c7a2f92772f504b9","datavalue":{"value":{"entity-type":"item","numeric-id":2875057,"id":"Q2875057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287a769b924233fc2281c8ac48565a28fb2b5661","datavalue":{"value":{"amount":"+0.91284597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2789043$C6EC4FE2-91DF-46F1-91F0-5826185C4A8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Translation of Intersection and Union Types for the \u03bb\u03bc-Calculus","badges":[]}}}}}