{"entities":{"Q1772776":{"pageid":1783518,"ns":120,"title":"Item:Q1772776","lastrevid":68920467,"modified":"2026-04-13T03:07:12Z","type":"item","id":"Q1772776","labels":{"en":{"language":"en","value":"Abstract state machines: a unifying view of models of computation and of system design frameworks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2160245"}},"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":"Q1772776$D3069CA0-FC8D-4662-85A3-9FE42265B3C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29a93d54c1afc6871673c0978fac375dfaf3d667","datavalue":{"value":{"text":"Abstract state machines: a unifying view of models of computation and of system design frameworks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1772776$FA250E6D-0731-4F9B-82D3-DC0AC018B3C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd56822319017b8a235051f65958314bee4f7dbf","datavalue":{"value":"1066.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772776$3048EF34-A319-466D-89FE-B4C4021CD220","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00c4782e45b26bef58dbebc0beb0d7cb311ad83","datavalue":{"value":{"entity-type":"item","numeric-id":204637,"id":"Q204637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$E633D6A0-7F3E-4AF8-8686-C4767178F797","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$8D66D4A7-3871-4C95-BA2D-35FBD26F1628","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7ac129396c8451784f7291bf0c9d0937a6cf439","datavalue":{"value":{"time":"+2005-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1772776$CB0788AF-7535-43B4-9A02-BA3EE8EE891C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772776$D66ABA0E-EECE-4D8D-89F3-3996836008B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772776$40A90177-8A23-4245-AC62-0CD51EFBB343","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"819a27656ce89cdc88da5f887b74418cfa03cef1","datavalue":{"value":"2160245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772776$EDDBA2F9-E99D-4F05-9605-F31919079997","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fe1e8f676040b787c7abd649c68d227da93e5c2","datavalue":{"value":"models of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772776$39466C5C-43AC-4F2D-8A6F-EFC4EEF79F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023ce57622b1ab8764711a9bfbdafc710962cfef","datavalue":{"value":"computation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772776$7018CB00-267A-45EE-A495-6BF3976F14AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$E5DA68A3-ED59-4583-95A3-303E66ABACEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$C1261C54-CDD2-4F0C-9410-D51A65E90BA8","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":"Q1772776$87672F5C-CC9C-4B60-8388-EBADED26FA2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"367f12d935c657caf95e189343cc9e5f3b3393e4","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.10.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1772776$8A99117D-4065-4BEC-B752-B4921070B187","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"257f7e153ed42d2691ba51e2a62226bcc3490818","datavalue":{"value":"W1999884249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772776$F488FA15-054C-40DE-8EAA-6332E3438B31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$1D30C73F-98F2-4B56-BB53-56DF7CDEA833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2187b3cfe358f4e6496268468f35a9cfaf91036f","datavalue":{"value":{"entity-type":"item","numeric-id":4364529,"id":"Q4364529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$13905EDF-93A6-446A-9961-866DB7792FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$0899E6F0-8C6C-4853-B67F-C1DD0FF39477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed03b35ae488f421583ed51bd3c631c9db452d44","datavalue":{"value":{"entity-type":"item","numeric-id":1816918,"id":"Q1816918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$A5043022-EB61-4A49-8302-4868D8328848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0892a679b5d2dd052919f376ed0cb31c6edf5202","datavalue":{"value":{"entity-type":"item","numeric-id":1815343,"id":"Q1815343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$F25FC63A-C231-4907-BB5A-36D89FF1D950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec46a7633ce86d7c1e2bece78377f8d3dcdd857","datavalue":{"value":{"entity-type":"item","numeric-id":5522202,"id":"Q5522202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$ADFE7451-FB95-4434-8D76-6B1399354AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa2e67fcad17abb9ea57283cc92e963eb00da12","datavalue":{"value":{"entity-type":"item","numeric-id":4413669,"id":"Q4413669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$5844D63B-8BE7-4025-BDF9-38F442F026FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1477c95b36c3b114f8ee0eff92c86db1f1dd27c9","datavalue":{"value":{"entity-type":"item","numeric-id":1187648,"id":"Q1187648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$D7EDE1EB-B67C-4F18-812C-23052361F9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00747b7d5f3ebf75431b233a6b2e68e3d93d5a7","datavalue":{"value":{"entity-type":"item","numeric-id":4413680,"id":"Q4413680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$7BE2ED73-52AE-45D9-B1DD-D750C669945A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80536a6c4d7f535a1dcfc23142b1431bdf463243","datavalue":{"value":{"entity-type":"item","numeric-id":1899138,"id":"Q1899138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$3D58834E-706C-4C83-A2C6-C0FD64C5D9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce85ed64aa6e3bb3be37240176665ec5968eccf2","datavalue":{"value":{"entity-type":"item","numeric-id":4839029,"id":"Q4839029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$E1BF6C8C-EC0C-47E7-B0E1-43C4B531A880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0608535261e0e0a3d9846ea49482ee967e6441","datavalue":{"value":{"entity-type":"item","numeric-id":4873989,"id":"Q4873989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$F92CEE20-E7A8-41BA-AEE9-F1D3A313A34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02255c7569a65108facc7ff2d5bebfa15cfb3973","datavalue":{"value":{"entity-type":"item","numeric-id":2753665,"id":"Q2753665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$4B10E38F-AF26-4F5C-B24F-87CFCEEA0B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$FC566F08-88F2-4961-A8E7-E62CC1719611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$2D6DFBB5-60D9-4227-90F6-7E6B88718BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3d5664adc1b1f5cba654194552f48c0147885d7","datavalue":{"value":{"entity-type":"item","numeric-id":4510371,"id":"Q4510371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$1EAF2F4C-03EF-4D23-BEF5-AC08E97A4F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed32be8eebfa939344026e8c9cb301f260248e08","datavalue":{"value":{"entity-type":"item","numeric-id":5548674,"id":"Q5548674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$94BA037D-52E7-4BE4-8BE0-AA1F6622FCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$8D911F5F-1E3E-447B-9F36-945ECCC9AB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d77954a2c9b74f49f0128f3afa4145078732c94","datavalue":{"value":{"entity-type":"item","numeric-id":5287557,"id":"Q5287557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$9EDE9D23-CE8B-4C93-ACBC-0F50E83DE997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74cd922108894f4ad6150b97900844ca59fd397","datavalue":{"value":{"entity-type":"item","numeric-id":3405587,"id":"Q3405587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$B3F22A60-27D5-4F94-8C03-27E109541DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"962581ad06c70a50554157d0fdd19356472de9ab","datavalue":{"value":{"entity-type":"item","numeric-id":4413682,"id":"Q4413682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$F4FBBE26-41A2-45DD-B5F0-08D0DFD16DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$3A7F5531-7EED-46FA-889E-F4A60B33649B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092c87bd385bdffab3efa74e7021155389be7050","datavalue":{"value":{"entity-type":"item","numeric-id":5738899,"id":"Q5738899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$74AD29B5-DB0D-4F87-BDD3-9F8DA4221604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405566ae834e656f6e70245d9102b65508976eba","datavalue":{"value":{"entity-type":"item","numeric-id":4520494,"id":"Q4520494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$9DD5A291-237B-46E0-838C-AA4410B59A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59db72b93439521ae3cd41e3ca971f5415b36847","datavalue":{"value":{"entity-type":"item","numeric-id":2762147,"id":"Q2762147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$1C80AB91-D9CC-4B37-93B1-0F140E9FD849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13587f82224ebc2d5c8a0e1f19ddb3b39ae07a02","datavalue":{"value":{"entity-type":"item","numeric-id":4372017,"id":"Q4372017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$62D5623B-4887-45A3-A115-F2B22328FE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f87ba3e7740ae6776edfd60ece7f44323e97f","datavalue":{"value":{"entity-type":"item","numeric-id":2529464,"id":"Q2529464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$332C7ADA-6259-43B0-B3F5-D30392A345E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$31E1413A-C2DE-436F-B480-4B944D9DB08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772776$3B17B475-9E90-474F-8003-C3AE306B5261","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"521afbfccfc60d13ad3de25e7ec8ee59dd24c04b","datavalue":{"value":"10.1016/J.APAL.2004.10.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772776$4319BBC4-13C0-4B4E-AA69-C5D92850A48E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3beb50c84c9889cfc98314786e87098ead01f895","datavalue":{"value":{"entity-type":"item","numeric-id":4680195,"id":"Q4680195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3a1d4bf74ddc2ccccceb456c561ed604786612","datavalue":{"value":{"amount":"+0.8137252330780029","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":"Q1772776$A2F7FEEC-A9B8-4E70-9DC8-5048C573869C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92480180b20204b980d74677954617388b1fb25c","datavalue":{"value":{"entity-type":"item","numeric-id":959826,"id":"Q959826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb50243ad07524c7a891516866d42e4cdfa9f6fa","datavalue":{"value":{"amount":"+0.8054181337356567","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":"Q1772776$D1BD211E-F533-4817-962F-012D6A121167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eea83c1865d421d14ff05a902d6c5804528fbe8","datavalue":{"value":{"entity-type":"item","numeric-id":3557669,"id":"Q3557669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a48f25a4cb011cb62d82bde2537371e033588e","datavalue":{"value":{"amount":"+0.7881773710250854","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":"Q1772776$F9AEEFA6-25FA-4CC8-9FD6-ABAA05DBEFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e44ac9cfd9ea0108bc6a6af531b7f8da56784b4","datavalue":{"value":{"entity-type":"item","numeric-id":3043795,"id":"Q3043795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93260418558631b3e8123c1b938666807ed681f8","datavalue":{"value":{"amount":"+0.7878054976463318","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":"Q1772776$600535C4-8C28-4E2B-9DB9-DA527859FA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f34cd923a466f281d4e61edba9de0373a3e770","datavalue":{"value":{"entity-type":"item","numeric-id":5267442,"id":"Q5267442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc5c61d40387701079f9cacb52efd50a840051b0","datavalue":{"value":{"amount":"+0.7820006012916565","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":"Q1772776$B394D76B-162A-4AA9-9183-FCE25F611CB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract state machines: a unifying view of models of computation and of system design frameworks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_state_machines:_a_unifying_view_of_models_of_computation_and_of_system_design_frameworks"}}}}}