{"entities":{"Q507361":{"pageid":509128,"ns":120,"title":"Item:Q507361","lastrevid":62359554,"modified":"2026-04-11T05:33:20Z","type":"item","id":"Q507361","labels":{"en":{"language":"en","value":"A generic framework for symbolic execution: a coinductive approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680827"}},"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":"Q507361$B67F7CAF-A6AE-48BF-B279-F28FA28E49EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dee70cbf647167e44d3b26a10cc1076430cd799","datavalue":{"value":{"text":"A generic framework for symbolic execution: a coinductive approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507361$5D62346C-34A3-40F9-AB12-321C433469C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"307acc1f013e370d277c4f5423f54aac77594b89","datavalue":{"value":"1356.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507361$CEBDE536-C834-48A9-8181-46B48021B4C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$23108EA5-A520-4F95-BB7C-4F9F1D926F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6276f2b5f5afd85d3b3b6bb8e4fd8cf82500e8","datavalue":{"value":{"entity-type":"item","numeric-id":493520,"id":"Q493520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$AB98B6B3-51E0-4D7A-A5AE-C305CEBC8640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5933ce3e049f97ccca1c72bcb583cae3495db8e","datavalue":{"value":{"entity-type":"item","numeric-id":507360,"id":"Q507360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$805B43B1-A7D1-4693-B59C-07F70C002D6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$DC0CE062-AB7B-4CD6-A92F-F6C5D04320C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69224595960101be6ec21574e4c403135d7942f5","datavalue":{"value":{"time":"+2017-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q507361$58B60165-B335-4EA6-8EDD-56579F86B862","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b9bc80fab23d15ee60b283ecbea2893bd97d3c2","datavalue":{"value":"https://hal.inria.fr/hal-01238696/file/JSC-PAS_2013_submission_10.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q507361$D468204B-D9A8-4397-B1B5-9463C947830A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507361$3E7A224C-986B-44D2-98AD-F3F7469EA6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507361$E82F2BC6-0288-45B9-A9F5-F20A5C6E1C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507361$76DCA047-2DAA-4FDD-8BC0-82D40A65E3BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b0eda5dfc8ba3e255aac9a5c469d0107db3cf91","datavalue":{"value":"6680827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507361$302C1AB5-9ADF-4981-BF7D-AB91C2C9577E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q507361$01FC45DF-27FA-4616-A192-878C15443495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657b1dc58dc8383e3970395d34173e20fb990340","datavalue":{"value":"programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q507361$7041E1D5-CACA-4A4E-82A6-8DCCB557B128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6087f046b21700ff400609e18a929df5a9c8e45","datavalue":{"value":"formal operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q507361$A492D7CD-F577-4967-8AA0-3F4F37679D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"add1fd86ce5259fe50278a4ff0da6103dbf57846","datavalue":{"value":"reachability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q507361$77E70D6D-2AA9-465B-9216-4F2BC138879B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e96128d67e45e44509811df253e73f58dbdc5","datavalue":{"value":"circular coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q507361$3EC84A5E-266C-4B8D-9040-3599D5ABCF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q507361$E62B663A-2B6E-47D0-95D9-7F6B267D9151","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":"Q507361$BAAD3D24-4C95-4D6D-BC0E-B98BF96090F7","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":"Q507361$3B210AA9-F06C-4EA1-BF52-CEDADEC32428","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":"Q507361$3173FD56-335B-427F-841C-8951FB0EF94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccc2ffd670b43e26d7109c31b58efdd4cd25790","datavalue":{"value":{"entity-type":"item","numeric-id":18336,"id":"Q18336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$6B33E5D0-C419-4CC2-B0D7-FD1B02E9B1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ef6b52613e0d0ceb1e645440c84c3cd13bf2efd","datavalue":{"value":{"entity-type":"item","numeric-id":21466,"id":"Q21466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$3240D409-B415-47CA-A325-8FCFB11202CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31f1ce98b178abd797205654762ca461950434bc","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$66555AB7-2AEB-445B-BCBA-AC4D91784F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$9D5E04CA-D2FE-49F1-B97A-EB92F4F339DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$B9D9F69D-FF09-41B9-9C5B-1CB635D479F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f5b1fca09e81c020a0772858aceb3a175c9768","datavalue":{"value":{"entity-type":"item","numeric-id":19312,"id":"Q19312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$8270B171-8856-4399-908F-9A5B53283233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$6E60C6B1-6390-4E67-9447-5FBD0909DD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$95B6D984-D99D-42B3-872E-9B77491EC94E","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":"Q507361$20000DC2-D818-4FF8-85FC-6D4A680CFA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$8B1A5D1D-42CB-4028-AEA7-AC228D65B7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$D05B1F50-82AA-4FB3-A607-01584DCD8A6C","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":"Q507361$812314BB-D696-4E62-BFA6-C8919E6E992C","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":"Q507361$CB36A644-D274-4AF4-A3B4-685F3DAC39A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51907a5382b8469a3161c2e57215d34c63a71283","datavalue":{"value":"W1439634531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507361$EC4B5B83-B319-4B6A-A2E5-C7F34348C730","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80f8dd118b5b17b20a55804069560896538ee46","datavalue":{"value":{"entity-type":"item","numeric-id":507361,"id":"Q507361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$78A553EF-E78C-4F27-9DBC-39009C916784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5876fc1d7fbfdcf6dfc958df987ef04ace1022","datavalue":{"value":{"entity-type":"item","numeric-id":2945720,"id":"Q2945720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$36969541-CC1B-43B3-93CF-10FF89E13B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$B322973A-CE53-4C54-B82B-5AC6EF59A010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$B57F53B1-0DAD-4924-850E-DB596183DD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$7E5D8B5A-12B9-4BA1-B311-AA44FFD63F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f2f23484cc563361b9a949250d7cf0cf0889e","datavalue":{"value":{"entity-type":"item","numeric-id":2479551,"id":"Q2479551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$3E1ACEED-D115-4DFD-9A1B-00C3000E9967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6788a4325e5a7583cda476d7916b51682b7ade","datavalue":{"value":{"entity-type":"item","numeric-id":5179131,"id":"Q5179131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$6D55FD10-ADE8-40DA-ACCD-C1ED30A88628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$42D48583-4061-45DD-892C-E2B7FE53C2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$9999AF0B-80FE-4FC9-8809-E9B25B5C214B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c323c97d41a53aeafeef5d9e1e29a416191dad","datavalue":{"value":{"entity-type":"item","numeric-id":2903126,"id":"Q2903126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$AB07391B-E8CB-45E0-A3B2-467D3B5449A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$8358BB6F-7C55-4E68-A019-E4C1941D2E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac7f741f9b1e3426d597355d63b43bdf762c36a","datavalue":{"value":{"entity-type":"item","numeric-id":4148937,"id":"Q4148937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$EAEEE5EC-0BC5-4AC1-AA97-BCD42E5207CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a1a742e214d8245c75cee91c994ccfb70891f3","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$09C6AA1D-29D6-473D-9B10-974CDA57DCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0633b74eb0878672bdb56cd9ce38fe2412f73114","datavalue":{"value":{"entity-type":"item","numeric-id":3126405,"id":"Q3126405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$BA08C830-0045-4EB3-A429-8BA9C4F489CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fcf2296969dd5e01651c8f2a620352248abf9ef","datavalue":{"value":{"entity-type":"item","numeric-id":5308375,"id":"Q5308375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$07706BAD-E191-406B-A678-5B65A0E969D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb01132ff078294ff34f5679c3984622fdbd54a5","datavalue":{"value":{"entity-type":"item","numeric-id":2945139,"id":"Q2945139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$318E2A56-4FEC-4EDA-9577-5B45D14D8DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c191e290db7b657870ba8cd757fb6e39e20fae","datavalue":{"value":{"entity-type":"item","numeric-id":5277868,"id":"Q5277868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$C66586A3-B046-47A9-AD54-DC2B6E5B623C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1bad7f5057e7864ee572ca3c11ad9a00080b514","datavalue":{"value":{"entity-type":"item","numeric-id":4647855,"id":"Q4647855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$16D43790-7833-42EA-9EB3-7A9D5A749883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d1b205201f13d82c065e97ff01a6bc59a545ee","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$2875AEC2-0662-4FDA-876E-39C66B842FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a2f99768ff1da949299cef13b498d5a9c3a16a","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$583830E9-3AE6-4DD2-B54E-60B59050EDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23623728af77877c2c658b5f16ea2ac66fec79f9","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$BBC4412B-BC16-4717-AF92-0B634F8DFD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509a78e21970955f7b163c8fd816d2129bce3dc7","datavalue":{"value":{"entity-type":"item","numeric-id":730476,"id":"Q730476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$FF20C943-8937-4A51-B3D6-B6C8142AC474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$63C66818-BF53-463C-8E5E-58ECA91934A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3fbcaeb90e2237225f0fbcbddb29c893ca5fed","datavalue":{"value":{"entity-type":"item","numeric-id":1012130,"id":"Q1012130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507361$9808E236-4AFD-4315-9714-80A62348F76E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1468b6d3d5fc93e1bb803ae07e777435ce3eb3fa","datavalue":{"value":"10.1016/J.JSC.2016.07.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507361$C73519F0-15CF-427E-9DC7-1A94AC1CB11A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"540a26efb19992f6a4fcb31df0336738a537fbf1","datavalue":{"value":{"entity-type":"item","numeric-id":1183549,"id":"Q1183549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"071777e925eef330072337936732556d2ed35e70","datavalue":{"value":{"amount":"+0.92472684","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":"Q507361$759F5E7D-6E94-4895-B835-18AB95FF4BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee4b0d092d0aea1749d436114d472fcfb54ef40","datavalue":{"value":{"entity-type":"item","numeric-id":4417955,"id":"Q4417955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"390f4f829c7f11d23a71d000a39f90a9e78b1802","datavalue":{"value":{"amount":"+0.89694786","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":"Q507361$5111A132-4607-44EA-B098-59ECA1623887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7e0baacbacbfeae2997ce2e31900447638eb07b","datavalue":{"value":{"entity-type":"item","numeric-id":5899042,"id":"Q5899042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93331fc9430df470e40db887e1fbd701f0eccc4","datavalue":{"value":{"amount":"+0.8932452","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":"Q507361$9B3E28E2-4CD7-4842-950A-7AE57E544C21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generic framework for symbolic execution: a coinductive approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_generic_framework_for_symbolic_execution:_a_coinductive_approach"}}}}}