{"entities":{"Q2322310":{"pageid":2333053,"ns":120,"title":"Item:Q2322310","lastrevid":43877250,"modified":"2025-11-15T17:22:19Z","type":"item","id":"Q2322310","labels":{"en":{"language":"en","value":"Foreword to the special issue on the 2017 static analysis symposium"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7101165"}},"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":"Q2322310$3F2DE165-0809-4EF8-A449-A01C93C81D74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a286034069c156e4fb1fbab2ea9b41f77b591c02","datavalue":{"value":{"text":"Foreword to the special issue on the 2017 static analysis symposium","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2322310$7A56B033-FDFA-44F5-ADA2-96B7A7440483","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9d3e2fd330a187cdf33d6bdd027885052e01a2f","datavalue":{"value":"1425.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322310$9EB1B218-5987-4899-9728-7022724F5180","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":"Q2322310$5DFD2D9E-21EB-4548-B6CD-C079C5CAF4CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"761866c458b823deb2476ea286c91321ef138424","datavalue":{"value":{"time":"+2019-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2322310$AAF69C98-F40A-4242-BC06-B3D5AE2C5B12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322310$9A7E7769-3B37-428D-92F6-8F871D24BF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322310$2DF46DAC-82FF-467E-ACB1-603FD6188069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322310$3B16DF66-5FCC-4BFA-8244-2B77BA18DF9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ffc3deb71bccf718a6874ce2896a9a7f6f028b4","datavalue":{"value":"7101165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322310$54862738-D6C4-4644-95DC-6B37716CB6B5","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":"Q2322310$22C3A560-3722-4256-B4AC-047CFCC38967","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6188664c2b0ffb9c2cbc606a57e88ebb0df58c02","datavalue":{"value":"https://doi.org/10.1007/s10703-019-00340-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2322310$BBB55A07-E36B-4FD7-91CD-8928355C0AA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b59fa709b0d342924a099f723bf80b51678f89e","datavalue":{"value":"W2971078310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322310$E3605290-48A0-4692-AD28-DAE486D7F366","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"213b9bbaa8ae7648c7c319a52654e536db4a2525","datavalue":{"value":{"entity-type":"item","numeric-id":5233236,"id":"Q5233236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322310$E6BED55E-209F-41C0-B1CD-71A90DB0A07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302b9295da263b6bbb8375d832b70c6344095a10","datavalue":{"value":{"entity-type":"item","numeric-id":2322312,"id":"Q2322312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322310$DAE6F337-73A9-46AE-A643-5FBD9668BEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bfc9eaaaa9f7765583272819467cf586db8769a","datavalue":{"value":{"entity-type":"item","numeric-id":2322314,"id":"Q2322314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322310$34FE92EB-A18B-4803-AB31-17E52D5EFA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69ac224256f4165c1b054cac941d8961cd3f8f3","datavalue":{"value":{"entity-type":"item","numeric-id":2322316,"id":"Q2322316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322310$0A43F37F-C183-4574-91D6-6C0B32CDF4F3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2530ecebb3512f542596aa40384b24da8033ce43","datavalue":{"value":"Q127331181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322310$E48BC9B8-0770-4E10-BA9B-9AE6B150DF7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47c703ffaef33c3639cc3bec7f65ca1e7c0a6b57","datavalue":{"value":"10.1007/S10703-019-00340-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322310$6E1B913D-A3E5-4896-8155-F06C9D43469C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5630d1d71da260b01598f08ec32ff09d30ae714e","datavalue":{"value":{"entity-type":"item","numeric-id":1608330,"id":"Q1608330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2336500b56b06f71f902396310fc1c5f7cbf1d51","datavalue":{"value":{"amount":"+0.8564825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2322310$BC474F8C-171B-4886-B37D-6BB356EB4CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca7c28be3a90115046a47053d159a9b86516cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4644578,"id":"Q4644578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054d1f6324a2f4516ab87733d74b40eb0a4c63c2","datavalue":{"value":{"amount":"+0.8539673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2322310$E30ACE9A-4DB9-4F2A-9F64-A40021062BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeae8c434e0b625a7a7620980dd021cc7bcfc176","datavalue":{"value":{"entity-type":"item","numeric-id":507345,"id":"Q507345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37c6ba545dd1794da87c8c18f98aa3c9c9a5af2","datavalue":{"value":{"amount":"+0.84650403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2322310$F4A3C404-9B55-48CB-B6C0-C11447C2187D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60244342181d5a097ec4589cec1708f8d550616c","datavalue":{"value":{"entity-type":"item","numeric-id":493846,"id":"Q493846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a0422dbc51c157f6741bd614323614752b9080","datavalue":{"value":{"amount":"+0.8454761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2322310$4A4E8AE4-9D75-4C80-8020-7C85590AFC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c627ac18d59359b8a1fbf2d8ae8216b51d592f7","datavalue":{"value":{"entity-type":"item","numeric-id":5029445,"id":"Q5029445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6945774403facee7de0e47ce4e9604d82e824618","datavalue":{"value":{"amount":"+0.8433617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2322310$305ABB97-8812-45F5-87B0-A25504B4FAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d5034e5bcf9b4ba1917f3b8aedd91ce9cd658c8","datavalue":{"value":{"entity-type":"item","numeric-id":2050099,"id":"Q2050099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf8142a999841d019201b8a01b987b50bf6dcaa6","datavalue":{"value":{"amount":"+0.8427399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2322310$B04393A9-78AF-41CC-85AC-B58843A42503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb12968e3bc2ac6d09677b718e100a9708f7707d","datavalue":{"value":{"entity-type":"item","numeric-id":1790492,"id":"Q1790492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5770364deca0a19b6d3a9d024d0a510d5089c00d","datavalue":{"value":{"amount":"+0.8423584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2322310$966DCD88-B35A-468E-BE6C-E35D45CAD3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0768b5de60218b31c7b8932e958f53ec1da2ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1595246,"id":"Q1595246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf35c413d3616d065f56a738c7b427f6872fe5ee","datavalue":{"value":{"amount":"+0.840732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2322310$8470BEBB-7B5C-4541-A179-C56B73E394AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494ad90a1950a85c84c24afb8241e2eb567d41d0","datavalue":{"value":{"entity-type":"item","numeric-id":1400862,"id":"Q1400862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32c736eb48b65e8f654a3d24fe38bab729951a0b","datavalue":{"value":{"amount":"+0.840521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2322310$BD90EC6B-07B8-4C7B-BB5F-0D73AF8CA0D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2322310","badges":[]}}}}}