{"entities":{"Q2233462":{"pageid":2244205,"ns":120,"title":"Item:Q2233462","lastrevid":57686127,"modified":"2026-03-31T22:05:26Z","type":"item","id":"Q2233462","labels":{"en":{"language":"en","value":"For a few dollars more. Verified fine-grained algorithm analysis down to LLVM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410463"}},"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":"Q2233462$62F10A98-9118-4833-BE4A-2CCFE37A20A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcaf423ec7b7451b83a01b777dffc4d21598663e","datavalue":{"value":{"text":"For a few dollars more. Verified fine-grained algorithm analysis down to LLVM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233462$82FCE994-38C5-475E-853F-BBDD223884E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"057511a0e8c76b2e6be425ba6ddc7ddabbefc493","datavalue":{"value":"1473.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233462$CF12EE3D-090E-4909-BA1E-20ED78150F17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e057c48a7688689c77bcf7753af6c244344ba042","datavalue":{"value":"10.1007/978-3-030-72019-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233462$F5F34DE4-8A76-4107-89B6-43D96B8D45F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1d33c2cb482f696fa81fcf6b993c9bc4e7576e8","datavalue":{"value":{"entity-type":"item","numeric-id":1799113,"id":"Q1799113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$2FCED21D-69FE-49FF-8210-01B3C86C6E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e4be225a6094490d6530fbb2f56929f5bbbcf0","datavalue":{"value":{"entity-type":"item","numeric-id":682349,"id":"Q682349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$CE989269-A1CE-42A3-99DE-B37EC40AEA17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233462$6CF92CA4-2FB7-415C-92B7-97D92F452878","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233462$E10D957F-75FF-46F6-B01E-979192C0F6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233462$5A5E3A6A-5E6B-410B-8475-EF0A847E34B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233462$D38CD31F-F02F-4193-A9FE-74D54235F9EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51876afd802a001b6bd0aca0688c255fb3b1af95","datavalue":{"value":"7410463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233462$2574DA6E-0603-4352-928C-6C190921484F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c95d08c7a71975dab7e6d3c09c6fe9dee722caa","datavalue":{"value":"algorithm analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233462$C1550639-9FC0-43A7-9E4C-DF220BFF8B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233462$773C6701-7EDA-4151-BE51-A90AFE137B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233462$497313CD-2065-401E-B140-BA9BA3D86C32","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d082feafa45d8fd2af5638ac3cc0080de90d3ac","datavalue":{"value":{"entity-type":"item","numeric-id":40263,"id":"Q40263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$34251506-8310-4E5F-8D1B-92B4B229B995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$9457D190-E44A-4459-ADE0-727C7052C215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68e5df8c3dae7752bf7f3ad5b01ba30abc445cad","datavalue":{"value":{"entity-type":"item","numeric-id":39280,"id":"Q39280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$AC128601-585D-4AFD-AFDD-A67D334501F4","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":"Q2233462$1D58976A-F661-4ED1-B1F2-B89A78065DC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3770e60f3f159a5b184665fd81efe6d773a5e3f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-72019-3_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233462$4CB93F5C-C0C3-4790-9FBE-CAAE5E85AE38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb5e3fe654fd54708bf93bc009ca69a2e0f222e4","datavalue":{"value":"W3136814465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233462$074F0ADF-3E95-475F-87A2-47C06B08957B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d421837d95e47324e8a9568fc6a54da33df7097","datavalue":{"value":{"entity-type":"item","numeric-id":3558217,"id":"Q3558217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$CACEC7C9-B630-4711-9360-79CE3118024A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f90f9000203b5cc02cd5a95785f3228e4b1b7c0","datavalue":{"value":{"entity-type":"item","numeric-id":2655325,"id":"Q2655325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$59CE7FCA-A607-4A22-A722-64DBFCDE8420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ee7b1670b832d84e63f3575192ff8a645b95bb","datavalue":{"value":{"entity-type":"item","numeric-id":670699,"id":"Q670699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$322F7BCB-9B32-4C6C-AFE4-AC981F3C92D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1095660b870de8c21095ed7160cf064efde56dbc","datavalue":{"value":{"entity-type":"item","numeric-id":5348399,"id":"Q5348399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$E503F248-3761-4C9C-BD8B-1965B9962846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c793fa2d4ededf3f0fe9055c269eb315e9737a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2323994,"id":"Q2323994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$DA4B9274-53BD-4ABB-BA72-7B3D3D9695A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b276a4466d3408aebe4dbddd64d84bba4e9bbb3","datavalue":{"value":{"entity-type":"item","numeric-id":5875426,"id":"Q5875426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$76484A8A-119B-4662-A125-F890FED2B61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f80a009c7aa3c58bb283441470b5a53aa55f5a","datavalue":{"value":{"entity-type":"item","numeric-id":5875428,"id":"Q5875428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$74B580F3-3C1E-41C6-AE6D-1B1328402556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5dffe5441220fd05c9ab29a095f510d384d606b","datavalue":{"value":{"entity-type":"item","numeric-id":2945637,"id":"Q2945637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$0D5C9D85-A14D-453A-B9FB-512E756EB804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12145c5e201ee3f7759ed285759c2b5f5112ba5a","datavalue":{"value":{"entity-type":"item","numeric-id":1739909,"id":"Q1739909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$1EC64A45-ECC1-4255-8ECD-D4F15D95AF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01777cc9db070cae4d8b1ef6fe21728876ecb185","datavalue":{"value":{"entity-type":"item","numeric-id":5049010,"id":"Q5049010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$DBC8F092-8A7A-44DB-910C-DF6C1EFC8909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f766bae7bb1dc745731294a8b2405f79150a41","datavalue":{"value":{"entity-type":"item","numeric-id":2914741,"id":"Q2914741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$F56547BE-C458-4801-B997-4C75EFE77002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b78cda30b8bf7bbc1e02364c4dd5fa066a61862","datavalue":{"value":{"entity-type":"item","numeric-id":4279255,"id":"Q4279255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$2E1C050E-2EA3-461A-AE44-D80840318BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a757a70ab73b8cf6bc0d295854b298f4e2fc55","datavalue":{"value":{"entity-type":"item","numeric-id":1799114,"id":"Q1799114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$21258990-A883-4033-B909-596E0F1BA47A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59bfbdc7e86cccf445f54e1e3091c5033971a071","datavalue":{"value":{"entity-type":"item","numeric-id":2323994,"id":"Q2323994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebaaffb27c65fb675ba6440481a2aa0052c98762","datavalue":{"value":{"amount":"+0.7469224333763123","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":"Q2233462$F455745B-A5CA-43C7-8D08-EA3295D00C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5b6de0488af39ef3830498792881213aa4e86d","datavalue":{"value":{"entity-type":"item","numeric-id":2938045,"id":"Q2938045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"964d793c7b3f5e39281687e6f94118c119a31985","datavalue":{"value":{"amount":"+0.7001208066940308","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":"Q2233462$4B410ABC-FBD0-43CE-8800-47B39BF9CA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c058c14ea8edc7f91a42a0b8e5aa2282f44e6a09","datavalue":{"value":{"entity-type":"item","numeric-id":5370898,"id":"Q5370898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ee1262a9216b80b8e93108e09ce68f7bac9c3e","datavalue":{"value":{"amount":"+0.6976334452629089","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":"Q2233462$C7B0F1C2-5DE8-47BC-8702-C4E7C863A253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7c5c41d6d8c761cdaae4417f275d713d9dc5b0","datavalue":{"value":{"entity-type":"item","numeric-id":3460499,"id":"Q3460499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14de2082db96ed83bede700af3149aec9fac04b7","datavalue":{"value":{"amount":"+0.696553647518158","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":"Q2233462$B2587338-B4CF-4F6C-9CA0-FED3E9A2CAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660a5dcab57a36c769b33e5603ff18369bfd8bcf","datavalue":{"value":{"entity-type":"item","numeric-id":5716916,"id":"Q5716916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfdd986a70e64cbcc52af27eee88713b9cbe48b3","datavalue":{"value":{"amount":"+0.6845037937164307","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":"Q2233462$F9F6AEE7-FDA3-45FF-9757-D0CF0FCB8161","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233462$6D97A4BF-CE5A-49E0-AF15-BA3A58B0E8BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233462","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233462"}}}}}