{"entities":{"Q5166698":{"pageid":7196270,"ns":120,"title":"Item:Q5166698","lastrevid":52037138,"modified":"2026-01-20T19:39:14Z","type":"item","id":"Q5166698","labels":{"en":{"language":"en","value":"Control flow refinement and symbolic computation of average case bound"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314164"}},"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":"Q5166698$1D870582-5BB1-40D7-9436-7A8E2797D366","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd6ff4c6e4529ee5e4eee35929eb2be1eec9daf2","datavalue":{"value":{"text":"Control Flow Refinement and Symbolic Computation of Average Case Bound","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166698$F0B0A0AB-36A7-49FB-8797-AB08B00BE684","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e16e8ab3aefe4e27f20ba462828048b6b4640f7b","datavalue":{"value":"1410.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166698$A71FF13C-B996-49EA-8411-9EBA5E5642D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"393eff52ea821110905293f66ea288de3f85f18e","datavalue":{"value":"10.1007/978-3-319-02444-8_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166698$E2ABC35F-B626-4F7A-9C69-0D8941F35EBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25bd9a872d4beb3ff101444ac0f830d5927b3a9","datavalue":{"value":{"entity-type":"item","numeric-id":443376,"id":"Q443376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166698$2271798A-DD98-454B-896C-B634DAF8347E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f479a965bcdbbc2c07094aa7e8dd67c9ccd21b49","datavalue":{"value":{"entity-type":"item","numeric-id":654372,"id":"Q654372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166698$4F0050D2-7DCB-45B6-B38E-5F1FC5F176D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"623996bce80acc0e2b8cd167447a27789edf0782","datavalue":{"value":{"entity-type":"item","numeric-id":1683794,"id":"Q1683794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166698$AD4271DC-C1E6-4AB9-B31D-67991A78E3D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166698$3F58D855-B42C-4AE3-8040-1F1A4776F1F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166698$8083BB96-6F3E-4814-8769-F13832665729","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166698$15FB9713-9317-441A-8C9D-86149A3A92B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f30573c46e9d1de8d32c61c360bd4e7c737810ea","datavalue":{"value":"6314164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166698$13E64B83-FE07-4DD8-B8C0-02EE26462A80","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":"Q5166698$1923B94B-D05C-41B2-A07F-73006946A857","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3035ddbd3a6a49d784a98c69ca67a8a104afc566","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166698$86A2FE8B-E947-4295-AAB2-67E797E5F9A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ed55d8a8f9e55d99aaabea797163577db187739","datavalue":{"value":"W174361986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166698$C21F8455-17F0-496F-B28A-C8C09BCF39E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee5e4c3a67f5e04e05e6086337a0032dbaba9dd","datavalue":{"value":{"entity-type":"item","numeric-id":3769944,"id":"Q3769944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a004377075e2272f6fa36224a079972737c4a16b","datavalue":{"value":{"amount":"+0.7134682536125183","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":"Q5166698$BFA5BE1A-730E-44AC-9486-698922C0457C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d458edef0a12fe970318efe1226e2d77f71467","datavalue":{"value":{"entity-type":"item","numeric-id":5261512,"id":"Q5261512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a9307195f570c37a24ff9427ef2afa45182f27","datavalue":{"value":{"amount":"+0.7099336385726929","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":"Q5166698$9F0ACE71-B9FA-4BB3-84A1-B3C732EE9760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85b352f188f66626d32628ab3756017612498c6","datavalue":{"value":{"entity-type":"item","numeric-id":5108517,"id":"Q5108517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0d6aafb2a9eb33947248635dabc66e5f470961","datavalue":{"value":{"amount":"+0.6901970505714417","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":"Q5166698$2C4E993B-6EFB-4A87-B556-8A14A3BD94B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf3e4ae1cf42abfcc8326250c922f458a9a91e2","datavalue":{"value":{"entity-type":"item","numeric-id":3457981,"id":"Q3457981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1443dec4d1e36d7e0f0cdd4787923cd99fae7540","datavalue":{"value":{"amount":"+0.6892423033714294","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":"Q5166698$8046A94F-A7B8-41EF-904C-423510E7CA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cf79a6ea05689e21ba20669af94e94870bb814","datavalue":{"value":{"entity-type":"item","numeric-id":2843912,"id":"Q2843912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d929056d122723676f08f85478fbaa2ca8d90665","datavalue":{"value":{"amount":"+0.6776019930839539","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":"Q5166698$0CDED4FA-58AE-409E-B2D5-2274495B6567","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166698"}}}}}