{"entities":{"Q3557669":{"pageid":5587573,"ns":120,"title":"Item:Q3557669","lastrevid":50965196,"modified":"2026-01-15T23:26:56Z","type":"item","id":"Q3557669","labels":{"en":{"language":"en","value":"The abstract state machines method for high-level system design and analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5700674"}},"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":"Q3557669$211A663B-C06F-47F1-92BA-0F6C5EB6D7F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33ebfbf93a3ee47d485d8136c9d243ef97249221","datavalue":{"value":{"text":"The Abstract State Machines Method for High-Level System Design and Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557669$5C4D148D-3A79-43E5-8C4C-E24013C9E2F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a37bfbbc0183a17a0a4034ec9ed2b6ed508a1fe","datavalue":{"value":"1189.93006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557669$E701A488-7369-46C9-8E98-F9B94CA48022","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a6bfb8254c0d6434fa492ea8d01c096d237224b","datavalue":{"value":"10.1007/978-1-84882-736-3_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557669$3F725A4B-A083-42C8-96BA-C48C1CB1E4DD","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":"Q3557669$A9B13062-2A3F-4C3E-AD73-AE37EC329695","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5f4f054f6d24a4b22fc19db733734a6aeab151e","datavalue":{"value":{"entity-type":"item","numeric-id":3557666,"id":"Q3557666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557669$7994E0D6-B152-4A3E-A715-032080038348","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61499de60b4472161f22a83fc07a7ebb72c37d7a","datavalue":{"value":{"time":"+2010-04-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":"Q3557669$EA9AFD4D-8346-4610-8DC1-3662CE2FE4BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f4ce24ea798cb24d40f7f7b071db8f0491546ad5","datavalue":{"value":"93A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557669$930F2149-CFD2-47C1-AF72-AC79B10A7D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557669$00A8EF72-5DC7-4775-ABCD-D75549F7E21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557669$02B10029-C6EE-4136-B2BC-F7641D51ECE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557669$E4FDFA98-3650-4AE3-A607-EE7EA25A5B7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"816b49c4e9a516354aebf0478e7f2507f8230193","datavalue":{"value":"5700674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557669$007AFE30-1F47-4D6E-B596-950F2F6C9EE2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e512dc39995f2ce968725461f7500073f6e4eef","datavalue":{"value":{"entity-type":"item","numeric-id":14485,"id":"Q14485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557669$079730BA-0B01-45EE-8D7F-961F14E3B420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3718edb975c3596bc92f228f175c98e4848ca06d","datavalue":{"value":{"entity-type":"item","numeric-id":16996,"id":"Q16996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557669$FD3F5221-BFBE-4E18-9E19-9C318F537BB0","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":"Q3557669$33BEB0F3-5E10-4110-A616-C16EC81502DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e903481cea08d1b013f7ae31353d2c2c93c4271","datavalue":{"value":"https://doi.org/10.1007/978-1-84882-736-3_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557669$948E2C62-14DF-406F-88CD-664DE70A5F7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f22c8f4c64941c204e90d89acd9fcb206487e7d6","datavalue":{"value":"W2291134631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557669$C0155F54-2D8D-497A-86C0-9E1D46F17DE8","rank":"normal"}],"P1643":[{"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":"569e84af59943933bc763388859a25847796d37f","datavalue":{"value":{"amount":"+0.9065049886703492","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":"Q3557669$5BC26CE1-9245-4F82-A54C-F134A889A30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b8a9fd4795f3a9c01ba5a2eb51b8fbed59d0e7e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99cf72d30dd7b1d5c0d70a42e2e1a08c4dc44ea4","datavalue":{"value":{"amount":"+0.8876239061355591","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":"Q3557669$4CEE02B0-94CD-4372-8042-D782BE2594F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d5de1c782820ce276c86a705ca5db36e638d69","datavalue":{"value":{"entity-type":"item","numeric-id":2753719,"id":"Q2753719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de3474deb126a8f2af7fa3b723e8d6217be19773","datavalue":{"value":{"amount":"+0.8250076174736023","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":"Q3557669$E5EC606F-AAAA-43BF-8ED6-3071F4215106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19b1075ccf2d7ea292d196dc4831843b25c595dd","datavalue":{"value":{"entity-type":"item","numeric-id":706516,"id":"Q706516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdca9d94114f5a2ec2408bc6572b0c452a1695ba","datavalue":{"value":{"amount":"+0.8120874166488647","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":"Q3557669$1A717DAD-E9EA-415E-AA4F-5B0A821F4712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"575c7998c4834ccdee3a00302c420da471696eea","datavalue":{"value":{"entity-type":"item","numeric-id":2753698,"id":"Q2753698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c0f08ea1f9608dde2dde04c0809f80d54cb520","datavalue":{"value":{"amount":"+0.7974658608436584","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":"Q3557669$2BC35073-7D5C-452D-A39A-D05CB9047FD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3557669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3557669"}}}}}