{"entities":{"Q494715":{"pageid":496482,"ns":120,"title":"Item:Q494715","lastrevid":42555005,"modified":"2025-07-03T08:27:00Z","type":"item","id":"Q494715","labels":{"en":{"language":"en","value":"Software engineering and formal methods. 13th international conference, SEFM 2015, York, UK, September 7--11, 2015. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6477570"}},"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":"Q494715$8BCC0CA4-07D9-43D2-BC17-E4A3A14B2CCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf36da4a2f29803d00a03b84ba70d4992ba6258d","datavalue":{"value":{"text":"Software engineering and formal methods. 13th international conference, SEFM 2015, York, UK, September 7--11, 2015. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q494715$C9FD1476-328A-47D3-BDFB-8678AD3132BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5ab979bf2c1d967e954ccbb4f47a1ce8c9e082e","datavalue":{"value":"1346.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494715$D64A4B6B-6988-4422-98CA-4C7D380DA01C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6e7ceab1679ff24c976bcfcecf22803cf395eb2","datavalue":{"value":"10.1007/978-3-319-22969-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494715$A8DC0970-C537-45C8-9C61-3FE5B11B303E","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":"Q494715$05F151FA-AF43-4318-9DC9-6F5EC7BB4F02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40d5f4396d0a9671f73be1c1620cf2c8aa596700","datavalue":{"value":{"time":"+2015-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q494715$E69D782C-A4FF-4EA5-8DB1-F10073FF5E18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494715$2C226621-C3A5-488F-B175-4D632226CF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494715$DBA7C093-B8AC-4FF2-9479-2D59DA1F41CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494715$4E1B9E84-239D-4FD3-9F64-CF6E47325619","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b105a473f27773831236215e6b837cbb6137c9e3","datavalue":{"value":"6477570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494715$66A8A2D5-537C-47D1-8AD6-5F7553AE3B77","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":"Q494715$71D57249-A589-467B-8645-6EB6E2833019","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc68fd86d9d1ff6af5c6dbff30f600a58762dc16","datavalue":{"value":"https://doi.org/10.1007/978-3-319-22969-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q494715$5520E7A3-3CA3-4270-A1E0-C47A76244C79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13553ee59bba6cef457e0a04b02acefd698cc28d","datavalue":{"value":"W2519250833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494715$29B4FF43-9060-4478-955B-D9D867A35CAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:494715","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:494715"}}}}}