{"entities":{"Q848136":{"pageid":849984,"ns":120,"title":"Item:Q848136","lastrevid":64863528,"modified":"2026-04-11T22:44:09Z","type":"item","id":"Q848136","labels":{"en":{"language":"en","value":"Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22--25, 2010. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5673933"}},"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":"Q848136$F98BDCED-4666-494C-85C5-16D14A188D1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"982752214234d17ce0539810b1a59dca950e8500","datavalue":{"value":{"text":"Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22--25, 2010. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q848136$921CD0C7-A579-4D57-992C-B7146D6BA373","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab96e1b98c33e436d61873fe60394d2b91a812bd","datavalue":{"value":"1181.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848136$B6C7D109-C10C-4BD0-8021-AE68B8602722","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b9f146b4509f555f3d7bdc9bf90b842d76fc13c","datavalue":{"value":"10.1007/978-3-642-11811-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848136$1D08C4F2-2400-4246-A7DD-885298068DF6","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":"Q848136$6AE3352A-494D-4878-9DCB-E0E347BFCC5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24e3170ae1d6bebbc96609d601d5472b321e57f1","datavalue":{"value":{"time":"+2010-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q848136$DA364585-D4C7-4B8E-B27B-EBB3BB67C33B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848136$D8EA5895-62CF-4E2C-9B99-39892629CFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848136$55CB6E78-6669-452D-B223-9F0A519099D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848136$9CC4B6A6-604F-47F3-9A2F-053D07A051E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36f2ac05b6a2da26f5d81bbffc1f9b4d59f1b104","datavalue":{"value":"5673933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848136$372BD1BB-20A4-45CC-92C6-BD73004FEEF5","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":"Q848136$758971D9-42F4-44E5-8002-916CA514C3EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b815defba783a3b31b465f1047085cfc88dfb5d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11811-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q848136$E05D3AF7-0A2D-4C4C-AB16-FDEF8B5730B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2319b923f5c60b287b34f8cc787efb72d96bdd72","datavalue":{"value":"W2497674850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848136$16D82C0F-3D35-480A-92F9-CE83816BC980","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22--25, 2010. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_state_machines,_Alloy,_B_and_Z._Second_international_conference,_ABZ_2010,_Orford,_QC,_Canada,_February_22--25,_2010._Proceedings"}}}}}