{"entities":{"Q3612011":{"pageid":5641917,"ns":120,"title":"Item:Q3612011","lastrevid":80815625,"modified":"2026-05-06T17:03:49Z","type":"item","id":"Q3612011","labels":{"en":{"language":"en","value":"Arithmetic Strengthening for Shape Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522597"}},"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":"Q3612011$0AD354EB-2A82-47A5-AB6A-BF1999FABEC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba64b21ed9b0d4dcf0cfb100d14172aaa2b209a6","datavalue":{"value":{"text":"Arithmetic Strengthening for Shape Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612011$69E530DB-AE3B-43A9-B7EB-6DBB2C7160CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79df8b8c17e5444f5f8755fc2d2eb14a141f8c32","datavalue":{"value":"1211.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612011$E7AD0673-85E2-48E0-8793-D4B1C2C6AC49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"773c231d736553579fa648a335e672fd5ce84abc","datavalue":{"value":"10.1007/978-3-540-74061-2_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612011$03EA4EC9-6681-4E45-927D-D91D112E6BFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84407e1144236234cae92ec7e46a319189bbfae7","datavalue":{"value":{"entity-type":"item","numeric-id":2765455,"id":"Q2765455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612011$E4642E0B-8BC3-4BAB-A36E-3808DEA57FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4e56a36e4bde76c0ca7e5e91f617c37b6d9345f","datavalue":{"value":{"entity-type":"item","numeric-id":1870490,"id":"Q1870490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612011$9E5829D6-9651-4AA4-A1E9-259A2436AAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612011$ED22BECE-8708-4F31-9CFE-02C234EFE025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612011$EE172626-91C8-43E6-9DB2-952D28A354F6","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":"Q3612011$DCDFB6C5-8492-4416-BD56-EF45DB683895","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5b863e9c4f72af24ca9701a767310d5b89836d","datavalue":{"value":{"time":"+2009-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612011$80F1756C-B9EC-4ADB-88F9-9A504C159AC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612011$BC2A61A4-8CCF-4365-93F9-140C6449C462","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05495ba45196c306c4b7ea1ae3ea0b6d2fc32912","datavalue":{"value":"5522597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612011$7923AC7B-5A96-47CC-ACB4-A1B978C3A962","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":"Q3612011$D3B04E7F-A043-4FBA-9445-C04E050756B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16341e4deab3b46a55d41c89acec6d92fbbbe6ec","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74061-2_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612011$43667708-D736-4457-B9D6-E323897F1E2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6440d4a42487edd0ede5205d82a22b42cfddf104","datavalue":{"value":"W2153144732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612011$0284D05E-A0D9-467A-8AA2-CD7A0EA89EF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940c3a33a3076683d6f422e45b5d13fafa1aa8df","datavalue":{"value":{"entity-type":"item","numeric-id":3613386,"id":"Q3613386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda91d768436549bc6f279402d5f0b47f1a75497","datavalue":{"value":{"amount":"+0.7922013998031616","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":"Q3612011$A93C021D-5E89-4FDB-809F-7D2E8E8267C3","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":"e14766749759e33e848aca4c7b640752c33120dd","datavalue":{"value":{"amount":"+0.7869296073913574","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":"Q3612011$D8F10E76-870C-4160-970C-1D4A0988080E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b6e20ed0ec9941f5e29796f4460798cece8ba8","datavalue":{"value":{"entity-type":"item","numeric-id":5308432,"id":"Q5308432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029834f61e44ba884ebc5cfdb5582ac682b12805","datavalue":{"value":{"amount":"+0.7659652233123779","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":"Q3612011$D75BFFAF-DCBD-4882-948D-DA0B3EDAE318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee00864ade5cb8aa97b3bee5509a251adeab8846","datavalue":{"value":{"entity-type":"item","numeric-id":5276155,"id":"Q5276155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0872f7f479d4274b0a71c7bb89a0a6e847d31c56","datavalue":{"value":{"amount":"+0.7609255909919739","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":"Q3612011$51110C98-42CE-4DE6-B377-9742C50BF1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aab67790d08fcac72227496b500bc0dacb915d4","datavalue":{"value":{"entity-type":"item","numeric-id":3392926,"id":"Q3392926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2414347ca553fa9a1d8b61defe537e305089d4d","datavalue":{"value":{"amount":"+0.7587096691131592","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":"Q3612011$16BC8554-1CD2-4213-9558-10E238E5305E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetic Strengthening for Shape Analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arithmetic_Strengthening_for_Shape_Analysis"}}}}}