{"entities":{"Q283648":{"pageid":285415,"ns":120,"title":"Item:Q283648","lastrevid":42319966,"modified":"2025-06-05T14:53:27Z","type":"item","id":"Q283648","labels":{"en":{"language":"en","value":"Abstract state machines, Alloy, B, TLA, VDM, and Z. 5th international conference, ABZ 2016, Linz, Austria, May 23--27, 2016. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580793"}},"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":"Q283648$94C295BC-CD4A-4630-92CB-9C57493362C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1962a4f8df9851e3cfb9d195abb8109f2375d5c0","datavalue":{"value":{"text":"Abstract state machines, Alloy, B, TLA, VDM, and Z. 5th international conference, ABZ 2016, Linz, Austria, May 23--27, 2016. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283648$EF3E05BD-129C-464E-ACA3-D30E8EEDB25B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf5e5023741f27bddf99b5ae723196012fb2cc62","datavalue":{"value":"1337.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283648$75389619-9EF8-4F55-B542-E88ACA60DFCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"407de1859d9a16caad111a7232caa5fbfba622e0","datavalue":{"value":"10.1007/978-3-319-33600-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283648$4C88FD71-A680-45E8-A8DE-099A7290AB37","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":"Q283648$71C6B03F-8B8C-4CD7-AB73-E782571E68E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q283648$52E08DDB-4322-4713-934C-461B21F9F949","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283648$A9493FF1-0A24-4509-94F0-37767247B303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283648$0538A492-EBAE-4849-8C9F-C888BB09BB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283648$437F5A01-DC3B-4470-85AA-41311127D998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283648$0A52E026-27E4-4712-B51D-B4D458C6DE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283648$C058B2F3-677D-49AF-B1F0-192539A3F555","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"261bc8e658ad42eb7b88a9a4828f1ed61f1e8f72","datavalue":{"value":"6580793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283648$81686D4B-435D-4795-B50E-222F13712E4D","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":"Q283648$577BA39A-FE59-4272-BE07-D54CD7B04E91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66071fc7961664a82c208c96cf8686170a375160","datavalue":{"value":"https://doi.org/10.1007/978-3-319-33600-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q283648$596DDF5E-B096-4EDB-94C1-157AF8633332","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b57bba578180aad9615e27da8f161674e907eb4","datavalue":{"value":"W3215418130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283648$87759906-F2A3-43A2-9ADF-4F8B04FF2EB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:283648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:283648"}}}}}