{"entities":{"Q5172650":{"pageid":7202222,"ns":120,"title":"Item:Q5172650","lastrevid":41212745,"modified":"2025-04-19T21:04:33Z","type":"item","id":"Q5172650","labels":{"en":{"language":"en","value":"From Verification to Optimizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6397683"}},"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":"Q5172650$604ED182-F97F-48A8-9467-BCDD7C4821ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85a52f694a6c6570c3cde2aa8ec3c39002e20c7b","datavalue":{"value":{"text":"From Verification to Optimizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5172650$5F75ADD4-9BE7-4DD2-B7A2-946354B96A83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"161d6646270de1336053aa3451bb1865000b6d3a","datavalue":{"value":"1432.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172650$1CD57780-8546-42E7-8741-9F5CEF141A06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19cc5962049c6a7b29dd62474165668819084437","datavalue":{"value":"10.1007/978-3-662-46081-8_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172650$7213EF7A-7BA4-4439-95B8-24BE56C3F5C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f54c7e9c12293f96080321d0c76f6f1c71bbba10","datavalue":{"value":{"entity-type":"item","numeric-id":3407316,"id":"Q3407316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172650$BCE86AC1-6608-42EB-8229-BD20A3CF350D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6d395f9c3d46709760217670affc69e5e3a2383","datavalue":{"value":{"entity-type":"item","numeric-id":784102,"id":"Q784102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172650$8A501D21-2B45-44B2-828C-B3B87F707505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8914eb7a28571350183189a1c35064757fce7b7c","datavalue":{"value":{"entity-type":"item","numeric-id":5172649,"id":"Q5172649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172650$2F80EFFE-F6BB-44A4-B1B1-FE08ECB2A2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d264df004dfb72476c1a4a7b97124eb9c0ac20d","datavalue":{"value":{"entity-type":"item","numeric-id":2754126,"id":"Q2754126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172650$C45837BD-5A6C-444E-8BFB-4EAD614FF168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12c17a78388b1f2e92062c88fa4de25086298b5f","datavalue":{"value":{"entity-type":"item","numeric-id":439947,"id":"Q439947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172650$C8F670AA-74E7-40F8-8BA3-4FD08A2F8BE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172650$9724E286-4ADD-4492-8CE7-2F6093D68E39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa47d3e0ba2062e2ce661f751109363b14b792ea","datavalue":{"value":{"time":"+2015-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5172650$BD7D4E0F-7765-437F-B692-964B1BAED83F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172650$1C2FEF50-98F3-4AB1-85BA-13F855C89E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172650$1B07FE1D-4197-40A0-93BB-76D7B9036133","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d831fc94a7cf6b0ae904d11084c66708d373d83","datavalue":{"value":"6397683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172650$066AB281-44DE-4835-81A0-2FBB30757993","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":"Q5172650$0EB347BF-E714-4909-9BA0-61D7FC3C56B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90d669b62755e7333c959feba0a9330e55855a8e","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46081-8_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5172650$1709B107-BF94-44E7-8BA5-E80DB9E856BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bfd3f4f9219fe54614b56f73cfd6262fee160c1","datavalue":{"value":"W2206648863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172650$8C8FB5F1-A070-4AAC-9F93-50CE14E8513F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942ceaa5eda66717426d7a216e16362634e072a3","datavalue":{"value":{"entity-type":"item","numeric-id":5747662,"id":"Q5747662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61473bc43e26e2048517b9740e0cbd7580a9becc","datavalue":{"value":{"amount":"+0.8733233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5172650$14E0914D-6BE4-4B81-85AD-2B761C6DDF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b66b19dcb34d20e7302d9ed697daf5c94068fc","datavalue":{"value":{"entity-type":"item","numeric-id":5240132,"id":"Q5240132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb135b41523694d66cf968784884f208ec587c89","datavalue":{"value":{"amount":"+0.8708623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5172650$57A5C913-217B-43DC-A5B8-51F74D9985DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d619172e9c7c8b095da98b290cc2501d6ff64d17","datavalue":{"value":{"entity-type":"item","numeric-id":3340120,"id":"Q3340120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30668cf11a2cfe0230f42b8ae0a35f6249eacdcb","datavalue":{"value":{"amount":"+0.86668223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5172650$7C86CC5F-C76F-4329-9936-DB504F27EEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc1a600882b169c74b81280188989c314fec32b8","datavalue":{"value":{"entity-type":"item","numeric-id":5703955,"id":"Q5703955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbbd2a98c716890c6da52e139b8aee04851839cb","datavalue":{"value":{"amount":"+0.86541075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5172650$F7533262-4B0D-4B81-ABA5-9FAA67BBA21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c087184595fab801480d707d06d96dd4ce20afd1","datavalue":{"value":{"amount":"+0.84933263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5172650$6C484D15-026E-4BDC-B435-D626F9509F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0498392e58a4be01e08d437fa20944327eb683","datavalue":{"value":{"entity-type":"item","numeric-id":5210798,"id":"Q5210798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"333b1ae142ec3e157a0f4b4a6b8430be15112b97","datavalue":{"value":{"amount":"+0.8485012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5172650$63E5AB7B-95B2-4C94-909D-C4132D2E1FF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5172650","badges":[]}}}}}