{"entities":{"Q518404":{"pageid":520171,"ns":120,"title":"Item:Q518404","lastrevid":62444466,"modified":"2026-04-11T06:08:06Z","type":"item","id":"Q518404","labels":{"en":{"language":"en","value":"From invariant checking to invariant inference using randomized search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6697748"}},"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":"Q518404$035594D8-1C10-48E1-A67B-8505BBEFC68E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5a40ac093c69b22854b1f91ff61bfad4d1982e5","datavalue":{"value":{"text":"From invariant checking to invariant inference using randomized search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q518404$FCF9E8E1-33B0-4CDC-89EE-83772028868F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39519f2a2217f6d2e457e6d73164fdc4117fe758","datavalue":{"value":"1358.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518404$BABE83CB-DFBB-435C-9842-672715EFF9BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6343d3d0029682fb8330097f4f6a18dbe0b7a1f7","datavalue":{"value":{"entity-type":"item","numeric-id":518403,"id":"Q518403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$D38BD1E2-3C63-4845-ADC9-4F6753134033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e198c2c9d8df28574fdbaf2e4371463c98e7a775","datavalue":{"value":{"entity-type":"item","numeric-id":453504,"id":"Q453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$54055826-66EF-4361-AB74-96ADDEBA0D46","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":"Q518404$F628FD72-3B59-48E4-91FD-14EB795FE9EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b1176cdd607c21645d7c2ae40c91c6f83a8c91f","datavalue":{"value":{"time":"+2017-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q518404$DC1F7847-94D2-45A3-9124-74845F79973D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518404$4192ABBF-342B-4E20-B819-8C8C23D10420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518404$C691D8B4-1A1B-4603-A6C1-4278E8CC9CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518404$FEA40155-4F61-4312-8943-725D6D81F257","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c20b452d623bb5804c218282be5feaa00f0eac6","datavalue":{"value":"6697748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518404$8E90966C-AFA2-430B-A5D5-373ED1203A04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q518404$DCD96B5E-10AC-4A1F-8479-11406BF7BF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6b234052d577bbfc0605fdbf112f40bb1c4228","datavalue":{"value":"loop invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q518404$985D7F85-A82B-42A6-B873-65969F7FCD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7264ff341f8306058bd71585a4c36ee47391445","datavalue":{"value":"Markov chain Monte Carlo (MCMC)","type":"string"},"datatype":"string"},"type":"statement","id":"Q518404$75B7190B-2554-4AA9-90ED-6496F0B9923A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75999b4145baf8e36d1aae9da7d6c1e17358728e","datavalue":{"value":"satisfiability modulo theories (SMT)","type":"string"},"datatype":"string"},"type":"statement","id":"Q518404$8B92AFB8-9F08-4F8C-BAE4-3F1C1511E190","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$E0974B33-C4EE-4A55-9A15-C9D1E8ADA011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14bcb78167ecbe13d976fd586e0b21100a3bf946","datavalue":{"value":{"entity-type":"item","numeric-id":31317,"id":"Q31317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$FD47EE32-49E2-4DCD-8396-4600A8CB4F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"359ea4085263295f549ea97e2c7ac1374acb516b","datavalue":{"value":{"entity-type":"item","numeric-id":31319,"id":"Q31319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$D13DF8C1-3B2D-4F9A-A9B8-52C7F73B10A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3ae470baece4f03ec596df9827c9204c93258ca","datavalue":{"value":{"entity-type":"item","numeric-id":31320,"id":"Q31320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$EA5136BC-4673-4991-970E-92EE19E1FD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c7af7e9e6c462aec12e4c0a363553e49a87a29a","datavalue":{"value":{"entity-type":"item","numeric-id":31316,"id":"Q31316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$00C70752-9990-45E5-B19F-60ED7D40A172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"109e91091708f7142f2c9a4ce67011a990daf85c","datavalue":{"value":{"entity-type":"item","numeric-id":31315,"id":"Q31315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$16F3EAA8-AF9D-415E-A091-5436956186F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e435afb031ee44ca6c370c9a4082b74be3491e33","datavalue":{"value":{"entity-type":"item","numeric-id":16498,"id":"Q16498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$AE2C6614-D80F-4B97-972B-0CF98BD3EAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$BAC595EE-06DF-4637-81A2-5F568FF327F6","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":"Q518404$BE20F114-60B2-4FA4-9DD9-7FA65A2E3CE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58bdb8e174b25fddf30279e45a8faff4a62bc599","datavalue":{"value":"https://doi.org/10.1007/s10703-016-0248-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q518404$DF9E0167-D2D8-4C4C-B824-BF3985B28787","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8e1b4204a3881d21c4233b606570bd377b67dd4","datavalue":{"value":"W2311603331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518404$B253D043-AAD3-45F2-B23E-9CCB941E271F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2031e0dd554a9098cb1f93e676fc7f2e26de3eb","datavalue":{"value":{"entity-type":"item","numeric-id":435979,"id":"Q435979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$711A666D-0DBF-478A-87B0-5AF17ACE2536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd147a114c401ea8d46c4d9c8547f28faa1303d8","datavalue":{"value":{"entity-type":"item","numeric-id":1395735,"id":"Q1395735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$69F0F3E8-1F21-4D71-9430-2CE69EF8B703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25f97d863b678de339f343f28e44115ff865f8b","datavalue":{"value":{"entity-type":"item","numeric-id":5452621,"id":"Q5452621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$956AA892-E19B-44EF-9F9A-1DA5AA6529EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458dfa6fd44072143815c860d3690f1687a12132","datavalue":{"value":{"entity-type":"item","numeric-id":2463543,"id":"Q2463543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$17363E9A-207D-423F-ABA2-4622AE2DAEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0092ca3b21f3f9cb157bf2001ff878cfeab4655","datavalue":{"value":{"entity-type":"item","numeric-id":5261525,"id":"Q5261525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$33C10AE0-B325-4D1D-983D-2860751AF091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e928f46ec2cf29941d0b0532ba007525c5e3807f","datavalue":{"value":{"entity-type":"item","numeric-id":5466569,"id":"Q5466569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$00CD85D1-5F8A-48DF-9722-7AF9B36E289B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$C27A5821-F137-4CB9-A465-76B1BFB18ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$C27CC8E2-E124-480D-BF54-6DD751D19E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$ABBE0A96-374D-4960-9C2B-107E577D32E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86def9a37b53aa4153914d39e9b95aa609286d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3558225,"id":"Q3558225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$FC85D686-253F-4E86-B6D9-A1452A929826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358a4e09d6cbdccb0a6a97551bee24c6efb9d080","datavalue":{"value":{"entity-type":"item","numeric-id":5326338,"id":"Q5326338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$841E9CE1-B002-4C3A-9694-A149D3EA6F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9b88bb298728fba36d6cb290ee95ccae0a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763999,"id":"Q2763999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$2555749F-0298-46CC-A38E-176C2908A93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f132391d7590388e0688e057f9881ace129f3c87","datavalue":{"value":{"entity-type":"item","numeric-id":746778,"id":"Q746778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$0F6E09EC-D0ED-43FD-B9F5-AD63B886D46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015bf62b042bc92d62e472212af84dfe1c997bf7","datavalue":{"value":{"entity-type":"item","numeric-id":3189808,"id":"Q3189808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$4889350E-5738-4A14-B599-C7B89B774449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff1af792679360d22bf4854deab8d5e4699ff23","datavalue":{"value":{"entity-type":"item","numeric-id":2942914,"id":"Q2942914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$B3BAB5F8-6375-4E51-8313-EA2235D6DA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"705eb07356f3c57b6af5ee5160fdf7a239743339","datavalue":{"value":{"entity-type":"item","numeric-id":3600470,"id":"Q3600470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$C55F30BB-B6E3-44C3-9EA5-A1C70D813900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9005444265be022947046af02bafab842817cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3189834,"id":"Q3189834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$1E7EB6D8-2EB7-4285-8819-D19086FD0071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$171BF800-4289-49EA-B7FA-658C5BD1484D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b108d2635a4984b52da5032144326036106766b","datavalue":{"value":{"entity-type":"item","numeric-id":5408433,"id":"Q5408433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$7DEF6BDD-94E6-433A-9AB0-2DA8A4BB486B","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":"Q518404$F6F06277-834E-4941-8D37-5B1A2FADE257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3bb918603ae315ee0224631b7326b49acf86c5","datavalue":{"value":{"entity-type":"item","numeric-id":5899073,"id":"Q5899073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$7D99086B-9F32-41DA-B0D1-7C0A2AC0F41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f24c2ccf3eedb3282c0a5aefa4e9a2667e52cf","datavalue":{"value":{"entity-type":"item","numeric-id":3656883,"id":"Q3656883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$2FD0E897-E92A-44B6-ABEC-EC613F57147B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622597836737f5c116b557ce1aed5e10431f4f36","datavalue":{"value":{"entity-type":"item","numeric-id":5901913,"id":"Q5901913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$F1834CAB-18AA-410D-B084-8A0A3A041C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707165a093156462bd4a3f8762120c7cb6201ae5","datavalue":{"value":{"entity-type":"item","numeric-id":518404,"id":"Q518404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$69304B6D-F769-43AD-B180-5C66A42AA0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5543be9943ed5afa4e775fa2b368abaa7788d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":5326308,"id":"Q5326308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$796F28AC-7561-4F69-9432-8B4AEBB35BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"433df433dff417021eb817b2f84c5d3b860fe3be","datavalue":{"value":{"entity-type":"item","numeric-id":5408411,"id":"Q5408411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518404$70DA66BD-57B4-471D-B58A-95F02E6EAFE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d415508fd9189eeb4d703a1a6722f23b955a2942","datavalue":{"value":"10.1007/S10703-016-0248-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518404$3F7A6FD9-3A80-4515-B92E-D31969FC4DE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501587f1d5024fdaf6c3718f9d2901ae36121df6","datavalue":{"value":{"entity-type":"item","numeric-id":939166,"id":"Q939166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc7d233d246e814da0ec28998276b0004e3f767","datavalue":{"value":{"amount":"+0.741339385509491","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":"Q518404$B4E5040E-0251-4A34-B85B-62C2C4977A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195341238ec884fef4c1d57e3b631063fc7b6ed0","datavalue":{"value":{"entity-type":"item","numeric-id":3189808,"id":"Q3189808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1be103025acb4d572513c43701f2a825fd0a332","datavalue":{"value":{"amount":"+0.7246370315551758","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":"Q518404$3A4B7AE3-1FB3-4BC7-B21D-920CDA4F4073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6818cd45b997c627c00e90e817272a99221a2c1","datavalue":{"value":{"entity-type":"item","numeric-id":5716581,"id":"Q5716581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127a924dcf1a71ccd021b7e2c47c251483f25644","datavalue":{"value":{"amount":"+0.7216334939002991","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":"Q518404$E5208230-97D1-48A2-AC3F-ED1DBCEA0D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d82d52f705b6bd5ddd44d5eff9fee296a5bfaabd","datavalue":{"value":{"entity-type":"item","numeric-id":1702932,"id":"Q1702932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8086b7dc1604cff7756baae238a0ef074c62e36","datavalue":{"value":{"amount":"+0.7152594923973083","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":"Q518404$958F1CBA-D6C5-47C8-81CB-9672B72D06A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a505f5185cc790a15e02721fd0da0e503f46206e","datavalue":{"value":{"entity-type":"item","numeric-id":3177887,"id":"Q3177887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4848cc3d5137350881325e5822cc2cd673ecd408","datavalue":{"value":{"amount":"+0.7126186490058899","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":"Q518404$20E1AE8C-ADD8-432E-8AAC-3CD7EAFAA17E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From invariant checking to invariant inference using randomized search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_invariant_checking_to_invariant_inference_using_randomized_search"}}}}}