{"entities":{"Q338629":{"pageid":340396,"ns":120,"title":"Item:Q338629","lastrevid":61073214,"modified":"2026-04-10T21:00:14Z","type":"item","id":"Q338629","labels":{"en":{"language":"en","value":"LCTD: test-guided proofs for C programs on LLVM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6648216"}},"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":"Q338629$4F88AAAE-8469-48D1-8FA9-85598EC1DA98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13ce557393954a761e9f9c82e739ad6dbc732352","datavalue":{"value":{"text":"LCTD: test-guided proofs for C programs on LLVM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q338629$F97ED70F-FB1E-4BFC-8007-A56EF9266018","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bf9ba4a8638c03492618079aba444d44eedaaaa","datavalue":{"value":"1392.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338629$D6CF16C8-8641-487F-8A70-D53214BFAEBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f1b8faa8f387f29c1fcf0378ddaae8888684be4","datavalue":{"value":{"entity-type":"item","numeric-id":338627,"id":"Q338627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$DFA87DB0-5356-412D-9D10-154EEF386D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f9933ae3bad131ee8035baf5a9d9f7a567dc0c2","datavalue":{"value":{"entity-type":"item","numeric-id":338628,"id":"Q338628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$67248F8B-5763-4B45-AB3D-E04CA2273F1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$C157C10C-BD21-4C63-B5CF-0DD13984F373","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0de08f7c166202c119e064327d0e745050bbcd53","datavalue":{"value":{"time":"+2016-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q338629$9F798783-BAF1-431C-AAA4-5C2124E0F62C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338629$90ABACB5-9338-4FA8-B7C9-CD4EB2B433CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d7d3e3a802573ca133fa2618512d7f204a548c0","datavalue":{"value":"6648216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338629$97D35AF3-2BD3-43E0-AAF9-B61A5981E0F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e164d3a0d1c29fc3475df5813d29c9a7b1a6d6c2","datavalue":{"value":"automated testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q338629$61683EF5-3887-43C4-BD42-362B07390C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q338629$B0AD12EB-CCE2-4FE5-A6B6-4569054E43D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1f412a01e99bb02207bc95496ee5359c3ac510f","datavalue":{"value":"dynamic symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q338629$138B162F-53A9-4925-B676-2A535EB959A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9917a2dfd376250c18f9925b8d22d45575bb3eef","datavalue":{"value":"abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q338629$9501D244-22BD-460D-9AEC-4744FE35A25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q338629$E416FF88-14C4-4C7F-BD88-F494B557DEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q338629$4A9331EC-43E3-449D-A3FB-4CA0DB2027AE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$626002B3-3B85-4009-A7FD-783CFFF7ADD4","rank":"normal"},{"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":"Q338629$30DB3485-4A42-40B5-8C50-64D12BC1C499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5dcb486ea2ffc39531287854f4a7be9ffb011b4","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$51CAB100-2546-4BEB-980D-15DDD13981DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e1655b290b91a673f0538ce14f6694f64d961977","datavalue":{"value":{"entity-type":"item","numeric-id":19440,"id":"Q19440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$CD1ABBD2-0594-40A3-98BE-A8873AD0D081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3e51a1966904a3ae55453357c0d638f6ec765b5","datavalue":{"value":{"entity-type":"item","numeric-id":21917,"id":"Q21917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$BCF77679-7291-4A36-B438-BEE9E74ABDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c316a4e11e44cbd015a63ff86b861806410c456a","datavalue":{"value":{"entity-type":"item","numeric-id":25012,"id":"Q25012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$4C49B639-E127-42B6-A080-59CFEC77C142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"058532df82e0724de089ed098635a63d93b37fb0","datavalue":{"value":{"entity-type":"item","numeric-id":38421,"id":"Q38421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$0F46DB7E-2FDD-4EB2-90A0-0E63A646CF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"550af4745ee61c125520a209383c6305679e155b","datavalue":{"value":{"entity-type":"item","numeric-id":35084,"id":"Q35084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$A3EFAC67-E493-4D27-84B0-7B0A00B02A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e188d0504db629a156fe6c8ee584863634102d2d","datavalue":{"value":{"entity-type":"item","numeric-id":19428,"id":"Q19428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$8078C39B-328E-4D66-B13B-D7DDBADB14D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8693d6594a71b0b5c477ef6fe219a510b51255c5","datavalue":{"value":{"entity-type":"item","numeric-id":25201,"id":"Q25201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$98A40021-6339-4147-AD73-0FBFB96FDC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5b156cfe3a70b8ce409bff3c992e61892defa1fe","datavalue":{"value":{"entity-type":"item","numeric-id":29581,"id":"Q29581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$9A163356-A82F-40A7-95CC-7D37BB35846A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"93403021c48a812d9127910dbcaae98db02c160e","datavalue":{"value":{"entity-type":"item","numeric-id":33328,"id":"Q33328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$8AB46ADB-584C-4759-98A7-168846CB6D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$72505758-D2E5-4521-B20B-67216A5CA777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"075bd4f0d0f46efa06d0219c176262a3c479185a","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$2F5269BA-0F78-4687-9337-C0CE64BABEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$E2B7B544-7DD5-4125-8130-BFE7106BB775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$E320569F-FD1A-44F9-BD2A-D26D3B7DC0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4e63b5c74d8abfa620fed52a80bec92a57e29d2","datavalue":{"value":{"entity-type":"item","numeric-id":41954,"id":"Q41954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$C3A1E3CB-0252-420F-86CE-3EAC6EB9E271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f73b220ba5587942b20819a10a7828507204c03c","datavalue":{"value":{"entity-type":"item","numeric-id":46504,"id":"Q46504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$3E2E0CA8-9F88-4659-AACE-9EDE0F2706BC","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":"Q338629$B81272F2-8654-4895-AA76-038951D67825","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9cba87d5fe8de5e4e18772f527b75c68938d7dd","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.10.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q338629$7365D2D2-18D3-4181-A86F-50A43973B8B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad59c938b461afdc2464fcd983d04ead223b2f7a","datavalue":{"value":"W2217390717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338629$BB058F1F-AAB3-4C7F-99AA-E4A801936850","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1d2fa5bce74baafe4ad4449fa6624a9b93e52bec","datavalue":{"value":"Q113870959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338629$74BC338E-CDBF-484E-8AA0-F4CC87E32290","rank":"normal"}],"P223":[{"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":"Q338629$D1023379-6ABD-41E7-A611-F37FA384EE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$29262494-738A-4037-8743-08254F90CCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd265a9d1e0c930d3261ac5aaae62352f73cdfe2","datavalue":{"value":{"entity-type":"item","numeric-id":4531754,"id":"Q4531754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$B71E6487-4DA9-42F7-AE0F-6E932360C2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$C9D89D6A-6B77-4550-95DA-A78684F76BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c2ed980f961968b34b898db2e246eda6fd43c4","datavalue":{"value":{"entity-type":"item","numeric-id":338629,"id":"Q338629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$A1044234-B558-4632-949C-D12A76387290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c4d40b22666ac31f4eb490193ee881d1816bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2942893,"id":"Q2942893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$4122D946-9961-42CA-848E-1CE130F9BF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0be6c53659cb8642df272cd13aa4516eec9a3f8","datavalue":{"value":{"entity-type":"item","numeric-id":5228112,"id":"Q5228112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$EB6ED3CF-04E8-4FF9-AEF7-7692ABE9B100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50349b46aceb94b13a208217e5a1845634264693","datavalue":{"value":{"entity-type":"item","numeric-id":5429306,"id":"Q5429306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$9C24C9DE-4C20-4EA0-811A-A228C401C550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd78d251166de965701d0b707e5b374a2655b2d0","datavalue":{"value":{"entity-type":"item","numeric-id":5900683,"id":"Q5900683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$443E9CE7-9EDB-43AD-BD75-431D4B2FC840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4bcf149a82f4ecdacc08e753743e430f121760d","datavalue":{"value":{"entity-type":"item","numeric-id":4426384,"id":"Q4426384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$47095D36-7EA6-4AFB-907A-012206C7C889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138667c28da25bcffa05189a75d50db1b357b50b","datavalue":{"value":{"entity-type":"item","numeric-id":4804895,"id":"Q4804895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$D558A7DE-1F30-4756-94FD-1C0DE01822FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d50a1fa337b191c61834ab20f6e945ce7fc627","datavalue":{"value":{"entity-type":"item","numeric-id":2248058,"id":"Q2248058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$22A1402E-FD6D-4931-B7D0-14D8FFC6893D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$EE0DA6E7-F54F-44BC-811A-7DAF0FD81BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$4FA6C3A3-C24C-44A7-868F-19057E5E992B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7003d906127d69f2c679e730826fba753947159b","datavalue":{"value":{"entity-type":"item","numeric-id":428511,"id":"Q428511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$30457725-0E62-496D-A041-60FDA7D139AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338629$3D55297C-751F-470F-885D-63A695137093","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b405c560c13ef9bbd394497454e8a4fa12a45b24","datavalue":{"value":"10.1016/J.JLAMP.2015.10.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338629$BB0AFADD-DEE9-492F-827E-62AD5A087D58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247cb8a6990a2242ef1a2522ddb119e587c248b7","datavalue":{"value":{"entity-type":"item","numeric-id":4426387,"id":"Q4426387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1c5eb98f2f8a1bbc3e1794d53124c69712cd0d","datavalue":{"value":{"amount":"+0.7131557464599609","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":"Q338629$B137439F-8033-4AD2-8291-EAF96DB8ABE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12f99f5038c2994757504732f87e7e7cf296885a","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1c5eb98f2f8a1bbc3e1794d53124c69712cd0d","datavalue":{"value":{"amount":"+0.7131557464599609","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":"Q338629$D9F03B1D-A584-468C-8849-61260B79A367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65b59f053891bc48374bd07239cf3105cdec628","datavalue":{"value":{"entity-type":"item","numeric-id":5039500,"id":"Q5039500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5822bc70f3589b32a3734c09da476c3a4c2b57fc","datavalue":{"value":{"amount":"+0.6840661764144897","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":"Q338629$2E2A7A87-F4BE-4F6C-8019-3EC4E2EC9C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d64527e8682583a009c6f84084df0114f843bd46","datavalue":{"value":{"entity-type":"item","numeric-id":5716571,"id":"Q5716571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb2058fa21b8c0c663fc848f38bf252f771319cb","datavalue":{"value":{"amount":"+0.6840200424194336","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":"Q338629$7A57FB33-EA32-4311-AA89-73AA5551F627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eae7a405d42145b6cb93503f2dfd6a4a7382b49","datavalue":{"value":{"entity-type":"item","numeric-id":5096088,"id":"Q5096088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c319a4f74d8f724143724ec406d995fe87c7703a","datavalue":{"value":{"amount":"+0.6706326603889465","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":"Q338629$64799063-CDC5-4DBD-B646-28636930A60C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LCTD: test-guided proofs for C programs on LLVM","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LCTD:_test-guided_proofs_for_C_programs_on_LLVM"}}}}}