{"entities":{"Q5743599":{"pageid":7773150,"ns":120,"title":"Item:Q5743599","lastrevid":52453121,"modified":"2026-01-22T16:40:39Z","type":"item","id":"Q5743599","labels":{"en":{"language":"en","value":"Concolic execution in functional programming by program instrumentation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6539459"}},"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":"Q5743599$A4CDA899-8B4F-41B2-BC1E-E62538295B61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ac2dfccdcd41ae35b90e09d642b3b68f8f9aff3","datavalue":{"value":{"text":"Concolic Execution in Functional Programming by Program Instrumentation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5743599$D5B2819C-9328-4E34-A0C0-D49E3AEC1159","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb9c8afb435075111cb0e4bf0bcf9703672a7787","datavalue":{"value":"1473.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743599$9535547B-1265-4FCC-B065-19AC0BDA51CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"553f1ad356a29d590967887cf11079b39beecaca","datavalue":{"value":"10.1007/978-3-319-27436-2_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743599$51C98B59-7C82-4E59-A812-EE38256DB180","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb9362c006e2c53bbdf0cc4a4cc91296a9ebf329","datavalue":{"value":{"entity-type":"item","numeric-id":1648892,"id":"Q1648892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743599$DEC885BF-7B51-451A-A9B4-94E4EC2F3A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743599$4AAE7BA3-5B56-420D-BB2A-003FA0B22ECF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743599$975E56C0-DD51-490B-AD7D-DA57A929FAA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0ea7e5c9a7ba33c3596f194c797c176cf41e4e9","datavalue":{"value":{"time":"+2016-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5743599$434D08EC-182A-45A1-A2F8-F92669B67829","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743599$B6F4194F-152D-41F5-88AF-D6842ED7753D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1dfa7222458c1eab4597ccf4f9bc1b67fef7e76","datavalue":{"value":"6539459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743599$158578E8-63EC-48EC-A0AD-A28D2D830DB1","rank":"normal"}],"P1463":[{"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":"Q5743599$87D58205-101C-4001-9241-4CCE008487E0","rank":"normal"},{"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":"Q5743599$E2A8F0A1-74D6-47D8-89EE-F39CE4CF8B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b687213a8375e65a3248834735a16b100440644","datavalue":{"value":{"entity-type":"item","numeric-id":19254,"id":"Q19254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743599$FC27333D-33DE-4D47-8BBE-4326B39C9ABA","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":"Q5743599$C0EB209A-CD7C-449E-BCE6-2E2B94E75517","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fdf072930a223ea167f989455d7bd519f068399","datavalue":{"value":"https://doi.org/10.1007/978-3-319-27436-2_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5743599$1386CF15-1597-4E20-B304-D9828AF834D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"125ef853d965023c3d5ecb6f40fa3cae0a7c23f6","datavalue":{"value":"W2406227170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743599$E51BBA95-41E9-440A-A750-890EDC70ADEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b9d00cba77d354f32acf6c49ed6fe44a7bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":4293514,"id":"Q4293514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743599$9CF22845-ABBE-4754-A88A-679E7C6F4F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c6c41ed26aa070e75225c6352a26e064dd624","datavalue":{"value":{"entity-type":"item","numeric-id":3774923,"id":"Q3774923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743599$1AA75068-C11A-4478-A90A-A37284D16BDD","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":"Q5743599$5F521AAD-EBA0-4C13-8B74-56D9A9C5B23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6485f1617e056e38118c25200d4fb11e4052bcb","datavalue":{"value":{"entity-type":"item","numeric-id":4593010,"id":"Q4593010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743599$070D9B18-9E0F-45B3-91BC-F74969710C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca101d97ed551b886cb31338fc3878673147a5fc","datavalue":{"value":{"entity-type":"item","numeric-id":3455085,"id":"Q3455085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743599$D01FD487-8CC9-41B4-8B68-5981957C731E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf084d6ec4b046dcd48e5305296bd62ed1c937ac","datavalue":{"value":{"entity-type":"item","numeric-id":2949706,"id":"Q2949706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743599$0D961803-C7D6-4572-9E79-D7DF177C28A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a515fc19d49cec56d9ec6a53315f3422cc3692","datavalue":{"value":{"entity-type":"item","numeric-id":5140007,"id":"Q5140007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd0dff69f7ca7324a75b09498b6ea15c55a8aa2","datavalue":{"value":{"amount":"+0.7970260977745056","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":"Q5743599$A9ECF98C-DBDC-40D7-A59E-0B61E9DB57B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7536d9ae1783b91f1d3328b56265b49c6e9ef717","datavalue":{"value":{"entity-type":"item","numeric-id":2949706,"id":"Q2949706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8de062c93a9fc2cd083ac2687f9fd0c1d5fda358","datavalue":{"value":{"amount":"+0.7733456492424011","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":"Q5743599$E27F01CC-2389-41E1-9D61-57B3598E89D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b498178dd92a8b6b1728ffda972462f74aabe0b0","datavalue":{"value":{"entity-type":"item","numeric-id":4593010,"id":"Q4593010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a64fbab4c294eb863a9a88de3c437f27d6427cc","datavalue":{"value":{"amount":"+0.7654520273208618","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":"Q5743599$49D171AF-66AF-4E01-8202-EE953FD1B09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35da7c6318d24be0fcf1578a2e0ef8d23223d1e9","datavalue":{"value":{"entity-type":"item","numeric-id":2409737,"id":"Q2409737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142d04dd95d64361f7dab58c90d15502014fc6c7","datavalue":{"value":{"amount":"+0.7212167978286743","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":"Q5743599$5E3B6B0C-A186-403A-B000-E6C430BC7A8F","rank":"normal"},{"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":"8ebc8b14b2ebbf089cc0ea8c26dfcd7f238213d5","datavalue":{"value":{"amount":"+0.7104430794715881","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":"Q5743599$8D548E5B-9F8C-4AEC-A8A0-6B7D71799A41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5743599","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5743599"}}}}}