{"entities":{"Q2435361":{"pageid":2446104,"ns":120,"title":"Item:Q2435361","lastrevid":72718521,"modified":"2026-04-14T06:55:11Z","type":"item","id":"Q2435361","labels":{"en":{"language":"en","value":"Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 -- October 1, 2008"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6255049"}},"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":"Q2435361$30385F75-5684-4B03-A743-AB162CEC26E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be0ee652824ee84a6ed7298cf9f5fddc6ac634c6","datavalue":{"value":{"text":"Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 -- October 1, 2008","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2435361$84EC39A9-3CC7-46B3-BD2F-9B98E9B2138A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47868955996d531ef02ee38cd07f4b665d821cbb","datavalue":{"value":"1281.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435361$39771E22-E410-4B8E-AFAD-3F1A43BA9533","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435361$FAB42F93-8FC7-4286-9EF4-1D2172EEBFD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c688c9f10ab01f1386680504446d9993ed4e640c","datavalue":{"value":{"time":"+2014-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2435361$9F3CDFD1-21E5-4B30-9BEE-87EB36B88A41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0ef94770c0b05ff50a9a6911c04b5f97669f651","datavalue":{"value":"http://www.sciencedirect.com/science/journal/15710661/250/2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2435361$719C42DB-72AF-4231-8911-D7EEADBA52C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435361$B2360A57-76EE-4408-8ECA-5E2C3A601074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435361$CBC41E22-85EA-44CD-9B26-4085BE0A3AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435361$6ABAA894-EE5D-428E-B9E0-D5B5F994D345","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db00d3b3099890b3585a396833b579bac4268e31","datavalue":{"value":"6255049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435361$108FF4E5-510B-40A1-87F1-E3E7BCAD49F6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab2732a43462e4afd2685a78e5271e3564f77228","datavalue":{"value":{"entity-type":"item","numeric-id":23407,"id":"Q23407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435361$837AD028-4CCA-4BF3-9D10-03DDD1744AC9","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":"Q2435361$F7BD4A75-8682-4E6B-8183-548500C53B25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 -- October 1, 2008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proceedings_of_the_8th_international_workshop_on_automated_verification_of_critical_systems_(AVoCS_2008),_Glasgow,_UK,_September_30_--_October_1,_2008"}}}}}