{"entities":{"Q2942898":{"pageid":2953618,"ns":120,"title":"Item:Q2942898","lastrevid":44752380,"modified":"2025-11-25T19:09:43Z","type":"item","id":"Q2942898","labels":{"en":{"language":"en","value":"A mechanized semantics for C++ object construction and destruction, with applications to resource management"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481274"}},"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":"Q2942898$C74769FF-78AA-4E69-8756-121BAD4D07ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"708800f17cb76bc10c2cb3ee39d4ea462553f9b0","datavalue":{"value":{"text":"A mechanized semantics for C++ object construction and destruction, with applications to resource management","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942898$05E4FE21-6E4B-4EE0-ACCA-0CB407D21FC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1522b359e24ef5710f0e032326d3b8ea6a19ccdb","datavalue":{"value":"1321.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942898$F0B8A59A-BFA6-420D-B46F-54C4A3CF8FBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2659e8612ee941cd40c1b72f7ed247f3de8b69d","datavalue":{"value":"10.1145/2103656.2103718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942898$DF748B1B-E1A3-4AAA-B3C4-105A7BC54FA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c2f7c005f4bee573bde0aed29ab3973980cc4fa","datavalue":{"value":{"entity-type":"item","numeric-id":2819846,"id":"Q2819846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942898$433506B4-6376-4D06-BBE7-EB2B0E823324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d084f262f5b315139903764cffce5d4742366f5a","datavalue":{"value":{"entity-type":"item","numeric-id":359904,"id":"Q359904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942898$B41A59AB-66E8-49BF-B18A-7A325634A388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4b1e35c1c4bff0a8e8e775e8600e2e952b118ae","datavalue":{"value":{"entity-type":"item","numeric-id":848738,"id":"Q848738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942898$9B94B98C-39FB-4873-B11E-B1B41308C723","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2e3947a47402cf435bd22e833e203adf92b612a","datavalue":{"value":{"entity-type":"item","numeric-id":2942852,"id":"Q2942852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942898$278577DA-D017-4923-A1A0-1E73BC9CD13E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942898$435BE2D7-25F9-43EE-B579-F55CAEC0C6DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57d8e5d6f46359ff536eef03f1cac9900a0de5f6","datavalue":{"value":"https://hal.inria.fr/hal-00674663/file/cpp-construction.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942898$3D6E5479-64D0-496D-BC52-777AB22AF815","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942898$7C6CCA76-B04D-4366-9E85-8F5DADC8A1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942898$683DDC98-911B-4A64-9B2F-43957C68BC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942898$1A15B0E5-BF9D-449F-ADC7-5D7D3B9BA69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942898$39448CF5-78FB-4E49-A7D9-CE3A004528B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc460ceff3d539464e9ff802bb5155c561043eca","datavalue":{"value":"6481274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942898$63ACDA11-6510-46C9-841F-95BF29CAC13F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d10283cb0f62402b7951a4756dbeb2bd05f1415","datavalue":{"value":"C++","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942898$2141060C-52D3-4AF2-8178-DC037D1F8CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942898$A176EE5E-58E0-4702-B7C5-306B42A6CA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a80461612cf6ef24b2f55963313502f5239ddefa","datavalue":{"value":"classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942898$26624C77-BC5D-43DD-AD95-FAEE135EB7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a60d687a6856dc38e7d2ffdba03189874c89a918","datavalue":{"value":"constructors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942898$DC8A176A-B8F8-4268-854E-BF2CA150C35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d5c756978a3f26310cd583efb554a468df6b59","datavalue":{"value":"destructors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942898$E3B4E394-23EC-4D19-A7FC-874FA47049C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e5dd5c8acf1308ec7dc28b894a7c73396ee20ef","datavalue":{"value":"mechanized semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942898$547DBEB6-E0FD-442D-A61C-A13DEFC75D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b0b179d5d3e4af96c9fa62e145e13582e6b4cb8","datavalue":{"value":"objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942898$F202CCCC-7309-4583-924F-E4B21B739F90","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942898$B05D2713-BB73-4681-88DD-EA8E16588E39","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":"Q2942898$1807481C-9E75-4E2F-B6C8-F68726A4612C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f41d334ace52d4bb6e6536ed70d176b011cd27a7","datavalue":{"value":"W4231518425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942898$EEDD8B27-3C01-430C-A1D3-C834B0270747","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccae29fd7ce7358cfbf11dadda4eac7edf54ef29","datavalue":{"value":{"entity-type":"item","numeric-id":4873990,"id":"Q4873990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764aa6451f8c0bc2441a2d5cfd9f60c51ea383b2","datavalue":{"value":{"amount":"+0.8361262","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":"Q2942898$D391BEB1-B097-41B4-B4B3-730170B0E382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ea536d2ce4eba8004b1252e90cb1e5403cef389","datavalue":{"value":{"entity-type":"item","numeric-id":359906,"id":"Q359906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd0eab8fc45813e042c3a6550f946f5efb774d01","datavalue":{"value":{"amount":"+0.8293882","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":"Q2942898$ED84CBDD-8950-4384-AEC2-547F3990718F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"300c234627d873c8def28a5fe091c2f1866ab9e9","datavalue":{"value":{"entity-type":"item","numeric-id":3636832,"id":"Q3636832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52ea1b80f14d1a62a6e2ebb0b67c545a005f0a5","datavalue":{"value":{"amount":"+0.81862026","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":"Q2942898$3C6CB638-F5E2-49A9-BE97-0796B4D6E6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c6a37941f9e2d868c0ec2660012450ec2823a2","datavalue":{"value":{"entity-type":"item","numeric-id":4851556,"id":"Q4851556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d890b5bb3ada02d0cf7eacdfafd6fe71e07acd2a","datavalue":{"value":{"amount":"+0.8140167","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":"Q2942898$61C8184A-F3B0-443C-9FE2-6722D5C90911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"634fdd6dcdc2878400aded9d456e5840745e5952","datavalue":{"value":{"entity-type":"item","numeric-id":4916176,"id":"Q4916176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d63b84e0b2405649a27530cf8802c8f90eb0114","datavalue":{"value":{"amount":"+0.8131726","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":"Q2942898$B4A074C1-40AC-4514-9C15-4FDB0BC058D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f678a9e0ffd8b70a2ee68c5cbd4e97280984a942","datavalue":{"value":{"entity-type":"item","numeric-id":2655325,"id":"Q2655325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5e55dbb508a35f34617e8779364c1a468d38f7","datavalue":{"value":{"amount":"+0.81161237","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":"Q2942898$5A01062B-FB90-4F45-A357-1995E1AD88C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e65ff5d037ec2b4595139bc6ce53129dd2629d3","datavalue":{"value":{"entity-type":"item","numeric-id":3130179,"id":"Q3130179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a707d4ad5d3c5607393d74a0be3b1a9631043e2","datavalue":{"value":{"amount":"+0.806746","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":"Q2942898$D947463B-B42B-4D48-9BE2-F9786FD17F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e1c65891041d7fece34aa3a78beecc56e69da0","datavalue":{"value":{"entity-type":"item","numeric-id":4982630,"id":"Q4982630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac27613e32c3786729795cadf47fc49693a9e9d","datavalue":{"value":{"amount":"+0.80590737","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":"Q2942898$5FCD7DB3-4930-4E3C-9F22-F803DBF6CF8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942898"}}}}}