{"entities":{"Q1637915":{"pageid":1648656,"ns":120,"title":"Item:Q1637915","lastrevid":71046207,"modified":"2026-04-13T19:07:38Z","type":"item","id":"Q1637915","labels":{"en":{"language":"en","value":"Abstract state machines, Alloy, B, TLA, VDM, and Z. 6th international conference, ABZ 2018, Southampton, UK, June 5--8, 2018. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6883341"}},"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":"Q1637915$4779B664-B7A7-4FB5-8904-C54B6CFFA740","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"459cf3b6bffd25d7148af1f6fa089190fd409c8a","datavalue":{"value":{"text":"Abstract state machines, Alloy, B, TLA, VDM, and Z. 6th international conference, ABZ 2018, Southampton, UK, June 5--8, 2018. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1637915$C679A880-7632-4D82-9ACF-1BE3749A1CE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3a1f9337807c58185fb9fbea210a5d8dbd22ddf","datavalue":{"value":"1387.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1637915$C9621FCF-4958-4D42-A2D7-4B740FDADE93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"105c13ae79a26fe655ac839a7f6b92222189ecd8","datavalue":{"value":"10.1007/978-3-319-91271-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1637915$87B73E6D-4174-4D56-BEEF-D554D62D31C0","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":"Q1637915$6038DB9D-AF8F-4CAF-AAD9-826BDE6FE087","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11e97b32b3665ec78543a9e7f3315c48e36595f9","datavalue":{"value":{"time":"+2018-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1637915$897F4A8F-1DB1-4217-9805-24F89D3445A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1637915$0FD2CF96-15D6-41FF-8AAE-CD516D28A5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1637915$39F06582-0F33-4721-A8F5-44C0C47DEE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1637915$4F6EEF13-59B0-4909-937F-F82DDB205ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1637915$2D373C2F-70A7-43D0-851C-F98021C49E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1637915$83CB0A29-FEDF-4985-BA52-A3CB5DE7F18D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b28d229cfed3dc88939d7f3a9c2930c149cb0914","datavalue":{"value":"6883341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1637915$E0163042-D13F-4A73-8215-E19EF1D9EC15","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":"Q1637915$78380B09-0072-4068-BFB5-F5615969777A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ff7204402dfb4c74a0870d5464b9f44c02b69d0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-91271-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1637915$D74BE66F-F65C-4B69-8752-63F902DB729C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18d8d0027e670e7b1278ccf25b49b2d5235dd96e","datavalue":{"value":"W4254747767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1637915$792EFA2A-F8ED-43FE-B4D1-A8267D55A712","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract state machines, Alloy, B, TLA, VDM, and Z. 6th international conference, ABZ 2018, Southampton, UK, June 5--8, 2018. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_state_machines,_Alloy,_B,_TLA,_VDM,_and_Z._6th_international_conference,_ABZ_2018,_Southampton,_UK,_June_5--8,_2018._Proceedings"}}}}}