{"entities":{"Q1012835":{"pageid":1014683,"ns":120,"title":"Item:Q1012835","lastrevid":66007158,"modified":"2026-04-12T06:54:30Z","type":"item","id":"Q1012835","labels":{"en":{"language":"en","value":"Hardware and software, verification and testing. Second international Haifa verification conference, HVC 2006, Haifa, Israel, October 23--26, 2006. Revised selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5546150"}},"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":"Q1012835$C94B0303-881F-4C9E-8EF4-CE3555D5C8EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba5461f8b3c15370907bd386314df8e870636161","datavalue":{"value":{"text":"Hardware and software, verification and testing. Second international Haifa verification conference, HVC 2006, Haifa, Israel, October 23--26, 2006. Revised selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1012835$01C51166-7ECA-491A-BEAB-6BF34940966C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5fc761aaf430d7f19243176c097accf31c6e849","datavalue":{"value":"1159.68300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012835$EA69336B-4312-41A2-8CEC-C4D3B76D5CA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1082e00f2a3b97a8f7aa5b122e52e65025fdba85","datavalue":{"value":"10.1007/978-3-540-70889-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012835$8D0EB76F-4951-4591-A5CB-93CBC76F826A","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":"Q1012835$9347AA9B-09E2-4472-B3F8-73EF90A396E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"03a9393f561f5ada7302b96e90bb92cba259d2a1","datavalue":{"value":{"time":"+2009-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1012835$AE297ABC-983A-42CD-B37D-F0333DD73845","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012835$5DEA9CC7-83B5-439A-B561-6A0FE376911D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012835$4AC16193-6064-40C5-B22E-BCDCD8122B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012835$E37E2D38-BACD-4DE1-9DDD-765976F44775","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"524bf7ca3e4ce83e21525bcf8740349384b329bb","datavalue":{"value":"5546150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012835$768473FB-5420-46BE-951C-DB47F3289FCF","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":"Q1012835$14D09CC4-EFFB-4649-A0EB-6EA64F4CF99B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdea66294633237ddae805eaef9221cf3e453be4","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70889-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1012835$9083384E-FC13-4F5B-8250-3B5653E50D8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0b003c38d3827b65add2aa339ba2f3fddaea8f2","datavalue":{"value":"W4300095252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012835$4BEED244-7966-4C0F-A129-3005E2BD78E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hardware and software, verification and testing. Second international Haifa verification conference, HVC 2006, Haifa, Israel, October 23--26, 2006. Revised selected papers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hardware_and_software,_verification_and_testing._Second_international_Haifa_verification_conference,_HVC_2006,_Haifa,_Israel,_October_23--26,_2006._Revised_selected_papers"}}}}}