{"entities":{"Q855045":{"pageid":856893,"ns":120,"title":"Item:Q855045","lastrevid":42727037,"modified":"2025-07-09T14:53:34Z","type":"item","id":"Q855045","labels":{"en":{"language":"en","value":"Formal methods for hardware verification. 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006, Bertinoro, Italy, May 22--27, 2006. Advanced lectures."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5080906"}},"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":"Q855045$B9055771-59C6-4B5A-899D-61F57354708F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b448c660b81cc1d0e42e6471dbcc638fe828142","datavalue":{"value":{"text":"Formal methods for hardware verification. 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006, Bertinoro, Italy, May 22--27, 2006. Advanced lectures.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q855045$17F6A137-9690-4A6D-BCF8-D15EBA56854F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9df2556a4abd04f574fabfdb3a953eaf1d135be","datavalue":{"value":"1102.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855045$D9FAEF65-0F33-4686-99FC-3ADBAF3CEE37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19712225bf722bc0d6e62ddb98dea1e66f61d5f7","datavalue":{"value":"10.1007/11757283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855045$8A3E8DCF-493A-4C16-BD79-2604A5ABC52B","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":"Q855045$6418CCE4-1AAC-468F-9BE1-97D5AF734BD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3554c27e0398f638f754da4aa78461079bc0a0f2","datavalue":{"value":{"time":"+2006-12-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":"Q855045$B6987C67-E9E2-474A-9426-885672F8F964","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855045$03F31E16-DF2D-4693-9CCE-E21213F1D007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855045$E4932C5E-8C10-4184-A4E2-32C75B03553C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855045$2E171992-7492-4F62-8317-C57BE1B09571","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"211b413d6c86aa93f7e5e00ec76938c34f674d63","datavalue":{"value":"5080906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855045$741DBF80-8A4C-4096-AE06-0999CE2EFEDB","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":"Q855045$DFB2EF32-B667-429A-B11E-8E3D14965178","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8540e93ee52c4af80e8b8028a54a5ecb39538123","datavalue":{"value":"https://doi.org/10.1007/11757283","type":"string"},"datatype":"url"},"type":"statement","id":"Q855045$184DF362-FE60-455C-978B-40BBD17F7970","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67e43cd8e49607d60e53d774573ae4fe7054021e","datavalue":{"value":"W2475557998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855045$0C09608F-EEB2-4028-BD17-D4B75EE45EAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:855045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:855045"}}}}}