{"entities":{"Q840635":{"pageid":842483,"ns":120,"title":"Item:Q840635","lastrevid":42722097,"modified":"2025-07-09T13:43:07Z","type":"item","id":"Q840635","labels":{"en":{"language":"en","value":"Special issue: 20th international conference on computer aided verification (CAV'08), Princeton, NJ, USA, July 7--14, 2008. Extended versions of selected papers."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5603536"}},"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":"Q840635$F2B03686-78F4-4905-9275-0832B410ACF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6b333bd1f6a0d6cf7ea46e854e6a54930d7d81d","datavalue":{"value":{"text":"Special issue: 20th international conference on computer aided verification (CAV'08), Princeton, NJ, USA, July 7--14, 2008. Extended versions of selected papers.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q840635$0AFC6E35-E1F2-4F6C-A946-C912DFB79E45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e90374dfb0705edcfc950b9d8ff5378c8269eb2","datavalue":{"value":"1194.93006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840635$D07CBFFD-9F85-4C1A-9FF2-07634D3A1DE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840635$E68AD5B7-4EC9-4A04-86D3-F49A5C71E5EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da6f74ec6337139bbc2c0c55bd8fb986e578b38","datavalue":{"value":{"time":"+2009-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q840635$96660A60-58D0-49C1-AAB0-EE1FFE0DBF0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa976a66ac800483dcca0b20912799dee2fb9edc","datavalue":{"value":"93-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840635$7F2731E0-B0FE-4ECE-9221-52A6F1D35D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"931f9bc6fe69aba6508703df7e266476edb87eb8","datavalue":{"value":"93B51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840635$4B095181-C294-4B83-B06F-7D0353E1A44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840635$8DFED420-0361-472F-82DB-2C2E392043C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9deb730452167735ccb4ebac1db0e3a0055288d","datavalue":{"value":"5603536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840635$5BDC1537-DCC0-4711-959F-364C210AE0D2","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":"Q840635$629F8D5F-66E3-41C8-93D1-152DD5CE1BC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:840635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:840635"}}}}}