{"entities":{"Q716577":{"pageid":718426,"ns":120,"title":"Item:Q716577","lastrevid":63842943,"modified":"2026-04-11T15:55:16Z","type":"item","id":"Q716577","labels":{"en":{"language":"en","value":"Automated technology for verification and analysis. 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11--14, 2011. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5952733"}},"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":"Q716577$80F29FDA-5181-471A-895F-D991476BE97A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c35131ba08af0483f2244a74320cbb734c343857","datavalue":{"value":{"text":"Automated technology for verification and analysis. 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11--14, 2011. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q716577$029148AC-B245-414F-B6CC-256BE32A7002","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f89411d5f00fba75f16a6c9dd612eb85b7ce11b7","datavalue":{"value":"1223.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716577$E3094790-A4D8-4566-9DC4-CC5C3B44B5C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42775fb5e02b991ab7b42a2cb741a921886b9581","datavalue":{"value":"10.1007/978-3-642-24372-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716577$CF21BCFE-3262-4612-A02D-2384BA949D0F","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":"Q716577$8DF6C3BE-225E-45EA-A7A2-7C5D086088DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f03d17569c22bde91cb04cd7cc391add877cceb","datavalue":{"value":{"time":"+2011-09-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":"Q716577$B8CD7355-9CF7-4A1B-A870-2D7648716BBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716577$0F1B45E6-241D-489A-AF6A-D0CE7C29A4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716577$E279726E-06C4-403E-AB64-BB5358518F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716577$1B22A4CF-41D7-4A77-BE06-371A47A67FB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84f6edd831dd6c02740b3695e4c76ee215acc0c9","datavalue":{"value":"5952733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716577$5D5318BE-183B-421F-8795-4D13908952E9","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":"Q716577$E79C3BA6-C709-459E-B1D0-0ECBBD20F2A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bf7b15d08fbff8ec89f78ee421bc9e59c94e672","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24372-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q716577$9500E97E-BA98-4039-BA93-89D633E56EB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8255645e1e3e4cfc3f6127cb2eec5d43bea2332","datavalue":{"value":"W2493922253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716577$A8B0E327-9E60-4B3F-A5BF-1C69980A0E1D","rank":"normal"}],"P1643":[{"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":"1fcfcce79d09edad9894f6a165e8f01ac030b8bf","datavalue":{"value":{"amount":"+0.96722436","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":"Q716577$5B5CE53E-5AB8-4804-8383-027DAB446188","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":"65d1146a652653edb2f9ae6ad4fe965a060d5fe2","datavalue":{"value":{"amount":"+0.95402855","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":"Q716577$0D357017-3B5A-4949-A138-1FBE829EBE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a346d0e2ce2bdb9b09d77cba488b57c4163812","datavalue":{"value":{"entity-type":"item","numeric-id":734221,"id":"Q734221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9134ede93179bc1223cce0212af124c1339c6d5b","datavalue":{"value":{"amount":"+0.9430872","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":"Q716577$09019E3F-E58F-4A48-B01B-CC0EC7824051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f55815941451fb675bb9cc9dccf9b19884735e","datavalue":{"value":{"entity-type":"item","numeric-id":1763064,"id":"Q1763064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c55c1c7aa94c93e261c96e1fe7f407366deae8","datavalue":{"value":{"amount":"+0.9419162","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":"Q716577$976ADB79-EE4D-4487-BFFF-3683D8FA4860","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":"c8926931a18e97fe2efd9c566cb38cbf381f9787","datavalue":{"value":{"amount":"+0.93938214","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":"Q716577$6BEF0809-7499-4453-912E-F8D344D58B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6934dd6265c82d4bbe7095ad0a772094ea4e44ab","datavalue":{"value":{"entity-type":"item","numeric-id":363484,"id":"Q363484"},"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":"Q716577$0826727B-B6E7-412D-8435-3E052DCF05AD","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":"9ceaded34dbe44b48a5bb2311e97da8dc47b1d35","datavalue":{"value":{"amount":"+0.93024844","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":"Q716577$EE398871-2C77-4565-8BC1-751B722C8796","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":"d7ec2bb6a717a0501633d0ec200c327413574873","datavalue":{"value":{"amount":"+0.928954","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":"Q716577$068A7DDE-A046-409B-B3F5-B6F47D084280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452498ff7ad39cf90860df88a2508e911a67af72","datavalue":{"value":{"entity-type":"item","numeric-id":3423144,"id":"Q3423144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d8f45a1ca5632a02583bfef08210be6fd3216f","datavalue":{"value":{"amount":"+0.9244305","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":"Q716577$0ABF2B8E-BF47-49F1-A7B7-BBF8DB8E503C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a82b340688ca2cf4cc4dda14311b2215f607a5b","datavalue":{"value":{"entity-type":"item","numeric-id":929399,"id":"Q929399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d61cbe60c0132b811bdcaaa0c17ac8670d46e9","datavalue":{"value":{"amount":"+0.9217173","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":"Q716577$D71A6CE2-0E9A-4F9E-BE32-637B037E039A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated technology for verification and analysis. 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11--14, 2011. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_technology_for_verification_and_analysis._9th_international_symposium,_ATVA_2011,_Taipei,_Taiwan,_October_11--14,_2011._Proceedings"}}}}}