{"entities":{"Q6567783":{"pageid":14178938,"ns":120,"title":"Item:Q6567783","lastrevid":55704016,"modified":"2026-02-17T21:20:21Z","type":"item","id":"Q6567783","labels":{"en":{"language":"en","value":"Characterization of the principal type of normal forms in an intersection type system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876738"}},"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":"Q6567783$E76C72F8-EA90-4945-BD15-93F5ECDE926D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0dc79ce45acf36e895b7ec5af2630acf2af18af","datavalue":{"value":{"text":"Characterization of the principal type of normal forms in an intersection type system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567783$C06ACDE7-8EEC-4965-AEBE-99A0B953E210","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fe06c58d1338397088f669535f486e8e0756ebf","datavalue":{"value":"1541.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567783$21573431-7AF2-4FAA-876B-D7479A730CA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f24ba164c82762ce37f83f0945aab4897ec1512f","datavalue":{"value":"10.1007/3-540-62034-6_61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567783$B66E5B14-C552-4D42-AD24-B9C2EEFCF709","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3fdf3dba7da9f0b32fc24205ec0c6a75007fd5b","datavalue":{"value":{"entity-type":"item","numeric-id":4708429,"id":"Q4708429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567783$8CA93E04-7978-4E34-8AD5-2C1C540B6EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d146253b50ea098810c32fefd75002fefee80627","datavalue":{"value":{"entity-type":"item","numeric-id":2151280,"id":"Q2151280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567783$14232CED-1AF4-4C57-ACAB-62CA704413CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567783$2C83AE24-E094-40F4-9F55-B385B30D6A15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567783$8240A5DC-1E9F-4094-B31F-79864EEC8E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567783$8E8E4972-68E8-40BE-B584-36F7770AEC66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cca9510c05e17019bdcfb08255406c7f07b72d09","datavalue":{"value":"7876738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567783$5CFD54F5-1167-4DE8-A24F-E0933D8E504C","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":"Q6567783$FDF3E48E-7949-4AAA-8D6A-9F6ED567D1F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567783$5D33239C-4713-4DBA-9EB1-3634F38C2FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef20d70ae4a35d8a1f0191877c0c62d6346fe8","datavalue":{"value":{"entity-type":"item","numeric-id":3997125,"id":"Q3997125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567783$D722F441-8E81-48E3-A373-33DF5FDA63D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567783$6D523E8B-BF33-4762-8031-D1912D47CD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567783$7026AFEB-39ED-40F5-89C5-896823B78D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe655fe601c833ccc2e6ab28bbe353022bd1c954","datavalue":{"value":{"entity-type":"item","numeric-id":4490749,"id":"Q4490749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567783$91CDE7E7-D46D-4D58-90A2-219D441B55B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567783$2443AAB1-5146-412A-B84F-654E6812F424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2f195c49df82c9cda56f240abd57e5287f8348","datavalue":{"value":{"entity-type":"item","numeric-id":1819575,"id":"Q1819575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567783$A3DAA1DD-7644-4ECC-B336-0FE6D0FB660A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5fd89c5d26dc2b619a43eb2aae6a75fa5b9b10","datavalue":{"value":{"entity-type":"item","numeric-id":4835538,"id":"Q4835538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567783$682D53E3-B51E-4B37-8E87-8462A84A6C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567783$BC3B71CA-107F-469A-BCD2-1DA459776442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f416b5bcfc200e5c8ed939a8affe19aff4a5498","datavalue":{"value":{"entity-type":"item","numeric-id":1110311,"id":"Q1110311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567783$E3619C27-8171-43D2-A6F9-7B6E0D1BD8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68dfc4a44943c6fc1906d97837725b5ac79535e","datavalue":{"value":{"entity-type":"item","numeric-id":790801,"id":"Q790801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567783$02872549-C83B-4B28-9D2D-F65763F11B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567783$2680BF1A-1974-4835-B6BE-3CA712F8448E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59f0470868d890facd258dc61c1d63aa031f33c","datavalue":{"value":{"entity-type":"item","numeric-id":4286211,"id":"Q4286211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567783$A0C14E47-5C68-4C34-9DDA-283ADFA55B53","rank":"normal"}],"P1643":[{"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":"9cff81fbd7439732f475d39c75434d7226f81577","datavalue":{"value":{"amount":"+0.8418967127799988","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":"Q6567783$87B47CF5-8689-4A3A-87A0-CC9EF1A0D51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ad3ae406a2c925ed49825c3d6fe3596eeddc94","datavalue":{"value":{"entity-type":"item","numeric-id":1900315,"id":"Q1900315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5577626f125a47d080b3e4e18cb2a356af8c42f","datavalue":{"value":{"amount":"+0.8303501605987549","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":"Q6567783$3901AB17-4129-44A8-B307-D8F646341D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614e24fba81ee90527427cb20b65fbb1bc00c52a","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8718bf3e147a3beec7ab74d5764bc44194d9ec7d","datavalue":{"value":{"amount":"+0.7892598509788513","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":"Q6567783$5AEC423A-156D-47EF-AFCF-F02D1285C7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a4fa3dc06a7ec04c149955b20385bac0a0d8354","datavalue":{"value":{"entity-type":"item","numeric-id":1110311,"id":"Q1110311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99db721c8b1674199a444e7f4636dbfa5c74b09c","datavalue":{"value":{"amount":"+0.7866543531417847","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":"Q6567783$09706175-3951-4E22-AA34-5F2D97E869CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e580dd738879786e1ecfa8dc2115c1331ef374","datavalue":{"value":{"entity-type":"item","numeric-id":4835538,"id":"Q4835538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57fd8aa646bad451b8741779097d9095820fac3","datavalue":{"value":{"amount":"+0.7854290008544922","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":"Q6567783$28A05EFF-1DB8-4FC8-9B19-2AAF4EC4FB29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567783"}}}}}