{"entities":{"Q3543310":{"pageid":5573214,"ns":120,"title":"Item:Q3543310","lastrevid":50514803,"modified":"2026-01-14T06:25:14Z","type":"item","id":"Q3543310","labels":{"en":{"language":"en","value":"Assembly Code Analysis Using Stochastic Process Algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5376792"}},"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":"Q3543310$ED0976F1-7DD6-4E99-A057-6C99D28CF8A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39cbc039c7214cb765c6cff205a89fc7fe1bd9e1","datavalue":{"value":{"text":"Assembly Code Analysis Using Stochastic Process Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3543310$C2FD630F-1A13-4E68-8440-296929FE76EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2cdc03aa08f5a1ae01106106b0216d40c0e05cd","datavalue":{"value":"1180.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543310$3AECA833-1EC7-4C0D-A42A-2CC23D3A5307","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ceaab3073796c55ed212135613808dcc096ffb82","datavalue":{"value":"10.1007/978-3-540-87412-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543310$D56B1934-F2A1-4CA1-9627-87007D9BB98C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97c69798f6610d2ce06e9c4740a3660b3e119596","datavalue":{"value":{"entity-type":"item","numeric-id":3543309,"id":"Q3543309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543310$FBC535E8-A49F-4D1C-B0E0-631EAA8559D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e5cd80fd23496a120004c8ae19bfc3d637df4a2","datavalue":{"value":{"entity-type":"item","numeric-id":877151,"id":"Q877151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543310$246866B6-C671-4595-9AFE-A04AF31AF506","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ec76c960b67cba9a4a1a8e12e4ac857155b8a1e1","datavalue":{"value":{"entity-type":"item","numeric-id":3543306,"id":"Q3543306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543310$2E42CEA8-E72B-4BCA-9316-68F94255B0AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7e93f8d3c28f11b076aa7adf47edebc135f21d9","datavalue":{"value":{"time":"+2008-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3543310$A022708A-D1C8-4CA0-8FB6-8CAD90F924AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543310$EC7C60D6-F8AF-48D0-B823-4FF4F8E8ED9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543310$866EAE50-1ACF-46D0-81F8-097623A4CA7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"620523d418b962b66b403850f4ab3419e59ed9e9","datavalue":{"value":"5376792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543310$DBAA00CF-D676-4414-BF09-1A1BBA824CB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32ad18e7b7f4ee02a7459e31dc681f382a6a93ac","datavalue":{"value":"assembly code","type":"string"},"datatype":"string"},"type":"statement","id":"Q3543310$F8E748CB-86CA-47B6-A5AA-EF6E346033BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b771aa882ba14a9a4213b8880404a84cf438abf","datavalue":{"value":"code optimisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3543310$476DA7C5-D091-4A53-A8A9-77B596157A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a174d1afd998b2c0fe203c4205fed82279c89396","datavalue":{"value":"data dependencies graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3543310$67A0662B-4A1D-4E86-8362-EC5DEF5DF3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39e241b3cade993e79fe0ff29a89f8d51b63d87b","datavalue":{"value":"stochastic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3543310$D81C4BD1-6FB2-4494-AA71-B169F251622F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d2e2522be9551d10b087fdba2d198c51773b780","datavalue":{"value":"performance analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3543310$C94CB9BB-447E-429F-A60C-5FFAA6043AA2","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":"Q3543310$22ACC992-7D84-454D-A187-9C9CFF2092EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"009da439197f13418c8cac15826ab0bf926c709f","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87412-6_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3543310$4A831C21-89AB-480B-809B-A08A7E59546C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb1b673841cb2dbcadc52e37cfa9e9408f93fae2","datavalue":{"value":"W1502662617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543310$73FE8E3B-0565-43F9-AA4E-9AA91064A0CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21ebee4e08f0592a1c4f5546d5d1edfcf28d498","datavalue":{"value":{"entity-type":"item","numeric-id":5462953,"id":"Q5462953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543310$140E3CCB-7EEE-4FAC-ABBA-3FDF33C684A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d63ad447df170478ad7749103685ea6b70c202be","datavalue":{"value":{"entity-type":"item","numeric-id":5705987,"id":"Q5705987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310c834b732163052113dd1472e36e02f70a68b0","datavalue":{"value":{"amount":"+0.6603829860687256","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":"Q3543310$DF04D80B-9406-4687-84B2-E1C402D9CDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b107decee54e78ec617b369400fa1e8fc9e0e80","datavalue":{"value":{"entity-type":"item","numeric-id":4992513,"id":"Q4992513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e4d615374bdee5c3f154b14f05f2b1bdb1b0a4","datavalue":{"value":{"amount":"+0.6590144038200378","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":"Q3543310$2189C9F9-2D11-4C39-9BAD-5837AAD7453E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69198b8c7695e27d8066c75c43b969e623ee646c","datavalue":{"value":{"entity-type":"item","numeric-id":3460504,"id":"Q3460504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d89dd30e642b4174b292badf7af9038057d4a10","datavalue":{"value":{"amount":"+0.6576825380325317","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":"Q3543310$5D77EC30-DAB2-4DD6-B2C4-F83B31675057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bea720a3335e6161ffeb4ff95170b7b7bb76e32b","datavalue":{"value":{"entity-type":"item","numeric-id":698478,"id":"Q698478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"832cd754fc0b5869d8de9a9fa86f91bcfab4d710","datavalue":{"value":{"amount":"+0.6534914970397949","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":"Q3543310$1741076A-D109-45C9-93EE-37F1E8532AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce4f8e3e6917363dbf2f4ca7bc3432e923c00c6b","datavalue":{"value":{"entity-type":"item","numeric-id":4471690,"id":"Q4471690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"832cd754fc0b5869d8de9a9fa86f91bcfab4d710","datavalue":{"value":{"amount":"+0.6534914970397949","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":"Q3543310$AE4305C3-74E6-4BC4-9750-26A93F088024","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3543310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3543310"}}}}}