{"entities":{"Q1327708":{"pageid":1338458,"ns":120,"title":"Item:Q1327708","lastrevid":68840835,"modified":"2026-04-13T02:25:06Z","type":"item","id":"Q1327708","labels":{"en":{"language":"en","value":"CAV '94, Computer aided verification. 6th International Conference, Stanford, CA, USA, June 21--23, 1994. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 596460"}},"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":"Q1327708$FCF46E8C-41A8-4DA4-8CFB-5C2402887604","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b57cc42498c818cba4ba9079e0a067967b8b1546","datavalue":{"value":{"text":"CAV '94, Computer aided verification. 6th International Conference, Stanford, CA, USA, June 21--23, 1994. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1327708$0D98E436-2F42-481D-9734-B57EDAAC896E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4aa16612ae7388ae49bf85cb86a66f3f26dc71fd","datavalue":{"value":"0875.00094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327708$66F4FB77-013A-4109-8746-83BD0B0641B6","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":"Q1327708$D6F62E02-3AC9-4A6E-88A1-9A8F13547318","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56f49f0dce7aa3414ae51130ffc5f6f5df5ffbe6","datavalue":{"value":{"time":"+1994-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1327708$F70B9626-F761-4188-85DF-01FAC063E362","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c2004f46bd4ed882ef43c5259975f2a64a9de951","datavalue":{"value":"The articles of this volume will not be reviewed individually.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327708$701864D4-219C-4074-9D50-5D36FEB23D8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327708$C04CD0CE-F90A-4BD9-8025-DE1AA0FD3200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327708$45E1F520-9506-4D49-A236-A191F3969FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327708$78ADC2D0-9F50-43E6-8DFD-F42C18BBAA3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da12b84a335e7f874d43d99b958fae26202a3b83","datavalue":{"value":"596460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327708$86346609-015F-4806-8DF4-3BA434B3958F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6ea9bd6acc3ea02ba6d2de56c2ed545eb04bb9d","datavalue":{"value":"Stanford, CA (USA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327708$A059DB65-3D5F-45A4-A92E-DF73351405D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327708$A8035DED-CC0E-42C7-807D-A1FCAD685746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327708$0E53D1C6-D817-4D6D-A06C-B25838ABC2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d529d60df1a24095307bc5783f085638e486453a","datavalue":{"value":"CAV '94","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327708$8C32D29D-2433-40B2-9328-25C0666782DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500c88c1bc5c0c00c65d2b18e6d40cbf2ff385a8","datavalue":{"value":"Computer aided verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327708$01233E23-6554-468A-9037-62E627B60A5D","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":"Q1327708$AB58E15E-19F8-440C-9625-FDB1E194185A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CAV '94, Computer aided verification. 6th International Conference, Stanford, CA, USA, June 21--23, 1994. Proceedings","badges":[]}}}}}