{"entities":{"Q1924327":{"pageid":1935069,"ns":120,"title":"Item:Q1924327","lastrevid":69316362,"modified":"2026-04-13T06:11:39Z","type":"item","id":"Q1924327","labels":{"en":{"language":"en","value":"Strong normalization and typability with intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 935225"}},"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":"Q1924327$3BF2DD2E-A20C-4A61-91AE-AF144BE77697","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce32906e8d9d54c880c269aa4b1ef83e4702fcb1","datavalue":{"value":{"text":"Strong normalization and typability with intersection types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924327$EEA4689A-2E49-4F78-A950-0C469CA394AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa0605dc80177d3312e40574f6bd20c9b71186f1","datavalue":{"value":"0859.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924327$049CDB0C-C503-4EF0-9E5A-E64C9694DD44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a8f67a7203ff5cdeef2bd4736ab7f6f290a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":202167,"id":"Q202167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924327$34A16F70-3DE9-4EFD-8B37-087086AC3B95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924327$79B4B2A7-0299-4A15-A7DD-384C2B4C5E75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87c3e3b2ec497a54777723f516b57d715fefe115","datavalue":{"value":{"time":"+1996-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1924327$B65DC23F-3973-4D80-BF86-5C7578E46BF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924327$BD75258F-70F1-4A84-A32E-2C021D5318ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6acd07adfa8aafef65a0c3a4ad3f9689579343a","datavalue":{"value":"935225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924327$A2793534-558D-44CA-82AA-C15C64A03F25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cab5b8cef888896682f98450e398225ea29239f","datavalue":{"value":"strongly normalizing lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924327$B92FA3E9-B678-4787-AF11-FFF125E52EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89edee7cc3780eb613987eb5b5c5e91f665360a2","datavalue":{"value":"intersection type assignment systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924327$89868D35-EE31-4919-9D4A-9A9FA351DB88","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924327$D5A0D1D5-560E-461A-8CD6-83B1AC44BA95","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":"Q1924327$B885336F-8E6B-4E12-8974-C8EC29FF4FAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da143846de783be20aa3bd21915f8d7722c0af70","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040067315","type":"string"},"datatype":"url"},"type":"statement","id":"Q1924327$163AC3BC-646F-4A21-9D79-4E48DC701441","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fafbdf9bc5f0ab733f6b4cc7b7f2e32ecce4cfe8","datavalue":{"value":"W1975280443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924327$86F0C4A9-6254-45E4-A0A7-BED75D2D19F9","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":"Q1924327$C51A770D-389B-41D6-AEF0-3D6513536B13","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":"Q1924327$B9A8356C-3806-4704-B652-F47A4DB090C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54248dd0491e9d3643cd764e439a902559d8a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1208732,"id":"Q1208732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924327$9D1ED0A2-61A9-45B0-982A-D3F1A0882D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7e188f4b4ffb4ec8e87ff410540112d5b2a272f","datavalue":{"value":{"entity-type":"item","numeric-id":4286212,"id":"Q4286212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924327$C5528E9C-9342-4CAB-AA39-B5975F38E0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924327$8FF9150A-D03E-4A67-9455-68AB10804684","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":"Q1924327$15D36DB0-2C01-4ABE-817A-4A9AB813D813","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":"Q1924327$8F8D17B8-B31A-4EA9-AC44-97577E63EB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924327$E7F95035-1D3F-4241-8558-E67EEBC4B0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd4384e04df05a6d681d8752a6931ccfe2df646","datavalue":{"value":{"entity-type":"item","numeric-id":4093416,"id":"Q4093416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924327$69429BD9-5918-4EF3-A651-146175785F5B","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":"Q1924327$9164E94E-8E77-4B9C-A8FD-7FE29A3C8551","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad0f864a8841e1f1b2d89f8e839a17f128fbbd38","datavalue":{"value":"10.1305/NDJFL/1040067315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924327$F5D3323C-90A9-4024-B43A-B5891666E94B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8627593d274c87dfc4fb4d4324791736791db2b2","datavalue":{"value":{"entity-type":"item","numeric-id":1407502,"id":"Q1407502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b292a6ec28289372ff38072fac56d9e63971be","datavalue":{"value":{"amount":"+0.8946676254272461","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":"Q1924327$F860D32E-BA09-46A4-BB77-5103E2F53DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db2342ed2c626049bdf31040ee77033b181e8e71","datavalue":{"value":{"entity-type":"item","numeric-id":4457448,"id":"Q4457448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf7c68d559eabca90f2e9997715a999dca5eaab","datavalue":{"value":{"amount":"+0.8599904775619507","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":"Q1924327$828FC5E0-C177-4EDC-B8AF-33993B8549F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9896a3ffd75ec6f467b242d34e5c0997bfa7ef93","datavalue":{"value":{"entity-type":"item","numeric-id":1744407,"id":"Q1744407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76707a018ecf52150fb6556b777931d646374d6d","datavalue":{"value":{"amount":"+0.8425098657608032","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":"Q1924327$2D9C11E4-BF6C-4113-806E-5D24950495FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08ba87d4937873c2ba0f51ee39be5794fa72fd53","datavalue":{"value":{"entity-type":"item","numeric-id":5695115,"id":"Q5695115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cbd61a8709402e5475a5c2b7424b9849df7c3a9","datavalue":{"value":{"amount":"+0.8392264246940613","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":"Q1924327$F4995CCF-A5E3-455C-ACB9-280FA9C144E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad294ac104e314aec214589bb780ad8a88daf3f","datavalue":{"value":{"entity-type":"item","numeric-id":4903715,"id":"Q4903715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e9aea3c6e10092c4b3e30585f49137fb7ac34fb","datavalue":{"value":{"amount":"+0.837531566619873","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":"Q1924327$77E0FB5D-C40A-4B91-B127-3D7BFFC96575","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong normalization and typability with intersection types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_normalization_and_typability_with_intersection_types"}}}}}