{"entities":{"Q1434418":{"pageid":1445158,"ns":120,"title":"Item:Q1434418","lastrevid":68695350,"modified":"2026-04-13T01:29:37Z","type":"item","id":"Q1434418","labels":{"en":{"language":"en","value":"Symbolic state-space exploration and numerical analysis of state-sharing composed models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2081260"}},"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":"Q1434418$0E23F039-0FA6-4DEA-9AF5-76C9F1447E47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4402b67cdbdce3dac8ad9b29289edb8deeee54c9","datavalue":{"value":{"text":"Symbolic state-space exploration and numerical analysis of state-sharing composed models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1434418$CE328F47-C091-40E0-AB24-08C54E901407","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b764010174898f8731a2093849241e8bae1f0023","datavalue":{"value":"1048.65007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434418$3A08698E-B0AC-429C-A0E9-A00508AD10C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ece9645454397c7d74e2463e8c881915f83207e6","datavalue":{"value":{"entity-type":"item","numeric-id":1014447,"id":"Q1014447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434418$B4E44D8D-177C-4E87-99F4-4272F53A86BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc554af82aeace6ef028cd07372e98335f8e16fa","datavalue":{"value":{"entity-type":"item","numeric-id":243732,"id":"Q243732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434418$C70DCFF3-B155-4B97-ABE0-338D11A71EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a60ee759c0fbb359bc5d9bea37d78c5f6edbc388","datavalue":{"value":{"entity-type":"item","numeric-id":686338,"id":"Q686338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434418$66EDC3D1-3AFB-47A5-83BB-315BDFAF555C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8de031de05325b44570d0c47c3ec8813873d565c","datavalue":{"value":{"entity-type":"item","numeric-id":92813,"id":"Q92813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434418$FADE85E8-CF6D-4AF6-880E-231D690C38C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"135faa3d5a875c7827ad0c91fd6b706e732e8e4e","datavalue":{"value":{"time":"+2004-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1434418$71DCBD5F-BF07-436D-8158-B070CD6574DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b23b4581d19061667c697da14a890aa055e6f323","datavalue":{"value":"65C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434418$2B2F64F3-C6B6-4572-9FC1-691592B5340A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"69417b84cc431ede4e5ec12a55be58b45cd19ec0","datavalue":{"value":"60J22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434418$E70AB11E-3EEF-4E83-B449-770D3C4DFA2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd12d87ccd264f45bb064de52ad0933b0e399a9c","datavalue":{"value":"2081260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434418$D9BB8F43-504B-4B33-BA88-CCC383F701D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"601ea8ad275668319aed553583a468a03dc83444","datavalue":{"value":"multi-valued decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434418$CA51D4C3-EEE1-409E-B558-1CA1E8BA5666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d84c12e242e8d97761f41c73f882097d13e1ed0","datavalue":{"value":"matrix diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434418$FB460E86-CAD0-4DDF-A52A-7DC0C238B2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4617abfa69d94712c11dff27f1d3e08048633180","datavalue":{"value":"symbolic state-space exploration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434418$E5D9D704-ECA9-45E0-A89E-DDAD7DC3237D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b891168acb9b4cc2ee25197f75c36b298604dc16","datavalue":{"value":"continuous time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434418$75D849BD-CB03-419D-B911-571AE7B38CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d74cb5419439f42eb1ba8891c8722bd3702922d","datavalue":{"value":"numerical examples","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434418$ED114B53-3204-4459-B7A8-F70550EA4B6C","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":"Q1434418$FD5B1AB6-57CD-41AA-BB96-E184EBB883CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe67a9a46a09642dab55ea65bcded8fee23bd84d","datavalue":{"value":"https://doi.org/10.1016/j.laa.2004.01.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1434418$9E3DB971-2AB9-4459-B87D-E7A543E96C2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d3c703f62ac2aa33d0fd9ed2e744e327fe3ef35","datavalue":{"value":"W1965492307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434418$ADB7A5B3-1FD2-4EF6-AD69-1E0AAC750D2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c84ae473a3ff1a47663f94647aa963b1dc37866","datavalue":{"value":{"entity-type":"item","numeric-id":1434417,"id":"Q1434417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434418$B019868E-40B1-429F-A9FD-F9D51489C86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434418$584C1CCC-23F4-4B80-B022-04774E0D6839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82289eea7ff72ccb24018e238a64583bdc5dff7e","datavalue":{"value":{"entity-type":"item","numeric-id":4427332,"id":"Q4427332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434418$6C9A3B46-42DD-458B-B3B6-C40EFE369704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6bf69c8de554b005b6499f8eda35264310e3e89","datavalue":{"value":{"entity-type":"item","numeric-id":1610340,"id":"Q1610340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434418$254247C6-D196-44C4-AE38-E21B5D53D77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434418$536A01ED-23E9-44B6-8D91-7BCD76BD9AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ffa9af707a9034e194333cec43fea04e458a9c","datavalue":{"value":{"entity-type":"item","numeric-id":2769596,"id":"Q2769596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434418$FA818770-1CC1-4954-A9CF-03ECE12C9852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47650ce464fe5007b4b38448155ea201ded8748","datavalue":{"value":{"entity-type":"item","numeric-id":4417940,"id":"Q4417940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434418$E7E30A53-587C-4255-A0EA-B48312354C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a7436230c6159cf18afc35be1820275117b762","datavalue":{"value":{"entity-type":"item","numeric-id":4738763,"id":"Q4738763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434418$015E8E1C-4074-4227-A21B-5FFD41FCF154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa908eeca5ab977342dab5767d79cc2223d5cbbc","datavalue":{"value":{"entity-type":"item","numeric-id":1051432,"id":"Q1051432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434418$85784EA2-C6F4-43D0-82F1-9D8DA99A0B9B","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":"Q1434418$F90825D3-B101-43E9-A3BC-D5C88A9EC9A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d31cfcc183797c2945888f4f3f74a2cc23ff8618","datavalue":{"value":"10.1016/J.LAA.2004.01.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434418$E3DD47B3-5A60-4447-924B-DAD1FBCE2476","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8319ff215a1dd2cbb1b48258a2902b132f8a5316","datavalue":{"value":{"entity-type":"item","numeric-id":1807701,"id":"Q1807701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b68ab0ca60b6a09ffc8a16ec1f58a64f3cdce0a","datavalue":{"value":{"amount":"+0.7708829641342163","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":"Q1434418$63CCA3A9-8E49-4B2B-9B0E-4AA233C70D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbefc8eb61c868f4c46a89fd12534005e7a2c1f8","datavalue":{"value":{"entity-type":"item","numeric-id":291348,"id":"Q291348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a30659da0c052d29b9c65f58ba9a39d7b2b94a","datavalue":{"value":{"amount":"+0.770294189453125","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":"Q1434418$E9E169FE-7F75-4B98-BD23-194B1BD5AD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5b08cbe2ce280e7e3b4563c5dcf1960b830f116","datavalue":{"value":{"entity-type":"item","numeric-id":1400291,"id":"Q1400291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d674c06dd1f997fff18bfe08f9e2eccb16ed68b","datavalue":{"value":{"amount":"+0.7583431601524353","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":"Q1434418$BD60E806-543F-434C-A3F9-8FAF33CF942A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d895069878d14c8e06c623d20d0b969fb5b6342","datavalue":{"value":{"entity-type":"item","numeric-id":4547772,"id":"Q4547772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af01127595ccf4bedb2e239c621916d41369c7e","datavalue":{"value":{"amount":"+0.7573897838592529","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":"Q1434418$F0CFC80B-F00C-46D4-A567-036C680C53C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec9cb141e9a469dee93489ec910b426a86e23388","datavalue":{"value":{"entity-type":"item","numeric-id":5758108,"id":"Q5758108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5ba8f50842e02dabd598a90355634dad68f6cf","datavalue":{"value":{"amount":"+0.7361211180686951","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":"Q1434418$DC99F984-70D3-4A77-8258-13C730629D9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic state-space exploration and numerical analysis of state-sharing composed models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_state-space_exploration_and_numerical_analysis_of_state-sharing_composed_models"}}}}}