{"entities":{"Q2106183":{"pageid":2116926,"ns":120,"title":"Item:Q2106183","lastrevid":43515923,"modified":"2025-07-30T12:02:56Z","type":"item","id":"Q2106183","labels":{"en":{"language":"en","value":"Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25--28, 2022. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7630211"}},"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":"Q2106183$0FDD0D00-2A09-4EB9-84CE-61548E223A5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"526418b3c37cdab271113286fb27f5f4aa7f3514","datavalue":{"value":{"text":"Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25--28, 2022. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2106183$391292A4-0A98-43E3-9825-2E59BEA0497D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec0e7093b0aedb96d580aeb8962631ae6237d10b","datavalue":{"value":"10.1007/978-3-031-19992-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106183$E14815ED-3089-47BB-A15B-4D4C5C4AA5B1","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":"Q2106183$F99F4C7F-5113-4305-AEC3-01B53D9D7500","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ffbf7a5071d227412d80225c3d73ff104ccb41d","datavalue":{"value":{"time":"+2022-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2106183$9B57A448-F0F5-448D-B860-30D1A5B38312","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106183$A838B327-B615-493A-8B29-5F6738FCAF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106183$31753CCB-1324-4067-AB2E-DB9524FDE3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106183$984B0B69-3DAB-41C1-8F5B-E3FAAC23E5B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d25c61d11e894f0189da7b13d1c0e6b2a5d0c9ca","datavalue":{"value":"7630211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106183$874F2595-76C5-47DA-A450-7E0AC8FB2E98","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":"Q2106183$61B66EE9-A70F-40F6-A6C7-47B322E45AE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5356a743629f251bc3a609b9ab978470e1088b1","datavalue":{"value":"https://doi.org/10.1007/978-3-031-19992-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2106183$AE21493D-C3E7-46D6-A606-CFA689D80AEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a2ac31214364b4ac548461712108bd364964fb2","datavalue":{"value":"W4312961284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106183$5FE98C91-4D45-4411-859D-26C2CB37A445","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad85e28fcafc51a30dbcc9244004c12cb3cf813f","datavalue":{"value":{"entity-type":"item","numeric-id":2067522,"id":"Q2067522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e40f7f38991c635a0e731f7744e37170a0cbf533","datavalue":{"value":{"amount":"+0.9371146","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":"Q2106183$FCA7B745-303C-48AF-8BAA-1F8299B5BBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878b7ed7110eddb540a38b594d3782f5bf064207","datavalue":{"value":{"entity-type":"item","numeric-id":2214270,"id":"Q2214270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bb2f481ed7e85e9463523935f95596c0fd44442","datavalue":{"value":{"amount":"+0.93636036","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":"Q2106183$3F4D0B0C-570F-4DB0-811B-232CB865CE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2741b461328190d452dac3c75e13502ad6f1a7bc","datavalue":{"value":{"entity-type":"item","numeric-id":2286170,"id":"Q2286170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b661a72d028688d9660aa9e1b017b1ba8d489d","datavalue":{"value":{"amount":"+0.93453825","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":"Q2106183$05E9F1DF-9AF7-452E-AB7C-07629AAA80A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab703b58f60429cad97acad53fa788a37aceebdf","datavalue":{"value":{"entity-type":"item","numeric-id":1787214,"id":"Q1787214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1523c38b1137c820ed0d852a4c3a9343d740f49c","datavalue":{"value":{"amount":"+0.92082745","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":"Q2106183$08757023-162F-47B6-B231-B736FAFA6CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13572df46da791ab4b5fcfb290c935bacc722e43","datavalue":{"value":{"entity-type":"item","numeric-id":715126,"id":"Q715126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c924b798104e343d1ccdc1ae24baa47699e4196b","datavalue":{"value":{"amount":"+0.91740334","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":"Q2106183$99C1228C-BC32-49BC-B265-74E1FFC7602C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2685a80dabef71f393f53c8e4d250f7a98fdf96","datavalue":{"value":{"entity-type":"item","numeric-id":2409579,"id":"Q2409579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5102011065ec7f41584fa5bcada49c8bd59cec5","datavalue":{"value":{"amount":"+0.91464067","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":"Q2106183$83CA0FC8-FC3E-43D5-BF9A-05C45E3CB485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ac6161e44631f8519863276e1ecf86fcf57e33","datavalue":{"value":{"entity-type":"item","numeric-id":323773,"id":"Q323773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa5267e2f37744c88343a340c9a700e26ebcdbd","datavalue":{"value":{"amount":"+0.91186905","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":"Q2106183$2186A84F-74C1-4D3A-B718-1506C7BC0042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba30bd7253c2d6d63f1a5976679f705d7b9a188","datavalue":{"value":{"entity-type":"item","numeric-id":1957657,"id":"Q1957657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2660345bf6e058b21bfa1192307b38fed970b2c","datavalue":{"value":{"amount":"+0.91007864","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":"Q2106183$E42E8054-A631-4BE0-8930-ADC7B4034118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d44b286f018d7f802545084a103c20bbf444c9","datavalue":{"value":{"entity-type":"item","numeric-id":716577,"id":"Q716577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93d2fa0c6afbf05b202eb792fbc1ef3612545f1","datavalue":{"value":{"amount":"+0.90919065","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":"Q2106183$64560D37-96D8-4DDC-9851-463A58A44423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3af9eaed3828f4a1f70b28dc836839eacbd5a08","datavalue":{"value":{"entity-type":"item","numeric-id":500953,"id":"Q500953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca89ffc53d2f846a11c75c1ce25c83bbc6accc2e","datavalue":{"value":{"amount":"+0.9075","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":"Q2106183$E741DAD6-A082-4A1C-9063-E47CAF4F3302","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2106183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2106183"}}}}}