{"entities":{"Q2985786":{"pageid":2996511,"ns":120,"title":"Item:Q2985786","lastrevid":85482239,"modified":"2026-06-03T08:54:00Z","type":"item","id":"Q2985786","labels":{"en":{"language":"en","value":"Disjoint intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713917"}},"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":"Q2985786$B84F2B54-386E-4436-9948-5D2808AFFB8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01fa3c3527c4c4edcdbf4a2210f2ef19c91101f7","datavalue":{"value":{"text":"Disjoint intersection types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985786$0EA4B7ED-AF2C-4700-8287-079AAA8F6D43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de854a695f4185016bce53c0331059f113f502cb","datavalue":{"value":"1361.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985786$C8CB7A3D-49AA-4613-BBAF-3EF5E8D21B77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"054647bac0461b930f58a8d7eec660087fa61010","datavalue":{"value":"10.1145/2951913.2951945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985786$F7DEA6CA-7046-4678-BEC4-EB231C9B0C1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8d4a9643935796d9a1f172819199c42865b008f","datavalue":{"value":{"entity-type":"item","numeric-id":1791208,"id":"Q1791208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985786$493A1579-FDBA-4A18-A370-4BBFF1D5B919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33357b9d92e2fa3f97faea2d900aaca2e23c52c7","datavalue":{"value":{"entity-type":"item","numeric-id":2985785,"id":"Q2985785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985786$D5C910CB-039F-4084-A969-1859552C71C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3765f4fa456ee10569a1e90d7d16c69c8a5c0861","datavalue":{"value":{"entity-type":"item","numeric-id":2798254,"id":"Q2798254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985786$B9BEC2AE-5ED7-45AF-9810-FF54D90C64AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"423c52aacdf5e1820397bb95b30ee85c088ba9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981996,"id":"Q2981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985786$7C995B67-537F-48B3-83D8-3FA9BA40E343","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2985786$6854EFBB-8470-432B-8FC6-DAA50A20025F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985786$2BE3FC3E-2104-43F5-AD43-E25962285398","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"355eafa9205899ebf617d5dd58bfb989ba45dbae","datavalue":{"value":"6713917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985786$5FE4B4CA-29F0-485A-90B5-A7D671315079","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985786$87F8EE19-B3F8-46BA-87DF-F757408C8B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985786$19DFA799-127A-4D31-AEA7-C068BCD102A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985786$88796400-0856-4420-B928-82AD4DE2A53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985786$0624485D-D155-4CDF-8905-D5B6815B84C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7e6b332eaddaba275128ab7548503cb9917b3e4e","datavalue":{"value":{"entity-type":"item","numeric-id":24362,"id":"Q24362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985786$C779FBE7-60EC-41E6-AB56-1AEAD03EC98A","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":"Q2985786$384ED610-FA16-485C-AE70-20C9A2FFA86F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d39b6e00047e2c564c71f4bf31f26ce7b213cf74","datavalue":{"value":"https://doi.org/10.1145/2951913.2951945","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985786$473BA7B8-864C-4539-8AD4-70C8B4F5D9F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5b849593fb9a2e81e97b1796a5c92c4c494d825","datavalue":{"value":"W2517607333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985786$A2B55FFC-B4B8-40D5-82F7-6883D6B2D543","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c84228db072852affb8578ac73a669b24e5e064b","datavalue":{"value":{"entity-type":"item","numeric-id":5096243,"id":"Q5096243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b20b1f17c7542288b717614b4306f6ec61d96a","datavalue":{"value":{"amount":"+0.89650434","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":"Q2985786$7487CF88-71E5-4595-ABF0-6E457EB38EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d73d144ed2eee09c5bc2143e4f25bf52d90d29c","datavalue":{"value":{"entity-type":"item","numeric-id":4903718,"id":"Q4903718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ec7ccfe22f0e829c593f19d2072f9e8c050f81","datavalue":{"value":{"amount":"+0.890463","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":"Q2985786$4B2DC7F1-9824-45B9-9888-E00DCD432BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94b5d11f0d4f95aee86083fc2c9905bb3a25cde4","datavalue":{"value":{"entity-type":"item","numeric-id":4924527,"id":"Q4924527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3986e7022f3e75c34c1927592d1a77653cfc438f","datavalue":{"value":{"amount":"+0.88473624","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":"Q2985786$D9627848-D294-48BF-8F02-1B23C87F652C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ff53a6561f5f4d01f87b30d03afa5b6a628bfb","datavalue":{"value":{"entity-type":"item","numeric-id":1434348,"id":"Q1434348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ebcceb848b729a55bb9496a1fbc70cbc9be57b7","datavalue":{"value":{"amount":"+0.88030374","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":"Q2985786$3D27F97D-01CE-4DAA-8A30-AB8B101F8768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3bcec2300d72928343a038cc29924b55117a92e","datavalue":{"value":{"entity-type":"item","numeric-id":4708431,"id":"Q4708431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59556e543bc29c609aa0a3071f9d1eb99ca3e1ec","datavalue":{"value":{"amount":"+0.8738041","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":"Q2985786$0089C5F1-C68E-47D1-BB98-2A84D1608869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a08dc9b4720d56ced47fae58521d24123f5abf1","datavalue":{"value":{"entity-type":"item","numeric-id":6176571,"id":"Q6176571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c77c1ce4446017510cad2842e72046b3a494d5","datavalue":{"value":{"amount":"+0.87179327","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":"Q2985786$EEDF059F-9E10-426C-A039-920CA4DC3D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"643e88ac45acaa5f20d3c9114507259e607a2158","datavalue":{"value":{"entity-type":"item","numeric-id":5076057,"id":"Q5076057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"420bc63fb73e2b9eb0897340b484660e775688b5","datavalue":{"value":{"amount":"+0.8699936","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":"Q2985786$077EA4C0-753F-4E37-92E4-8CCE0C6746A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c311fafdff78b3b5de9efc2de074234c5e48f34","datavalue":{"value":{"entity-type":"item","numeric-id":1350344,"id":"Q1350344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57faf352b7f21f2323dd436960ace9f71a8974c4","datavalue":{"value":{"amount":"+0.86753523","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":"Q2985786$FA8CE11F-D689-4B21-995A-748022B693D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d431a54fedd394db44def9deaa8dc8abd77b93d6","datavalue":{"value":{"entity-type":"item","numeric-id":2943370,"id":"Q2943370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e378e56253a6a9614d76608cc4d6208b480d2f","datavalue":{"value":{"amount":"+0.867083","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":"Q2985786$DCB18F12-A2DF-4441-82E3-D6898F134984","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Disjoint intersection types","badges":[]}}}}}