{"entities":{"Q1403217":{"pageid":1413957,"ns":120,"title":"Item:Q1403217","lastrevid":67360467,"modified":"2026-04-12T17:06:24Z","type":"item","id":"Q1403217","labels":{"en":{"language":"en","value":"An operational approach to the semantics of classes: Application to type checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1973020"}},"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":"Q1403217$3470A698-203C-456E-9515-4098DFE22C6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"475a332b0bceb3b815274a31bf380cc5775fa4cd","datavalue":{"value":{"text":"An operational approach to the semantics of classes: Application to type checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1403217$52A26C87-9BCB-4996-8A4D-97A342DC90CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb47ed8d1f4f8a7d3e0f7c8c8ecb2ec18fab17df","datavalue":{"value":"1037.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403217$A9ACE03D-3782-4963-AB0A-750EB8F821C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c3319ac7786595e013835defbe570a61b4dbcae","datavalue":{"value":"10.1023/A:1015632129995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403217$C6B4AEAB-0B36-46CF-83BA-E08DDC76E0A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1899487f71b62b91394dcc06236971a9711b17f4","datavalue":{"value":{"entity-type":"item","numeric-id":1403216,"id":"Q1403216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403217$822BACF7-AE0F-4CDE-9692-7C2AEEAC70DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403217$BECE5BD9-E3BF-4436-9771-9C8767F60A85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"433a0b2d5ca848667b737a26efa25021702b8585","datavalue":{"value":{"time":"+2003-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1403217$8E47E859-7AD6-446C-BB2D-750E4FECA0CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403217$03D84A04-9DF9-4C30-A750-6A8EC2F8C56C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4711d0936385e1a55e52414da7b5a57e140e8b46","datavalue":{"value":"1973020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403217$FB465BFA-DFB6-4D79-B56D-9267ED6A5676","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db53fabbfd42418de9bca1278253ead9a3d35c73","datavalue":{"value":"object-oriented languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403217$FDD6EBD7-5A98-440E-98AC-1AC8EE2CFE0E","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":"Q1403217$882FACB9-13B4-430E-8401-BFF5FD0CCB45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac8f1f5e02658d390178ad518632bb351362504b","datavalue":{"value":"https://doi.org/10.1023/a:1015632129995","type":"string"},"datatype":"url"},"type":"statement","id":"Q1403217$7CBBECA0-1A90-45AC-B752-F55E50A7BA67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3faef56a4dd595e2c3f6ad0965e4f30194f97516","datavalue":{"value":"W1599066311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403217$28A993DF-CC72-4DCF-83BE-DF47A1E5CB05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23ef26d80865497ef3ff3a3e21d13a321bb3014a","datavalue":{"value":{"entity-type":"item","numeric-id":1106652,"id":"Q1106652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19b1cdc76bf3319c62186f80da50ca1ca086bce","datavalue":{"value":{"amount":"+0.7689892053604126","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":"Q1403217$C4360725-63F6-4C48-A373-3C4377E9980E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36cb5b5376bc6b62447f9abe77c1dcfe7f018bca","datavalue":{"value":{"entity-type":"item","numeric-id":4697448,"id":"Q4697448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a02c0c9b4cb1ef95986da94179a36340a08b98","datavalue":{"value":{"amount":"+0.7654439210891724","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":"Q1403217$9E8B08ED-0099-412E-925C-3E34EA5081F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af97aeb058f0159d4e89683ecf7d73d5d0b09076","datavalue":{"value":{"entity-type":"item","numeric-id":1350339,"id":"Q1350339"},"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":"Q1403217$9D71A1CC-2F43-433B-A474-89E2A39BA094","rank":"normal"},{"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":"4759ecddd6328711095638d26592ec67f7f033b1","datavalue":{"value":{"amount":"+0.7266945242881775","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":"Q1403217$37568654-14F6-4CC2-AABA-3761CABBB948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77348972eb88e18beb0af5407751c9f1c4a04586","datavalue":{"value":{"entity-type":"item","numeric-id":4764618,"id":"Q4764618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfbf51869080a9b8f818dc10831053cc8b0c63f1","datavalue":{"value":{"amount":"+0.7109639644622803","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":"Q1403217$3DDEA233-E95F-48F8-B9A2-2F49E825B74F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An operational approach to the semantics of classes: Application to type checking","badges":[]}}}}}