{"entities":{"Q1957657":{"pageid":1968399,"ns":120,"title":"Item:Q1957657","lastrevid":43445967,"modified":"2025-07-25T22:25:37Z","type":"item","id":"Q1957657","labels":{"en":{"language":"en","value":"Automated technology for verification and analysis. 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5791783"}},"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":"Q1957657$A951E80A-00CB-4AD7-8754-68509493D6DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b64489df302b1688dd20aeed37236c652e90a90","datavalue":{"value":{"text":"Automated technology for verification and analysis. 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1957657$D30106E7-A585-49AF-B288-3FD9A6A4DE96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4aee770eecb49fd63126ccf4eaf8e1f130504a44","datavalue":{"value":"1196.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1957657$0B2DF141-97BF-4A88-AEB1-122B595BFE67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7744092eabd674b046d9ceee29a88af08f1063cc","datavalue":{"value":"10.1007/978-3-642-15643-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1957657$E519252F-A226-4776-B064-D253F7BB6E53","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":"Q1957657$A675A3A2-C1B1-4F90-ADD1-56FBDD971CF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5444e060771a0e5b57775f14933068325de02c89","datavalue":{"value":{"time":"+2010-09-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":"Q1957657$25C0C873-D1FC-4A98-B3DC-DD800B3DFC0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1957657$1EBAE2D0-71AB-4548-9E1A-356869D7CCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1957657$3AD8F708-03F2-406D-AC1C-B43F5DEC0948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1957657$453804A2-790D-44EA-B582-D0BD3E00EE7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68bfdece10560bf25db5b475d42add32ba6f8ff3","datavalue":{"value":"5791783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1957657$791BCE71-1277-4983-AE28-28FA102B642E","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":"Q1957657$AA38744E-AB45-4083-AA1C-8BF1EB4BC24D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19b8acb039b9c1556865f633d9bb98c9e3efce16","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15643-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1957657$F6AB3E2F-7EF5-4295-AC4A-23D345F13A84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f0e5417bae43d608dd0cc0d9f116e527a32fbe8","datavalue":{"value":"W14365260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1957657$815C9406-1C06-40DA-86E1-44D8AD2E8B1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1957657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1957657"}}}}}