{"entities":{"Q1106652":{"pageid":1117401,"ns":120,"title":"Item:Q1106652","lastrevid":69656460,"modified":"2026-04-13T08:30:15Z","type":"item","id":"Q1106652","labels":{"en":{"language":"en","value":"A semantics of multiple inheritance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4062552"}},"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":"Q1106652$CD50D77E-9D12-4E3D-A6BE-48C051773DC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41d604e68175d046f09e9027f43762ea11d3b4b1","datavalue":{"value":{"text":"A semantics of multiple inheritance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1106652$6F618757-7B56-4E89-BC48-8CA298FD5060","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c853598da9a1e4eb6b87189a3333e678055b4a03","datavalue":{"value":"0651.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106652$51945266-8209-4E7D-BCED-318DC950D780","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77f0058bfef0a949c1f103239ebae26db0534612","datavalue":{"value":"10.1016/0890-5401(88)90007-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106652$986DF01B-43B5-401B-A298-CA2B988142BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"391ea0a2eccd2e1ffb7d70cb5807f87e3011ae63","datavalue":{"value":{"entity-type":"item","numeric-id":418827,"id":"Q418827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106652$D03A772C-A975-408B-95A2-43849B73FBE1","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":"Q1106652$B2BCFE00-DC27-434A-A0A6-67CBB13DC8AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1106652$EFBD86FC-EB79-422E-812C-A726D8AB45F5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2bd4e1a8c170a960a2693e4c3f7c4c58d173591a","datavalue":{"value":"The aim of this paper is to present a clean semantics of multiple inheritance and to show that, in the context of strongly typed, statically scoped languages, a sound typechecking algorithm exists. Multiple inheritance is also interpreted in a broad sense: instead of being limited to objects, it is extended in a natural way to union types and to higher-order functional types. This constitutes a semantic basis for the unification of functional and object-oriented programming.    The first part of this paper is informal, and presents the basic notations and intuitions by means of examples. The second part is formal: it introduces a language, a semantics, a type-inference system, and a typechecking algorithm. The algorithm is proved sound with respect to the inference system, and the inference system is proved sound with respect to the semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106652$B50D080C-1F62-49D8-BB7D-A1097CA52905","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106652$38E46E49-2C45-460B-A5F7-3A77B945E526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106652$4D359A10-2398-4EB7-9FC5-D8AE0F82EA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106652$815F33DD-FF7D-4295-B178-68D9526DB5E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96a7fb99d76e16edac69395d2d6bbe53476dcf4c","datavalue":{"value":"4062552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106652$7134CE5B-C0F3-4CD6-BE69-F1A2318FBD84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106652$40A876C0-9590-4E75-BE0A-72548041AC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9f308d9883d885fd627904415411c3216bef498","datavalue":{"value":"semantics of multiple inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106652$B6E7FDF6-B7A8-4784-A035-A0FA2362378E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4232d49a4676accc68296f07a7d2beb14bbb596","datavalue":{"value":"typechecking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106652$B7707E00-9B4F-4AFD-821B-D446DEC69F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106652$65DCEE54-EEFB-483C-B8C4-2DA1E4BE3D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"785814c380c49dc05bf280dcbab8ef2dcb7af2bb","datavalue":{"value":"type-inference system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106652$8B433822-8FEB-487D-A41F-74AB6EF3B9BD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"703d32c1a63a9c124380c5b6459240fe5340c92c","datavalue":{"value":"Q56982296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106652$4128A020-5FA0-4081-83D6-951A6680BFEB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106652$19C8AB77-4743-47CB-802C-7C525A61034E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322a7fd2a2215f887a0cc889fa3e27a0703da0bb","datavalue":{"value":{"entity-type":"item","numeric-id":14267,"id":"Q14267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106652$FEDB2BD1-1B74-4C6D-B46C-693190685630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5de41cb066f6315975ff165b5ea0132d3a43d75","datavalue":{"value":{"entity-type":"item","numeric-id":33141,"id":"Q33141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106652$AC5CDBA1-4A5F-41C3-81B0-C44F7ABA1F22","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":"Q1106652$62FC1B8B-4CC9-4937-A997-4F47872580DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7da8121233c93ad4cd795c149ddad8f4bc120b3","datavalue":{"value":"https://doi.org/10.1016/0890-5401(88)90007-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1106652$9FE19316-CDCD-41D6-AD68-DE51D699E130","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1409226cc89a0a10cfbbf5af48a5a83cf0204520","datavalue":{"value":"W2173184982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106652$4CDAD831-1644-41B9-A6AE-67A365FF3AE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a9e57880bcb024607477392ee626f984e1b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":1078543,"id":"Q1078543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106652$4403C86D-B0AE-4A00-8760-A1F12A63C1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc936a1eb10b087e9844c9c3b2beea4fe5b96c33","datavalue":{"value":{"entity-type":"item","numeric-id":5514831,"id":"Q5514831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106652$53BFF243-A1A4-41E6-AC0E-FFF22522D421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a502a770025bb9705f462b1132920965df52f670","datavalue":{"value":{"entity-type":"item","numeric-id":3667910,"id":"Q3667910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106652$FC8E8685-B0DF-4D96-AC38-9B80042BBA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5563cb636be982d7a10c0cf19bddc6eed54527cf","datavalue":{"value":{"entity-type":"item","numeric-id":3702495,"id":"Q3702495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106652$0E906F9C-D217-4C99-8E07-D276F5F7173E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106652$75C4EC5B-7F69-4049-9983-0735631A9C68","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":"Q1106652$F27FECD2-DF3C-4C5F-B6D8-A0A21A8D9475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1db2d402ff5c6f889baeb52606e979869a2ee1d","datavalue":{"value":{"entity-type":"item","numeric-id":3719794,"id":"Q3719794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106652$EB8FC5A8-2D22-4811-B095-BB275133A2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106652$84E70659-7682-40A4-B8F4-A904053D8206","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"dfeb8fc4a45a12abc526ea47e249bbb3e94903e0","datavalue":{"value":"journals/iandc/Cardelli88","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106652$A9F6C381-44C3-42D4-A8F5-864DD6EA8882","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1669c79d245972b8d232ddbb718fd29324467dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3332229,"id":"Q3332229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39ea8e21402209ed3f3ca4149a1e31ceee16bdf","datavalue":{"value":{"amount":"+0.9038588404655457","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":"Q1106652$EE970831-D95C-4342-872B-D1B5CA613E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae03d0f80d31b223d3bac28814e0f51b815db72d","datavalue":{"value":{"entity-type":"item","numeric-id":583908,"id":"Q583908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50781ab2eaaf985c35fabdcd738e56b10cb7eada","datavalue":{"value":{"amount":"+0.7996163964271545","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":"Q1106652$FAB4999D-75BE-4A56-AD82-1E73F66EB56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6750c60ee8bee90392dc78d6b04ba5212ada2cf3","datavalue":{"value":{"entity-type":"item","numeric-id":3204024,"id":"Q3204024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9edb231f8714350777cf34dd6456225f5f05f9f7","datavalue":{"value":{"amount":"+0.79935222864151","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":"Q1106652$3C2854B3-D6DA-4716-B9DF-DB74454F4324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d1b2375793aa84a5f8ac807a42212a302f31e5","datavalue":{"value":{"entity-type":"item","numeric-id":532422,"id":"Q532422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeaefa4988edd64e5fb9d2d2d6d1eceb9e629eae","datavalue":{"value":{"amount":"+0.7936660647392273","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":"Q1106652$BA1EB2CE-CC0D-4D0F-AB3A-6B67716CB82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5919d1d2ed57fc05221e714998ab6a4de3f1da66","datavalue":{"value":{"entity-type":"item","numeric-id":919836,"id":"Q919836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcbb0db6bc1ed1a1206bd611b82860617bf906bb","datavalue":{"value":{"amount":"+0.781161904335022","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":"Q1106652$8F1F018A-8632-42F4-8E41-DB67580B3195","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A semantics of multiple inheritance","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_semantics_of_multiple_inheritance"}}}}}