{"entities":{"Q2796059":{"pageid":2806797,"ns":120,"title":"Item:Q2796059","lastrevid":83509607,"modified":"2026-05-07T08:34:04Z","type":"item","id":"Q2796059","labels":{"en":{"language":"en","value":"Abstraction-driven concolic testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6559865"}},"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":"Q2796059$42A04ED0-AC11-42AC-822E-C8227996A309","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67613069c9eeb3ca6ee6c82a8cb2d3e2a68b498d","datavalue":{"value":{"text":"Abstraction-driven Concolic Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2796059$04EF9650-941F-4262-A8F0-3A052C6E7AAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9877fb9dc850abd14cc11e3906b83b2e9d0f050a","datavalue":{"value":"1475.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796059$4E4293B1-010C-4716-8260-B4C294120C1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db9e54afa17d2f75c31c7ffb0dffacabd3bc101f","datavalue":{"value":"10.1007/978-3-662-49122-5_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796059$14E1DA72-660D-4AFB-8DF0-9C8F7AC635E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52d4e0dc0cc71cb74a3f20f1980e861eb5672d41","datavalue":{"value":{"entity-type":"item","numeric-id":746784,"id":"Q746784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796059$B677A957-EB58-4DED-BCDE-FAB7D3D124AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cefe2994cd2e378e79e344a451c126379a495f1d","datavalue":{"value":{"entity-type":"item","numeric-id":630709,"id":"Q630709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796059$8FFCFE0D-A749-4AC0-AE7C-6DB279D47E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796059$32A4533A-F636-4893-864B-C26B58CA1FDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796059$FCC3C690-6507-4E14-BAB9-82E97142517C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4e0833fdb30e5d55a1ed86554b76ff3f3cdc33c","datavalue":{"value":{"time":"+2016-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2796059$65EDF73D-9264-4CAE-BE1B-852BA6255EE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fe4788178900e77c481c5c6393b6c9f08a4cd54","datavalue":{"value":"https://arxiv.org/abs/1511.02615","type":"string"},"datatype":"url"},"type":"statement","id":"Q2796059$20F61228-76A1-4B5C-85F7-58F6CED1578B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796059$A6C5951A-9CAB-448E-B82A-AEBDCC8A7C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796059$770B101B-73F4-47BB-B691-470B2F123CBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae531c93a385cf6484c3d53eff6c2bb088dc2192","datavalue":{"value":"6559865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796059$E46008B4-2475-4186-BC1D-768133C0FA1F","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":"Q2796059$567A8AA9-58FC-4389-8663-7874ADF763F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac1ff087aa650f1dedaa4cc505904dbe988f8668","datavalue":{"value":"W2160445528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796059$A54E10E6-C5FA-4ED1-AD64-6B5F458A9EF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b0f2931f80d71d37e4145cfa6c4c1d4b667be09","datavalue":{"value":{"entity-type":"item","numeric-id":3600472,"id":"Q3600472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f759cf949cee955b27446269f3d0fcc8ca25624","datavalue":{"value":{"amount":"+0.7400399446487427","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":"Q2796059$6B8473F0-C15D-4BB5-9ED7-600A8277B859","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":"f96d821409981fbf175617597c9511ec649bc35a","datavalue":{"value":{"amount":"+0.7259750962257385","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":"Q2796059$577364C7-2BC2-419E-9643-D25962AD5864","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":"fa609c665f4fd0da530d4c0b5a0732855e94f5aa","datavalue":{"value":{"amount":"+0.7235705852508545","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":"Q2796059$BDC39AEA-F5EF-4697-AEED-13D761B14D3A","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":"4d18d0c64f93e2fd756b77388fa54f9061eee6f3","datavalue":{"value":{"amount":"+0.702743411064148","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":"Q2796059$5A8FAA7B-55CA-4147-AF4E-386CF4C8D487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60bf6d71cc9bf3dff3f800e1b563bcc86cbf188","datavalue":{"value":{"entity-type":"item","numeric-id":2233484,"id":"Q2233484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52532c41b2368a594023570167cd33a9cc09d40","datavalue":{"value":{"amount":"+0.7026960849761963","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":"Q2796059$D5610064-7ADD-4107-811B-1E6BFD20F283","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstraction-driven concolic testing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstraction-driven_concolic_testing"}}}}}