{"entities":{"Q394332":{"pageid":396099,"ns":120,"title":"Item:Q394332","lastrevid":61589103,"modified":"2026-04-11T00:19:25Z","type":"item","id":"Q394332","labels":{"en":{"language":"en","value":"Combining decomposition and reduction for state space analysis of a self-stabilizing system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250588"}},"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":"Q394332$C83B687B-C868-4522-AEAC-5FAFF1CAEF63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47d7a919760275a37f48d39e142b6ca555a28fa2","datavalue":{"value":{"text":"Combining decomposition and reduction for state space analysis of a self-stabilizing system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q394332$682BFAE3-D74E-4453-973D-0A63064594A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d33d49fa8f5df7d96aae8c7c3df32ed458cc270","datavalue":{"value":"1311.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394332$565B346E-68A7-4CF9-B286-3B981A6F4563","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"343044a2637c1335bc06ff627825fc655aed37a8","datavalue":{"value":{"entity-type":"item","numeric-id":394329,"id":"Q394329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394332$378A2623-78B9-43F7-BE96-A057D2CF4215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2c0ec2f8e6a6cab17f78b7120af7dd1d5ee4a8f","datavalue":{"value":{"entity-type":"item","numeric-id":394330,"id":"Q394330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394332$4E57CF3B-95C3-4E1A-A2DA-DC70EFD6285A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a014e6ba9fde789e090c1a340d6af73ab4b427b1","datavalue":{"value":{"entity-type":"item","numeric-id":394331,"id":"Q394331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394332$2F9E9445-1C58-4B46-83E1-F84B3B408FF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394332$D59E0D62-E63F-4E35-865A-179ADADB0809","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"514272ccee13f0ca4f8248983a8b867d712f22b3","datavalue":{"value":{"time":"+2014-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q394332$B9E6D522-C8E5-482C-82F6-579C8DDFDDA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394332$DC5E9524-6F8A-4DED-BD12-BC772C1782B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394332$7BD94501-C0D6-46A1-AAAB-C8CAD68DDF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394332$7CCE7464-39F1-423E-8D10-7C05705AE629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394332$DB6E2369-F857-4993-B882-812EE96ED159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394332$6BB5510B-16B1-4912-91F1-F548444C415A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394332$02F7D3E8-3DD2-4B2C-9263-8EC1F63C81EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2f1d14aa713c7c9f98693672c4b7bbbe6a21927","datavalue":{"value":"6250588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394332$14EC935B-B827-41D4-B7E9-C88DDFF76A05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b01b02968c48df9f6d634df64bea355af4ca03","datavalue":{"value":"fault tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q394332$D58411F1-B3B2-4827-A6ED-A86327DAF961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d49472522b6e4d33758e5946aede70ab289d7956","datavalue":{"value":"self stabilization","type":"string"},"datatype":"string"},"type":"statement","id":"Q394332$B66C3D7E-DA66-43FB-9106-A3346032D8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q394332$5A685C20-839C-4344-AFE9-EED74EC0E957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fd5200b926a7eb1be033939b86e40c8fff4624f","datavalue":{"value":"probabilistic bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q394332$FCF0CD9D-EEA6-4DC8-8766-4590136B2C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q394332$E03F613F-1E53-4E99-BE03-6313BDA14D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec6dd36f43ea1e18607cdeb82d20a532b0c68876","datavalue":{"value":"limiting window availability","type":"string"},"datatype":"string"},"type":"statement","id":"Q394332$15C006C6-1F1C-404A-90BB-8ACE0B67B02B","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":"Q394332$D517D395-BEBA-4A4E-8A86-6AA43D63A4CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70df22bf352254efbcaf22b9e524a01dbd008529","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2013.01.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q394332$6613904E-9C05-498B-80B2-988B2ABDD704","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88612362655022883b29042eff87fc76274b4bca","datavalue":{"value":"W2033871598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394332$66E07539-A896-483F-94D2-5CAAA1522984","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5d79f353f001a317cd01d2ed2ef2f7b0678bf5","datavalue":{"value":{"entity-type":"item","numeric-id":444484,"id":"Q444484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394332$60572913-4431-4A93-9070-E91EFAEC96A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548d853a18eb713f9463402e105feb27bfd6a78f","datavalue":{"value":{"entity-type":"item","numeric-id":3849299,"id":"Q3849299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394332$93EEF33E-5698-4775-B1BC-D636518FDBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d494198af8e5da9f2469868fd06c68de35b828","datavalue":{"value":{"entity-type":"item","numeric-id":4242094,"id":"Q4242094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394332$5B47930E-44F7-4ED2-93C2-9EE7BACD4380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b42dd3b419645bd047ca6dec0a966ea3d26d3968","datavalue":{"value":{"entity-type":"item","numeric-id":5758108,"id":"Q5758108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394332$DAA71A9B-F154-4F45-B589-C19922244B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f5443bb9284f87063c1317606853d9c7a7285a7","datavalue":{"value":{"entity-type":"item","numeric-id":1014448,"id":"Q1014448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394332$E9659055-1FD9-43F8-AC3B-CA9BCC667058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aac40e2de3bb2389beb6586a5816072e0250834f","datavalue":{"value":{"entity-type":"item","numeric-id":2766635,"id":"Q2766635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394332$757C293D-90F0-4186-9D47-E89FE6847385","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d6e98e6e1fad3ee144e24e1c62900352aae19dd","datavalue":{"value":"10.1016/J.JCSS.2013.01.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394332$65E23F6E-5107-4E90-83CB-C2BD3ACD03EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1900b85673fff7e83d5dbf1be24d558260bb97b4","datavalue":{"value":{"entity-type":"item","numeric-id":5045434,"id":"Q5045434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75010b19704ebe3c7e2cb9d423d2d74e30025b9c","datavalue":{"value":{"amount":"+0.7604453563690186","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":"Q394332$A1B3BC76-D6AA-40D2-A13E-649AC0322A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d054395ce3e5863ed0c4742a8c684a1f5ffc694c","datavalue":{"value":{"entity-type":"item","numeric-id":2283837,"id":"Q2283837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2df6e94436eef00520efb604d5e25901a4b44d0a","datavalue":{"value":{"amount":"+0.7429217100143433","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":"Q394332$1656C52B-A8F3-485E-9F4F-B78D612B7E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e56001a35327568ed736cb422f8d1d5b6899e51","datavalue":{"value":{"entity-type":"item","numeric-id":3339905,"id":"Q3339905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001b8e2dfb0ae2fa211997fa2aa3c8d9d47ce09d","datavalue":{"value":{"amount":"+0.7117722630500793","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":"Q394332$12DD4A15-0AA1-4EBF-983A-FA314561AA02","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":"3f49086fa875c310cc192560e35eed79ea1c0bfd","datavalue":{"value":{"amount":"+0.71125727891922","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":"Q394332$38DA5A62-A058-4815-B4A6-7A98E41606FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86ebf3284612053cd9ee004cd4281fab823ee803","datavalue":{"value":{"entity-type":"item","numeric-id":4365827,"id":"Q4365827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"903df771748accca02678c18003cd073bf70556b","datavalue":{"value":{"amount":"+0.6974442601203918","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":"Q394332$27E0E408-50C2-45DB-8D6C-1668FBF75DAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining decomposition and reduction for state space analysis of a self-stabilizing system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_decomposition_and_reduction_for_state_space_analysis_of_a_self-stabilizing_system"}}}}}