{"entities":{"Q1012832":{"pageid":1014680,"ns":120,"title":"Item:Q1012832","lastrevid":66007131,"modified":"2026-04-12T06:54:29Z","type":"item","id":"Q1012832","labels":{"en":{"language":"en","value":"Hardware and software: Verification and testing. 4th international Haifa verification conference, HVC 2008, Haifa, Israel, October 27--30, 2008. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5546118"}},"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":"Q1012832$6E1A1B16-0B1D-48E4-9745-17FD07C15F18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"254aa529ba668f75dbc9ec3042cf53eab14e0352","datavalue":{"value":{"text":"Hardware and software: Verification and testing. 4th international Haifa verification conference, HVC 2008, Haifa, Israel, October 27--30, 2008. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1012832$A5AEBAF7-AAFD-4132-8DA8-17D89F222D15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08d14c6810c6d26b6d1188672cdac3ec3ebb8eba","datavalue":{"value":"1160.68301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012832$55432745-5A21-41ED-9E23-04AC522D1E83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89299f0488028f7b3d03cf958b5b24b04f3d4409","datavalue":{"value":"10.1007/978-3-642-01702-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012832$A288152A-F960-451F-BD64-7230CD15CA9D","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":"Q1012832$C02C0672-762C-40B2-96CF-AC137510B4AF","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":"Q1012832$72E810C1-592A-43D4-B5FC-1BDF2DEEE2D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012832$1CC08F88-F968-4A2E-AA27-93D2C2AA87A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012832$3FFCA095-B9BC-43FC-B067-5F72583A8EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012832$2DF9ECDA-73BA-471C-B63B-0041A242262C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a5d4462df85acf702b5e3ad162d6e3b3a6a5a3c","datavalue":{"value":"5546118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012832$0FCFD668-A863-4C74-82E5-33470D39AEC0","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":"Q1012832$2B84552A-D1DA-4357-8C3D-852B6F61516F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bafbf5f8d88ed3b3d442a1f62f5109c094727aa","datavalue":{"value":"https://doi.org/10.1007/978-3-642-01702-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1012832$95282AF5-BFCD-4046-A1D4-9C08EDD9AE93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b523874efa5af8b76e7f0929ce835acf4fe92284","datavalue":{"value":"W4298332656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012832$4C051A4D-A989-4473-8FB5-707957EA89A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hardware and software: Verification and testing. 4th international Haifa verification conference, HVC 2008, Haifa, Israel, October 27--30, 2008. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hardware_and_software:_Verification_and_testing._4th_international_Haifa_verification_conference,_HVC_2008,_Haifa,_Israel,_October_27--30,_2008._Proceedings"}}}}}