{"entities":{"Q2248020":{"pageid":2258763,"ns":120,"title":"Item:Q2248020","lastrevid":78706061,"modified":"2026-05-06T12:14:44Z","type":"item","id":"Q2248020","labels":{"en":{"language":"en","value":"Computer aided verification. 26th international conference, CAV 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 18--22, 2014. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6309916"}},"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":"Q2248020$3176EFF7-1BBB-4286-9BBA-7B953A4E8603","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23a2205f4f7619b4ca2340b288dffee8375fd7c3","datavalue":{"value":{"text":"Computer aided verification. 26th international conference, CAV 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 18--22, 2014. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2248020$F0982672-C1EE-4FCC-8D6B-154A6DDF89B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a24481214d8a7311c4dbc2fcad87f100cf1ac249","datavalue":{"value":"1293.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248020$43CC8278-2A40-4835-87AF-3D904BDBD6C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c17b1bf82662d86eadf7ae74924c6b7565b93c1c","datavalue":{"value":"10.1007/978-3-319-08867-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248020$5F58B53F-57E2-466B-8047-9565E00827C2","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":"Q2248020$1583C5FE-C4F8-4B88-B806-427A2AA72F03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"117a9f146c2b43e9cf22c7fca681da0aad1e0ba1","datavalue":{"value":{"time":"+2014-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2248020$ECA86A9F-6462-4582-8E15-EFC8432B944E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248020$3B94D4E1-6DF4-46B0-AE73-DDB8D700661A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248020$A9E98947-9D40-48ED-80EB-0CF6001C570D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248020$428EFC7C-DBCD-463D-846A-D5DB2AE398F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f593d463a28cc39766c884d229625e52a5d07a6a","datavalue":{"value":"6309916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248020$E5E58574-8E6C-4EB3-AE31-2C9E1AE648B2","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":"Q2248020$B85A50EF-69A2-44C1-84FB-62A648576979","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38e45f724934c2d6c1f8fe97bc61b2b3b679c301","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08867-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2248020$C17784CA-1D55-4A29-BDE8-17500F44BC3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76faabb336faf586279b64234509c904a945bd41","datavalue":{"value":"W2498950568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248020$451080FF-994F-41D9-B907-2DC00BF19407","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer aided verification. 26th international conference, CAV 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 18--22, 2014. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_aided_verification._26th_international_conference,_CAV_2014,_held_as_part_of_the_Vienna_summer_of_logic,_VSL_2014,_Vienna,_Austria,_July_18--22,_2014._Proceedings"}}}}}