{"entities":{"Q495913":{"pageid":497680,"ns":120,"title":"Item:Q495913","lastrevid":62276184,"modified":"2026-04-11T04:59:30Z","type":"item","id":"Q495913","labels":{"en":{"language":"en","value":"Web services and formal methods. 10th international workshop, WS-FM 2013, Beijing, China, August 2013. Revised selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6482520"}},"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":"Q495913$BBA2A528-0C0F-47E0-A43B-D80E66807EE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06f206b3f1014d4ed2f68cd26e60e08fa7157798","datavalue":{"value":{"text":"Web services and formal methods. 10th international workshop, WS-FM 2013, Beijing, China, August 2013. Revised selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q495913$20EA0A63-4E27-4669-83A9-08F293C5BBDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e68685b9f6b3931b5d1188b23365848609a47d0","datavalue":{"value":"1334.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495913$68B0D6DD-4E00-441C-93CE-3086D7EA3F71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd541e8161bfadda222a3cf59fbcbffa657ee260","datavalue":{"value":"10.1007/978-3-319-08260-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495913$354C7BF5-C08F-4980-834D-3610BF0054D6","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":"Q495913$1FCC44D4-E9AB-4BE2-A596-36AE7ADE4CB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e1f4c45c20efe387142809b033c238de6f0855d","datavalue":{"value":{"time":"+2015-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q495913$33AFFDA2-6CEB-4C94-AD86-1EB2121F8657","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495913$F091616C-45D8-48FA-A85A-FFCDB821DAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495913$086AB3DF-C632-4E75-917C-8F4BF93D7B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495913$23901B2B-5885-49C5-81E1-56B3D5CB4B40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5012bc731293ffbd404d7acb86c1d258dd161663","datavalue":{"value":"6482520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495913$B70120F0-DD09-4642-A34D-8B9BC5FA9CB2","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":"Q495913$494037F4-8E87-4496-A529-200A83295B30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c430ab0c54294be4e059ae64179041d1e0773802","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08260-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q495913$43E6060E-BA43-4F16-9DC9-EE038EC81278","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba973d8c39ce34d987e1b5fd26b36ac59465b66a","datavalue":{"value":"W2481633196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495913$F0BADBB1-0456-4882-88AB-604815658894","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Web services and formal methods. 10th international workshop, WS-FM 2013, Beijing, China, August 2013. Revised selected papers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Web_services_and_formal_methods._10th_international_workshop,_WS-FM_2013,_Beijing,_China,_August_2013._Revised_selected_papers"}}}}}