{"entities":{"Q2507993":{"pageid":2518736,"ns":120,"title":"Item:Q2507993","lastrevid":44228502,"modified":"2025-11-21T01:45:49Z","type":"item","id":"Q2507993","labels":{"en":{"language":"en","value":"Hardware and software verification and testing. First international Haifa verification conference, Haifa, Israel, November 13--16, 2005. Revised selected papers."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5060941"}},"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":"Q2507993$EF4F4904-5328-497F-9B9A-BCFB215334D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f9bc2f4cb70409de84c58f112118a06afe55a6b","datavalue":{"value":{"text":"Hardware and software verification and testing. First international Haifa verification conference, Haifa, Israel, November 13--16, 2005. Revised selected papers.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2507993$17C7AA69-A245-4F3E-B9BB-9F3BEB86E664","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b94f4026c1f3f2144445b6a0324849cee939b265","datavalue":{"value":"1097.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507993$278E4872-A73C-4736-B7F6-070EA208DD2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfd1c59801eeb6e5dfc3fb108250b969dac7b92a","datavalue":{"value":"10.1007/11678779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507993$400CA89D-B800-44AE-A759-64A44FE327E9","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":"Q2507993$218C68EE-CC80-4E6A-AB02-322DC5B53D39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da198c8d836c280512d8e4c6d35035c5f69981de","datavalue":{"value":{"time":"+2006-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2507993$05C89FF0-92D9-4258-BF7D-1FC1B88FF1FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507993$F72AB975-0EEE-43E9-8872-36DA1ACAA698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507993$6FD350AA-8523-439F-9C38-94DE63A735E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507993$7FDA944E-8AB4-4826-B985-1E03BE9D476B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70705db057be467e48a8dcf69a38de681df3ee4b","datavalue":{"value":"5060941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507993$8488273E-A947-4B2A-B606-A41DE5448E04","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":"Q2507993$6CE00BA9-D2B7-4B6F-9558-F140446D1A04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e48dcc05cbff41362501255d4a9cbaae0970100f","datavalue":{"value":"https://doi.org/10.1007/11678779","type":"string"},"datatype":"url"},"type":"statement","id":"Q2507993$12A3F591-BA97-4448-BA6D-3B80A474F879","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65de70011899e2a974eeb7802f6105382f1270ca","datavalue":{"value":"W4301422519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507993$586C52CB-99D3-4C61-9051-1CA72062B535","rank":"normal"}],"P1643":[{"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":"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":"Q2507993$52FE79D3-9EB8-493B-A079-9496C55E02A1","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":"e2a54dc727e2832525e33433185a33c67f0ca7b7","datavalue":{"value":{"amount":"+0.9444057","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":"Q2507993$C4FF2C8D-96BD-45AD-B9F0-94D8C23F26DC","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":"1767cc81b73dccf8c178fda198cb361798744cd1","datavalue":{"value":{"amount":"+0.942468","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":"Q2507993$678A84B8-32D4-44C9-839B-E40052B0A820","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":"88137da9cb77da86a578c80d63a5766a93fc0a97","datavalue":{"value":{"amount":"+0.9398235","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":"Q2507993$A8CACF68-1EFA-4104-961D-BFED146AE394","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":"d608f7a3f36f4537a92bbb6732a226ad831c071d","datavalue":{"value":{"amount":"+0.93878305","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":"Q2507993$4FC5E30A-092D-4214-A913-7AC28AA8731F","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":"304abaf290ccc7a3c145b65538f653a5a6e44076","datavalue":{"value":{"amount":"+0.9384156","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":"Q2507993$34589E6D-58CE-4331-9B21-16F045FBBA73","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":"721e3c0ab22ef62558ae5ed12006886b17fa6bc1","datavalue":{"value":{"amount":"+0.9381421","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":"Q2507993$2BD8C34B-BEFC-4F0B-AEE9-BC7A8C5D2A58","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":"192ace9e7ab034ac66d53531b28ef77afeec0dd2","datavalue":{"value":{"amount":"+0.934866","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":"Q2507993$32E6E2E1-C1B4-4AB9-A311-6917DAE3B713","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":"d1ea82106804e5875eba2a72d214966661ff2c44","datavalue":{"value":{"amount":"+0.9318699","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":"Q2507993$844052FC-90A7-430E-918C-505E3B65B76F","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":"07a795dcb48265bbadc3ad4283bfd082cf1c6dd5","datavalue":{"value":{"amount":"+0.9317741","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":"Q2507993$446C6C75-D130-4FFA-8870-25590C2B0AE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2507993","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2507993"}}}}}