{"entities":{"Q3384903":{"pageid":3395606,"ns":120,"title":"Item:Q3384903","lastrevid":55395631,"modified":"2026-02-17T15:29:21Z","type":"item","id":"Q3384903","labels":{"en":{"language":"en","value":"Bounded symbolic execution for runtime error detection of Erlang programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7447758"}},"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":"Q3384903$DCEBF558-62FA-49FE-81E8-66D04F203663","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848f825b7d044d82deceb7cfe1f0d1c0ec5247c6","datavalue":{"value":{"entity-type":"item","numeric-id":1664381,"id":"Q1664381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384903$FCF36F45-4F0D-4261-A626-5EE17C24A3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad0fb3e6789b1b1570ed736e8448792de0de85a","datavalue":{"value":{"entity-type":"item","numeric-id":1664382,"id":"Q1664382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384903$82C4ECED-5724-4A43-B58F-B185222769E7","rank":"normal"},{"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":"Q3384903$753F3D36-0265-4719-8AC7-41491B615E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384903$8A1D2132-50C3-4EFF-8228-F5590D92445C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384903$C23D2647-6F37-4285-BDE6-05E5AF1BFCBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34b299fdbfa6203a276028105b394bb6d77f2b95","datavalue":{"value":{"time":"+2021-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384903$38414A28-CB9A-4649-8A77-E6BEDD441C6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48fb0d45ce5903f0f2d0b8307f59c5a0c083b085","datavalue":{"value":"https://arxiv.org/abs/1809.04770","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384903$96CBEE22-4559-4B78-86D9-3FF750872020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"24e841c33f90626a23c3c32d1985e033d4990a6f","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?HCVS2018.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384903$AD95ACF8-3362-4F00-A07C-FCE1E60ABAE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384903$79E40DCE-44A2-4A85-845B-D537D551675A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384903$2731104D-9539-4F55-95C6-5965DB6032BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"385367653e737aec9a0b9fceaf5df2a99e0c065f","datavalue":{"value":"7447758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384903$D42B7B07-FA61-4C2E-9E57-079216C843A8","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":"Q3384903$9A92B29F-4789-46A1-8340-6964694F699C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b93eee614fd2df5a7bd0e9779f4833f20891d7","datavalue":{"value":{"entity-type":"item","numeric-id":5408432,"id":"Q5408432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384903$EB6C5B79-0CE7-4A8B-9D9A-E1A8333FAFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb428341d22c0499418920e0179d03dbc6ef797b","datavalue":{"value":{"entity-type":"item","numeric-id":2938066,"id":"Q2938066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384903$36CBD5CE-3945-48C5-83FA-B6E4636070D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e68b34a2955d7a99c7c7b2eadae5af33fc6bd2ff","datavalue":{"value":{"entity-type":"item","numeric-id":3187012,"id":"Q3187012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384903$8AC0DA37-9340-43DA-9BC4-4FA3A9DC17C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e65253bb55d4dafb3511c17995d04ccbd063bd4","datavalue":{"value":{"entity-type":"item","numeric-id":4644353,"id":"Q4644353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384903$0F1CA7C5-194C-4991-B0CE-D22A6B211689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e686760572df5641bfac6bcee2da65d060471e37","datavalue":{"value":{"entity-type":"item","numeric-id":4589602,"id":"Q4589602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384903$F55BCE02-0219-4BB0-877D-AE33D54AF076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"818195eec0453da947fbdc227be99f16b6593055","datavalue":{"value":{"entity-type":"item","numeric-id":5712547,"id":"Q5712547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384903$6750FBF6-9501-456D-8E1E-C85571572C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb4997204bc98e36e5e60323b8e6d191c059c22","datavalue":{"value":{"entity-type":"item","numeric-id":4559813,"id":"Q4559813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384903$9955EC9F-4223-4DAC-9F60-35BE1B68A372","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":"Q3384903$F1B47384-5BDB-42EE-8B4E-B2447AC6F674","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3888d5e70b905cf08495644b34dd62b917512037","datavalue":{"value":{"entity-type":"item","numeric-id":3455085,"id":"Q3455085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1896df59c1ba8a71c3096a3c0051389b1579293f","datavalue":{"value":{"amount":"+0.7200323939323425","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":"Q3384903$9DE91F02-36EF-41DD-A046-94E654C3AE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8437876a66f830735822e1511d9a4d6bce1ec60d","datavalue":{"value":{"entity-type":"item","numeric-id":5222976,"id":"Q5222976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb9156d38e9412f3aea2f30d553980d4db31770","datavalue":{"value":{"amount":"+0.6780509948730469","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":"Q3384903$36BE3AF9-70C3-4A30-A307-4A86A936D018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a6aeb93db5ddc7d6f02c15169c0e0ddc4ebcbfd","datavalue":{"value":{"entity-type":"item","numeric-id":2798275,"id":"Q2798275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b6e8d954917ce8e0696eab961eb74826075ce0","datavalue":{"value":{"amount":"+0.6720128655433655","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":"Q3384903$D44FC548-205F-4AF8-9B80-55CD079610B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a97777171cf0f3411795186b252dc4c0640eaea6","datavalue":{"value":{"entity-type":"item","numeric-id":2817727,"id":"Q2817727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcfd4ad53cc5d9c3385a003dd81793a50f4c2c19","datavalue":{"value":{"amount":"+0.6523589491844177","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":"Q3384903$A761E919-1B5D-4681-95EE-D13AB355972B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc6a9e683a80600ffaf3d82d4fe69293f0c1c26","datavalue":{"value":{"entity-type":"item","numeric-id":2851907,"id":"Q2851907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f65868a860090b481246808e10b1da4f395eee6","datavalue":{"value":{"amount":"+0.642818033695221","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":"Q3384903$9639C56B-B4F6-4C0D-9FDF-102779CB0E5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384903"}}}}}