{"entities":{"Q2842000":{"pageid":2852720,"ns":120,"title":"Item:Q2842000","lastrevid":83820521,"modified":"2026-05-07T12:04:49Z","type":"item","id":"Q2842000","labels":{"en":{"language":"en","value":"An efficient fully symbolic bisimulation algorithm for non-deterministic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6192844"}},"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":"Q2842000$C9478549-A942-4DBF-A8DE-2DC93FEBDAD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2650a421197d787dc22584fa52b81f8b93fddf6b","datavalue":{"value":"1353.68209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842000$6968FCE2-D8B4-4C45-8FD3-3ADE9E97CB84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc37b42db5d54f540c905531b134c62328f06797","datavalue":{"value":"10.1142/S012905411340011X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842000$DA4BD564-EACE-489A-BD56-2E7C75FE1141","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fbceb1ce8a2667eabd7d8b67e3fae9d74e69f16","datavalue":{"value":{"entity-type":"item","numeric-id":2841999,"id":"Q2841999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842000$D8DF0A52-F3CD-425A-A052-F26133EAAC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4a9452230b48b25729b39bc47037fb4f65b446","datavalue":{"value":{"entity-type":"item","numeric-id":2158284,"id":"Q2158284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842000$AAD8C603-E237-4709-90A2-9B7DF0B4CA58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842000$37F52E44-F6E0-4FC6-A72F-85F549011698","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c86eeb1cf1b5bc0e7bda48e7a87fbb18b6ccc2d0","datavalue":{"value":{"time":"+2013-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842000$CBBEECA4-362C-4E46-BBE5-40D0D3F3337D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842000$9141E316-CC9D-4CDE-9538-3D9852FE0F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842000$B4430F90-B847-4850-8315-20A6CD5DB71C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"675f44176a62e765670f96f33d35014007c1a5a9","datavalue":{"value":"6192844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842000$738C0DB0-28F7-4CA5-B8CB-B520C8857431","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842000$FB30EA04-0D77-4984-A7BF-0EECC8B69FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"918fd9b0959ec5ae150aa59998d407d1c72248dc","datavalue":{"value":"symbolic methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842000$2A4FF8DF-D98F-4AF4-8142-1DCD62E40D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842000$963A034F-94BD-4C6B-BD93-F06DF9F82E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00baa34181a949bc57429a7c01044e321721969a","datavalue":{"value":"decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842000$3DABD070-5E72-4583-AD8E-C4987C436AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842000$F4C2FC1E-507D-4EBF-9903-EF484DB824D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5b73a08163a09a75cd91878ee7b2e9cf204284","datavalue":{"value":"locality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842000$0282FD3E-135E-40D2-BDD0-E0411107AE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842000$7C03BC73-FB0B-4054-804B-9A5B97CD8212","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":"Q2842000$56043952-2204-4572-8508-B2C27302AF3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adae43984d2bc472e2d9665f83bac219a9e0279f","datavalue":{"value":{"entity-type":"item","numeric-id":3956422,"id":"Q3956422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842000$E609D155-63A5-4049-8AC5-64D79E60D473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bfee5788a40d6a31d12e0d933b8fcdb3b198b2e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842000$EB60C6CF-E5BE-4B0C-AAB8-550A1D765352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d02681399d280babc7e5544e40c7c321b2d1fd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1816922,"id":"Q1816922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842000$3F32F4A3-4A9C-4EB0-BC50-4B10CBD88D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842000$440A5738-71C8-4139-8174-2989C2FEC487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160bb02f90deba1357b0546b9ef3f897898e1176","datavalue":{"value":{"entity-type":"item","numeric-id":1063420,"id":"Q1063420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842000$0DF8CC26-72C7-4AE3-9682-EC8B6DB9893F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab5255887aa3d1c9ec98998011c9a80f469f9ee3","datavalue":{"value":{"text":"An efficient fully symbolic bisimulation algorithm for non-deterministic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842000$E9DE60B1-B612-414D-A1CD-6BFE45E5252C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03bbbebfbdbd14491d7ffdd034cc1b28ee81820c","datavalue":{"value":{"entity-type":"item","numeric-id":3172876,"id":"Q3172876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc3c279a27d7b809448ecb458192b2e735f5706","datavalue":{"value":{"amount":"+0.8769515752792358","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":"Q2842000$8EC0C545-68D7-45A0-99F3-61EB4841DAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b165e55b6ca0e44828558da4d5a3a4ef6b1f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd30e1dbd8b93241321aaba9e6a3ea6d703cf681","datavalue":{"value":{"amount":"+0.854636013507843","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":"Q2842000$F4D1F337-1562-4159-9983-563E88AF256D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da587da28efd802280a3486f4a2cf279801073c5","datavalue":{"value":{"entity-type":"item","numeric-id":4551136,"id":"Q4551136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be70b6072c45064f15b34d85c49a33c0d0bffa9","datavalue":{"value":{"amount":"+0.8247737288475037","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":"Q2842000$C2F39CEC-2656-423C-BB25-DF05C2D10B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb4cec045972da0de9f48742121bb34be5ab3e1","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a78e4c75863b628aa8fc0b040ad3eec18500f6","datavalue":{"value":{"amount":"+0.8155401945114136","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":"Q2842000$40DD7816-D8D4-4A6E-BEA2-CA8BB34BEE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251aeffc6362135bd6c0f1c643958bea1f9e50bf","datavalue":{"value":{"entity-type":"item","numeric-id":3522930,"id":"Q3522930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4dd3f4fbe79524518d2677054a7b8afdb29c22c","datavalue":{"value":{"amount":"+0.8154568672180176","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":"Q2842000$2BA56881-5AE0-4616-8338-9D95854F43E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An efficient fully symbolic bisimulation algorithm for non-deterministic systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_efficient_fully_symbolic_bisimulation_algorithm_for_non-deterministic_systems"}}}}}