{"entities":{"Q2248096":{"pageid":2258839,"ns":120,"title":"Item:Q2248096","lastrevid":52028369,"modified":"2026-01-20T19:12:14Z","type":"item","id":"Q2248096","labels":{"en":{"language":"en","value":"Automata-based symbolic string analysis for vulnerability detection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6310033"}},"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":"Q2248096$47183B6E-D8C3-4B9B-84A7-5730EBDB651A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70bc24c897d0969fa737d87f36aeac7493c321b3","datavalue":{"value":{"text":"Automata-based symbolic string analysis for vulnerability detection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2248096$01CC6D7C-B4D3-4F57-83D7-5196B07E7DBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9201bf649484f132b89d8ea700611fb66f28af0c","datavalue":{"value":"1291.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248096$18A63DA4-7AEF-4D13-818B-9D54A70BEC08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"248be6192f931f4e9398d983f4f2a5eec0838b40","datavalue":{"value":{"entity-type":"item","numeric-id":255818,"id":"Q255818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$A1781890-77C4-48BC-A914-AF0F9EA6F5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50335c7f97574aa4ca56c279b9260126684a73","datavalue":{"value":{"entity-type":"item","numeric-id":2248095,"id":"Q2248095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$5691CEE4-4761-4C6D-9AF8-67F21034BDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"859f8ee7581350f1031dec21f694fc43324b283d","datavalue":{"value":{"entity-type":"item","numeric-id":344798,"id":"Q344798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$587BE095-7AA4-4C7C-A309-C0442F0B66CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0ccf6eb6c37793d5bd821ffa019f577d6c7be3b","datavalue":{"value":{"entity-type":"item","numeric-id":243823,"id":"Q243823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$DC3419B6-3CCF-44CE-9F9A-8F29FE62B7DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$F5F80A50-42A7-4E2C-A50C-5968EB6D9A42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"117a9f146c2b43e9cf22c7fca681da0aad1e0ba1","datavalue":{"value":{"time":"+2014-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2248096$6177AE08-774C-42AF-A68F-B7016F1367C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248096$E2BD1060-33AF-4A3B-B42E-B6AB69D34A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248096$0E246E46-307F-426A-9242-A1D4676AC4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248096$8F2CF2D1-4F81-4A39-88D6-534566D644A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c9077e1c106a680ad53b96b10e6f5830a6a5b5a","datavalue":{"value":"6310033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248096$8F9C2FA4-7EB7-4583-B28D-E8ABABD934E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eadd9a09808f8bd8d66a803913b7ae22ab545df5","datavalue":{"value":"string analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248096$9AD0AE3B-1929-4229-917D-E67B16B66CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248096$74298D29-93EE-44EB-8068-98EA79EB2CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9984fd800c840abb8e343a36231cdbe08072d233","datavalue":{"value":"web application security","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248096$8897B666-1ECA-437D-8C41-10286DA2482B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c09c98e6911902475ff064a4fbf25a7fd99167e","datavalue":{"value":"vulnerability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248096$056E4400-607D-4AAA-9673-635F905E289D","rank":"normal"}],"P1463":[{"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":"Q2248096$60750CBE-9D57-45C8-AD5A-4FCF49F3B008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1595f2d79aa344eecd2a820a28ca6ef87118be0f","datavalue":{"value":{"entity-type":"item","numeric-id":25177,"id":"Q25177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$FB3895CD-3ACA-4EDB-82AB-41FF395010FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0176915bcd8e9197e025aeb643840aa8fcdc5722","datavalue":{"value":{"entity-type":"item","numeric-id":21145,"id":"Q21145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$9EF19FFA-8227-415B-8203-F3251EC6D8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19f0a0ed7a5fb8cd393b7dc185c151796a9b2380","datavalue":{"value":{"entity-type":"item","numeric-id":33657,"id":"Q33657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$CA3F9EB0-696A-4A0E-BB7E-1E088669841A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bdc375f1f5958c7984253131b5b2d5fa99845649","datavalue":{"value":{"entity-type":"item","numeric-id":53518,"id":"Q53518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$C2721193-FA99-47E0-981B-45C92AFA69F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$BF682CF7-D504-468D-853F-197FD59071F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8defdd41bc909054c02be9fcdac73c75633546b2","datavalue":{"value":{"entity-type":"item","numeric-id":21843,"id":"Q21843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$5DED6B9F-5F12-4995-B99C-7AA18AE3B358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"742bc83855ba75ffd2b302eaf3320fef047e24e8","datavalue":{"value":{"entity-type":"item","numeric-id":38174,"id":"Q38174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$88BFBFF0-4C90-41D4-9D1B-E40B35E9BA0A","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":"Q2248096$B6E7B4D8-6AB2-4CE5-83D4-877BF86E28E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a24dd732555b054344a1d0ab2246db4e49c59943","datavalue":{"value":"https://doi.org/10.1007/s10703-013-0189-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2248096$323998B3-487C-4A34-BD09-9AD2A5D58B26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77609b292e44b9353a76bb784a923024197c09b0","datavalue":{"value":"W1982132104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248096$F099DBC1-26F5-4ABE-88EC-3557730582DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb145b17348782fbea3fde4246483c95f1407ee1","datavalue":{"value":{"entity-type":"item","numeric-id":5696928,"id":"Q5696928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$7E5DDA58-5DB0-495C-9328-6C72926C8A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"460b9d36021c6b195ef6d0b9445728c419bea4f1","datavalue":{"value":{"entity-type":"item","numeric-id":5312910,"id":"Q5312910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$5DA5B1DA-A77F-4EDE-B0F7-BF990F3AB1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad897287445407ee795edd97d0959f0fb9be3ce","datavalue":{"value":{"entity-type":"item","numeric-id":3617764,"id":"Q3617764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$25289260-676B-4698-903A-A71186F8E506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be753f5e40f4b7a03751602e0b99145a8ec2ef00","datavalue":{"value":{"entity-type":"item","numeric-id":5628042,"id":"Q5628042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$F5B903EB-D7D5-4AD3-9C67-03FE39BADFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad980b0c427869fa135ec68b86e65c7071da1ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5312914,"id":"Q5312914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$A5805D8B-4BE0-4B89-8674-FEAF693F563C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$36E8F442-FEFE-4F4F-8CF6-C941377EEDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdae44b78c55be1287a8406e07ea09db2d2789e7","datavalue":{"value":{"entity-type":"item","numeric-id":5385606,"id":"Q5385606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$1DD5DED4-8BB4-4210-A4F0-54EAEFF1E668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359fb45aaedb345f290c1d71c6196d254c3c1191","datavalue":{"value":{"entity-type":"item","numeric-id":4813388,"id":"Q4813388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$C28FC0F3-7342-41F6-81B6-5003997D86A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ecd962d29196a0fa85d545f27fae2c55c992d6","datavalue":{"value":{"entity-type":"item","numeric-id":3021971,"id":"Q3021971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$C1657288-2CCF-4CF3-9D10-73A12D0B198F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe0648806e6e03c904aa33dfa348556c5eb59d8","datavalue":{"value":{"entity-type":"item","numeric-id":420836,"id":"Q420836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$166D28AF-2283-44A4-AA3A-699F0AC195DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41b54fca374849eee39cfc7458a5f8e678686e3","datavalue":{"value":{"entity-type":"item","numeric-id":2942866,"id":"Q2942866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$0F290DBD-E647-4324-BF07-26A56256BE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f6fee60295442cfcddf5242272ad1442239d1a","datavalue":{"value":{"entity-type":"item","numeric-id":2894292,"id":"Q2894292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$BEF1B457-C529-4572-8106-399DDE2C8E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e775efe37940a9e40595524bd121e77a99b7b5","datavalue":{"value":{"entity-type":"item","numeric-id":3224956,"id":"Q3224956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248096$E2E2BC24-E5F4-4F58-9C4A-C17D4DF147BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0ae929bb9c98aff51e832f826dd5fe99c65723d","datavalue":{"value":"10.1007/S10703-013-0189-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248096$03632BBB-27F7-4B35-9CB6-4ACF3B2AD20B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dbd904384b427c302b0cdddb29cb2f644a768b1","datavalue":{"value":{"entity-type":"item","numeric-id":4633540,"id":"Q4633540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4818241b23fdd8072d39b5bc5acaf79d40256f82","datavalue":{"value":{"amount":"+0.8453673124313354","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":"Q2248096$42945EF6-339D-4BC6-B5B0-B0E2F0B1EB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cadd85731417f87ca499bcee835b6100c251ac54","datavalue":{"value":{"entity-type":"item","numeric-id":1702923,"id":"Q1702923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53af7a3b6ad15f3b5cfe66558c90fd79e09f4ac","datavalue":{"value":{"amount":"+0.7882966995239258","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":"Q2248096$BB7FEE75-E101-4C9F-8A7D-78BA9FC7BBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"538be63854859c33f6478e2594a8f5771f792984","datavalue":{"value":{"entity-type":"item","numeric-id":3073648,"id":"Q3073648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb0ab863cb7de7f0f57457a40c5b51f7eb29376","datavalue":{"value":{"amount":"+0.7779188752174377","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":"Q2248096$09C28931-5579-4EA1-996D-BF570363458C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e6330f79c2f817e21f2668d9dbf6c264e9999e","datavalue":{"value":{"entity-type":"item","numeric-id":3224956,"id":"Q3224956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1391424644aade94c764b031451713d7bb26d2e","datavalue":{"value":{"amount":"+0.7779186964035034","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":"Q2248096$EC5CA3D4-AA88-4326-A120-06AD4879C67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a38f8016acefdbc9f6eecf69e5c3379059bff6","datavalue":{"value":{"entity-type":"item","numeric-id":469349,"id":"Q469349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4380d13000534dd16089a263deefdda17b22c616","datavalue":{"value":{"amount":"+0.7457748055458069","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":"Q2248096$1C2F408F-78D0-4111-974D-CD34FE18128F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2248096","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2248096"}}}}}