{"entities":{"Q5408532":{"pageid":7438106,"ns":120,"title":"Item:Q5408532","lastrevid":51972473,"modified":"2026-01-20T16:10:33Z","type":"item","id":"Q5408532","labels":{"en":{"language":"en","value":"Formal verification of object layout for C++ multiple inheritance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282594"}},"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":"Q5408532$BB0BD2BA-5B2D-4DE7-9C97-996CF847987A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69c68edbb80ca50451b23fdee7b24a52dc1f6f0d","datavalue":{"value":{"text":"Formal verification of object layout for c++ multiple inheritance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408532$8B7859C3-AFBF-4DC3-90D3-D4168137FECA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00f24eed9ea14f7f192fa4a2360d3c47df31e455","datavalue":{"value":"1284.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408532$EB6F90EB-8B09-44B6-BFDB-EE39D3440339","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f555b9309f0dd90c9984a612945ce545267190b","datavalue":{"value":"10.1145/1926385.1926395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408532$566C40D8-8470-44B8-BD35-BF37A449E0A3","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":"Q5408532$CA25BE46-AAB4-43E3-B6E0-088A14823738","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":"Q5408532$4A987274-3E58-4B04-93DF-C29F72F17804","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":"Q5408532$E1B5A2E6-B01D-4491-A98B-CA3C8893A777","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"724e86f0a622186aef680198e4fbf5470f7a0c57","datavalue":{"value":{"entity-type":"item","numeric-id":5408524,"id":"Q5408524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408532$CFB3FC77-A38F-4A54-9448-B25CC4D8265A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408532$9A52CDBD-E472-49AE-A7E4-07503A07460F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"653e130e2155bfe2792493da8d08e234671543de","datavalue":{"value":"https://hal.inria.fr/hal-00674174/file/cpp-object-layout.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408532$279741B8-DFE1-48B7-A630-19CB59637823","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408532$F27EBF77-258D-489A-860B-6BD92E9BA462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408532$16FDF9E4-E58D-4723-B386-21190D4D5B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408532$2E03C9EA-02DF-4F58-AE79-A11DB9B45B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408532$121FE1A3-51EF-4102-8667-1F5550B2DBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408532$9857A7C3-CF71-4EC8-801B-EF99FF4FDA0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"493c6853e580b06c6ce06f073c6608525e4f7ca7","datavalue":{"value":"6282594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408532$B4C2F901-C404-45A8-A257-FE34D89BC540","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d10283cb0f62402b7951a4756dbeb2bd05f1415","datavalue":{"value":"C++","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408532$A16629DB-8FD8-4B65-B938-72DB60BB6405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd9c52c59d07d5822d39f1d47e4205b4637b9d3","datavalue":{"value":"compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408532$D3B2DF67-F580-4F26-B02F-84C7A5A6F09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6be860b21db7d21de6563f5c550146b5bd4dd0","datavalue":{"value":"data representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408532$C0F65293-D979-41B9-A5FC-A9C9DF5DA6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c387efb7d56f4b43f2a40c3a096c49a0d3b2be0b","datavalue":{"value":"empty base classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408532$E453C1DF-5AF7-4DAE-883D-1B6C44501179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b000ad3a41216c7ac00ae155426261a15c45d88","datavalue":{"value":"multiple inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408532$913738AE-E4D0-4EFC-BE9B-A6DD467C9ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad8b68d9060f64356ffbf1a1284f059a2495904","datavalue":{"value":"object identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408532$1E34F165-36CF-49CA-8884-1A2A7619BFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c7199a22c1a861f30e6b43c9cfe4fb42be9ee72","datavalue":{"value":"object layout","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408532$451CD933-892E-40FB-9D33-C3B90D485D64","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":"Q5408532$419E9E55-1EF8-4C5A-A725-DA68DFF58D49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df72e830c743f9796c462ef353a902e039d8475d","datavalue":{"value":"W4230366227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408532$6D479200-217E-4EEE-A739-9F015BAB5507","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aae38341a4fa8dea546951841aef1de1e296934","datavalue":{"value":{"entity-type":"item","numeric-id":4422646,"id":"Q4422646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc06c9e606c04801520f4af006fea6d9444d07b3","datavalue":{"value":{"amount":"+0.7674317955970764","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":"Q5408532$AB980903-37AC-4C1B-8CD3-AB41A495A7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57e03ea5568299079391c0194e075427d701b625","datavalue":{"value":{"entity-type":"item","numeric-id":2942898,"id":"Q2942898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fb48df016c2c928a94b5e7b322404826f91b962","datavalue":{"value":{"amount":"+0.7123280167579651","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":"Q5408532$310B0206-784B-436B-9702-AF0B0DA3AAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a89dcafbbf4edba0f583bbaa7fc03da3e401e5c0","datavalue":{"value":{"entity-type":"item","numeric-id":633298,"id":"Q633298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b181a97bfa5f08055da0d3e02157b2fc269d0c","datavalue":{"value":{"amount":"+0.7008038759231567","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":"Q5408532$45EA151A-BF9F-4876-940A-361794CAF9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf99a17c664be4e4a4c80252d583fae0402c61a5","datavalue":{"value":{"entity-type":"item","numeric-id":5415606,"id":"Q5415606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359e61ec110ad4e87d4be0ab3e8315471aea002a","datavalue":{"value":{"amount":"+0.683957040309906","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":"Q5408532$7110B6BD-B490-4814-AD55-5BE81354676F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942ceaa5eda66717426d7a216e16362634e072a3","datavalue":{"value":{"entity-type":"item","numeric-id":5747662,"id":"Q5747662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99cbbc3941756554c89ac4b8209f3433e3a84988","datavalue":{"value":{"amount":"+0.6699167490005493","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":"Q5408532$40EB7831-943A-4188-B2E8-4F63D313A324","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408532","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408532"}}}}}