{"entities":{"Q6535965":{"pageid":14147108,"ns":120,"title":"Item:Q6535965","lastrevid":55604989,"modified":"2026-02-17T19:35:59Z","type":"item","id":"Q6535965","labels":{"en":{"language":"en","value":"Concolic testing heap-manipulating programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817390"}},"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":"Q6535965$CFFCBA72-72E2-4612-8144-F268C737C98A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07ef77c81063e9a68714bcbbb8a083ebabd3f0dc","datavalue":{"value":{"text":"Concolic testing heap-manipulating programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535965$B9DBC245-351E-4508-A1E4-8ED68B528B28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67035ab10a4b664248158719e371c094698a8cc3","datavalue":{"value":"1539.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535965$EEA04383-71D4-453F-B666-905E92F02CDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbfc3a2372c0556be7bbde613c9183549d493a85","datavalue":{"value":"10.1007/978-3-030-30942-8_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535965$22C51F96-D109-4A0F-99E2-D8F9648F06D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc96f390864b710d2dcf7f7bf756c369b205a345","datavalue":{"value":{"entity-type":"item","numeric-id":3297593,"id":"Q3297593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535965$A840E47A-1A49-496B-A96A-5BC786F8E2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a423a466fbecbb20f333bdb71f0b06a2cb01ab3f","datavalue":{"value":{"entity-type":"item","numeric-id":2234105,"id":"Q2234105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535965$F8B4D51F-4020-4594-9185-2F43CE249504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77096859e8a7f1298963e1dc98f5367759e32cbd","datavalue":{"value":{"entity-type":"item","numeric-id":3172890,"id":"Q3172890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535965$E7B05215-FA81-451A-948F-7DDAAF5BE961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a29a8668613ef6f9130a40b44c1110c148f42ec0","datavalue":{"value":{"entity-type":"item","numeric-id":488229,"id":"Q488229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535965$1677C511-A487-4505-B878-85E6C8CD0CE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535965$835E3558-FE8C-437E-AF26-BD66BCE510EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535965$B6EF0636-7C7C-44C5-B81B-FB7ADE87AD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535965$9F985887-50E4-427E-8E1A-A869E329A2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535965$C343E1B5-4D7F-4670-BE36-676374D9D0D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efb8c78be95d2792ee4c4af10cc1e25c647f7de2","datavalue":{"value":"7817390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535965$D9711FC6-CFA1-4D00-99A2-4718FDB4BC54","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":"Q6535965$302178BA-11F7-43A0-8913-532F7D03676C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17d0aa6de1a3c4e838a8fa4c7fc5c6cc0f20445","datavalue":{"value":{"entity-type":"item","numeric-id":5395670,"id":"Q5395670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535965$E8F98A9B-42CC-4084-A3CE-BDED1674A281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625d0e546f584fff0965159489d2fe578acb6ad4","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535965$136D1E15-340D-48C7-BA64-3104F097EFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5fd878c95a33bced97c19396b677b287040eef","datavalue":{"value":{"entity-type":"item","numeric-id":2796051,"id":"Q2796051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535965$28CBEA1E-64EB-47FA-8716-D7F27496E680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f36c54329eece6c81e4341e8f4350487d789a74","datavalue":{"value":{"entity-type":"item","numeric-id":4472251,"id":"Q4472251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535965$BF759D4B-330A-45EB-86E2-F1066D645149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535965$13951A39-C644-4404-94FF-37BED69280FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f11d087fb352d8b17c817d210efa2f25331977","datavalue":{"value":{"entity-type":"item","numeric-id":4417955,"id":"Q4417955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535965$97444DF4-4037-41C2-9C40-05C4698AF34E","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":"Q6535965$78E28D13-6AD2-4178-9AEB-F1160A19310D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb18a86fb878bca8499457f5851ecbff53e073e","datavalue":{"value":{"entity-type":"item","numeric-id":4633544,"id":"Q4633544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535965$42CFD877-FDD9-4E0D-9A68-A8168F81F1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b05fbd67ac2bd91179b63b02f2a3f8aed0bd2e","datavalue":{"value":{"entity-type":"item","numeric-id":2324205,"id":"Q2324205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535965$A70C96E9-370B-4C77-9F11-7210ABF81609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fe6c09f3638fc1b3688c4d3e71e34c7f5bfa9b","datavalue":{"value":{"entity-type":"item","numeric-id":2164251,"id":"Q2164251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535965$250889AF-29E0-4F56-A2C7-B42AADD54A05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f6868d2cdf4fde90450275cd913ee819581131","datavalue":{"value":{"entity-type":"item","numeric-id":2039953,"id":"Q2039953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55bdf0908e71cf9abb124adf13efe935ef87a84e","datavalue":{"value":{"amount":"+0.7730473875999451","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":"Q6535965$BB4D0F95-F98E-47CA-B3F9-0277DDEB4453","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":"7eb474800e99ee533c58ed1af8bed0f7f80be426","datavalue":{"value":{"amount":"+0.7674236297607422","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":"Q6535965$56347F1A-6597-490E-ACE8-164F29F0551D","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":"d5bac980585a79b559420ac2bb5886724eee2207","datavalue":{"value":{"amount":"+0.7618406414985657","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":"Q6535965$BBC380C3-BEC9-4B7E-AB38-651ED01C2CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61268a1ef709f274446283792f60c3143c0c46d7","datavalue":{"value":{"entity-type":"item","numeric-id":5398307,"id":"Q5398307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d24f4f5f94f1938f76ac4065153d72b79eb16b","datavalue":{"value":{"amount":"+0.7577528953552246","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":"Q6535965$4C70274C-1619-43D3-8255-9E957CE42231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2f425b37bdef2964a14fa9f181f03a4a78dafb","datavalue":{"value":{"entity-type":"item","numeric-id":3297594,"id":"Q3297594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"386e89d00dd6a5e58860ede07b1b5d84eb0fd10d","datavalue":{"value":{"amount":"+0.7548986673355103","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":"Q6535965$E0B2AA2D-8641-42FA-9DCF-0404707466D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535965"}}}}}