{"entities":{"Q3066092":{"pageid":3076808,"ns":120,"title":"Item:Q3066092","lastrevid":79961699,"modified":"2026-05-06T15:07:04Z","type":"item","id":"Q3066092","labels":{"en":{"language":"en","value":"Verifying pointer and string analyses with region type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834034"}},"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":"Q3066092$1B4C5D3E-9520-44CD-A0BA-D2EFE1E94FFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcd81fb6bcbec177d6721e4bbc015ecc8a34f8d8","datavalue":{"value":{"text":"Verifying Pointer and String Analyses with Region Type Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066092$688DE8CE-5DA6-45EF-AB9C-DA948EB79E63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd365882341b8ba0e13d3042f61c6ff2d5633b7d","datavalue":{"value":"1253.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066092$FAA70077-F282-4013-A4B2-0E0556368D1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f706441a626d83438e5a6a082acc3150d19c95b","datavalue":{"value":"10.1007/978-3-642-17511-4_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066092$7BB36D88-7594-440F-8C74-05751D956850","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc276cb0285ab91fe37913260a1294cd4b610f4","datavalue":{"value":{"entity-type":"item","numeric-id":710671,"id":"Q710671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066092$A0D47FA9-15A3-4445-8F1A-C0C4C166566D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7e300d020f303ae47cb50adeef7ec9c7bd2e23","datavalue":{"value":{"entity-type":"item","numeric-id":2014830,"id":"Q2014830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066092$3A099AF7-27CF-44E9-B959-C224CBE76140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066092$CE1AF8EB-3295-4706-9596-71FD9D7CE5C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066092$9BF3952E-5651-40E4-8A61-D3B8E0F67759","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066092$F0839162-7CD3-40DE-B876-29EB4EB00630","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066092$6B866213-F48F-44D0-BD3C-D02C6D4A2176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066092$1527E9DA-3B19-4FFF-9DB2-115E75F44930","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2371b706716f4e59a3737b8e426e7a56cf82c2c5","datavalue":{"value":"5834034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066092$06A4D691-B6AA-476A-B20E-D0458A5C100F","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":"Q3066092$AE1C1DF2-97A4-493A-B487-1AD4F3103E99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80ec3bd5915ce9f4a5921bd0e422165a3bf2771e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17511-4_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066092$E3807D29-E01D-4678-8E52-02386BAA57CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38b32382684700ee025cad14f5f43cc85487619a","datavalue":{"value":"W1522089540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066092$80A083A3-FA41-4880-80B7-1F2B48AA2613","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db44692c642a8f33d14957bcb8cd4c8a5e327fb8","datavalue":{"value":{"entity-type":"item","numeric-id":2014831,"id":"Q2014831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a88da0dc9c364a7927d42b6de00550b00dae235","datavalue":{"value":{"amount":"+0.9978484511375428","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":"Q3066092$41585128-B264-4CF3-981C-5F036D6AF880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"effa353d5ae0977d1a82ed8e033d68fc0ef92444","datavalue":{"value":{"entity-type":"item","numeric-id":5316560,"id":"Q5316560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51221d5134c72508091f525ceb919a8608801cb","datavalue":{"value":{"amount":"+0.7036987543106079","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":"Q3066092$7C9F26CF-706E-46B0-9597-C038A0764C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb2919b8c677450ca49f709d5032bf758f1b853","datavalue":{"value":{"entity-type":"item","numeric-id":5261519,"id":"Q5261519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa7dd755c4b6d43353f42d547cd1221458cae8e0","datavalue":{"value":{"amount":"+0.7023216485977173","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":"Q3066092$EA9E9C50-2169-430B-A734-424AFB8B7AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95589d8fed8a78a8381d2650a993116e882bba3a","datavalue":{"value":{"entity-type":"item","numeric-id":5466556,"id":"Q5466556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa0cd331b37ec34c589b37cc797b5126b8aca41","datavalue":{"value":{"amount":"+0.6985571384429932","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":"Q3066092$51179FB9-4058-462C-A034-BEFC78E6A94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da7fded39d5bc2680ca2e5fbb3d52e061fd1e60","datavalue":{"value":{"entity-type":"item","numeric-id":3522062,"id":"Q3522062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef3da86981f0eaa73ea3b9d6f29cd4d74abf36fa","datavalue":{"value":{"amount":"+0.6961682438850403","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":"Q3066092$6D63BCD1-DDA6-433B-ACCC-96BC7CF56367","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying pointer and string analyses with region type systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_pointer_and_string_analyses_with_region_type_systems"}}}}}