{"entities":{"Q939166":{"pageid":941014,"ns":120,"title":"Item:Q939166","lastrevid":65495055,"modified":"2026-04-12T02:59:31Z","type":"item","id":"Q939166","labels":{"en":{"language":"en","value":"Property-directed incremental invariant generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5314960"}},"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":"Q939166$02EADC01-30CC-4382-8A4E-A950FA31B47A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cb2d8e7119ba5673621d4cff2137977b9d6e9e4","datavalue":{"value":{"text":"Property-directed incremental invariant generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q939166$149510BF-D09D-4BC4-9FA2-AACA2982DF75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62021287543f8b9dd48b4b07e065bb15dc938beb","datavalue":{"value":"1149.68402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939166$04567F91-4167-420D-BD09-A1A8A2F367C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93bcc46c92320d32acc10288ada535d0a0700679","datavalue":{"value":{"entity-type":"item","numeric-id":939165,"id":"Q939165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$09C46A3C-9362-418E-BAD4-610E0B77604D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$9D98CA54-9051-4990-BA72-D57AEE75FA6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$9D4B7C1C-9EAC-4B79-A464-4750E4D3F5F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecf47d86a87dfc936a87ed03391c6206ce3dbddc","datavalue":{"value":{"time":"+2008-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q939166$991FFB1B-7A8B-484B-BE60-240065B12101","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939166$E9EF376D-3EAD-430C-B402-9DE78DB7B70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939166$20F9AABB-8EC8-49A3-B7FB-BA1E23B80E36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a74cabd0bc1dd3b3ec641d6471d1474ff0ad2400","datavalue":{"value":"5314960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939166$A9424194-9377-4B2B-ACED-A56781C189A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eee5b531b827d340fd5e45b644a81c495eb959c","datavalue":{"value":"Static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q939166$148124F9-B937-4F82-B9BC-7476643E16B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q939166$F367A4E0-3BD7-4FA3-9FAA-1B8218C04341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be99db2c9f4cbcbe0889d9b174e73f7bd1a6d691","datavalue":{"value":"Invariant generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q939166$4F3AED92-A1BC-4B82-A4BE-EED7F75FCEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a0557418552c1f0bc228d54c02373c335f41820","datavalue":{"value":"Affine invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q939166$2545404A-5E3C-498E-A01D-E7AACBA2BDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dfa32e09f319d010ba48a413f3b3d87753de26f","datavalue":{"value":"Polynomial invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q939166$EC1C76F8-7071-4646-9D42-0C249BB613F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ea29b4cf96c6ee9c4a61b6bbceecb3569672b35","datavalue":{"value":"Clausal invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q939166$736B8070-F889-4592-B4EF-16196C126F18","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$9396BBD1-48BC-4AC8-93D5-39D0F83C4C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$42CC9FA7-4312-4536-BE89-C7255C7991C5","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":"Q939166$2B5E8948-C452-4E9D-85AF-C1E4637071F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8b952b69fc402a4b73e6ede11a97a7fb4fc327a","datavalue":{"value":"https://doi.org/10.1007/s00165-008-0080-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q939166$E9ECA612-24AC-4996-8A61-E1CD68784587","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac87330f0cd266fa54a4ed5d1adcf33c7b06f2fe","datavalue":{"value":"W1973291036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939166$2F1DF378-FDAD-43AA-8D85-9C26C07B1F58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"088def1d0551d2937864dd0035eb113fda6b4cda","datavalue":{"value":{"entity-type":"item","numeric-id":2849589,"id":"Q2849589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$8DAB9175-221C-4C30-A377-FFB5AF80683D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9b11bc3b3da7d3aa6e2b0101c4edd6ff5bfcb8","datavalue":{"value":{"entity-type":"item","numeric-id":1818069,"id":"Q1818069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$AE7A9C70-0611-4752-951D-B3F0A580A95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a37306c96b6705e429c4b632a826ef025e4fee5","datavalue":{"value":{"entity-type":"item","numeric-id":2848677,"id":"Q2848677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$B62BC996-16C3-4D2C-A7C3-3FD8D444273C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19b67ecdb0df899f76219535f7750a0d8707be55","datavalue":{"value":{"entity-type":"item","numeric-id":4946698,"id":"Q4946698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$B885C7BE-441B-4BF8-93ED-13294522E79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$6F80E88C-3D59-4257-AE70-206B159D9575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b33761cd4c211b18999de7cfdb3091c2417ed5f","datavalue":{"value":{"entity-type":"item","numeric-id":3525138,"id":"Q3525138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$4AF1A1EB-2892-452C-B267-B7F915CBDB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64edbd4b0368a46cc24983dcdc802e4982142495","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$03FF1092-28EC-4BA6-A0FD-69D1AA3A0ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b3eab8ea5621b62b0ebdf051228ca6c983dd62","datavalue":{"value":{"entity-type":"item","numeric-id":5716591,"id":"Q5716591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$BB4D1D77-9B41-49C6-9414-ED14DCD81EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06518225dfa9950aa9c200f2787de00435ad37d8","datavalue":{"value":{"entity-type":"item","numeric-id":4733779,"id":"Q4733779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$54A2CC83-4815-417B-894A-68885349875C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$40233E97-0E75-41B9-A87E-30A7233BA462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cca9f9428ea63e6117d5a41c3da120c355291ed","datavalue":{"value":{"entity-type":"item","numeric-id":5711486,"id":"Q5711486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$55FBEA8B-3C45-4784-869A-7694F870B4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ddbb40830c44c06b2cd9a4e3bd65ec2bcddcbc","datavalue":{"value":{"entity-type":"item","numeric-id":2769578,"id":"Q2769578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$2E4BA993-33A3-4E2D-9BA7-8E6CD2361507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9edf356fbbd80fb73637a4e5873af34dc2733137","datavalue":{"value":{"entity-type":"item","numeric-id":4804915,"id":"Q4804915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$7FCF7A44-118D-4656-A60D-FA5B3E8B89C1","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":"Q939166$01FA1DED-A401-465B-8308-5ABE5745DDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437329fbe1874c3df0014b9270301ec7c179dd5d","datavalue":{"value":{"entity-type":"item","numeric-id":5900667,"id":"Q5900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$E63BBA24-09D0-44D3-970E-D66E581C5777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$EEA05D70-294B-4A7B-A705-3FEC39AF98F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$36982283-EE2D-407A-BBBE-72FCA5A5E79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ee42bcb5651ff1d6441d36735f61656172044f","datavalue":{"value":{"entity-type":"item","numeric-id":4417909,"id":"Q4417909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$DE633C58-EAB2-4768-AA6C-B9900E83A7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee1f5c4e596769f20c3e18240de0776d1bbf0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4804900,"id":"Q4804900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$808495DA-B587-4C0B-B796-E633F7FBEADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$6864205F-B0ED-4989-8C22-3E705908126C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f54bc0e2f92beb50e9c6902664de23aa76daffd","datavalue":{"value":{"entity-type":"item","numeric-id":5703754,"id":"Q5703754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$B694A993-CD9E-4B2F-9817-B108989AA892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff15a003decaf3fb97cc8f3b2a4669e9d9544304","datavalue":{"value":{"entity-type":"item","numeric-id":4873991,"id":"Q4873991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$B5893D57-CF77-4BF0-98AA-8CA2F3F4426C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad41628e5c514648aa3055d776621cc63b95ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$DCAC7DFA-DF45-4B8C-B4CA-D9072A760477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6f2ebddc028f7bb6b0a7651912276120e700138","datavalue":{"value":{"entity-type":"item","numeric-id":4681645,"id":"Q4681645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$CD70D880-6C23-4F3E-A7EE-171C26274785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$BA6F376D-8012-4845-9A67-13109691CD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$1169FEFB-32AD-4745-946C-4F951E134ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f820e5d157094b9b3a12ae31cf04b82576b3ef1b","datavalue":{"value":{"entity-type":"item","numeric-id":5305662,"id":"Q5305662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$28B0620B-FA85-499D-ADB0-7B6CF8B38908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d31587db9fc2bf1e4c778f1f84d35a04e852bc","datavalue":{"value":{"entity-type":"item","numeric-id":5466578,"id":"Q5466578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$F6EA8DD4-1491-47DD-85C2-6DE0F6ABC485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86346ec7f69bcc942c27a0f9a2665a249b5ca158","datavalue":{"value":{"entity-type":"item","numeric-id":5711496,"id":"Q5711496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$DF5F15B5-9CF9-4D49-8C00-360D969AC52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$6ED39083-3009-4E87-9F0F-826F94E3C6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$B0045ADD-EA5C-424D-A73C-7D163B632DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6171552bf73d3ea73b6bc6983666fed5783eb2e4","datavalue":{"value":{"entity-type":"item","numeric-id":3515147,"id":"Q3515147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939166$414CF8FF-3DCB-4989-A107-83D6A019F801","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b6bfd0d43faf2d82b9276180a2268c4f06207c1","datavalue":{"value":"10.1007/S00165-008-0080-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939166$DC0F1171-0637-43BD-9A72-994D4A9F2D53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0c55942e1f5a0e2ac1ef26feb1320a6b977fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2769581,"id":"Q2769581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c7c8ca74edecb9f01297dd41b9523a599e7a1b7","datavalue":{"value":{"amount":"+0.7922610640525818","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":"Q939166$7285A7D9-B935-4FE4-8478-D03410D15C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e06016963fa7603b778e3bb1f46482d10e1b53c1","datavalue":{"value":{"entity-type":"item","numeric-id":3648730,"id":"Q3648730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"379d105abbbd09f63418dd87bd9a0d5c007b223b","datavalue":{"value":{"amount":"+0.7794047594070435","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":"Q939166$57E2F27F-02C5-4F3B-86DC-9A80DC02D24F","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":"f0dba00ecd31c6e912b837f4cbcb49287a713da5","datavalue":{"value":{"amount":"+0.7791435122489929","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":"Q939166$3B66174E-CB14-4737-9B86-7392DEA869B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc47d371be75bc56a3d19a2e60b717b0a46b1228","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e89562d0f955af7518691258b2650becb36dab2","datavalue":{"value":{"amount":"+0.7756006717681885","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":"Q939166$47D9E3BA-43D6-4892-B67D-BD8D39A22F1E","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":"a40d2e7df6cc354678482e46837ff196321716c8","datavalue":{"value":{"amount":"+0.773739218711853","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":"Q939166$8F0999EB-6B51-47FD-A22D-EA3F32651E1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Property-directed incremental invariant generation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Property-directed_incremental_invariant_generation"}}}}}