{"entities":{"Q5367047":{"pageid":7396621,"ns":120,"title":"Item:Q5367047","lastrevid":96057896,"modified":"2026-06-05T10:19:08Z","type":"item","id":"Q5367047","labels":{"en":{"language":"en","value":"The algebraic intersection type unification problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6790146"}},"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":"Q5367047$BC2AFAA9-44AD-45F3-BEFE-78A59A523396","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78184aae061ff84f0e0e5cb1f2c3955cccc152b9","datavalue":{"value":"1459.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367047$7EB53F82-B87C-423D-8EAB-20A801A5754A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef76a5551cdd1bc0d0be732dfba78f2bf9f8c95d","datavalue":{"value":"10.23638/LMCS-13(3:9)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367047$2BAC8C5C-EFCF-45CE-8AAA-A6FC083073F2","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":"Q5367047$D92762F8-0766-47F6-83A4-84C39151B9C1","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":"Q5367047$ECA52E26-0A90-48B9-BA1D-74ABA6E3E771","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":"Q5367047$4C8E3F81-6D0A-450F-837B-22AD4B46DD63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0381aec861f5a199f46f1776607b0e02f2cdf4","datavalue":{"value":{"time":"+2017-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5367047$A670D372-C180-4734-B20B-AB0B59A72616","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74cc03455e2c818fd413b71d545b926ed3c3dfcc","datavalue":{"value":"https://arxiv.org/abs/1611.05672","type":"string"},"datatype":"url"},"type":"statement","id":"Q5367047$46FE26A2-4DCE-4E62-AF3D-2304A5FBC552","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367047$22B231E4-7E4C-461B-B0E4-90E34B21AD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367047$A901DEED-34A9-468A-A018-70CC6C173B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367047$929870DF-36D6-452B-BD99-10BE074AF483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367047$11E3F4EC-1C03-4DF0-BE26-080C050B0078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367047$80F7ACDA-58EB-441F-8F00-C40D27FCDEFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a4a31e7c327996fd87d5065442641838e09f4b1","datavalue":{"value":"6790146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367047$CC075555-3DF1-47B6-90A6-6A80E5A5B544","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a7529bf31e2ea8592c6daf3ee10f15edeca469e","datavalue":{"value":"intersection type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367047$19B89498-04C8-4222-BD91-611B24B5C510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367047$5A74B51D-16A1-4DC9-8285-C8D44D59077F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367047$47320F09-671C-43D0-9AD8-00C10CCFFE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0470d7a9698e5ceba3367e54959ca52af6c7553","datavalue":{"value":"tiling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367047$2BC77D06-3C3C-4902-AF94-98B66E41132C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367047$FFCD2B94-5374-4E56-A2B2-BE03DD719885","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":"Q5367047$EDAFAC56-503E-435E-A9C6-EF6E3C865678","rank":"normal"}],"P1643":[{"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":"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":"Q5367047$CEDAD160-7A25-4908-B47A-CCFBACCDD75E","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":"11374036586227f12832931048adaaf6e8d9d4b7","datavalue":{"value":{"amount":"+0.7592491507530212","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":"Q5367047$D48CD4DF-D634-49DC-A5ED-206B1559957D","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":"7ec798cce75435e06387680c912be2bc1c25cde4","datavalue":{"value":{"amount":"+0.7568151354789734","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":"Q5367047$79F68077-9871-458A-903B-EB6E05C916C0","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":"14954cd487f0ac5cc16b52eb26719715271410c5","datavalue":{"value":{"amount":"+0.7545720338821411","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":"Q5367047$E6830B0D-DAA0-4723-8084-3F37A50BFDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268a44ec3a25b73c5d8b9fa3fe2cf2ec7046dee8","datavalue":{"value":{"entity-type":"item","numeric-id":3786467,"id":"Q3786467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a839b5eb1d2e4703be2ec36006e60e90f3398325","datavalue":{"value":{"amount":"+0.7536602020263672","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":"Q5367047$1C62CB2C-D2F0-474F-8E46-36FF2AC5222D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The algebraic intersection type unification problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_algebraic_intersection_type_unification_problem"}}}}}