{"entities":{"Q3071444":{"pageid":3082160,"ns":120,"title":"Item:Q3071444","lastrevid":51179966,"modified":"2026-01-17T02:46:44Z","type":"item","id":"Q3071444","labels":{"en":{"language":"en","value":"Pointer logic for verification of pointer programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5846535"}},"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":"Q3071444$4E73B4A8-763D-42F8-A445-26F87C69CCB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e3eac09c4e865ace77a0a106757b007112acdf6","datavalue":{"value":{"text":"Pointer Logic for Verification of Pointer Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3071444$A3A2B415-F126-4339-9500-9EEEF276B567","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1a6a449924212968e8f152dfb96a7b21dc8c337","datavalue":{"value":"1224.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3071444$697E8458-8605-4715-A070-67CAF62A9F19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dd3945d642aa85f192d63f2968b2917326d8300","datavalue":{"value":"10.3724/SP.J.1001.2010.03620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3071444$2B981380-001F-4E23-8440-65D388E1365A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"950d1a2fe0dda871bc58e691cffd365cbd4c6756","datavalue":{"value":{"entity-type":"item","numeric-id":744327,"id":"Q744327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3071444$A75C08A5-3B90-4358-BE6E-9A5CFD12253F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93d0390316551a3fad7442ccd57950512c17a19e","datavalue":{"value":{"entity-type":"item","numeric-id":3071443,"id":"Q3071443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3071444$45186A93-D8BF-4142-A5D2-4CEF46584E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cc413e5f5c2d76c026ba2c65280e6a1bd494083","datavalue":{"value":{"entity-type":"item","numeric-id":352079,"id":"Q352079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3071444$FD0FE461-050E-4852-BA2F-7CF07E4BDBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd381ef7dcc0ab96e9899b249bcf307c386ef3dd","datavalue":{"value":{"entity-type":"item","numeric-id":744328,"id":"Q744328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3071444$9947A05F-BD6D-452F-AFE5-713B2C7A260F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2320e40a42f0ae5834c1af04348ee1a7346d528","datavalue":{"value":{"entity-type":"item","numeric-id":117016,"id":"Q117016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3071444$C76F49C7-61F4-4775-B5AD-963A5A59D58E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5084e251f081533304fff8c03f1bbe3173f21b47","datavalue":{"value":{"time":"+2011-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3071444$A41F7DED-4841-4E56-826F-E43BE49923F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3071444$9C4BA61E-8B49-4B32-80C7-E771E9AA2054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3071444$BB067350-0699-41D1-8B06-5B9A767A81E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d75e4879a1681e2c11d7ffad2a4d3fd295409df","datavalue":{"value":"5846535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3071444$903DBE08-F08F-4685-BC1F-78FBDE167941","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36df8ec051c4d6f6e635b5236064a3c2629928b","datavalue":{"value":"software safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3071444$E77B9BDB-2FB5-41DE-9F00-9F686936DF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3071444$5E27CCA8-F097-4FCC-B429-B0758A03AEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54be1f3c1efd02dcf3f12f543633e86ce0c51cc4","datavalue":{"value":"pointer logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3071444$E2EA9C82-D2DB-4E17-8448-E8D78CF3AD9F","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":"Q3071444$E1E9C7ED-00CD-48DB-ABC5-25D238A79C02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"512774926dca87e279e0ceefa57f06e12a049f1b","datavalue":{"value":"https://doi.org/10.3724/sp.j.1001.2010.03620","type":"string"},"datatype":"url"},"type":"statement","id":"Q3071444$8D6421A7-8E6D-4BB0-AC25-EC800412FF4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2589744e5ff4feb76c208775f23e2a1e073b6c7d","datavalue":{"value":"W1990325770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3071444$345CCB5C-1458-490A-9EDA-04CEFACBBA27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e4f7550369b8e1b947e819d750997574708bd86","datavalue":{"value":{"entity-type":"item","numeric-id":5900714,"id":"Q5900714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec243a2195c3c3453418ffadf626f565d8d399fe","datavalue":{"value":{"amount":"+0.8123718500137329","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":"Q3071444$597AA2D9-9C63-4CE8-8CF1-5190CAA67E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b75373f9f0445c42710ea3d755e0ae2535555e","datavalue":{"value":{"entity-type":"item","numeric-id":2486585,"id":"Q2486585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f183cf57b06db8d84ceb6566f50a91db34aa51c","datavalue":{"value":{"amount":"+0.8112576007843018","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":"Q3071444$55A280CC-2974-4A4D-8DDF-75FB504AAF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c0b9c32ef14dffa0a3544b1fd302ae3602cb353","datavalue":{"value":{"entity-type":"item","numeric-id":2721096,"id":"Q2721096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"364794635ddba3713fadc7c0ac535a28149d72c5","datavalue":{"value":{"amount":"+0.8004441857337952","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":"Q3071444$A40072F4-B537-460D-958E-98A1C5BC9603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cc840da7eb50ebe1f22d768fd5eb987ae4e6c5","datavalue":{"value":{"entity-type":"item","numeric-id":2851924,"id":"Q2851924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d117682e925416c7df3dbfc5e3bbcaa8cec101","datavalue":{"value":{"amount":"+0.7980379462242126","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":"Q3071444$190B7702-2804-4E08-9259-CBFAFE711C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1972cfbf1b6b34e214fe88f5f05a84c7e3d200e","datavalue":{"value":{"entity-type":"item","numeric-id":5899013,"id":"Q5899013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7cb66489fb3f0027266e052900d7a7018534e3","datavalue":{"value":{"amount":"+0.7970004081726074","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":"Q3071444$1B7E2E12-9A4D-4A16-A270-7A95780BD5DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3071444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3071444"}}}}}