{"entities":{"Q6108433":{"pageid":13242740,"ns":120,"title":"Item:Q6108433","lastrevid":47868190,"modified":"2026-01-02T22:37:09Z","type":"item","id":"Q6108433","labels":{"en":{"language":"en","value":"Relational abstract interpretation of arrays in assembly code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7704604"}},"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":"Q6108433$F057616D-4ED1-4AC4-9541-AB3E425B4E1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"695b3660b2802550a63c51df6bc69954557a80b5","datavalue":{"value":{"text":"Relational abstract interpretation of arrays in assembly code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6108433$2B5D08D6-F8BB-4927-BBD0-2EAB5B988FD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0aa5b5def276f95b942e4fbd4d6e38572fd3eab","datavalue":{"value":"1522.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108433$1692C1CA-E247-4CAD-B2E6-95D909FBC42E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"191833e8114db9ccce1fcaf3e153b63ef17c60dd","datavalue":{"value":{"entity-type":"item","numeric-id":2287073,"id":"Q2287073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$E212F040-7614-47E4-A223-F1B09D72936E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8eb4b1895db02efcd19510b32ed7ee829ca67da1","datavalue":{"value":{"entity-type":"item","numeric-id":645051,"id":"Q645051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$238E2FA1-D0F2-4FD5-BD99-625652917156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69d53de07b825f5a93c203ef3c257fee47f24260","datavalue":{"value":{"entity-type":"item","numeric-id":2287074,"id":"Q2287074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$71D6C8EE-0D06-4D1A-8EC5-658CDA092517","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$2F5303C0-C07F-4C62-9F81-776C88074DB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91be2dac51a963d285032dfc904d8d1ab12317ee","datavalue":{"value":{"time":"+2023-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6108433$26288C42-743C-4CEE-B99B-4385708051F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108433$3363F2F8-519B-483B-A183-0D00CC4DEADD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bd710750729457dd8a9841cfc1161c40d74f62b","datavalue":{"value":"7704604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108433$4B2213F2-4B82-49A8-B76D-F4EC645752E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108433$ECBA7C00-D846-415A-B405-2EC6DED6615C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f4cc8568c90f23fbd02386a0041737b04fcfc44","datavalue":{"value":"array analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108433$4657C560-205F-4DBE-885F-75F24EAB9ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32ad18e7b7f4ee02a7459e31dc681f382a6a93ac","datavalue":{"value":"assembly code","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108433$2D137CCB-B9DA-4C44-9CF5-682C07EBC8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e75a283ce553f13dfa7f5870825606d9e54fd21f","datavalue":{"value":"polyhedra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108433$5A123581-65C2-42DE-A1B1-10C7B3DB0E69","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":"Q6108433$CEF8635F-B8D3-4F00-B6B3-05F402A58EFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e368ef4f5b530a67dbfa3cde8dd5bb43f96d474","datavalue":{"value":"https://doi.org/10.1007/s10703-022-00399-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q6108433$F0E97B9B-40CC-4732-BE3A-94CFC5540D7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdce262ee64699201b46c45745be1f69fe48a749","datavalue":{"value":"W4299462755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108433$C51B1E42-556D-427D-A2E0-DBEB7ACA8C27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d21e023c9dbc59cb3dbc9c5b2b1af1e1e8de8794","datavalue":{"value":{"entity-type":"item","numeric-id":5716550,"id":"Q5716550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$9DD3D2E2-62FA-4623-9E12-32DDB5C35252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f21d8b787c992d2596b551060033bdc89fa9f95","datavalue":{"value":{"entity-type":"item","numeric-id":5308721,"id":"Q5308721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$80BECA88-50A7-4CAF-80AD-4968A034DF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c598387bb1ae65e1bc9065a1e6252efeb2bb86c","datavalue":{"value":{"entity-type":"item","numeric-id":2287075,"id":"Q2287075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$EBD95E3C-1163-489B-A416-E0286839354A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1366322d071eb123167fab9e0b56c2c395178ea","datavalue":{"value":{"entity-type":"item","numeric-id":3075470,"id":"Q3075470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$99816B5D-09D4-41E0-BE93-6C54F2697144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$6A25F759-A305-4A12-9CF1-FFDA990227AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$0E79A2B3-A22E-491A-A0DA-AF2A5C4A5BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7898c49e151f9b574aae553cdde8472d41dba3b","datavalue":{"value":{"entity-type":"item","numeric-id":5170176,"id":"Q5170176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$3D3436F1-0D01-4306-94EA-01FB33A70EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1f487f894ada316ae2893024e29e29b624b634","datavalue":{"value":{"entity-type":"item","numeric-id":5408536,"id":"Q5408536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$D5400BEF-52A9-4A75-A892-F7013D9DCA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0a2e2fae13b22e363321d20032e977af8454be","datavalue":{"value":{"entity-type":"item","numeric-id":5308431,"id":"Q5308431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$94C9FF3B-5935-4192-BC96-2FD441EE591F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7518c3dc697c1f88392c573900510e6c347126","datavalue":{"value":{"entity-type":"item","numeric-id":5276157,"id":"Q5276157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$9BA99A39-A5A8-4B16-9FFB-5C7091B33A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d926ddc0a6cb500bdbabe105e37ebbae5a4f865","datavalue":{"value":{"entity-type":"item","numeric-id":5458380,"id":"Q5458380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$C55D7824-A3EA-4F10-8F06-0EE04A618F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e68190739167e2f4e4cd9489e2c02d0ea93a1646","datavalue":{"value":{"entity-type":"item","numeric-id":3460905,"id":"Q3460905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$ED4ABDF5-046B-4E58-8738-CA11315B1418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1487d2933e6d7854683606653611ff2770c767b5","datavalue":{"value":{"entity-type":"item","numeric-id":681352,"id":"Q681352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$B91212FA-3016-4CE9-8A5B-D4043B804143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$57335D1B-5F93-4317-8226-743EFA91F928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$88D5A713-0F36-4F01-BDC9-2C0B1067CF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea0ff33710ac45b9dc242b59182e4c0d456d1b7","datavalue":{"value":{"entity-type":"item","numeric-id":383356,"id":"Q383356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108433$9FA44815-C342-42C1-91B1-7A5A2D9E4820","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1473d6da22fd498f7778d20b4ca7ddc3f313020","datavalue":{"value":"10.1007/S10703-022-00399-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108433$8DEFA072-7891-4CA7-B335-6AA389B5BE5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c692e4c37c0674c33839cb0a8a1ab50912d2566","datavalue":{"value":{"entity-type":"item","numeric-id":4414379,"id":"Q4414379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aefc251bc3cbdea77b04f911740d6786b93faf65","datavalue":{"value":{"amount":"+0.7393893003463745","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":"Q6108433$DB347A5E-BE8A-433C-BA49-654A99C86F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbca47c44e58f41f18b1e8bc78bf8b7d324cb77","datavalue":{"value":{"entity-type":"item","numeric-id":4828445,"id":"Q4828445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ca5c1800bea1dad5202b31d752dc002eeae847","datavalue":{"value":{"amount":"+0.7374746799468994","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":"Q6108433$581ED1BA-9764-47A2-80A7-A02374C013EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db89456def5ff0e43c4c9890f336cab7edf602e","datavalue":{"value":{"entity-type":"item","numeric-id":681352,"id":"Q681352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a655977194f6a27941ab7ec623b2a6e5007523de","datavalue":{"value":{"amount":"+0.7351032495498657","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":"Q6108433$DCD6C131-293C-4955-A49F-ADD175EFA1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba3f7e4fbfa02fca18eb45ed6e6f5186bf707da","datavalue":{"value":{"entity-type":"item","numeric-id":5458394,"id":"Q5458394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd05e4a37edbef63acf04aa8853fc3c5336a765","datavalue":{"value":{"amount":"+0.7188054323196411","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":"Q6108433$D34D88AF-14B4-4DE0-BC61-92A0AD742BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31148e29d9d37ec27fa70aaf27d5ce9c529c0487","datavalue":{"value":{"entity-type":"item","numeric-id":2287075,"id":"Q2287075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf1019dc8032b4354152932b0afb512a744c5091","datavalue":{"value":{"amount":"+0.7178108096122742","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":"Q6108433$9BB3FFB2-412F-46AD-92FD-AC08C3150B78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6108433","badges":[]}}}}}