{"entities":{"Q6104809":{"pageid":13239116,"ns":120,"title":"Item:Q6104809","lastrevid":47868031,"modified":"2026-01-02T22:37:07Z","type":"item","id":"Q6104809","labels":{"en":{"language":"en","value":"Action and State Based Computation Tree Measurement Language and Algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7703956"}},"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":"Q6104809$9C761682-7993-4565-90F9-CE916F073983","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e0061700ab1d87a7eca66b5595a28c0367d8642","datavalue":{"value":{"text":"Action and State Based Computation Tree Measurement Language and Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6104809$834839C3-8F2B-412E-B1F1-A81777EBC7A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4610ab52626cd629e53816561e215a831c28bab6","datavalue":{"value":"1514.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104809$98F7030E-3105-4DEC-A062-39926A96AB10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0125af0534b53384661a31e28a4a9bc482d4a2b","datavalue":{"value":"10.1007/978-3-319-99154-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104809$39F87D90-B92D-4428-BC2C-B8F78270D167","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55dfe5617b337eb4a4ccad139763d9a86bdcb6b5","datavalue":{"value":{"entity-type":"item","numeric-id":1798669,"id":"Q1798669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104809$6CCB331B-C3F1-4C59-B8B7-8B518177DDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec15b21a375cb4ec53d46eaac24f148289b9d097","datavalue":{"value":{"entity-type":"item","numeric-id":6104808,"id":"Q6104808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104809$9538C630-4DAC-498B-A669-A7956306F8D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"14c790a373839096cbb828adccdd03da8785642b","datavalue":{"value":{"entity-type":"item","numeric-id":5194919,"id":"Q5194919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104809$9506B0B9-E32F-48B3-BAC5-B388F80DDA75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b878ec3713c817dca00288e268c11822e517167","datavalue":{"value":{"time":"+2023-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6104809$70FA6658-B98D-4AF2-9E8C-810054B11810","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104809$BCB7632C-0364-4A2F-B44D-7846DEFBAB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104809$5DF9E33E-1582-46D1-B190-2D2C77EF86DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104809$A2DBD250-3C37-43A5-B7F6-608E9F8EF669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104809$11507924-A7C0-42FD-AB7A-C4458EB85C85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be4531c33bb53f2a8f837c2d9eaa05035097ed9f","datavalue":{"value":"7703956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104809$5E606F29-C2CC-4969-B1F9-6014D5E4E760","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397d9252ef89819a92633d8502b4000f6e56c083","datavalue":{"value":"Markov chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q6104809$48A94F83-5F3A-4F78-9AB9-FA2E1A3FA8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea982f09340a789deb9903bbe0ff8da87263b94","datavalue":{"value":"performance measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6104809$E29ECA68-5055-4157-BBBC-61096464BBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6104809$019098E5-F062-4D72-82E3-FD3E2DE6A819","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":"Q6104809$930405BE-5B12-443B-B12E-E19CFF3D11B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0424f23ba9149d7f5486ba764835862de53bb80","datavalue":{"value":"https://doi.org/10.1007/978-3-319-99154-2_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q6104809$C3D784FC-689E-41A7-AFC1-A8B35367B363","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a7aba9a15235c686de217b1a44f6688c4ae0782","datavalue":{"value":"W2886322429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104809$B0D39B7D-990D-4E8D-93AF-575C389EA00C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"385005c2f8704988fb9b3be66b53de0ef2f22965","datavalue":{"value":{"entity-type":"item","numeric-id":4272467,"id":"Q4272467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104809$8EDBAA53-D27F-4492-B697-1E9A8FD3EBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104809$EB70E6BF-DA95-4F40-BF53-E205C1FA865F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104809$13330D4B-6115-4654-98F0-ABF94A600A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b311730d301cd9dc301ede79de6f76f888900a14","datavalue":{"value":{"entity-type":"item","numeric-id":4779396,"id":"Q4779396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104809$161E1E1D-1F67-4C75-B64E-2232900C945A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f907d75612b0bd82eeef2f97ad81b622c6654cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4324960,"id":"Q4324960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104809$E8A4230D-D382-434C-A627-67ECEB0F1E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4c7dd766cf225880f8a11187ce72c05554aaac","datavalue":{"value":{"entity-type":"item","numeric-id":3876158,"id":"Q3876158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104809$733F44AB-7BFA-43A8-AD12-01C732CBF0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104809$0563AB00-86C0-40C8-AEFB-BC962FCB7AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2f06c9b4f503b85bf56091ba53ba463c1b0657","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104809$B4990D32-899E-4DC3-B05E-9ADA997C21FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd2c3a761d19e638cd0748a3bb6d31e472a507f","datavalue":{"value":{"entity-type":"item","numeric-id":1941879,"id":"Q1941879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104809$6F5A879D-2FB3-4217-BA00-071AEE93661A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b117510b4422c184b3dc46595f4fe45ff7a79ad","datavalue":{"value":{"entity-type":"item","numeric-id":3262596,"id":"Q3262596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104809$9627DB5C-85A5-4F21-A038-377308D7380B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1610ab41d2e3782fd432b046c8b33155ca4ce688","datavalue":{"value":{"entity-type":"item","numeric-id":3135097,"id":"Q3135097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104809$D141790A-3D07-4CC3-8590-C527C082D35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d022874c2fe7d58d1876938350ab409ec9766ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2754196,"id":"Q2754196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104809$D12A26B4-4569-4C2C-B045-CC437A0015A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44887afd109e3fe4d4e1babb68e6de1e49c8eda6","datavalue":{"value":{"entity-type":"item","numeric-id":4471933,"id":"Q4471933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104809$559651DF-162A-43F4-ACDB-E524538014EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2830e966577cd42fc9197c52195ebb9376ae60f8","datavalue":{"value":{"entity-type":"item","numeric-id":1798671,"id":"Q1798671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d51792232f570494298ca8cf93ecd79592d46f4","datavalue":{"value":{"amount":"+0.8847857713699341","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":"Q6104809$4CEB4B12-15C5-4C43-B6FE-4C356FDDF519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2b0e0dfe140e013d76013b6a5951689556d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":4933296,"id":"Q4933296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"344411830766c136bfa76c14457a770434812e18","datavalue":{"value":{"amount":"+0.6960010528564453","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":"Q6104809$D494327E-A209-4240-AADA-ECAD415B3559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cfdc3a726183847675febfa6ff30ba69be4","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e7963c9f63f21fff62ead89f3b05f16f26f777","datavalue":{"value":{"amount":"+0.6953977942466736","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":"Q6104809$619D8E5E-6655-4725-BE3A-1C17881E1B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6cb31b97ac514b6022e7162a9f4fcc73cbefa8","datavalue":{"value":{"entity-type":"item","numeric-id":2754196,"id":"Q2754196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33a4ca699954031479553874d152a16c3088800b","datavalue":{"value":{"amount":"+0.6848942637443542","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":"Q6104809$10BAC1F3-A7EA-4BF1-AAC0-66760445AE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c508cc9143982278c5d0977285829efddc9acacb","datavalue":{"value":{"entity-type":"item","numeric-id":5940962,"id":"Q5940962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"829fbc10984b11b164359410c80b7d05887b41dc","datavalue":{"value":{"amount":"+0.6826191544532776","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":"Q6104809$B9B10AE3-9AD7-4DE6-91A6-540EC32A0FED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6104809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6104809"}}}}}