{"entities":{"Q4930717":{"pageid":6960299,"ns":120,"title":"Item:Q4930717","lastrevid":51095573,"modified":"2026-01-16T15:46:38Z","type":"item","id":"Q4930717","labels":{"en":{"language":"en","value":"Statically inferring complex heap, array, and numeric invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794752"}},"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":"Q4930717$EDE2548D-9622-4F24-8E47-507857FB1490","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abc5a6c705b2d7aac860efa7f274ed4c67cc5b16","datavalue":{"value":{"text":"Statically Inferring Complex Heap, Array, and Numeric Invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930717$621CD759-DE20-4A5B-A873-F89795DF2F68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ac3dab4d31818e58ff7290e43f8920959d4432b","datavalue":{"value":"1306.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930717$2E204AC2-BDFD-4216-9E46-FEF85836531E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adee9e88b1757fb32baa1c7aef856d24bfd0d0ff","datavalue":{"value":"10.1007/978-3-642-15769-1_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930717$08133279-66C0-494D-8E35-F76F543F6B2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f785e6db3da1a4486f804856f56efff904679c6d","datavalue":{"value":{"entity-type":"item","numeric-id":3189842,"id":"Q3189842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930717$AE86AFB6-4BC1-4641-946A-5150A305272F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930717$BD29D86F-0DD6-4B66-821F-73E226B65FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190aeb0a4140f0f074ae1c5aadd2d8c38248c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":1404294,"id":"Q1404294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930717$33E3C666-E811-4C33-82F4-6731D2B05977","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":"Q4930717$5D90A3CB-3BDC-4CA3-9167-AB1E9FD6BCE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930717$B21DE0E3-D551-4C59-ADD3-C56160BEB3FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930717$26E12916-1E26-403F-9EBA-2F56E2DC7A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930717$9DDDF205-9217-41F4-8EA9-C12B7C95D6A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b81dab1f5202d41129d62728514f2a5435c79a7","datavalue":{"value":"5794752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930717$4219153F-009A-48DB-812A-92D7C1A5BFA6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46ff34e1d84d0a4729956c7d4ecfc0d65ecd906","datavalue":{"value":{"entity-type":"item","numeric-id":25615,"id":"Q25615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930717$5CAEDDC5-7E73-471B-9C5B-7798792BE6F1","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":"Q4930717$AF65ADBE-2B21-4003-A2AF-4ED82C09D1E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f88fb7c67e95d90a47ff22dc1827efcc60b6898","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15769-1_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930717$7D48890D-7E3C-490C-8405-8224DB0EFDC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab4673b4c2e0e68ae15fd4081df8a8500098d33a","datavalue":{"value":"W1528617049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930717$AB673C83-D6C6-4ACC-986B-1A37E83B893F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0582ee30595e78a0df901762e77eacc08e125f21","datavalue":{"value":{"entity-type":"item","numeric-id":5172654,"id":"Q5172654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be2d30ddea03667abbb9bc5a3d2dd3d14221485","datavalue":{"value":{"amount":"+0.726422905921936","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":"Q4930717$C2FC06A8-AAA0-44D1-9A59-D3DBF5A7348F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac1106730b6d953427defad6c0d2512afad4c3f2","datavalue":{"value":{"entity-type":"item","numeric-id":4994692,"id":"Q4994692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5aed4bdabdcfaa7835d3db7d3526fd00eb6d97a","datavalue":{"value":{"amount":"+0.7253075242042542","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":"Q4930717$3546EBED-6F7F-444F-9C98-D8DC983C90CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c52c891947e91854de30aebaca437718bd924345","datavalue":{"value":{"entity-type":"item","numeric-id":2985780,"id":"Q2985780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"808018c5e1e565dcef0e9c0f589275af7f0e0cae","datavalue":{"value":{"amount":"+0.7082086801528931","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":"Q4930717$24E4A0E0-4A5A-46DA-916A-DB4E49D82192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69544d975458b4d271838b37f8bdcb90df477c84","datavalue":{"value":{"entity-type":"item","numeric-id":3612011,"id":"Q3612011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"189bd25790e3831184b76e6178c83d505f13eb11","datavalue":{"value":{"amount":"+0.7072556018829346","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":"Q4930717$0494C9A0-01CB-4623-A2CA-8881A9AD50E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b3bad521921dc80e0a271c01abedc4c64a1429b","datavalue":{"value":{"entity-type":"item","numeric-id":4645747,"id":"Q4645747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6cece0a6d5abfee3fcf0d5c0ad4e35d7b3be59","datavalue":{"value":{"amount":"+0.7041877508163452","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":"Q4930717$A3DA93F5-7844-4CCE-841F-E9D395AF7AF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930717","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930717"}}}}}