{"entities":{"Q472406":{"pageid":474173,"ns":120,"title":"Item:Q472406","lastrevid":62082270,"modified":"2026-04-11T03:39:30Z","type":"item","id":"Q472406","labels":{"en":{"language":"en","value":"Hardware and software: verification and testing. 10th international Haifa verification conference, HVC 2014, Haifa, Israel, November 18--20, 2014. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6370984"}},"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":"Q472406$6EF03CCE-3452-4B7E-A389-D40208E58541","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f80c9f7088e4b66620feba6b24a8421f1afa14ec","datavalue":{"value":{"text":"Hardware and software: verification and testing. 10th international Haifa verification conference, HVC 2014, Haifa, Israel, November 18--20, 2014. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q472406$5712ADFC-1058-4170-8C7B-D17579198BD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46f752d5b46d649593616e072573739e34ff7602","datavalue":{"value":"1322.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472406$169B4330-29B8-48DD-9CCA-5CC441EE70F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67709c8998d4681b576484b64b81db9766995d48","datavalue":{"value":"10.1007/978-3-319-13338-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472406$5FEA97F4-DB9C-4B63-922D-E989A6FE1912","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":"Q472406$01153798-0DFD-4E07-87DA-82EA94C4F93C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9eef5592189a73489da4c405dddbd884955f29c","datavalue":{"value":{"time":"+2014-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q472406$83E413AE-9FBD-4FA0-ACFF-DE6E680E3250","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472406$5ED3901D-099C-42CD-9D22-1F4E419B74C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472406$66B5B692-542E-4DDD-BF67-2428C8E08FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472406$15D53301-B51F-4604-8156-0D76644362CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472406$65EB7949-A32F-4B80-B7C9-6A84834059B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"842f10d0890e0a81c7cf334ec204a15b86e09e7a","datavalue":{"value":"6370984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472406$3A09D71E-C219-48BB-9FC4-BCA36E3EBEB6","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":"Q472406$D40DB91C-94A7-4734-A89F-7018E1805692","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94263bd8baab4cddeb3f796989c1613c7a8755ae","datavalue":{"value":"https://doi.org/10.1007/978-3-319-13338-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q472406$9704106E-5740-4274-996E-B59A9A13C342","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997135f508d4f83144a3d1543089891c141a92cc","datavalue":{"value":"W2493854183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472406$333647D5-8654-4BB5-B11F-24EBDC7135A4","rank":"normal"}],"P1643":[{"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":"2cda7b6e1a05902ac429113ebbeb8057e65370de","datavalue":{"value":{"amount":"+0.98230076","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":"Q472406$5D52C066-AE8A-47CB-9FE8-F13A75EAB1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd6c44a301df9d4ba113dacd1ef340c5ecc4ba4","datavalue":{"value":{"entity-type":"item","numeric-id":338048,"id":"Q338048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34159eb03ddace27e7b1d64545663604c44d39e9","datavalue":{"value":{"amount":"+0.97648364","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":"Q472406$C288D32D-3D0A-4F37-82CB-2946DE15819A","rank":"normal"},{"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":"604476599e23b0fa307464d8a6f156eec6dac491","datavalue":{"value":{"amount":"+0.97273505","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":"Q472406$B45E2641-F48F-4651-BA94-9F15860B485F","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":"6e59da4b80154741a49e42daa69eddb6f909c260","datavalue":{"value":{"amount":"+0.9678329","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":"Q472406$E9BA64EA-DE89-4278-896D-45ECAF72DEF0","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":"c3693784409dada5667961309078e83b70465e17","datavalue":{"value":{"amount":"+0.96403086","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":"Q472406$8D86BAF3-2F5D-423D-AA45-C0FECEA2479B","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":"d291fb651f7328b372c3ec0723827d66ad12074f","datavalue":{"value":{"amount":"+0.9613392","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":"Q472406$7FB0B46E-A708-4046-ABB2-18EA9A24A747","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":"0159bc41279b1fb8c92a23b99d2ddba5a12e5484","datavalue":{"value":{"amount":"+0.9565717","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":"Q472406$A9CECCC4-AB9B-47F4-B52A-652D9C35E20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993b45c87a4e04c08202958064214b6f69ec110f","datavalue":{"value":{"entity-type":"item","numeric-id":624907,"id":"Q624907"},"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":"Q472406$0188392B-DA6C-4E6D-AE5A-30AE9AA18E4D","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":"5a515c17a5ce9b572a472da5625d7c74a47efd32","datavalue":{"value":{"amount":"+0.95370483","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":"Q472406$12345060-2DA1-4B1D-AB40-C5F0294ACEBC","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":"63bcf658aa64383f7cda75c0ee2faaf37fcbf94e","datavalue":{"value":{"amount":"+0.94137144","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":"Q472406$739CFD77-2EC0-4081-A106-488A10493058","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hardware and software: verification and testing. 10th international Haifa verification conference, HVC 2014, Haifa, Israel, November 18--20, 2014. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hardware_and_software:_verification_and_testing._10th_international_Haifa_verification_conference,_HVC_2014,_Haifa,_Israel,_November_18--20,_2014._Proceedings"}}}}}