{"entities":{"Q624907":{"pageid":626754,"ns":120,"title":"Item:Q624907","lastrevid":63283482,"modified":"2026-04-11T11:50:12Z","type":"item","id":"Q624907","labels":{"en":{"language":"en","value":"Hardware and software: Verification and testing. 5th international Haifa verification conference, HVC 2009, Haifa, Israel, October 19--22, 2009. Revised selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5850172"}},"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":"Q624907$C36B519A-69CD-4C47-B0BD-CCCDEC5A05D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85adb4e2c41900d5ca06dbfbbabaafe5f1fda02a","datavalue":{"value":{"text":"Hardware and software: Verification and testing. 5th international Haifa verification conference, HVC 2009, Haifa, Israel, October 19--22, 2009. Revised selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q624907$A41548B9-B12B-47C2-A5FD-9B702E8EBDCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f08802846cf01089925e90f5ed959a9899ebe4d","datavalue":{"value":"1206.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q624907$40433341-DB29-427E-828D-1F5994932B5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f822788d67a9e82b46e3dde50f151de2c97de2ef","datavalue":{"value":"10.1007/978-3-642-19237-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q624907$32104E9B-9B9F-4200-A8A0-1C9AF6ED6674","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":"Q624907$9636B7EA-8455-4E20-93F7-31C745C47AAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68c84d94dc2b0d372224244b271c713d0aa2e67","datavalue":{"value":{"time":"+2011-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q624907$35ED5871-FE4E-43EF-A44A-70C37CC036BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q624907$B61DDF5B-E289-4AA2-BF66-9681869E429A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q624907$358DEDB9-AE45-4F9C-9272-3D63C8E6650F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q624907$2EEC5101-1796-466D-9F6D-88D57FCAFC3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b333433249ec7bd651b469675d3b217b2cfee48e","datavalue":{"value":"5850172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q624907$1149353B-E176-4A44-AD95-CDCE271F7E32","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":"Q624907$FB1055A7-2661-4C34-AE88-6A2D7E94F378","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de2ccd4abc25d051f6ccdbd0b4b45c4a4e73c599","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19237-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q624907$211CE2A2-A755-402F-A68F-9E046B13C93B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0611237366d820e901c526ced95d0c1317748ec2","datavalue":{"value":"W2679170989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q624907$A7F97BBC-2E9A-4025-8AD3-158404B24781","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8be7365bb40109365583b4abfd9c2259443a7b","datavalue":{"value":{"entity-type":"item","numeric-id":375907,"id":"Q375907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac3f83a1b6d1e336f65a87f20d86f3bf9ac9d1f","datavalue":{"value":{"amount":"+0.96980417","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":"Q624907$DC2D7574-0C4F-4670-AE52-103D57004D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04278be7d5eac182bcbc9a73368066fece4b5e6f","datavalue":{"value":{"entity-type":"item","numeric-id":632139,"id":"Q632139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b99f8a065a89707ee70941c76d8d6c644dc87335","datavalue":{"value":{"amount":"+0.9657114","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":"Q624907$E12091C7-00BC-4A2F-B6AF-211B9B6D50C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c59e4a6680ddccca29b0af4301bede0d19b5e031","datavalue":{"value":{"entity-type":"item","numeric-id":886991,"id":"Q886991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d5d062b045011077aa33c3f860813783426e234","datavalue":{"value":{"amount":"+0.9583483","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":"Q624907$8091D099-E4F2-42BB-AE26-6A5E0235AC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a83f9684330220b61559384236e4edc7196a4f1a","datavalue":{"value":{"entity-type":"item","numeric-id":1012832,"id":"Q1012832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c7e8991271ed2998dc6342a9863f432b1ecd49","datavalue":{"value":{"amount":"+0.9569936","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":"Q624907$D337B11D-C672-4E28-AB83-96CC053D0870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcd6d5241af78935172dcbe1f044fa6334107eb2","datavalue":{"value":{"entity-type":"item","numeric-id":1012835,"id":"Q1012835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5e1c785d8db0cefbc1092636ee7e08b547f0d7","datavalue":{"value":{"amount":"+0.9569581","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":"Q624907$9A8093CD-D0BF-46ED-96B4-C2C1DE9B7C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf0d3a101726a80c40578ce46507c21724bbe9af","datavalue":{"value":{"entity-type":"item","numeric-id":352780,"id":"Q352780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bfb19d94ab222b109f9f990d66aeac2b6ac9818","datavalue":{"value":{"amount":"+0.9568169","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":"Q624907$31D63E35-DAD7-435E-BC06-B4F62A0B4120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30a39267f682dcfb00489d5554d205a354b37cc","datavalue":{"value":{"entity-type":"item","numeric-id":456735,"id":"Q456735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba05002902737bf42437124b2e93137b0a933de","datavalue":{"value":{"amount":"+0.9550228","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":"Q624907$27E72EEC-CD3F-4418-B3B2-286C7A3C78D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9111cd2a3ff9d4c4109d2cf3ab63d45bebb871fb","datavalue":{"value":{"entity-type":"item","numeric-id":472406,"id":"Q472406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4548dba3173462b206828745baf707eb487c0ec","datavalue":{"value":{"amount":"+0.95434994","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":"Q624907$8E09EDA0-A59B-44EC-8FB2-32E8D11A9FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08697366547fa2058c6f70343a1eab60d26384ac","datavalue":{"value":{"entity-type":"item","numeric-id":2507993,"id":"Q2507993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11038b1df320c0a3917ebfd7e65190224fdf7290","datavalue":{"value":{"amount":"+0.95201486","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":"Q624907$C87AD655-24E7-49D9-A0E9-E6D443FA7D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ab44118137e1e677b811785158aca050f15e76","datavalue":{"value":{"entity-type":"item","numeric-id":2474335,"id":"Q2474335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e71a66f331468b8a468f37766392144cf7b98ba","datavalue":{"value":{"amount":"+0.9519346","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":"Q624907$2AE7D15B-87E1-4780-B536-190595A5A6E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hardware and software: Verification and testing. 5th international Haifa verification conference, HVC 2009, Haifa, Israel, October 19--22, 2009. Revised selected papers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hardware_and_software:_Verification_and_testing._5th_international_Haifa_verification_conference,_HVC_2009,_Haifa,_Israel,_October_19--22,_2009._Revised_selected_papers"}}}}}