{"entities":{"Q404008":{"pageid":405775,"ns":120,"title":"Item:Q404008","lastrevid":61652973,"modified":"2026-04-11T00:45:03Z","type":"item","id":"Q404008","labels":{"en":{"language":"en","value":"General quantitative specification theories with modal transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6336308"}},"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":"Q404008$BC8B9E8A-EE4D-461C-9F3A-2AFFF712AC4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9804431a00ca47cf471a190084e7587f2208f374","datavalue":{"value":{"text":"General quantitative specification theories with modal transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q404008$2640EE3D-5CD0-4A66-94F7-C53CD51A130C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b13beaa9ac19b5e531e3f625ac3c256a5a084ed9","datavalue":{"value":"1360.68585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404008$2E07FC44-949B-4A8E-B8EB-094F02041664","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ca6bd4506420f7e61de7563d49eec5ed23aeb","datavalue":{"value":{"entity-type":"item","numeric-id":265803,"id":"Q265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$FC99F28B-9FC4-413A-A9CC-60482144AC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$DF9DB45D-895A-4280-A66D-8F5A8666C7CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$51FECFE8-3CF2-4DDD-A8FB-3EF6822E01F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"163bad71d2d58b992a56c87b8eddb84d83e1a225","datavalue":{"value":{"time":"+2014-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q404008$1AFA276B-71A7-40F6-9659-3E055E162D6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a2db469e47da54a83a0149afe50f35ccca7c969","datavalue":{"value":"https://hal.inria.fr/hal-01087314/file/Acta-27-12.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q404008$B740601C-3BC9-4E54-BAB9-757725AC7CC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404008$9F192360-3242-4A92-B8A7-D367BB2524D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404008$1C3912DE-0696-4D35-B62D-B356633A09E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a00461ece9e744221e69f7e0c938c2e9493b7b32","datavalue":{"value":"6336308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404008$F6349988-4F67-40BE-A6F1-15288684A0DF","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":"Q404008$AAA8FDB7-7191-4335-92C0-5B9E8C0E8BE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7d7f0a9ba3ef67e1eaa4990ac606c04b26e99e2","datavalue":{"value":"W2034111423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404008$14FD4B6B-9CAC-419D-B06E-AE15009D3D82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"888cd577cadc8d139d40b8c03273c54c5841d53f","datavalue":{"value":{"entity-type":"item","numeric-id":5386174,"id":"Q5386174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$17FFD637-3FF7-460C-AC8D-43DCD593CB54","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":"Q404008$E3E95E1E-48C1-4F50-AEBB-23CC757D0533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c079a9f75bd43c22cf9e4580361e7a97361926","datavalue":{"value":{"entity-type":"item","numeric-id":3088029,"id":"Q3088029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$ABAB8323-69F2-4EF5-90F8-323369A33760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d71cbac5a56d52fe946a4d6f9d7c274fe4c880","datavalue":{"value":{"entity-type":"item","numeric-id":2248057,"id":"Q2248057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$37F2F11C-AEBC-4A6D-B224-379A52D2C855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02f802aa005904446e008e495e517dbe2cb7c92","datavalue":{"value":{"entity-type":"item","numeric-id":2907483,"id":"Q2907483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$539ABDEF-5BB9-4BAA-B122-B9C0824E656B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338cb28dd1c3642a4941ca756896c1df7498392e","datavalue":{"value":{"entity-type":"item","numeric-id":2909731,"id":"Q2909731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$19171A9A-BEDC-4B54-BA59-D3415B99337E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03086d42c9b86e2ad473ee8c3dc642b1e5b52ab5","datavalue":{"value":{"entity-type":"item","numeric-id":3172917,"id":"Q3172917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$84F9716B-5F34-42D0-8641-44563A02FD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4016355dc91a73e855099b80289db1882a9e207f","datavalue":{"value":{"entity-type":"item","numeric-id":2891444,"id":"Q2891444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$B08A1000-7DDF-4621-95FB-C9AE8E13FFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"392863b139e29c8eb41e9bab67000bdc80e8a6bd","datavalue":{"value":{"entity-type":"item","numeric-id":843096,"id":"Q843096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$F975DB66-CD07-4B38-B7A8-40115915B820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d491a0dccfff32ee75b6abd03dfae8cac4a7064","datavalue":{"value":{"entity-type":"item","numeric-id":1951603,"id":"Q1951603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$810E9341-7F9D-4E7D-964B-6C1E60DC7DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28e0a8fa34c561ec3bb6683c480f912515cd050c","datavalue":{"value":{"entity-type":"item","numeric-id":3618577,"id":"Q3618577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$B392B8C6-BA06-41F8-8782-CE28D76892F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fada83b44fd43f133266b4aaeedb2250886c215","datavalue":{"value":{"entity-type":"item","numeric-id":3090823,"id":"Q3090823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$FDF23E31-4DDF-4FAC-907A-BC4B7A525484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5964ee821a589a1bd8e7ebea46211c9ae2aee2ba","datavalue":{"value":{"entity-type":"item","numeric-id":3584934,"id":"Q3584934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$7495AC77-0CCF-4300-B7FC-E849D1188064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad04317a36278ae9148affce2927c4fb4a993e57","datavalue":{"value":{"entity-type":"item","numeric-id":2946611,"id":"Q2946611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$ECFDDD5D-FB80-467A-8A64-9757A98FE626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3722a01ff9977e3dae59cf7bb07fb3de2a6c6a","datavalue":{"value":{"entity-type":"item","numeric-id":2985870,"id":"Q2985870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$B7ECA664-9CF1-428A-9F77-471D84C47543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f175b088b93e1a6a950db7cb9ca00f422a67b0","datavalue":{"value":{"entity-type":"item","numeric-id":4449238,"id":"Q4449238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$258BA8BD-09AD-4D49-A10D-28AF0F4F84AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05859705e5fbb38f21fd006b6726ab74ea14b8f","datavalue":{"value":{"entity-type":"item","numeric-id":1172002,"id":"Q1172002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$3E18A61B-42BB-4019-8B09-A9447573BEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c9f74eac30cb748406c937f32441c65a8b1e54","datavalue":{"value":{"entity-type":"item","numeric-id":3105747,"id":"Q3105747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$7A7AEC17-6228-4BDD-8817-15A9585B3F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$4F1775AF-3984-46AE-9488-4A2ABDCFD843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85783bd920d20ff6ad2cb21d79fa6b25a3e1568f","datavalue":{"value":{"entity-type":"item","numeric-id":2911616,"id":"Q2911616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$9895C1D1-6988-4873-8F16-9F08CEA1C16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3242c0d1a266e414c60988f553e4fc8e62c5325a","datavalue":{"value":{"entity-type":"item","numeric-id":549202,"id":"Q549202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$7491411B-A960-4F0C-A2C7-D33F7AB950EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b022fe950928f92806f5b429d4f5a3164495555","datavalue":{"value":{"entity-type":"item","numeric-id":4791848,"id":"Q4791848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$3E58616B-BB36-43F1-8FF4-30C9581C23DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b378602d866701dabdb7cf5317c937b47e2621","datavalue":{"value":{"entity-type":"item","numeric-id":5711492,"id":"Q5711492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$EEAE0322-DA33-4624-ACE7-8E5729FC21BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39485e068db83ea87e9e8e4f1bcd905244f225d2","datavalue":{"value":{"entity-type":"item","numeric-id":710680,"id":"Q710680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$121C93A6-3025-468E-B15B-ABAD68179FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008545320d70ab26385889dabe141129aea74ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5897965,"id":"Q5897965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$87F0AF2B-16C8-4CFE-B6FA-E359594C9A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fe897128a9ce365a7b5ec75e828813718e55b37","datavalue":{"value":{"entity-type":"item","numeric-id":444490,"id":"Q444490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$86F5096C-2E29-44EE-8198-5DB428A703E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$B1A23FB8-DC23-4F39-A592-5F1737344253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a9d5d87ef023df4f1d55709b29268b24bc809a","datavalue":{"value":{"entity-type":"item","numeric-id":4485837,"id":"Q4485837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$9975652D-52A9-4B8E-B789-D4398F3CE0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$71C799CF-E630-4F6B-B7F3-FBE45864DEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de4a23534869189d54bdaf292b6c4a462414313","datavalue":{"value":{"entity-type":"item","numeric-id":853729,"id":"Q853729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$87DFCBBA-632F-4FB5-93E7-F4199BE7E634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017b4f06ae22ea03f6f9eef6a68341ae4af54451","datavalue":{"value":{"entity-type":"item","numeric-id":4373413,"id":"Q4373413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$15CB4E4A-5382-417E-B2F4-C6D1FF8A59AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3733b6620d7eff1c641fd3b36b3be61eac36f49b","datavalue":{"value":{"entity-type":"item","numeric-id":5897480,"id":"Q5897480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q404008$EDAAF316-706D-4B58-AC0C-7DABA7917F2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7837c5c39a8d78d9c8d838b009bcaff5652a06e7","datavalue":{"value":"10.1007/S00236-014-0196-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q404008$23920ABF-0EC0-4CDE-8F7A-D08386A732BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e8575a3b4c3db33e7652f3c718893396edc7e9f","datavalue":{"value":{"entity-type":"item","numeric-id":2907483,"id":"Q2907483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb7478a1727285d0a24afa76f70fbcfdd0d220e","datavalue":{"value":{"amount":"+0.961590051651001","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":"Q404008$5333C395-068A-4DAB-B94E-686B73D56F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8bbd601ff2180962f13cc62669235609021b6d","datavalue":{"value":{"entity-type":"item","numeric-id":3088029,"id":"Q3088029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59147696be819711e382fa3ef0a17f205f40241f","datavalue":{"value":{"amount":"+0.8500243425369263","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":"Q404008$F2B999C0-0B03-4A04-96B9-0E383B8E2A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1492159b6e84734b2260e86cd8e448292d9691","datavalue":{"value":{"entity-type":"item","numeric-id":1797783,"id":"Q1797783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573933ffc772ed8ad380553254c7e57272085127","datavalue":{"value":{"amount":"+0.8172453045845032","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":"Q404008$1E358C32-14C2-4B04-A9B1-A6E153A2FCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaea121a8afd5bc58d197eda7e3576390f33abd9","datavalue":{"value":{"entity-type":"item","numeric-id":2848870,"id":"Q2848870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e3c704b78450ccdb42a270a472cb236472dca79","datavalue":{"value":{"amount":"+0.8170182108879089","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":"Q404008$B2F56274-4094-47CD-88AF-4A1F7BCCBC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"091816779500abc1a2d4e26f6bacacd980c8182b","datavalue":{"value":{"entity-type":"item","numeric-id":2248057,"id":"Q2248057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dcccfa7bd93505f475a2c652985edc96544de32","datavalue":{"value":{"amount":"+0.8082852959632874","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":"Q404008$0C8785E3-6EB1-4641-989D-7FD0817D3F24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"General quantitative specification theories with modal transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/General_quantitative_specification_theories_with_modal_transition_systems"}}}}}