{"entities":{"Q2233484":{"pageid":2244227,"ns":120,"title":"Item:Q2233484","lastrevid":73842240,"modified":"2026-04-14T17:27:31Z","type":"item","id":"Q2233484","labels":{"en":{"language":"en","value":"Sound and complete concolic testing for higher-order functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410475"}},"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":"Q2233484$F1116999-E305-44BD-A5DD-85AD31AA369D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f75adc0566da4ec4e5482a7e1814d023bbe3de57","datavalue":{"value":{"text":"Sound and complete concolic testing for higher-order functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233484$A8A95667-E07B-4EE8-BE46-179632EEB9AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf58c7ccc4fa4c103e5d61d03bbca636a04ae7ec","datavalue":{"value":"1473.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233484$5AE8BF3B-8DA2-4A82-80E6-C2A7156BCBEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4355390d9c7791424dc9c40f9ca1122f0005a172","datavalue":{"value":"10.1007/978-3-030-72019-3_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233484$804C7AC4-9210-49CE-A206-09FD337EB39D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38a499fb882ba5b50f5d44bd686418e7c7597e15","datavalue":{"value":{"entity-type":"item","numeric-id":2233482,"id":"Q2233482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233484$29B0F73B-8846-4535-B3FC-FB2C5B5695FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fc9d3172fe75452b314c51310bbc562cf6b0e7f","datavalue":{"value":{"entity-type":"item","numeric-id":812079,"id":"Q812079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233484$35296EF8-D512-47D3-9386-7F3643F29A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d6271729cb0d536b22be92fc38d16fa2057dd42","datavalue":{"value":{"entity-type":"item","numeric-id":2233483,"id":"Q2233483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233484$1D1DA988-AF19-4159-AF72-DA0AD6ECFCF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233484$7B88D826-5FBE-4526-95B6-C19C91220C21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233484$7B5C6456-CC9C-4339-8561-82C0E31F0EBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5c71b0051f7efd09c6c86bd01509b41019c8010","datavalue":{"value":"7410475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233484$E2E4E634-CF12-4785-A30D-3A9382EF0528","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":"Q2233484$3A9ED38C-2A05-499D-B19B-3DAC42800AC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c8ba3ab306601c1d00bb424cb497e89d4a904dc","datavalue":{"value":"https://doi.org/10.1007/978-3-030-72019-3_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233484$76215F07-C35A-418E-B4EB-A8DCD049B681","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a041fce5c266b964fa7e0b66011718d415c55bec","datavalue":{"value":"W3136121010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233484$AF72C1BF-1680-4A9C-8BDA-DD66E93AECDC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64008b4c107ef7e4a7969f67350470b1da25942a","datavalue":{"value":{"entity-type":"item","numeric-id":3686011,"id":"Q3686011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233484$663EF6DD-8649-4949-82C9-5CB98B8D915A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b345502c513dc247f853426190dd82b49384e626","datavalue":{"value":{"entity-type":"item","numeric-id":5458338,"id":"Q5458338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233484$2613FB66-31DA-4BD8-B073-D3544E3CF75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a5db3ced24330f7f8d9d8a8e847c26d514f073","datavalue":{"value":{"entity-type":"item","numeric-id":3127246,"id":"Q3127246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233484$26D8EA69-2C7F-40ED-BC3E-8B736408B37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08a30ba293c7c01d1a7f737e9198cbb411d9871f","datavalue":{"value":{"entity-type":"item","numeric-id":2892729,"id":"Q2892729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233484$6ACFBFAA-CCDA-4BEA-9AA3-52203F94580B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b20214f4c047144aa0c807c908e134787a9081","datavalue":{"value":{"entity-type":"item","numeric-id":2949191,"id":"Q2949191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233484$A2412D87-AA55-4783-A4F3-0C815A068F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a18b608fd7c828c13168c46a5c81fbf400275ac","datavalue":{"value":{"entity-type":"item","numeric-id":1702897,"id":"Q1702897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233484$0845599A-5F89-4C27-A231-201431BE6A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8053d92196be86162fccb4e9e6c3d05f8edc922","datavalue":{"value":{"entity-type":"item","numeric-id":5385593,"id":"Q5385593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233484$3948A180-4693-476D-8C38-573D1EED7D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec3d3a29a7d8281139bc95006f9378f91942815","datavalue":{"value":{"entity-type":"item","numeric-id":5371996,"id":"Q5371996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233484$7C209D46-8AF5-4E42-A185-1798D217F235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0955682f5de4aa313011b13509553e43623c0ac","datavalue":{"value":{"entity-type":"item","numeric-id":5743599,"id":"Q5743599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233484$F2BB7D12-6076-4F47-8718-1E1CE5819AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8d9876fc4b1bc762aaa2e76ab4503f7e596a90","datavalue":{"value":{"entity-type":"item","numeric-id":5255067,"id":"Q5255067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233484$8D981F20-7224-4370-948F-445E7513E780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54bfe5f886cf67d2be2ca7adb1005b48688943ba","datavalue":{"value":{"entity-type":"item","numeric-id":5176933,"id":"Q5176933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233484$AA4C7FA1-59FD-4E9D-B016-6F74956BF18D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f6a58fda84ce2b1ec77c3acde53b995716dc14","datavalue":{"value":{"entity-type":"item","numeric-id":2931785,"id":"Q2931785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ce96668a81b3ee266f160163ed948ec4ed3165","datavalue":{"value":{"amount":"+0.88204837","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":"Q2233484$B0103407-D617-45F9-8DCD-5CADFCA49713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4378a70f2913be0b6193290cc8cc54cdad05208","datavalue":{"value":{"entity-type":"item","numeric-id":2912122,"id":"Q2912122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30799d736e8e605cc99949dcf3839a1e67ea6b1","datavalue":{"value":{"amount":"+0.87581486","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":"Q2233484$9DC4830F-0578-4E55-9DE8-6842F865F9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6656433d48465d643f83c4cda5e07fcae2fb6b0","datavalue":{"value":{"entity-type":"item","numeric-id":2796059,"id":"Q2796059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13890655e74758f4eb26248a547a9f9a6c393161","datavalue":{"value":{"amount":"+0.8681571","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":"Q2233484$650BC662-9C4D-4127-A0B3-DA9DA667B621","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":"33dd55e85751d3fee3a806de2ed331b5fb101d02","datavalue":{"value":{"amount":"+0.8658188","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":"Q2233484$A8856DDE-B18A-41F2-8214-1F10F48244AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62a1d26485cca02eb5682aaf80eff7d0cbeb26a2","datavalue":{"value":{"entity-type":"item","numeric-id":5385593,"id":"Q5385593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b54e2332b8ea0fa66cff4ff079d29d1638fc687","datavalue":{"value":{"amount":"+0.8640754","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":"Q2233484$D7AACEC3-4451-4BA2-8BD4-8D7195485C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cbff27cd6dc88db32992a568d5380594e729c3e","datavalue":{"value":{"entity-type":"item","numeric-id":2891447,"id":"Q2891447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84c53ef2fbcbcf8cb78fedbd751890f0c87fdf2","datavalue":{"value":{"amount":"+0.85903364","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":"Q2233484$8ED7B6F0-7C8C-43C1-8D59-5D0B6FCC2F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8a386429ad2b4f3e81c443c6d8da4c1385eb5f3","datavalue":{"value":{"entity-type":"item","numeric-id":2988670,"id":"Q2988670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce613dc4f6edd92fe6b7e1c24816276512ce3a6e","datavalue":{"value":{"amount":"+0.8575932","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":"Q2233484$356EA4BC-5E9B-4B4A-897A-045035E9E529","rank":"normal"},{"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":"f7ea4fd7e2143c5160c53eb4d40b00ef804be67a","datavalue":{"value":{"amount":"+0.85256404","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":"Q2233484$CF0FE881-C24B-4756-B339-642158DECC67","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233484$BB287C94-7F5F-4A70-8B9C-3CB2DD2BA4A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sound and complete concolic testing for higher-order functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sound_and_complete_concolic_testing_for_higher-order_functions"}}}}}