{"entities":{"Q5369484":{"pageid":7399058,"ns":120,"title":"Item:Q5369484","lastrevid":100861652,"modified":"2026-06-05T23:18:16Z","type":"item","id":"Q5369484","labels":{"en":{"language":"en","value":"The intersection type unification problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6792352"}},"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":"Q5369484$57E5FCC5-C0CC-4392-BAFF-106CF1CFE9E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"963f95c9ef0f7e8341bf9a8e2102a509891bc72e","datavalue":{"value":"1387.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369484$84048E61-BDC5-4BE5-8114-8997023ECFFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5ce65c56afa1906ba893a540ec6c1d1df610eeb","datavalue":{"value":{"entity-type":"item","numeric-id":4637690,"id":"Q4637690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369484$CD35BE2A-C13A-49F7-84C7-405EAC59D94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71b2bb4c703dce597e4a7185ea8ca2f5c52c81e2","datavalue":{"value":{"entity-type":"item","numeric-id":2441718,"id":"Q2441718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369484$2FB68133-B292-4172-AAC9-3F62D97185C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cc3e39d72e1956b65012dbfcf84931423e35849","datavalue":{"value":{"entity-type":"item","numeric-id":1351997,"id":"Q1351997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369484$B3A19FB7-2E94-4FC0-8835-B270AADC656D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eae4cdb5001296cfa1d627ad5453506a5832f064","datavalue":{"value":{"time":"+2017-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5369484$04981052-0875-49C1-A405-4CD724A857A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369484$FB0E6420-01F2-4509-9EC2-92D0969CCA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369484$076515EB-2791-41D1-995B-3EE38F8CC9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369484$2A89F3CF-4265-496B-9336-67FA5EDB70ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369484$F526C736-36DD-441C-BAA5-960E35749AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369484$AC7E7775-2625-4334-A27A-62812020587B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85cc5d811048d3446bd5a60bb714ba3c12f53308","datavalue":{"value":"6792352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369484$844F6138-7A57-4388-8D80-22934ECDC87D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a7529bf31e2ea8592c6daf3ee10f15edeca469e","datavalue":{"value":"intersection type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369484$0F545583-78E1-4903-A13E-3EB634325899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369484$A0795EBD-9CDD-41D8-9DEA-7EEA2974F03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369484$4D38CB6D-9ECE-4042-840E-2D91F2D3123F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0470d7a9698e5ceba3367e54959ca52af6c7553","datavalue":{"value":"tiling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369484$7AF1D685-6B46-4011-B1ED-8E869B8048C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369484$2B250DF0-5961-4B91-BF7C-AD9702A756F4","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":"Q5369484$B192C6F5-0634-456A-8042-52D094C648AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af519901979162e880bd3ee6a8fc6a12aaafd49b","datavalue":{"value":"10.4230/LIPICS.FSCD.2016.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369484$B0199952-D880-42EC-AF4C-C69C11E0AA11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"422cf2ad2e55759e0d5b679292242d4fe24f5536","datavalue":{"value":{"entity-type":"item","numeric-id":5367047,"id":"Q5367047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41593146e7f1562e089cabec6aa10aaaa93f15f3","datavalue":{"value":{"amount":"+0.9678394794464112","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":"Q5369484$C0C6BD77-76E9-4C66-A141-07E750958A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f8bb4a8b1e009f66cc6997f3c7ac21bda5fffa","datavalue":{"value":{"entity-type":"item","numeric-id":3612635,"id":"Q3612635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5ddede3de6f69931ed650c033942dd6e8094640","datavalue":{"value":{"amount":"+0.7845228314399719","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":"Q5369484$06C350FD-E60F-4547-8CE8-236050FDC933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1219ba1a4464db1750a60bbd303f14c079f3ee7","datavalue":{"value":{"entity-type":"item","numeric-id":5300898,"id":"Q5300898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a57407006846f1951c0e3e59e529854184437db7","datavalue":{"value":{"amount":"+0.7814098596572876","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":"Q5369484$6E7B9DC0-FEDA-4969-B09F-0C7016818B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7055a05938c354e4ad8f49d58e8cbc238c8677a2","datavalue":{"value":{"entity-type":"item","numeric-id":3637206,"id":"Q3637206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"936763ddb05cf0083531cc39af75ec41bf769326","datavalue":{"value":{"amount":"+0.7765397429466248","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":"Q5369484$DA301DF2-8949-4E20-A122-74CBE9A600CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2483ea6927d7034b5661e5bd3c0c5ea91395a672","datavalue":{"value":{"entity-type":"item","numeric-id":4934035,"id":"Q4934035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6221388ac4be5ed3afa9988ab0e2bf7ded37501c","datavalue":{"value":{"amount":"+0.7731730341911316","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":"Q5369484$DA9704A5-DEF2-4CEC-A8D3-13D97957CE9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The intersection type unification problem","badges":[]}}}}}