{"entities":{"Q6164466":{"pageid":13299347,"ns":120,"title":"Item:Q6164466","lastrevid":102658016,"modified":"2026-06-06T05:05:36Z","type":"item","id":"Q6164466","labels":{"en":{"language":"en","value":"Structural rules and algebraic properties of intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719825"}},"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":"Q6164466$C6296AD2-3BE3-4C45-8482-32D2D8A91BF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cccab0c7e3e77ff26a282f7dd7ecc717e3116897","datavalue":{"value":{"text":"Structural rules and algebraic properties of intersection types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6164466$919A7AC9-590D-47A0-BE70-9E1273BB19D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be8df232b423f1f873d135dda8c2e2f6201a2dce","datavalue":{"value":"10.1007/978-3-031-17715-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164466$98191E10-F2A0-43AF-B9B1-4D582F68AB49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2eb09ce379517ae0e0c141c5fee079c01b864dc7","datavalue":{"value":{"entity-type":"item","numeric-id":530850,"id":"Q530850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$C536333C-620D-4F1E-B342-A02932A54830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7caf918ebfde63ac64127671232bbb1ceaff1199","datavalue":{"value":{"entity-type":"item","numeric-id":656849,"id":"Q656849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$A3BC4865-2674-480C-B12D-7E0587F2E1BC","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":"Q6164466$CD0CF0F5-D3AC-4922-8461-E4A58023414A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6164466$988C5611-8A7B-49D6-9981-7F6EB35B730F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5da1eb6a8ce639636b5c3237e7e1f09ba70bbffe","datavalue":{"value":"https://arxiv.org/abs/2204.12376","type":"string"},"datatype":"url"},"type":"statement","id":"Q6164466$37E52C93-51FE-4642-9AC1-0353A079AF51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164466$227E33A1-4026-4C79-91D0-68500CD62E86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67031a5701c1279c515d6132a32f40c6f89245da","datavalue":{"value":"7719825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164466$DB54668D-754E-4025-9813-9EE325861992","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164466$5178003C-A12A-4325-84A6-FF4EB93765A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3557554998190f32c3b9dbf6c29fc20ac15c289a","datavalue":{"value":"substructural type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164466$DD2882C5-1712-4962-B940-D19A57E64E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"081b79b4adfd295e5dab936c22cabd29ef04eede","datavalue":{"value":"linearization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164466$4A1B26BA-5603-4531-9AB2-55283629E4CD","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":"Q6164466$35A9BB52-B8D6-4D9F-B4FD-887B1F7F1059","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c09c1b8b635f813505c8d657bb0642ff7bee1919","datavalue":{"value":"W4312605165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164466$401AA401-B084-46A3-AE28-DFCEABD28AB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"565d9e1f0727ced8725d3359529f4dc1e41c9c19","datavalue":{"value":{"entity-type":"item","numeric-id":2566028,"id":"Q2566028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$A1E24501-6236-47C9-BE6D-1A622B9A674C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e78cfd3ba43da829d978e349f416f542decd9e7","datavalue":{"value":{"entity-type":"item","numeric-id":6164466,"id":"Q6164466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$EC817F89-B7E4-4F50-93D5-C907E0AF2F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$BEE170E5-FBFB-40AC-8B48-62D53F7CF42A","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":"Q6164466$405BC23A-63B0-4DF2-92EA-9483361C2F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$B231B2BE-E19B-4FDB-BE58-BDB432E5010B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"146b653a92f56ffafe37f294514d90944eb74757","datavalue":{"value":{"entity-type":"item","numeric-id":5145614,"id":"Q5145614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$9C5DC746-F8BC-4ADA-A90B-BDD3B7FF5133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"806d61e380bbc012359f6b589f95e7cbddfc81f6","datavalue":{"value":{"entity-type":"item","numeric-id":4644585,"id":"Q4644585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$96BE146C-3064-46BB-BA6E-FDCA182CD06C","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":"Q6164466$CDD2F93C-AD29-4BF9-B625-0960840B97A7","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":"Q6164466$769E0B8A-30A6-413C-B0AC-CA10E97904C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c2c3cd37ae471eae65a3748f90112254f38d8e","datavalue":{"value":{"entity-type":"item","numeric-id":4758660,"id":"Q4758660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$7A7295BA-C13B-4AC3-BCAB-F0A14C369AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$7F7206C1-9E3B-4528-95C6-A12D0FF91C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91843824dd14d90801af804a7f423a24d1b3f5c8","datavalue":{"value":{"entity-type":"item","numeric-id":2851090,"id":"Q2851090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$D266FB7A-2019-492C-B151-39ADC9E7B7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11805d1495c33264ee44cf930f8f0f04f6101d63","datavalue":{"value":{"entity-type":"item","numeric-id":5168879,"id":"Q5168879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$B4703CF3-1582-4C66-BFC7-BBE32795288A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95ef9cd64a1b4e2d2871633f569d2d100bec2df4","datavalue":{"value":{"entity-type":"item","numeric-id":4417863,"id":"Q4417863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$391C81B2-F2F5-4628-B377-F2239163BAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1209cc2519c0798504384b3a297a5def88b5a62","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$C5125207-65AD-4829-AB3F-11F100B765D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa52ea278890265e9d437290fcf6496300e9f2","datavalue":{"value":{"entity-type":"item","numeric-id":5692152,"id":"Q5692152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$AEF0F66F-2F41-4A2B-8D85-18C437D9DE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba89e24c650d6f69085035ab2ee78d9f09dc9b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2828323,"id":"Q2828323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$09FE2DD8-81E9-45F3-8107-692C7DD2D347","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":"Q6164466$35EF72A0-A063-436B-9658-0B96D6944A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$A63A6395-EEEF-4E18-ADD5-851BDD006C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$DEDBF7DD-50AA-40C4-85AB-541021A55FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211633feba60e3b5d86f54253f1def7897daadb4","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$F67395CB-A03C-4B30-B32E-A171D68D2080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$CDD42DFD-79D6-4EDD-A4D7-F42A58666AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ace94637d8e518448f82447974f4bf65fd432e","datavalue":{"value":{"entity-type":"item","numeric-id":2986823,"id":"Q2986823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$39255A0A-93BD-4FB9-B164-DE018B8EE2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b0b5f19fc88dc8136195955bb1f585effb2322","datavalue":{"value":{"entity-type":"item","numeric-id":3638099,"id":"Q3638099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$4EDB6C8B-041E-4196-AE1A-9EB939AE672D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d7b6afaa91c3a7ade3ec03ca2b5dc4ec389e62","datavalue":{"value":{"entity-type":"item","numeric-id":5178032,"id":"Q5178032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$5BD3B0A0-EC63-4BE4-9FD6-011B99DFC903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068704cf4615da30a2835e3abea74899686e26a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732171,"id":"Q2732171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$F6173974-6359-4A2E-A850-B9870978A737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$30AB7FDB-D92E-4D82-A213-DFDC9495637D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3388d42285fbea14d22b8580fcd0d30392780d71","datavalue":{"value":{"entity-type":"item","numeric-id":4261096,"id":"Q4261096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$E39CA17D-77BB-4C93-BA86-45FB423DDE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164466$5AFF63C6-53D9-403E-8894-507F414FFE41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structural rules and algebraic properties of intersection types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Structural_rules_and_algebraic_properties_of_intersection_types"}}}}}