{"entities":{"Q363484":{"pageid":365251,"ns":120,"title":"Item:Q363484","lastrevid":77627135,"modified":"2026-05-06T09:41:33Z","type":"item","id":"Q363484","labels":{"en":{"language":"en","value":"Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15--18, 2013. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203770"}},"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":"Q363484$4BCE8798-ADBF-40CD-B4C8-8F23147436FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b86a9ab26c1d87a4d4ed70a4ca0824874438eb4","datavalue":{"value":{"text":"Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15--18, 2013. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q363484$476D6BB6-58A9-4DE4-B2E5-626605533CAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf8550a9fa30e9d2020e143127829a58227fcf5e","datavalue":{"value":"1291.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q363484$D09F1220-FF82-41F9-B45F-A8EC46A8605C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93c7d143a3763f8cb216cbf9974669cc4775fca7","datavalue":{"value":"10.1007/978-3-319-02444-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q363484$18CBD66D-F764-42A2-9908-96E1E0B2A313","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":"Q363484$898CA3DE-0894-45FD-ADF7-26D489AC3E3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd3b85d7159f5ef57559e9e342ed79a406d1d621","datavalue":{"value":{"time":"+2013-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q363484$5B66D821-A7FD-4C6B-A836-8E9E8A9D9E67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q363484$BE64A000-3C22-431F-A70A-4F103A162557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q363484$92B2FDDC-0F77-4438-9E78-6B04E7191CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q363484$D159299D-5388-4ED1-8602-1EACA35F9895","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3052fa9bffe56a97df60c390866aee1415ba2e5c","datavalue":{"value":"6203770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q363484$D3D7946B-A1E5-44E9-ABCC-BD54337A48B0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14e52cd0327cf48e8a66f5f16e0f717cfe380352","datavalue":{"value":{"entity-type":"item","numeric-id":25239,"id":"Q25239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q363484$77E9423E-12D3-4E8A-960E-555DA10303A6","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":"Q363484$19627E64-7EBE-414D-9760-BEA8E2F7DBA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6db02e8fc2a113ced97442eacd0f9414130089d5","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q363484$5AFFF3E9-1008-4C2B-AE13-4DBAD25AFC46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ef51b848acd349a5a0c81d4a686e17beb8813c5","datavalue":{"value":"W2499406781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q363484$711F558D-EE60-45B9-A51F-EA5787846170","rank":"normal"}],"P1643":[{"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":"32b0d627abfb0594aec1f64ff27f219437d779f6","datavalue":{"value":{"amount":"+0.9684431","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":"Q363484$96F6DA3A-4982-413A-B411-9EEA37AD8523","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":"178d5bdd11b834ac3299119f7132bb30030112e5","datavalue":{"value":{"amount":"+0.9351013","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":"Q363484$AA2A1D1D-6364-4EB3-B3D5-3203D6354751","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":"3687ea264ca48c1d6bca8d3bfcd6299e1ce6b0bf","datavalue":{"value":{"amount":"+0.92680836","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":"Q363484$A76530CB-E3C0-46AF-A630-13C6CEE2B1D7","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":"459f57e745a9f79815197d6deba1d907e2d40ec0","datavalue":{"value":{"amount":"+0.9258218","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":"Q363484$811B760A-9456-4932-B2EA-F659A00E088B","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":"082b5df554dcfa69106923ce6b39ac8b5d0476c0","datavalue":{"value":{"amount":"+0.924198","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":"Q363484$4A560965-1C25-4CC8-8872-16B366DB3B54","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":"d0d91d3697561a8333ef53a0393ef18ccdadbb6a","datavalue":{"value":{"amount":"+0.92273444","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":"Q363484$EA421D3D-3C76-493E-A2DC-7BD3C506235B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed06c2a09850d445ce072177a61359a5a035f7e","datavalue":{"value":{"entity-type":"item","numeric-id":464749,"id":"Q464749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84acb983cd962d58162ab83836a88bd123b20c2f","datavalue":{"value":{"amount":"+0.92094463","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":"Q363484$C4DB588A-E2AC-41D0-BCFE-41F3E16F9857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b958b1f3825193420187b1152932f24d1bcbee5a","datavalue":{"value":{"entity-type":"item","numeric-id":2493589,"id":"Q2493589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c310258b4f95c683398c3959020f32902581a7c9","datavalue":{"value":{"amount":"+0.9180797","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":"Q363484$0CD13172-D4A7-4E8E-B69B-6251D9703FA8","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":"d7e5f0a3bd65b34768422ea1c2bf6d47944d7d61","datavalue":{"value":{"amount":"+0.9167691","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":"Q363484$3FE331D4-D93B-47C1-A810-49A37CA4727A","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":"7c8ee04b0ccc48fde3fd189f5a3be85df6b06e0f","datavalue":{"value":{"amount":"+0.9058416","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":"Q363484$29BA6206-C8F9-41AE-9C85-18B5D3F552F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15--18, 2013. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_technology_for_verification_and_analysis._11th_international_symposium,_ATVA_2013,_Hanoi,_Vietnam,_October_15--18,_2013._Proceedings"}}}}}