{"entities":{"Q4697448":{"pageid":6727025,"ns":120,"title":"Item:Q4697448","lastrevid":47178775,"modified":"2025-12-31T22:30:05Z","type":"item","id":"Q4697448","labels":{"en":{"language":"en","value":"A denotational approach for type-checking in object-oriented programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 222245"}},"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":"Q4697448$F3D36CF6-EDBA-475D-B1FF-CDAC5120F2CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"022c42e32486fe6f63dd116b45ef330105f2aaf2","datavalue":{"value":{"text":"A denotational approach for type-checking in object-oriented programming languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4697448$D6DED1B6-8B57-4A6E-AD88-D88EA3D91F9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc7504571139795d578dbc7ef094c6f700c4a9f8","datavalue":{"value":"0770.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697448$66F73B98-8C45-4E37-8856-FEE8B7234637","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd8a63808ec3a84e96fe73e6c2c3feacfb462f20","datavalue":{"value":"10.1016/0096-0551(93)90037-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697448$7F715D15-AD09-4AEE-89D5-1A7E2FF6DCD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5847ba08d7bbe9252ecd8480d2858408aabc422d","datavalue":{"value":{"entity-type":"item","numeric-id":4697447,"id":"Q4697447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4697448$D48D7E4D-6C17-4F0E-A784-6C710ED03EDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"303dafedc014c0fcf8bea9a3d20c503df66dd865","datavalue":{"value":{"entity-type":"item","numeric-id":2713369,"id":"Q2713369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4697448$515B88AD-462B-4DB1-9AF8-E61CDCA8EF40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4697448$A3B83508-C985-4106-9C78-344F0ADAA537","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697448$571530DE-83E3-4E2E-B088-C9E9471F2BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697448$DCBABA9B-6AB6-4F71-81DD-8BBD729D4D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697448$97ED7FD8-A8C5-4A3A-B847-2381A57497E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cf93e52ace7acb1cbcf8e6b1eb1103219d2209a","datavalue":{"value":"222245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697448$C668A56E-563D-49BB-981A-2C7E5512EA95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4697448$EF19ADBD-34AD-4C4F-AC6B-A08B0E7C8C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7b276605c3630d3789b958b1465c6fe41af01f","datavalue":{"value":"object oriented programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4697448$258F3183-F2D7-47CB-922A-D7E88581D289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4697448$31C8ABB9-723C-4DE7-BC05-AB54CA264542","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7065da34582d9f92b7f86f4002a6629cdf0b0436","datavalue":{"value":{"entity-type":"item","numeric-id":15866,"id":"Q15866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4697448$EEAEFF97-FE53-4C50-96FA-53FB77C7AE2A","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":"Q4697448$5A762F4E-9620-47D7-87CD-3EC284FA2694","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f182ec91c880812b14c21152455c6a00d186ec52","datavalue":{"value":"https://doi.org/10.1016/0096-0551(93)90037-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4697448$30C3B490-9A8A-498C-8034-E1547278415C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"984e8c96ffd40e861bc3dd2b308de2bfb7517742","datavalue":{"value":"W1997553781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697448$D8D3A21B-78DB-4A7F-9194-CA196C2F9B74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d280fd682a248dcab599447afb1a81de0d28931","datavalue":{"value":{"entity-type":"item","numeric-id":1403217,"id":"Q1403217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd74a9d80d32be76b602b36baa5809e7af0d5190","datavalue":{"value":{"amount":"+0.7631565928459167","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":"Q4697448$3973804E-1AF8-4E3E-972C-3D6B25AB3E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0bc96d61145ca07ee8fc14f04a141b734b3e44c","datavalue":{"value":{"entity-type":"item","numeric-id":4230924,"id":"Q4230924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09516724c751fa34da6ab5c2f8a00336dd9094f4","datavalue":{"value":{"amount":"+0.7305206656455994","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":"Q4697448$17DFF73F-67C9-43DD-805C-B65F70DFF66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1733e0a99814017540fbbeab0a9b8ee3318e77c6","datavalue":{"value":{"entity-type":"item","numeric-id":4268463,"id":"Q4268463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a615f8ee819fea4d66898631dc0718d7a6cb7d7","datavalue":{"value":{"amount":"+0.7300682067871094","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":"Q4697448$0866626A-BEA7-4F52-9D70-E7A3AD0BD117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425d690071524619d74f82ef2f5eaf8f65e9b01a","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2f43380050c1f8d4aa12c4a1eabf3c6087b72ed","datavalue":{"value":{"amount":"+0.7152698636054993","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":"Q4697448$B3F140CB-E682-41EB-8EEB-9522FAF47B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953ffc7eb8657e6462c8e3217812eb9060de6f5c","datavalue":{"value":{"entity-type":"item","numeric-id":3811682,"id":"Q3811682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da45d12e1d64401b30c4d056119483c6ff4e654","datavalue":{"value":{"amount":"+0.7124691605567932","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":"Q4697448$4ABF4FBC-47F0-4C85-ADFB-E47996278FBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4697448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4697448"}}}}}