{"entities":{"Q2479588":{"pageid":2490331,"ns":120,"title":"Item:Q2479588","lastrevid":44171178,"modified":"2025-11-20T13:42:35Z","type":"item","id":"Q2479588","labels":{"en":{"language":"en","value":"Verification, model checking, and abstract interpretation. 9th international conference, VMCAI 2008, San Francisco, USA, January 7--9, 2008. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5256441"}},"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":"Q2479588$A3B53FAF-0146-42D9-806F-1A684A53BB9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56538b2f8d2ac428cc37c54890036ebdaee3316d","datavalue":{"value":{"text":"Verification, model checking, and abstract interpretation. 9th international conference, VMCAI 2008, San Francisco, USA, January 7--9, 2008. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2479588$4A461129-3DC9-441E-B45B-F4D32BEE61BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e369c34a0fbda9fba10e3448a185200fd5c7b50","datavalue":{"value":"1134.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479588$B57DD534-98B3-4B16-B872-F3B82EF955CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fcf6e41dd8ce6345bd45b9913d65eece481b6f5","datavalue":{"value":"10.1007/978-3-540-78163-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479588$81748BBD-E8B3-46D2-B837-FD58B5BCAC8B","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":"Q2479588$0A941962-F1D1-457B-8281-2018A5391F6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198ebadd055eae6a54aaf8b4ed7b348339bb3788","datavalue":{"value":{"time":"+2008-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2479588$1FBDF6D4-D36D-4EEA-97A3-10C15D8AD6A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479588$2D5A814C-0069-4832-8642-7C5FA7990A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479588$1DBA7F5B-43A4-441C-8DAF-2B32B1DBC593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479588$3B5BDE37-59E5-489D-8FB1-805AA469A1EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7aac35dbb4a7423fb7fdaa14ad2ece3707f9723","datavalue":{"value":"5256441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479588$BD4E793B-6FD5-4F26-A061-B7C4A2ADDDE5","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":"Q2479588$F720B818-12F6-462A-83F0-E0B1075F1C79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3807c6e0ccb5ec6ab9bd2c5fe98a7099c4b3a318","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78163-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2479588$6C48C764-7F43-44A9-8B1A-801B21267999","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5df489e19a5cce271269909f207b2b05cebf6f2f","datavalue":{"value":"W4313638537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479588$D4A6040E-EDB8-4275-ACEE-4667152B730F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2479588","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2479588"}}}}}