{"entities":{"Q3474904":{"pageid":5463000,"ns":120,"title":"Item:Q3474904","lastrevid":46790094,"modified":"2025-12-25T14:38:40Z","type":"item","id":"Q3474904","labels":{"en":{"language":"en","value":"Semantic Correctness for a Parallel Object-Oriented Language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4143471"}},"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":"Q3474904$8A317D3C-8722-4B5B-B6C6-CF2C7739859E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a491a6991be40b3ebe715d11fe890dbf03c1770","datavalue":{"value":{"text":"Semantic Correctness for a Parallel Object-Oriented Language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3474904$350AEF1A-4C71-43B7-9114-E834A261DA77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef3ce8bdccb78298dc39aac993123a0507b6242a","datavalue":{"value":"0697.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474904$CA52B81F-75FF-4B05-BE19-E3D008B608A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dde4fd5acb2315e62f457eb28f35f6dd036c5391","datavalue":{"value":"10.1137/0219023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474904$AA4EEDD3-6419-4FC4-BEAE-5FAB72B71424","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474904$58DDC31E-007D-4888-B415-B0C1E2CA1412","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3474904$8C73F95B-1997-494F-ABDC-8F574D927ACE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1214cba2f174dcfb59594c7de42b464774e7254b","datavalue":{"value":"https://ir.cwi.nl/pub/6472","type":"string"},"datatype":"url"},"type":"statement","id":"Q3474904$87ACD9C2-763A-4188-A38D-BA7B8386AB17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474904$9691212B-240B-4347-ABDC-46C9C492B4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474904$B337867F-1B87-48AD-AC5D-985E86B48CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474904$E946811E-C5C4-464E-8D4D-CD839F1BE6D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e148c5255c16d25c629f4dcda5e823c40f5275c5","datavalue":{"value":"4143471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474904$CE1324DC-3E59-4490-90A7-7EAA38399F54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474904$C423B8DD-7A11-4F42-B6D1-AACBD0DB18D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474904$F407F403-BA59-475B-8CA4-4581CC82CDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98a9238c1c7a65015ceae5b6b86f2cc2d04988db","datavalue":{"value":"semantic correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474904$F63E2CFA-04E9-4E33-8F38-7FF980BFE9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474904$13D19CAB-C707-4B8B-A894-91D2EA348E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ff8ed4e4ed0822bb4df093b2d9b2a76c1e0f38","datavalue":{"value":"complete metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474904$5AA97A52-38DF-484F-9C3D-73A13B7D647F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474904$7228503E-1790-4E4B-B9FC-40D8A5D055E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474904$8956C176-FC90-45B1-8F29-88BE261835E5","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":"Q3474904$5894006A-31E9-4D21-BE2D-596F0A0E71B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fa4292a8c9b0d5940611404408447e029043435","datavalue":{"value":"W1966054964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474904$BA428B74-4B55-45FF-9FB4-DD1149A8C945","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf67ba5505345f4c71433a073016cc95d8bde15a","datavalue":{"value":{"entity-type":"item","numeric-id":910250,"id":"Q910250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a931e03b9d7e8756b8634816064f6a30dc35ba9","datavalue":{"value":{"amount":"+0.9172873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3474904$DC7C7FF2-311F-4D0B-8590-027A02159BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab0debac49dff584ec2ee2a76f5fe6d6e7db327","datavalue":{"value":{"entity-type":"item","numeric-id":1194208,"id":"Q1194208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4429dc705133754ebc534228da1677f7c5df1ab0","datavalue":{"value":{"amount":"+0.91070503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3474904$E78C7879-3A80-4A50-9FEC-A08405B74A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8c86159c6b66dacfdca65cfaf472b36b79297f","datavalue":{"value":{"entity-type":"item","numeric-id":3455549,"id":"Q3455549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f7a87697aaddb83c0578135dc0d9a90f83ad471","datavalue":{"value":{"amount":"+0.9053908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3474904$6D58EEEF-D8CE-4073-BED1-72C1B4E13EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95db3c00a17e4a00d13f82723981b7925ef54d1e","datavalue":{"value":{"entity-type":"item","numeric-id":4003187,"id":"Q4003187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"763cee72d9a71d368c8936cdf04fa91ab3269a87","datavalue":{"value":{"amount":"+0.90060496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3474904$4ACEB6C0-860D-4A4B-A759-7387C4B9751E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e9cd12ccea88842ad4b2bcd8ccdb476638d3ec","datavalue":{"value":{"entity-type":"item","numeric-id":4038719,"id":"Q4038719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd6a6dbd51f112d8875bb2609939ff9c0690f68","datavalue":{"value":{"amount":"+0.8810538","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3474904$C30E786D-B0CC-4C28-8636-47664701379D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ff3f3126e0291a632494a6aa61c7fe3f5d621c","datavalue":{"value":{"entity-type":"item","numeric-id":3095349,"id":"Q3095349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88552d5badf668dd800a08783816f71bb70df7a","datavalue":{"value":{"amount":"+0.87382364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3474904$0593C6E5-8D7C-4065-8ADE-D86E26AF46D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d98cf4596128d2eafab1848b3317ed1c834b834","datavalue":{"value":{"entity-type":"item","numeric-id":4945248,"id":"Q4945248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc2e27168bcb78c1a70389030d90d07e8583de0","datavalue":{"value":{"amount":"+0.8713778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3474904$B51CD658-E2B0-4F91-859E-8460FF0E7CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da17c4dc232dac270d04c5d464c2581c62eef50","datavalue":{"value":{"entity-type":"item","numeric-id":5708741,"id":"Q5708741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c9d9cdb28e24cdf5872f2f1d9fc995f01e5f532","datavalue":{"value":{"amount":"+0.87114775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3474904$36EAD6CA-E193-4263-B26B-10A51A06253D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca8422bd29b72832e56dd3b75840617a8f99fe4b","datavalue":{"value":{"entity-type":"item","numeric-id":5466589,"id":"Q5466589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1411a27bc41b777538c1714ccb70cd295f3d1d","datavalue":{"value":{"amount":"+0.86748785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3474904$8EAD56C1-6D1B-4367-B6B4-5A3CC7B92684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30dbb6e072feb0a5b865d8616955f72d8fd376f9","datavalue":{"value":{"entity-type":"item","numeric-id":909434,"id":"Q909434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2dc3edf7d5db78c4a1d83b16b4282fefdbe3f62","datavalue":{"value":{"amount":"+0.8665209","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3474904$555CCBCA-E35C-48C2-8506-890458CAC8C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3474904","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3474904"}}}}}