{"entities":{"Q428511":{"pageid":430278,"ns":120,"title":"Item:Q428511","lastrevid":61763154,"modified":"2026-04-11T01:29:21Z","type":"item","id":"Q428511","labels":{"en":{"language":"en","value":"Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7--13, 2012. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049087"}},"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":"Q428511$85C300FC-AB07-4AF2-9179-53EAABBE34B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c07dc76059f7b1e4785b37d2afa0fa24a328b3c","datavalue":{"value":{"text":"Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7--13, 2012. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q428511$FE2AA1FB-B2F7-4B77-845F-95DEA70E085A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad43d4a3e57a1d18e0b31861ce4dc4a7e09c37d3","datavalue":{"value":"1241.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428511$CAD5A892-D199-4B93-B339-5D3096E45818","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"094394149d8f0b78b1f91fcbf1e5b8fc9980edd1","datavalue":{"value":"10.1007/978-3-642-31424-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428511$0C866BD8-AAC7-4168-82EF-40851CFDBFEE","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":"Q428511$62753AD6-4744-4EF5-9304-30C493D8F06F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-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":"Q428511$5659C47C-8C58-4007-A30E-9310530BDE49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428511$4622F2A2-60BA-40D0-B42F-9F81362CC00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428511$0F7878B2-02D6-49E8-826E-01C33AF741CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428511$825F1DEF-493C-4C19-8E67-94118F2F8CE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bae7aae5f0597253dae9fe2d863e3eb088d79bbb","datavalue":{"value":"6049087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428511$47100F88-B547-431B-9852-31A63951D23A","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":"Q428511$95FBD960-F3F9-4807-A5EF-A70DF9D6ED44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9825452327620750b784c904b5394c6f42c43006","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31424-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q428511$75510008-6C2B-4271-9E6F-C43A4BEB12CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e2528d615be6f2591c755f8ef33554d836d4536","datavalue":{"value":"W2477321050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428511$A60C92BE-243B-4F8A-A106-06680A128145","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7--13, 2012. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_aided_verification._24th_international_conference,_CAV_2012,_Berkeley,_CA,_USA,_July_7--13,_2012._Proceedings"}}}}}