{"entities":{"Q2763532":{"pageid":2774271,"ns":120,"title":"Item:Q2763532","lastrevid":47725501,"modified":"2026-01-02T13:16:15Z","type":"item","id":"Q2763532","labels":{"en":{"language":"en","value":"The ASM workbench. A tool environment for computer-aided analysis and validation of abstract state machine models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1692392"}},"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":"Q2763532$2E95B8A8-F67F-4A58-A970-089C159F1296","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d5aaf00967b725ba8376d13535f540e24471b4b","datavalue":{"value":"0982.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763532$6CFED368-9172-44CC-AD7B-D4255FA5F9AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3c3bf521d3450c7daed2d86f4b67964e18ea471","datavalue":{"value":{"entity-type":"item","numeric-id":2723324,"id":"Q2723324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763532$678BBEC0-B99D-419C-A7DB-7734733CB650","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"080c83eba9d0aaada8ba639fd9ece6b56cd533cc","datavalue":{"value":{"time":"+2002-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2763532$E5E4D6DD-05CA-4290-82AB-8A4E2C40B151","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763532$E41DA864-5005-4BA0-AB1F-979B116A6633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763532$2601C4C5-6187-49D1-858A-ED48194F97E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ca5a6aeffb49465918328d8257a937ad8a447f2","datavalue":{"value":"1692392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763532$71F16C67-B01E-4FD7-9D43-F3FD31C7F534","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fc5a5e329f71a662e4cee86267a898b82c9eef0","datavalue":{"value":"ASM-SL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763532$0731EA86-286A-4AE4-BD82-38AD43FABE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0f420eed1ce04eb1a83ec516d8ab0dce461f88","datavalue":{"value":"ASM Workbench","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763532$990F446D-56B7-4765-ADE4-9BAF8F3E6B7A","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":"Q2763532$F83BD0BA-3CD4-4B56-9995-5AD0228A4A7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6a7730365a8a463fb78f11ae0beaff4ff3489c2","datavalue":{"value":{"text":"The ASM workbench. A tool environment for computer-aided analysis and validation of abstract state machine models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2763532$2A973ADF-F71D-47A0-BAC3-24DDC0AC012E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1583a6944720ba244e2468438b338a9b60139294","datavalue":{"value":{"entity-type":"item","numeric-id":2769619,"id":"Q2769619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b6992fa5b2ab5332412d26b4e72a06224e6031","datavalue":{"value":{"amount":"+0.8700647950172424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763532$4C63B4BF-9ED3-4BD7-90FA-EC7590657ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126ecfcfa34a83140dce7f28d10657a623ffbf50","datavalue":{"value":{"entity-type":"item","numeric-id":4518903,"id":"Q4518903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6da5f98c3c63cdfa723f2b869b067c3f17bd84d","datavalue":{"value":{"amount":"+0.8289670348167419","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763532$E11A5919-0CEB-4E51-9AF9-EF2E981A41C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d819ee81327e6cab1ddb9fc037f6ce1bc920606","datavalue":{"value":{"entity-type":"item","numeric-id":5491904,"id":"Q5491904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b4a7de0d8527bb45d3d6b254b7394b746037b3","datavalue":{"value":{"amount":"+0.7736999988555908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763532$6F8D8105-3B46-4604-8840-25F04202D795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0f324e2aa27ee610b1b9f76442ae9a583311d7","datavalue":{"value":{"entity-type":"item","numeric-id":2753703,"id":"Q2753703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4501b24d9ed6ac6eaa31a6624485c8fa51ddee81","datavalue":{"value":{"amount":"+0.7696320414543152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763532$1B9FF84B-998A-41CF-9FAA-19EE6B1837AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d54d7b4bc61c9edbb7661a4a7f6f24621aa9f23","datavalue":{"value":{"entity-type":"item","numeric-id":2753717,"id":"Q2753717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa1ffc9d48b57290b3db91467e78e2a6e90c61c","datavalue":{"value":{"amount":"+0.768886387348175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763532$FB4A2536-3AB1-4A68-88E3-442F91F364E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2763532","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2763532"}}}}}