{"entities":{"Q903555":{"pageid":905403,"ns":120,"title":"Item:Q903555","lastrevid":65257626,"modified":"2026-04-12T01:21:22Z","type":"item","id":"Q903555","labels":{"en":{"language":"en","value":"Software engineering and formal methods. SEFM 2015 collocated workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7--8, 2015. Revised selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6530383"}},"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":"Q903555$D8B5806B-EAE3-4DCD-BFE6-3B07BE1547D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"976278716e1b4876b9efc500aaa5e5d15518812f","datavalue":{"value":{"text":"Software engineering and formal methods. SEFM 2015 collocated workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7--8, 2015. Revised selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q903555$20501BC4-20BE-4364-AE6E-DFE67CBC6D70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c52d83253d3dc494571856d9d6f5b56506b83673","datavalue":{"value":"1460.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903555$D40970BF-696F-4475-BFF2-2DE2760598FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"560d9d455e926f8c072aba0f8a3949428eea4873","datavalue":{"value":"10.1007/978-3-662-49224-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903555$5894FA90-166D-4D62-AA4F-C2E52CBE471F","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":"Q903555$151C6995-4008-4FD4-A77F-701AF228550E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af8734646d375c9ed0a45a0653e2a13055a52830","datavalue":{"value":{"time":"+2016-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q903555$D1B9152F-4FE7-4829-8578-4C133B4C0A62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903555$C429BCDA-1746-4625-B5FC-28A0A2BEA57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903555$A7999A6D-0A4F-4BAC-8C25-126F666815F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903555$59D20830-2B9F-4B7B-A325-7D4DBFD3A6AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72354a5078b929eccca0230c6df5c1b221eefdf4","datavalue":{"value":"6530383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903555$4AB2CEFD-B248-4C23-868A-375F65EF24A3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"995078b64a3b51d0b4a9c884fd4c0488a22662b0","datavalue":{"value":"Q124326885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903555$D413325C-BD36-445F-B003-DF639BBB3815","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":"Q903555$6BEA12C2-FDEC-4176-8B6C-72266EABB175","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30b0df779bb56fe0e33df17f552551bb26b938b9","datavalue":{"value":"https://doi.org/10.1007/978-3-662-49224-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q903555$976BD315-E4F3-44F7-8F2E-06956F3A9967","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"389542b559644393b64b3a32e9405f84f99c4691","datavalue":{"value":"W4292893494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903555$E902E8E1-1C1A-4221-A152-618339DFCD0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Software engineering and formal methods. SEFM 2015 collocated workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7--8, 2015. Revised selected papers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Software_engineering_and_formal_methods._SEFM_2015_collocated_workshops:_ATSE,_HOFM,_MoKMaSD,_and_VERY*SCART,_York,_UK,_September_7--8,_2015._Revised_selected_papers"}}}}}