{"entities":{"Q5899158":{"pageid":8002997,"ns":120,"title":"Item:Q5899158","lastrevid":31196609,"modified":"2024-03-19T13:35:32Z","type":"item","id":"Q5899158","labels":{"en":{"language":"en","value":"Formal Methods for Hardware Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148313"}},"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":"Q5899158$47834CB9-12BE-416C-B284-DEFED8A67C22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"388cd52635f520daf7b232c2404643e9184558c4","datavalue":{"value":{"text":"Formal Methods for Hardware Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5899158$56E748FB-5470-4C49-9BBA-A247E88D8ECE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cb27426c896e174bf29f4442126a2b18c25c125","datavalue":{"value":"1182.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899158$2D95BB22-48E5-4A16-BEFF-C7DC3496023B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19712225bf722bc0d6e62ddb98dea1e66f61d5f7","datavalue":{"value":"10.1007/11757283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899158$40C17F9A-A0EA-458A-BDFE-956F8F9A28AE","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":"Q5899158$1BBC32B3-452D-4F90-B20A-7EFFFB550A2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5899158$2D0FFA9B-DEB7-4E1C-896D-541D6A827EC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899158$50792B8D-D9A0-47EC-8898-E172DAA06567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a61c1214f17b12b67364674d8143dbdd872c34c1","datavalue":{"value":"65Y04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899158$E319F742-E432-44DD-A217-E571C928A1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899158$D0D4790F-730F-4AE0-9E39-6C827ADF1145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899158$08C18EF2-EDBB-40D3-BCCA-4FBB8E638CCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71c6df47f9a032b6d5e95fac32fe493e8237b279","datavalue":{"value":"5148313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899158$F8090511-4D82-4059-98E6-DC97A0AAD9E9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899158$837C8761-5ECC-4869-AD1A-FC101A5A2558","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":"Q5899158$C3BF7A38-C36A-4D23-A563-6B78802307B3","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":"Q5899158$3B8951A4-A6E1-4A9F-AE7A-689B4CEB74F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67e43cd8e49607d60e53d774573ae4fe7054021e","datavalue":{"value":"W2475557998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899158$F0A8B57C-1B34-4BCA-A875-10C658C9F827","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5899158","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5899158"}}}}}