{"entities":{"Q3452185":{"pageid":5227846,"ns":120,"title":"Item:Q3452185","lastrevid":52391636,"modified":"2026-01-22T13:10:24Z","type":"item","id":"Q3452185","labels":{"en":{"language":"en","value":"Semantic subtyping, dealing set-theoretically with function, union, intersection, and negation types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507169"}},"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":"Q3452185$C960006B-AFD2-4080-AB4A-6BE685324286","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a95d648becfcb6d6f676fc9d973464cf81378c81","datavalue":{"value":{"text":"Semantic subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452185$59F1D225-FB8E-4FB5-BA1B-3CB257EA80DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbf4ed87ab5c8adc4f7590e89ffbbabe08c7d6fa","datavalue":{"value":"1325.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452185$F91974B6-3367-4E18-9B08-5A06E19472D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f99bf9a3dd6269b5f3d7a23c8168ef1e9f250677","datavalue":{"value":"10.1145/1391289.1391293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452185$C8D76425-360B-44AD-A34C-E07C29073594","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89358b83c7f68e264d2a13618aca2db9a92e31f5","datavalue":{"value":{"entity-type":"item","numeric-id":2842837,"id":"Q2842837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452185$846D7E38-9885-46A3-A57F-4ABC4E18DB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b209780d81daa64ec96c8241b2924bd88decdd8f","datavalue":{"value":{"entity-type":"item","numeric-id":930880,"id":"Q930880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452185$BC3B2B75-4EA9-424E-A9EF-38DAF38E95FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"385d2c324a3558e57cf8738beb99a6c61eee2c64","datavalue":{"value":{"entity-type":"item","numeric-id":1687730,"id":"Q1687730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452185$EB22F270-472F-4EE2-AE5F-5C7CA367D52C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452185$157BC73A-D470-474B-94FB-0AD7D33C25A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452185$18015A7A-2F30-4981-B92F-164FC4BB2045","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452185$3386995C-1A99-443C-9F3A-720886E9FA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452185$4EDAEB7F-2CB7-4DBD-9E6C-8AC2BA8A71CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e4fdab6fa8668a1d7dcf39e3a1397f668a85630","datavalue":{"value":"6507169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452185$B1E574AE-025B-4981-8B03-478E7AFEECCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452185$72BD7379-8C43-42BF-B04D-29B509ADE4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3dc896052e56d420496bcd412a3e3ef4322f80c","datavalue":{"value":"higher-order functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452185$61DCB485-32E1-4F72-8D0B-EF2A880424DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452185$2B54C4B6-DC9C-4948-817D-6B6F87DFA845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b25e7042a9a6334c7aad95809e9a0d100733b4","datavalue":{"value":"negation types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452185$51E10B48-1E4B-4F0B-8A0E-27B1DBF3E73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0964c617fecad7b834e90ec9e1147ee56be03f08","datavalue":{"value":"union types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452185$452FBB54-FC53-4104-82B1-DD143F682204","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":"Q3452185$BB532F34-598C-416C-BA2F-0F517D9E79BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23299766a623edda5f86bf3f6c724b122f23fad3","datavalue":{"value":"https://doi.org/10.1145/1391289.1391293","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452185$81F13953-2188-4875-B40A-17D066102488","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"669103dc9dbb2a123f66e6bd6f1796a55895a94f","datavalue":{"value":"W1988897846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452185$4FC66EC3-A5AF-43A4-B2AF-A3AC03A65D7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c23dd3d2a3f362ec07e503134639c04b89bd06","datavalue":{"value":{"entity-type":"item","numeric-id":5716788,"id":"Q5716788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b25aa1cdbd432017b82ae7c440da2f6225bff5e","datavalue":{"value":{"amount":"+0.8865665793418884","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":"Q3452185$BB2FC89E-73E8-43E9-9455-C9392C6CEB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d92dceb269c65cf39dff28b8770a29ee637fa22","datavalue":{"value":{"entity-type":"item","numeric-id":1177151,"id":"Q1177151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2d96be12437262fb440a7dfa75814599f4163c","datavalue":{"value":{"amount":"+0.7967912554740906","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":"Q3452185$CAE04DC0-4B45-4D3F-BC83-DC527CFA2B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d64bbcda4737c46f7a108b315f6e23e47e3953","datavalue":{"value":{"entity-type":"item","numeric-id":4835619,"id":"Q4835619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2d96be12437262fb440a7dfa75814599f4163c","datavalue":{"value":{"amount":"+0.7967912554740906","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":"Q3452185$590927AB-9021-40A0-BBD5-9155B386467A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e04567ebfd7dfe85cdeaae69630fbd8d91f6feec","datavalue":{"value":{"entity-type":"item","numeric-id":5395059,"id":"Q5395059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be37308bd0ccaa51e8aa420994a5e529f36b23d","datavalue":{"value":{"amount":"+0.7837865948677063","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":"Q3452185$9C86218C-2376-4DB3-BE2F-F47F9045DCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b0e8fd396170ea4d8e6aafbb71cdfa87dff6aae","datavalue":{"value":{"entity-type":"item","numeric-id":5311273,"id":"Q5311273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242c94684683278a937f795bd11528580cdd6455","datavalue":{"value":{"amount":"+0.778384804725647","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":"Q3452185$0DAE1064-CCF7-46C5-8A42-1E20A1C456C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452185"}}}}}