{"entities":{"Q3612635":{"pageid":5642541,"ns":120,"title":"Item:Q3612635","lastrevid":87508754,"modified":"2026-06-04T11:51:25Z","type":"item","id":"Q3612635","labels":{"en":{"language":"en","value":"The Inhabitation Problem for Rank Two Intersection Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527383"}},"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":"Q3612635$749FFFF3-703F-428E-8EAB-80DE2FC50875","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85c202b913bea2bb87721573ae0b564781d2cef7","datavalue":{"value":{"text":"The Inhabitation Problem for Rank Two Intersection Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612635$A412ABFF-B320-4DB4-A032-CA5C825A787F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4443d64c3f078732f17f306be4a46b376e36f37","datavalue":{"value":"1215.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612635$4BEA332B-CF7A-4A73-850E-0F3EE823E054","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0ab12950e5dd2953a4b38bebb29aae7699f514","datavalue":{"value":"10.1007/978-3-540-73228-0_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612635$6B533B29-0803-4059-907A-0F23EAD0D774","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00fdebab84f6bbab1d7fbd6620f07e4352204ba7","datavalue":{"value":{"entity-type":"item","numeric-id":3612634,"id":"Q3612634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612635$04B3D848-2D01-4A01-95BE-81C9961B726E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612635$C92D6B61-1ABD-4BD5-BE41-75BC2FDC0F6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-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":"Q3612635$DBE840A0-3954-4D3D-A929-78B2F1FE5DEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20ab9f0e430efe073c51d3ff5b6f267c9d1fad5f","datavalue":{"value":"https://arxiv.org/abs/cs/0701029","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612635$DE97730C-3272-4BB8-8466-866B159F7AA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612635$C334546E-D68C-42FF-9336-005588AD318E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612635$0F6FBC7A-C0F5-48B8-B5C4-487DF725B7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612635$6796E284-A2D4-417D-890F-956083A72378","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df056947985d0ae70c1278ef0d19609f2e777fec","datavalue":{"value":"5527383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612635$594D08D7-FEBD-40AB-BDD6-83EF33CB7BF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612635$895E1486-10FB-4EAC-918C-362623E6C511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612635$C181FA8F-907A-416D-9333-4E3680F30E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"339197fb9bdad2ae5bf5fc78de008af71d69073a","datavalue":{"value":"type inhabitation problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612635$94EF0935-5ECF-4C3D-B066-50309B5E9433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92caf16c6ea57f9885da64f74196f15c97c0ebb4","datavalue":{"value":"alternating Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612635$90C11EDF-3430-4058-AD13-FC1B0E1C872B","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":"Q3612635$274AEAED-C9D4-4880-A7CC-F77BC7F76445","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d48a7c6e7c7447a4f61548a802e28ed0e492c0f","datavalue":{"value":"W1550462199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612635$5DC7C741-0C6F-4B78-8117-418C62D3D9AA","rank":"normal"}],"P1643":[{"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":"0f0627461bcbba2c0870c8453807fecebcf705fa","datavalue":{"value":{"amount":"+0.9273032546043396","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":"Q3612635$5C110023-5748-4A19-A1AB-1DD686CEA2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a228a4d8100a6da1e695652c701ca5d4fbf502","datavalue":{"value":{"entity-type":"item","numeric-id":3190172,"id":"Q3190172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7692ca373fa46524dad9691e4cb98f84f2092247","datavalue":{"value":{"amount":"+0.8225375413894653","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":"Q3612635$B9FF738F-6EE4-4C37-B5EF-604CE5639066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946284c3d0a595dc898fc6a53e1159ee3b8480e1","datavalue":{"value":{"entity-type":"item","numeric-id":4580327,"id":"Q4580327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"094971a52d0559fa6d402f342368d280c88c3d14","datavalue":{"value":{"amount":"+0.8209870457649231","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":"Q3612635$824430D6-12C4-40B6-9DB7-45F27CCD7F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c939e83b9b137bd657571d7269b57d5b156f7ae","datavalue":{"value":{"entity-type":"item","numeric-id":5212034,"id":"Q5212034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcbe69214ee3a954972b6bbc43876841e36bf3ce","datavalue":{"value":{"amount":"+0.8148679733276367","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":"Q3612635$207D734D-664B-475D-9643-BCC8BE1C322F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6685c10b9067ba95d021418fc8e7b3825524dbc0","datavalue":{"value":{"entity-type":"item","numeric-id":5369484,"id":"Q5369484"},"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":"Q3612635$9599DE42-495C-42B2-B89D-482CFB50EF76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Inhabitation Problem for Rank Two Intersection Types","badges":[]}}}}}