{"entities":{"Q1177151":{"pageid":1187900,"ns":120,"title":"Item:Q1177151","lastrevid":66768840,"modified":"2026-04-12T12:43:38Z","type":"item","id":"Q1177151","labels":{"en":{"language":"en","value":"Subtyping can have a simple semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 20009"}},"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":"Q1177151$589B0931-9B74-4B19-9B09-D41C448264C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a9363f609470f70258b906de7326641e89895b9","datavalue":{"value":{"text":"Subtyping can have a simple semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177151$E0DA7757-BD6D-4636-A1D9-3EED04969A8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"327d830ba7004302425743130bf6f6a07abd6591","datavalue":{"value":"0758.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177151$F6C79C71-959E-49C6-A389-471D5235080C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"479e27ba891ffb2a006eee64e065f448f1cd34b6","datavalue":{"value":"10.1016/S0304-3975(06)80005-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177151$6C2284A0-0648-4356-B4D3-5FC6EF649016","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc938772e315f89be4840b177088e8d9eba10b7c","datavalue":{"value":{"entity-type":"item","numeric-id":1177149,"id":"Q1177149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177151$5951C6A7-0F95-4B4F-BABB-3A6522E64D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06e41cccb869caf543c9239908824737ca2128a","datavalue":{"value":{"entity-type":"item","numeric-id":808722,"id":"Q808722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177151$C8AFD41C-9E55-4D69-9640-B30D7E6DED6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177151$AC06E2D0-CA19-4B0A-B57F-E08F8FCF9586","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177151$ACD96B4E-1D1D-4A41-B2CD-7A9B7239CFD4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ef83ad06ee00ef51a6b0c22acc432b4038bab8fd","datavalue":{"value":"The semantics of typed languages are usually given by assigning some kind of collection to each type and interpreting an expression of some type as an element of the appropriate set. With subtyping, it is natural to assume that if \\(A\\) is a subtype of \\(B\\) then either   (i) there is a conversion function \\(c_{AB} : A \\rightarrow B\\), or   (ii) the interpretation of \\(A\\) is a subset of the interpretation of \\(B\\).   A priori, the first seems more general, but the second more intuitive. This paper gives a relatively straightforward construction, for an example function calculus, showing that any semantic structure satisfying condition (i) may be used to construct a semantic structure satisfying condition (ii). The main idea is simply to replace the interpretation of a type \\(A\\) by the union of the interpretations of all subtypes of \\(A\\). The only nontrivial problem is to give a coherent interpretation of expressions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177151$20885AF9-5501-4146-B4C2-723B23ECFB9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177151$414588E6-07D1-46D3-93CC-86EE60457D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177151$91045EB3-D153-4DED-965F-983A29305E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177151$E2E9DF55-CA23-41AF-9DD6-2FCC1F158760","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"408c6fdb91a254ba78e498bc1c896bf60a7b7d4d","datavalue":{"value":"20009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177151$4E440FB6-6F94-44E1-B70D-D832445E8DE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed8aab9e8432ead6e62af7dba77e160e94c996c8","datavalue":{"value":"semantics of typed languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177151$10509BFF-0B19-4805-9E96-B14BDB361010","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"115e07eec33741c26ea7f205c57701fb48b1588b","datavalue":{"value":{"entity-type":"item","numeric-id":276486,"id":"Q276486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177151$BF28F6EA-AAD3-43F7-BD09-990B031CBA0B","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":"Q1177151$1525DD2C-6BDA-429D-AF00-863AFEB4A7C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94ed805160bdc6a0d6461ad1d64e54880b068a7","datavalue":{"value":{"entity-type":"item","numeric-id":3332229,"id":"Q3332229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177151$FEB77E83-1687-4119-86BC-6044CC5D136B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58e6fb76e489791319ca5aa88cf904ad850cb443","datavalue":{"value":{"entity-type":"item","numeric-id":3766840,"id":"Q3766840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177151$07E78370-9DE2-49B2-ACD1-5EF89A0D19B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d01f729510952ccecaea7f3631e949bc0439c415","datavalue":{"value":{"entity-type":"item","numeric-id":4173321,"id":"Q4173321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177151$98E57838-5259-41E4-9E5A-61E61B4DC342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177151$A61B89E0-647D-4F6B-A8B9-790BA2CA0970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9457bed3a56f290e2cc5291783aab1e7d8fd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177151$51CD1AB7-AAD9-47AD-9F4B-38396C50521A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5abb06f902f9ed0fef96835b4d42cff003f2fab","datavalue":{"value":{"entity-type":"item","numeric-id":3677139,"id":"Q3677139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177151$1BAA3057-D351-4291-AD8E-B6800517B90C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ed97edab87fb79b3f61b359dcbb2328256f0cb0","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(06)80005-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1177151$14248363-40BE-4253-AE6F-FB4DA21944B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e80287298dc98db79f1638886ca3ff4e358d027","datavalue":{"value":"W4210462262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177151$1E85AB93-D8BA-4A53-A5FA-EB7E6E62429F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e8e7fdc87fbbabe421b43e43f318eee0f14f444","datavalue":{"value":{"entity-type":"item","numeric-id":3616445,"id":"Q3616445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c09da3d30dcd0b7ad4e1d10ff4081485475636f6","datavalue":{"value":{"amount":"+0.8161389231681824","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":"Q1177151$AA45BF74-EA56-4593-910D-05A212E46466","rank":"normal"},{"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":"9b1f50a63b336559e7402bc37a260bcd9797bd53","datavalue":{"value":{"amount":"+0.7990268468856812","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":"Q1177151$6E88C6B1-AA88-4E93-80D3-72D5089E62FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90bb553dce1a7850427f2b10761069eb256af0be","datavalue":{"value":{"entity-type":"item","numeric-id":3452185,"id":"Q3452185"},"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":"Q1177151$054D0786-275D-4CD4-BCD9-8407D2DF645F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee4eed5180d32a2a7117b79181589c03c649f87","datavalue":{"value":{"entity-type":"item","numeric-id":1917089,"id":"Q1917089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6f0862b115000c9311593f1c3e0fe85e30cf4f9","datavalue":{"value":{"amount":"+0.7793842554092407","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":"Q1177151$71E990BB-EC34-4E7A-8149-5323A862C2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1afe13940b015963af9bc9354346eb742f0b2f95","datavalue":{"value":{"entity-type":"item","numeric-id":4885625,"id":"Q4885625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c60ef07bcc7c603a5ddbf1f05bac6537fde164","datavalue":{"value":{"amount":"+0.7637136578559875","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":"Q1177151$B294028B-D3CC-4E21-860B-B832AAEA9010","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subtyping can have a simple semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subtyping_can_have_a_simple_semantics"}}}}}