{"entities":{"Q3617765":{"pageid":5647671,"ns":120,"title":"Item:Q3617765","lastrevid":50618984,"modified":"2026-01-14T14:24:56Z","type":"item","id":"Q3617765","labels":{"en":{"language":"en","value":"Symbolic String Verification: Combining String Analysis and Size Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535643"}},"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":"Q3617765$C6A67F28-A58A-4CA9-AD5D-295F7ADFEF87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6801f5154e9524c83670ce3991a4d45e564253c","datavalue":{"value":{"text":"Symbolic String Verification: Combining String Analysis and Size Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617765$90DB620A-60BD-4CCB-9D41-9FE6A43F711F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e0fc5ac7c21863666684ed0863cfc42fc2ba3f0","datavalue":{"value":"1234.68269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617765$33C58731-CACC-4B65-BA94-42672BD170DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e57634e9bcc3292b401ffe79c9dc249818b606f","datavalue":{"value":"10.1007/978-3-642-00768-2_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617765$03282EC5-3749-4B43-A594-16F3AAC33696","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":"Q3617765$274F8920-B32F-4EBB-A55B-725B98AEAC9C","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":"Q3617765$C38A9F7E-74F7-4CC2-BB7D-6C0705CC2FD3","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":"Q3617765$B5B5FF49-9DF3-4C36-AEAB-B25A3845F68D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617765$CB2F2F78-B851-4399-AAF6-3481FEE0CF2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617765$9C89AAB4-5A68-40B2-8120-140A0CBF70DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617765$EB449271-881D-4B12-AF0C-51464B4475C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617765$B875CAA2-1751-4CC2-9DDC-5824517512F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85368d3658da75befe4c4c16760355ee79db22a7","datavalue":{"value":"5535643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617765$8B932650-6989-47F2-AECE-949BB1D26F56","rank":"normal"}],"P1463":[{"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":"Q3617765$69B7EEA8-9F58-4EFC-98C2-2564BACC0091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46ff34e1d84d0a4729956c7d4ecfc0d65ecd906","datavalue":{"value":{"entity-type":"item","numeric-id":25615,"id":"Q25615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617765$F52A94A5-8992-4182-BDF8-C5459E05A341","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":"Q3617765$46CD164B-0F25-4B57-A105-3FC2551E50AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dfad9af8c3f00a7c4a9c94c9d0f330d28de3c05","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00768-2_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617765$A3B8D44D-5897-4259-A858-DE10ED5293DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e4906ec81aa1225f81a05daf676b7f1580eccd0","datavalue":{"value":"W1530609294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617765$EA59DA6C-1AAE-4174-A8E1-2795585A8416","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":"Q3617765$25DC553A-F0E2-4610-B098-233AAD786308","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":"Q3617765$1481D9C9-3B12-462F-9DBE-928F7B4A9BC7","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":"Q3617765$C3387D59-2948-4C9B-A2CD-EA8C77C03839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ad83169ed8389564075d9eacd3961be1c6400d","datavalue":{"value":{"entity-type":"item","numeric-id":3189843,"id":"Q3189843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617765$8BF40ECD-39EE-4A09-9DE0-6835322071B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9186c43f00b4492998359ac231cdd0c3d891a2b1","datavalue":{"value":{"entity-type":"item","numeric-id":4518891,"id":"Q4518891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617765$F6BB4881-4B41-488D-B254-F3A4550668D2","rank":"normal"}],"P1643":[{"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":"f6417f9b8e86dea6626f5f3bfff16ae538f416d1","datavalue":{"value":{"amount":"+0.7555524110794067","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":"Q3617765$B24C81A1-3F84-46F5-81F1-D15B5C520F46","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":"e37bde371cb45c6c1ad89c79d027c0ef5533d295","datavalue":{"value":{"amount":"+0.7555522322654724","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":"Q3617765$2B77204E-C771-479A-B739-6F6CB591154D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eeadda1685ffcda0409727ef7e3fb0cd7984877","datavalue":{"value":{"entity-type":"item","numeric-id":3075486,"id":"Q3075486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"818897c02e1c38877f581227add6edb24eda1cd4","datavalue":{"value":{"amount":"+0.7250847220420837","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":"Q3617765$4FF958D7-29C9-4F36-A03E-36E396FCA8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1094c88d03a598347d4c045c01fcc76beff211ce","datavalue":{"value":{"entity-type":"item","numeric-id":526767,"id":"Q526767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"870bae3a14a775e6af48997a293d2e95a97fbbff","datavalue":{"value":{"amount":"+0.7161725759506226","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":"Q3617765$A0EF8DC7-436A-4ECB-9A68-C0BB690EA549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b16501e2f35b21c29ced38507ce7f6ffc00838c","datavalue":{"value":{"entity-type":"item","numeric-id":2248096,"id":"Q2248096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9764490503acd5920a53915f21b4ffd60898b79","datavalue":{"value":{"amount":"+0.7152459621429443","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":"Q3617765$4B5F763B-E63E-4414-9092-2FD1DB44C8CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3617765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3617765"}}}}}