{"entities":{"Q1887155":{"pageid":1897897,"ns":120,"title":"Item:Q1887155","lastrevid":71064693,"modified":"2026-04-13T19:14:42Z","type":"item","id":"Q1887155","labels":{"en":{"language":"en","value":"Infinite intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118420"}},"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":"Q1887155$F81D0323-7F8B-4AE2-87E5-3FDCB7B1833E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2695d4c5aa226117753716781d02c724100e2cf","datavalue":{"value":{"text":"Infinite intersection types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887155$F1D63420-A0BA-4186-B324-7BB325DFE915","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9142fd2122022f80e0161e2f079adf0ea992ac2","datavalue":{"value":"1055.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887155$8BAAFCE6-7B69-4F1A-B921-93C84AF62209","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b730812e52a6d76c44cc32d50f66be7e17a4d761","datavalue":{"value":"10.1016/S0890-5401(03)00143-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887155$B5B33C98-B366-41B3-BB10-B8929A37A1C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdc2aa840d155fa6d7f395ddbc0ac0dce6f38cb","datavalue":{"value":{"entity-type":"item","numeric-id":265816,"id":"Q265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887155$81CC2DEA-EEEF-4A36-B1CA-8600BE0981C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c84243db84b9ad11e29e4f07f7d5740f9c0b8a","datavalue":{"value":{"entity-type":"item","numeric-id":671990,"id":"Q671990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887155$CD395F88-32A5-4E4D-B9B5-5BF5CDE4F1C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887155$7304CDDC-40F0-454D-B41D-163A0CB22A9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887155$AA786B2F-0ACF-4A79-A9C2-B858DD880FF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887155$F7E2FCF7-757B-4F68-91DA-AD18DF4872CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887155$76179C57-D999-4CED-B432-C62FFE3B527E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0488a274e74ff91038ba55cea14b13174b110417","datavalue":{"value":"2118420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887155$69097199-810F-4023-A646-3A7CA7FFB892","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887155$EA71A8B9-F166-4714-8721-7BB2D1960CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bff1a6a101ed9457c5675a03afa059c71740e9","datavalue":{"value":"Scott domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887155$390BEA70-1AE0-41DC-B0BA-AAFBECB3CCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887155$E92A2525-F9B3-45CA-B755-68A24A16FF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaeb37a2383a7b05068e63aa1d6ad42b8cde4acb","datavalue":{"value":"infinitary intersection type assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887155$958BCC03-EFC0-4E7B-B763-E4B2D2F1ECEC","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":"Q1887155$74805E7A-CD56-4422-8995-41AB1E52C19A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887155$252E6C7D-E3E6-4E29-8B27-74B28652511A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887155$E300DAD5-5415-4528-8657-6470561BEA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f37e92ca2081c23ffd0b4252bf2c1d3b287750","datavalue":{"value":{"entity-type":"item","numeric-id":5096243,"id":"Q5096243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887155$681A07D0-A197-4AB0-B015-2B436F042217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a466b0817c40b5226b5f1eb36718a10287acd0","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887155$58E547CF-7793-425D-80DE-BFE7DACEDF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887155$052C5F73-48A8-44EF-AAFA-20825328B72A","rank":"normal"},{"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":"Q1887155$DC439E45-CC3B-4AA6-BA08-A65C440D08A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b24630542c3ac1dd75e3770d1d4be2b4aed4de9","datavalue":{"value":{"entity-type":"item","numeric-id":1271111,"id":"Q1271111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887155$FFB4B7B2-DE89-4058-94D8-2ADAFFD151D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46dfa758d5b68d1e523f5ecc730c6d2e93fa79cc","datavalue":{"value":{"entity-type":"item","numeric-id":671991,"id":"Q671991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887155$7DD43232-3DDE-4502-90D9-34023E15FC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d31bc309735c45435c8c621aa1c8936bc1bab11","datavalue":{"value":{"entity-type":"item","numeric-id":1854320,"id":"Q1854320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887155$6679E5F1-9255-4BB7-834A-1C921BCC5B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887155$F6EF2453-8FF6-4400-A642-808486EDA284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d7a160d2b805fed64a738ddb0c417bb269371e","datavalue":{"value":{"entity-type":"item","numeric-id":4536366,"id":"Q4536366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887155$6AC6EC2A-8BB1-4983-89BD-99C80BAAF235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40ec9f65c8a6602891aab9e9812e47300391e10","datavalue":{"value":{"entity-type":"item","numeric-id":3915037,"id":"Q3915037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887155$8987F956-1E48-4C0C-90D8-E13C9DC49030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887155$AF9313F4-925E-47E1-9C17-B4C71FD12889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7154d6a3b7579c1d22218e93df76974c247b6338","datavalue":{"value":{"entity-type":"item","numeric-id":5816743,"id":"Q5816743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887155$9271AA4A-9BEF-4D34-888F-31EB11961466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887155$AAD2D38B-70DD-4B0A-B27F-4E849500399F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fea8c4963c8bc3f76f01d5e7f149d7551172e28f","datavalue":{"value":"https://doi.org/10.1016/s0890-5401(03)00143-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887155$C04F53D0-B368-4DF8-AC8C-C4D0B7A9D139","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abaf17c96878e75a715b4c9b32733c9857a5c141","datavalue":{"value":"W2056080126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887155$71156CDE-C2B5-4EE2-AB7F-5D3877F09667","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5fc31d95a19ea4b7e9381f8114b5f3b4c9d220","datavalue":{"value":{"entity-type":"item","numeric-id":5714453,"id":"Q5714453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1978f463fa8bc722a68d3ba849c385f125ae0c25","datavalue":{"value":{"amount":"+0.9627040028572084","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":"Q1887155$4A903FE9-7C49-429D-B45D-A9C863EDEDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab1008699d7de7760144339951de376adc7a51a","datavalue":{"value":{"entity-type":"item","numeric-id":1275621,"id":"Q1275621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04767ab610da74840582b0106bf477e5a2a4f41c","datavalue":{"value":{"amount":"+0.844610869884491","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":"Q1887155$83A65AC3-C70F-446E-A365-6B961220F48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47c40ebe9954b1b074b265bc98d08c5c1240089","datavalue":{"value":{"entity-type":"item","numeric-id":3510443,"id":"Q3510443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05224a22f9a28075a8849731c05425906844513f","datavalue":{"value":{"amount":"+0.8130425214767456","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":"Q1887155$24270E16-4065-4FD6-BBFC-659307156FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5f4e18249119867518c0c9c16b7ab557a8330e","datavalue":{"value":{"entity-type":"item","numeric-id":2842843,"id":"Q2842843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b431d0b67c40984f5ba5a4ba444b10a85d899da","datavalue":{"value":{"amount":"+0.8090688586235046","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":"Q1887155$9F9281C8-D19B-443E-B13C-A2330314F95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b65cd5c5585f465ed8a880fa1acebbb85338c0","datavalue":{"value":{"entity-type":"item","numeric-id":2381503,"id":"Q2381503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b519c856e981b23d9cc80e47040ee6012179a7d2","datavalue":{"value":{"amount":"+0.8081920742988586","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":"Q1887155$9AC268AB-B546-4BB4-BFBD-07E5DFD669E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinite intersection types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinite_intersection_types"}}}}}