{"entities":{"Q6070478":{"pageid":13204786,"ns":120,"title":"Item:Q6070478","lastrevid":37119255,"modified":"2024-07-30T08:38:47Z","type":"item","id":"Q6070478","labels":{"en":{"language":"en","value":"Computer aided verification. 9th international conference, CAV'97, Haifa, Israel, June 22--25, 1997. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7768615"}},"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":"Q6070478$E616C1BD-4D19-4E34-A272-2CFDFFE88437","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1161906adcf29b842c3952625501223a5bf4a704","datavalue":{"value":{"text":"Computer aided verification. 9th international conference, CAV'97, Haifa, Israel, June 22--25, 1997. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6070478$D45AA697-979A-4613-8788-EC2AC33D02CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab88b2b4e74cf230ce650a328ca6faaad53cf683","datavalue":{"value":"1524.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070478$AA4E5276-9AAE-4ECD-A0A5-7C0200192A7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61852000c1e1ca2cad67a527dc47c90d9683b780","datavalue":{"value":"10.1007/3-540-63166-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070478$23181891-5D04-4FD2-9B92-2FE8A831C5CD","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":"Q6070478$9E41B039-3261-4183-9F37-9E5F4445C1FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8af93f984a4a37d58c6f4dedd45b0ad498f90539","datavalue":{"value":{"time":"+2023-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6070478$66261039-4AA0-4FF4-BF6D-E7EC8D0655D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070478$4A59FE39-E87F-4B52-9519-289539308638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070478$EAB23FF9-C3CC-442B-9DA1-5EDA9761011B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070478$2CF8304B-DD4A-47AA-8128-F214B949C9EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5838b50877684ebe882772c15f9dfc7b947c5fb","datavalue":{"value":"7768615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070478$72DB1CD0-2ACF-4AA7-A39A-CFFECE10F21F","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":"Q6070478$539CA0B9-78C0-40CA-9105-BEAA25E4015F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3368915751d09884710d067398085547a42ac72","datavalue":{"value":"https://doi.org/10.1007/3-540-63166-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q6070478$CED88682-12AC-403B-B7F4-7473A6CBBF36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc40a33e7534bbfc4b33940d080ab5a699902182","datavalue":{"value":"W3148872913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070478$2F88D1B4-62B4-449B-AD29-4473AAEE99C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6070478","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6070478"}}}}}