{"entities":{"Q1767975":{"pageid":1778717,"ns":120,"title":"Item:Q1767975","lastrevid":69252342,"modified":"2026-04-13T05:46:42Z","type":"item","id":"Q1767975","labels":{"en":{"language":"en","value":"A type system for static and dynamic checking of C++ pointers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2142490"}},"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":"Q1767975$96423128-5273-47CE-B566-72608C9E9985","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"358c474e4d34682907c2512c3b6250211e5c03ec","datavalue":{"value":{"text":"A type system for static and dynamic checking of C++ pointers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1767975$AB0EB74F-3F7B-4F37-8303-C8AF5E4A4B92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a2bf6bb017ea6619acb7c3af663728139a7a89a","datavalue":{"value":"1062.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1767975$507D63EB-ED26-4DBE-BD5D-505034506781","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50b7baf9ffc5b2d2248fec32970903e0e6ec9035","datavalue":{"value":{"entity-type":"item","numeric-id":397402,"id":"Q397402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1767975$EE96FFCF-7447-4C55-802F-9EFC93840EA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1767975$CE8CE5C2-66C3-4B68-A94B-1953BA24D3BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd47d06c0da02a3275cef5e1a053a13d04438c27","datavalue":{"value":{"time":"+2005-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1767975$7B0CC794-C3C9-480C-837E-64A65D299D5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1767975$AF9F5DC1-D361-4A92-A43C-F9212678E3C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af0b61d4ce976a93274b3382d5d3376ddd025e49","datavalue":{"value":"2142490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1767975$888D7FD9-45C5-44E7-AB91-731E41923C37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d10283cb0f62402b7951a4756dbeb2bd05f1415","datavalue":{"value":"C++","type":"string"},"datatype":"string"},"type":"statement","id":"Q1767975$331CD815-9FBD-4228-8E41-E6B16971F1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b86b2d72f3e0c5105f7b21b3c219059ff28ce6","datavalue":{"value":"Legacy code","type":"string"},"datatype":"string"},"type":"statement","id":"Q1767975$D47CC939-60AE-4682-81C0-F35BCB6D77C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51f55269bcf2b2bdbc8d9a7192b10e4cc72344a2","datavalue":{"value":"Pointer analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1767975$FB4963F0-D961-4F58-8BD1-DBC0DBE94B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd6bb99ae275247a694e9f3814d4487389c79e5","datavalue":{"value":"Code safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1767975$C55CA4B9-854F-4663-8428-8C743741DCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b5486b729b36f5b39fedfe0903b7022e82c678","datavalue":{"value":"Type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1767975$96BFA002-486C-4CF2-A3DD-314EA3EC03A0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1767975$376B1545-9454-401B-93E4-5C14B214451B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fef6691eca85db5ffd06ecca294bd45511b25270","datavalue":{"value":{"entity-type":"item","numeric-id":22026,"id":"Q22026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1767975$E24DEAEA-80B1-42E7-AEEC-8F293904EB51","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":"Q1767975$535CB26F-C988-499D-944E-48CF46A18143","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32bd488c19399c96af1363ad56c78d07ac00af9b","datavalue":{"value":"https://doi.org/10.1016/j.cl.2004.05.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1767975$20AA01D1-F84D-4A06-92A4-5D2A00F6E27F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1cc44fdb803b7e8a41bd0ee6305bf5408b21865","datavalue":{"value":"W2016477192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1767975$6B119856-D872-4E1F-84CE-FD5AD51C6605","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1767975$EC013E02-0CE4-443C-8229-2819F38A222F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f49bf5d3e884d64c471e1ae5ee3ccec444cbabd","datavalue":{"value":{"entity-type":"item","numeric-id":5178902,"id":"Q5178902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1767975$267787F2-BE17-4DB1-A690-71D6DE70CCFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a181c4baa281565483b3e7e18df071b9e319ec5","datavalue":{"value":"10.1016/J.CL.2004.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1767975$094D14B4-99CA-4E42-ABEC-99EF8BD7126C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecb2f9d7394ff8bb6910f11581ead1e76fa644a","datavalue":{"value":{"entity-type":"item","numeric-id":4738341,"id":"Q4738341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706b8380ae8e9d59ce99debc037b038cddc3a6dc","datavalue":{"value":{"amount":"+0.7148855328559875","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":"Q1767975$E82C3A93-655C-4D87-BC89-F137BAF3722A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf2e3c6d1b927b908b15c7440f5918641032651","datavalue":{"value":{"entity-type":"item","numeric-id":835770,"id":"Q835770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04dc073a51d40061368056991c767585454a042f","datavalue":{"value":{"amount":"+0.7108796238899231","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":"Q1767975$487B5F07-0C7B-4D4F-BF95-D07259442498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da08c87231d5ec34a47cb2f0f318e1180bf7be39","datavalue":{"value":{"entity-type":"item","numeric-id":4817001,"id":"Q4817001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4dff64f9549ac38783e3c6353c433c27db569c8","datavalue":{"value":{"amount":"+0.7097137570381165","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":"Q1767975$F75FAED9-7FAF-4279-9811-B62B10F3BCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65f800bbf30bdc886501e2fd14a63f8872e6dd6","datavalue":{"value":{"entity-type":"item","numeric-id":5178902,"id":"Q5178902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4070c6be12262d1929e4b1c971bbb710c0415ce7","datavalue":{"value":{"amount":"+0.7002482414245605","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":"Q1767975$5695F29C-945F-4038-BF43-EA485E785F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7f52a958d2e645edb09703f707b7cb648b0a011","datavalue":{"value":{"entity-type":"item","numeric-id":4417786,"id":"Q4417786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4c06fe5e02aa76515c6915a014f148b959f380","datavalue":{"value":{"amount":"+0.6955972909927368","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":"Q1767975$9E16A6E5-284E-4E3C-92CF-AFF6FA7A49CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A type system for static and dynamic checking of C++ pointers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_type_system_for_static_and_dynamic_checking_of_C%2B%2B_pointers"}}}}}