{"entities":{"Q3522062":{"pageid":5551966,"ns":120,"title":"Item:Q3522062","lastrevid":90246209,"modified":"2026-06-04T19:40:15Z","type":"item","id":"Q3522062","labels":{"en":{"language":"en","value":"Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317376"}},"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":"Q3522062$A17B1E4B-BD28-4550-AB29-D6C96A8A5E44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"798a20057974e9a9d3e7bf49affb6326799b87dd","datavalue":{"value":{"text":"Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522062$B2D725E3-78B9-4DC1-8134-024FB363CA11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"296bbc42a688719ae412ae49762c410d0b83bcd0","datavalue":{"value":"1149.68348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522062$FA4B9607-E2BE-4A1A-A04C-EC50CC104AEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f3d9ff9c2bf4053c6a8e158e22ae59201859e58","datavalue":{"value":"10.1007/978-3-540-69166-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522062$514EB870-B05F-4550-8322-5EAE893F3BC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"695f38489b2c9853ab30f7f1d4b376848dfbe8ff","datavalue":{"value":{"entity-type":"item","numeric-id":3522061,"id":"Q3522061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522062$2F641A99-E500-446A-BD91-3830FE819224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1daf35fe51d80771c6da53504ab2329f1222dcc5","datavalue":{"value":{"entity-type":"item","numeric-id":1125426,"id":"Q1125426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522062$6AEC02E4-7746-40E5-A8B7-31AE55253B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6d395f9c3d46709760217670affc69e5e3a2383","datavalue":{"value":{"entity-type":"item","numeric-id":784102,"id":"Q784102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522062$DCA1BA4E-4AED-416F-8FAD-7B97ADF6CF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522062$05DCEAC3-4D7A-4209-8F5D-EF9A46D3341B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522062$7387DA23-4F7B-4FF7-A14D-EBB8C1A57F14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522062$6BE966C6-759E-4051-A169-9BFCD3E3F83D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522062$E419D81B-24E5-425D-8BF9-50EABE59F514","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d52e7e8078e19baa775630ad6deb8b0b9ba5ae15","datavalue":{"value":"5317376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522062$AA27B975-8623-4FCF-9C1E-A39ABC7454DA","rank":"normal"}],"P1463":[{"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":"Q3522062$53B0C2A5-6485-4C29-A32D-6117413F9E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d16729d6d7c7231b6f476a4024261fbb1757bdef","datavalue":{"value":{"entity-type":"item","numeric-id":25238,"id":"Q25238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522062$463DD28E-653B-41AD-866E-DE651026F39E","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":"Q3522062$EBBCAD66-E587-4158-B87E-77FABBD6DBDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"920e81bf65ca9de48750f93c5307f25212442643","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69166-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522062$FBB13BC7-6753-4EAE-996B-54DAF52D9768","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7dd6d15dd69dd94cc780cfb1af3326ad91811adb","datavalue":{"value":"W1563015875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522062$951919D0-A2FC-41EE-B390-78765D40C3E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a5f674636d1e0ada2a0e4fc8ea7ab85b3682ad","datavalue":{"value":{"entity-type":"item","numeric-id":1403322,"id":"Q1403322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b83572888a106cf7bd0c6d1105d132ef1c0873","datavalue":{"value":{"amount":"+0.7265728116035461","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":"Q3522062$C5C59B4B-6B33-41B8-A337-4C25C8D92800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0177a757a404dcf1c2b88505b020f967239c5ec","datavalue":{"value":{"entity-type":"item","numeric-id":3498445,"id":"Q3498445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b2cb75fdda21b4b5c274e5c235a6af95fae760","datavalue":{"value":{"amount":"+0.7144280672073364","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":"Q3522062$C7846F64-3CAF-4791-B6BE-E62056F3E3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3b0b586f5b43647e065b2777bade38d4e5e1252","datavalue":{"value":{"entity-type":"item","numeric-id":4916050,"id":"Q4916050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af5a30c0ea8144bdcfbdd5e45d79df62be007b5","datavalue":{"value":{"amount":"+0.7140392661094666","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":"Q3522062$B2EF0C8C-54F2-4CBD-BE05-499A8143C06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"842f54d26f2e59354cf76537e91b7496ff0a076a","datavalue":{"value":{"entity-type":"item","numeric-id":4424837,"id":"Q4424837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00839280437eff34ade5cfb71c952621fba4dc21","datavalue":{"value":{"amount":"+0.7119768857955933","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":"Q3522062$A28BD824-3834-4194-8F52-5D6054E80305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55c73e27be43b684a3a9d118000e4bc37409973b","datavalue":{"value":{"entity-type":"item","numeric-id":604389,"id":"Q604389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e5b1325ff053795d99c1c5208d884860307926","datavalue":{"value":{"amount":"+0.7107769846916199","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":"Q3522062$00B3E9AA-7A4A-453A-BC84-93A771C7494F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors","badges":[]}}}}}