{"entities":{"Q375907":{"pageid":377674,"ns":120,"title":"Item:Q375907","lastrevid":61370259,"modified":"2026-04-10T22:55:41Z","type":"item","id":"Q375907","labels":{"en":{"language":"en","value":"Hardware and software: verification and testing. 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5--7, 2013. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6221806"}},"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":"Q375907$CD07C32E-33DF-4C46-8C76-6A53FFE81539","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ccaec0c53a604e14c0020def5425e24251329ac","datavalue":{"value":{"text":"Hardware and software: verification and testing. 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5--7, 2013. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q375907$622F072A-F599-43D1-8C37-199A27CD2EB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b3e12fed54ad8324017bf89d53f968a4371b591","datavalue":{"value":"1295.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375907$82C4A9A9-5A6B-4FAB-B4CE-6BEC7EBB6209","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94f0fc5d4654a27e4c741c8175a38f4b159db77e","datavalue":{"value":"10.1007/978-3-319-03077-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375907$2DE6D8AE-791B-4EAC-83A2-7B69330EE941","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":"Q375907$5B22D69C-6A2D-46F4-8BA9-2DD2B75B6F15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c208560dc20a04fb91ae5bdd165df42ccb312e52","datavalue":{"value":{"time":"+2013-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q375907$B2FB427F-3574-446D-B53D-EF3716AE0EAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375907$17BA936F-3D41-4607-B709-7D95ADDA526B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375907$596AB1D1-BC08-4C77-BD14-A1C979B92942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375907$7C39885A-20FF-4DE9-96D0-BF5FC2BA6083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375907$002CB45C-350F-4CE4-AAE7-1039BD1E5740","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"502728ce86b21e8fcd3c20a8b4b3a42d6b92004c","datavalue":{"value":"6221806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375907$F2010D00-9A41-4904-A2CC-8A077673A7B3","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":"Q375907$31B0492D-D591-4638-B250-AFD9B21346C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79a4aaf991768a8ed6bb551b008fd85eff699e7c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-03077-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q375907$472F4018-B1AF-448E-8273-AD0C7C40D962","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bf09c5bb8668bd9519c7c1c4793b29edd96c95b","datavalue":{"value":"W2630264676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375907$26172FBC-7194-477D-9359-7767EFB3FDE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hardware and software: verification and testing. 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5--7, 2013. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hardware_and_software:_verification_and_testing._9th_international_Haifa_verification_conference,_HVC_2013,_Haifa,_Israel,_November_5--7,_2013._Proceedings"}}}}}