{"entities":{"Q1819260":{"pageid":1830002,"ns":120,"title":"Item:Q1819260","lastrevid":73027986,"modified":"2026-04-14T09:29:58Z","type":"item","id":"Q1819260","labels":{"en":{"language":"en","value":"Correct hardware design and verification methods. 10th IFIP WG 10. 5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27--29, 1999. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1385860"}},"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":"Q1819260$94B7B9FE-DD07-4701-868C-9922BC7D0D1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cedbe80826dd114255343409e5c466bb81b328e1","datavalue":{"value":{"text":"Correct hardware design and verification methods. 10th IFIP WG 10. 5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27--29, 1999. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1819260$AB1A7F1B-2317-4E8F-868E-AE5FD34DD1C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae9bd9c0cb2dcf0101bbbf5cff6ab0c926462bd8","datavalue":{"value":"0929.00066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819260$AB18F541-B3C4-42D1-9FF3-A555313942E3","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":"Q1819260$17C75DAD-AF52-458C-AD72-38B8A10F8BF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2106fe7affcbcd2ed1808818cd2fea9245c9c826","datavalue":{"value":{"time":"+2000-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1819260$EE038B3C-CC07-47CB-824D-E28053185BE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819260$8390E101-A95A-488C-8CD3-4FC5122A4E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819260$FDE3E3A0-36EF-4569-9CD3-DE70E6479443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8dc5d8f03fcaaa9e07fb2b90c65b675a74eb1ab2","datavalue":{"value":"94-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819260$CDD72AF9-E7CB-441E-B17A-A60F1A160784","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e8e2bdba955ec2bbaa4098c85b5bc52b91a21f9","datavalue":{"value":"1385860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819260$4B68B07C-99D0-432E-AABD-CC3815F545EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a22b814dfe1ca9b61d5fec720f4f19a5802bea","datavalue":{"value":"Bad Herrenalb (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819260$412A2221-50B5-4D0D-A049-59819E3FF961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819260$4F1731C9-6907-4B59-BF2E-5DEFCDC9F2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819260$B7A90D90-4C6E-4838-8C53-8D536A6C6625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc8a4297ac3efc04ae84445203e3818c2641ac89","datavalue":{"value":"CHARME '99","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819260$AD27883A-FB6A-4B6D-9E40-876D2F1472B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec6c1e662a08739e6fab3b6efc37b754b3e4ce66","datavalue":{"value":"Correct hardware design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819260$A3157C9E-8E44-4F06-A5B0-BD089F7B5821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b7474caa1fe4023a485c900222c2470f8696080","datavalue":{"value":"Verification methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819260$4B9726D7-6757-490D-8E15-B2278FCBF8FB","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":"Q1819260$96BC5463-335C-4B0F-B075-2272027D5931","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correct hardware design and verification methods. 10th IFIP WG 10. 5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27--29, 1999. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correct_hardware_design_and_verification_methods._10th_IFIP_WG_10._5_advanced_research_working_conference,_CHARME_%2799,_Bad_Herrenalb,_Germany,_September_27--29,_1999._Proceedings"}}}}}