{"entities":{"Q1308629":{"pageid":1319379,"ns":120,"title":"Item:Q1308629","lastrevid":67518057,"modified":"2026-04-12T18:32:51Z","type":"item","id":"Q1308629","labels":{"en":{"language":"en","value":"Correct hardware design and verification methods. IFIP WG10.2 Advanced research working conference, CHARME '93, Arles, France, May 24-26, 1993. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 462654"}},"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":"Q1308629$9D2DA23C-D337-4F04-B6C5-B0F33CC8CA51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecb7ccfdf4e7777a0c273d6399d74f4a746fdb21","datavalue":{"value":{"text":"Correct hardware design and verification methods. IFIP WG10.2 Advanced research working conference, CHARME '93, Arles, France, May 24-26, 1993. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1308629$B501C0C9-E0B6-462F-837A-626DC99A92D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6532c0e5a13728430db65bdf763bfc2f19f318b2","datavalue":{"value":"0825.00114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308629$D4722344-0CA7-419B-B63F-7DCADC77151F","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":"Q1308629$38396A95-C000-4777-A733-7D132CA99C77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cedb7e7de9a6212ac70f32f8a0687a31fd79074e","datavalue":{"value":{"time":"+1993-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1308629$D1F94469-2D3C-4E7E-A755-70B30D772DE9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e02c189e69c84cbb890fd761ba8c167516a4e6df","datavalue":{"value":"The articles of this volume will not be indexed individually.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308629$FA0F5887-A788-4921-8DC2-C30F299F6DFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308629$3A903D02-F034-4500-A81E-4D8835E84B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308629$A4629C1C-26FC-4C70-AB0C-3C02786A24DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9200abc9c7ee1cacb69d20af367ad027a1c31322","datavalue":{"value":"462654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308629$4885E089-DC29-4FB3-AB71-A5AE0134EFF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2954be171f5ad9869f0dbecaf7ea57b6b39d2c7c","datavalue":{"value":"Arles (France)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308629$7458C09C-8A0D-4D10-8C46-18FE5260CFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308629$B0EB394F-2898-4293-82B7-3973C13CB673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308629$9511592B-47D3-4E0A-B0A1-0003CBC398A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da8d6f6c2b54ddf318d9777ad06b585ae77f643f","datavalue":{"value":"IFIP WG10.2 working conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308629$16DCA681-040F-481E-8F29-22753039DAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aff73af9bce03986fdc4ac2ce326a618dfe82ec2","datavalue":{"value":"CHARME '93","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308629$DD913821-34BC-4BE9-8147-22A74ED6C158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec6c1e662a08739e6fab3b6efc37b754b3e4ce66","datavalue":{"value":"Correct hardware design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308629$2394C9D9-87E8-45E2-8344-31545D21809E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b7474caa1fe4023a485c900222c2470f8696080","datavalue":{"value":"Verification methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308629$AD0C40CA-F640-4777-B20E-320BF78F1977","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":"Q1308629$1CB6B070-A3C0-4BC4-A8EB-472BE42E63FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0c8952d5b947b1915cfc33c41edc2ae5c8442eb","datavalue":{"value":"https://doi.org/10.1007/bfb0021709","type":"string"},"datatype":"url"},"type":"statement","id":"Q1308629$6212B406-C7DD-4D44-B9B7-72BA7E2925D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da02054700ddb8f1433b5fe96002fe7c257e4c47","datavalue":{"value":"W4236512315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308629$10D90C03-6D69-4360-8CBC-C40702977614","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51587e00ccabbe93dc880efcddd473fc9679f8a7","datavalue":{"value":"10.1007/BFB0021709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308629$F6C5AFCF-23E5-4023-82CB-2D268CFA9525","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be4f2262f289522a7e1a471dcf08817a6a32634","datavalue":{"value":{"entity-type":"item","numeric-id":1416837,"id":"Q1416837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2bf04a4773ba32c08cfaba5af24cb8c96d7f7ff","datavalue":{"value":{"amount":"+0.9654974","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":"Q1308629$628D3316-3DC9-48CF-9DAD-41D29BD1B56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e3813474893ad1cd3f184d3540d38bd1f63ead9","datavalue":{"value":{"entity-type":"item","numeric-id":1819260,"id":"Q1819260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca8f1a0d45bcefa3831049b519728bfb4303768e","datavalue":{"value":{"amount":"+0.96365035","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":"Q1308629$0BF33E40-9727-4E2C-BA82-A58D6E92DC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a59f2064112a81fa1e59a27a4b7eee2bf418d6","datavalue":{"value":{"entity-type":"item","numeric-id":2493588,"id":"Q2493588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d5ed77ab47c5ff7723ddd0e9d6cf90d53ff2d29","datavalue":{"value":{"amount":"+0.9551766","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":"Q1308629$8EBCCAC1-197F-4097-AC1C-28EC17803FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70781cca5106feb9a1c054da56aaab959cdcef8c","datavalue":{"value":{"entity-type":"item","numeric-id":5944310,"id":"Q5944310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b91f2a38e6629c7b9f53b0720f135182b5bfe72","datavalue":{"value":{"amount":"+0.9502045","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":"Q1308629$2098EA8E-481B-4241-8CDB-84C2D1081490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa4e71150315e32e11ba7d10d2ef2d4f0c70af0","datavalue":{"value":{"entity-type":"item","numeric-id":4003217,"id":"Q4003217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f497c07c48ae719c8c29ee6316a1bf8ac2d78d4","datavalue":{"value":{"amount":"+0.89492565","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":"Q1308629$8ADAE07C-7A01-4350-AAE9-46AA1B66C48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c65462ceba66f4461063591fe338308ce739c29","datavalue":{"value":{"entity-type":"item","numeric-id":3030255,"id":"Q3030255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f1cbbb8725ee046bf8482fa46c6dd53771fad73","datavalue":{"value":{"amount":"+0.81948423","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":"Q1308629$AF9D4B00-5B40-410B-BEF9-81EA36798581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f82cf08ae13c67e14732da0507ce194bcdfb07e5","datavalue":{"value":{"entity-type":"item","numeric-id":855045,"id":"Q855045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f6dddb862a88ec21bb9f0b0f29355067303502","datavalue":{"value":{"amount":"+0.8076531","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":"Q1308629$5A0D731D-4854-457E-BF47-4130D4A8A48F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correct hardware design and verification methods. IFIP WG10.2 Advanced research working conference, CHARME '93, Arles, France, May 24-26, 1993. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correct_hardware_design_and_verification_methods._IFIP_WG10.2_Advanced_research_working_conference,_CHARME_%2793,_Arles,_France,_May_24-26,_1993._Proceedings"}}}}}