{"entities":{"Q3172876":{"pageid":3183586,"ns":120,"title":"Item:Q3172876","lastrevid":51341870,"modified":"2026-01-17T20:25:29Z","type":"item","id":"Q3172876","labels":{"en":{"language":"en","value":"A fully symbolic bisimulation algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954755"}},"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":"Q3172876$72C1763B-5F6C-4C48-8D29-2F68D49E3908","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aed34356e39236719d21bf21df9c26c45441bb2f","datavalue":{"value":{"text":"A Fully Symbolic Bisimulation Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172876$A44B2AF2-80FB-40CF-9BAD-F5343874F0CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d23c7f57d99f45ad7ecb1ac9c309e8e63d7cb24","datavalue":{"value":"1348.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172876$6E65749B-FC8E-431A-88A5-1112CDD7DABB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c47d37501eb2af0bf6778ca28fb1b3d316a1951","datavalue":{"value":"10.1007/978-3-642-24288-5_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172876$747EBFA5-F19E-48DA-AB67-8991FD2E7955","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":"Q3172876$DD32CB09-2D97-44F8-8983-A34A38E223E5","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":"Q3172876$DC195D53-EC2B-4574-B571-03617CED2978","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172876$9AD7B897-ACA1-407A-ABC2-14BDB524C54C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172876$A1CB0CE0-64B7-435A-BEAF-3951BF560E00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172876$064A51FE-99E4-4C4E-AA96-D838E52C3021","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd6d5633627ead12185a7012b954c35f8f08ae29","datavalue":{"value":"5954755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172876$BA1C3803-67A3-47B8-9DB9-E42740EC38D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172876$4E70A6C9-A19D-4FCD-9D7E-CB051D6224F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"918fd9b0959ec5ae150aa59998d407d1c72248dc","datavalue":{"value":"symbolic methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172876$89467947-A826-442E-80E6-B27413AA775F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00baa34181a949bc57429a7c01044e321721969a","datavalue":{"value":"decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172876$BC0CA349-EF6D-4B61-A828-50B7800A6FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172876$5C03E744-70C2-4A7D-9459-07D5374D7D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5b73a08163a09a75cd91878ee7b2e9cf204284","datavalue":{"value":"locality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172876$6D6B7CA4-4091-4A1A-9DCD-6011578BB748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172876$C33388A4-3C11-4CD9-AA0C-0D58CB3DAEA2","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":"Q3172876$D2EB6465-F619-4C32-8650-7CFEC3964CD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f1980c81bd710d4d45dce76ce2d86358ae8e002","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24288-5_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172876$34AD6C66-5BDE-4EF1-86C3-A26135FBC549","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5df1c4eb300d4929784adbf52f8cb41db86c1744","datavalue":{"value":"W100098803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172876$2277A7D4-8BD6-4FDE-94C0-F8ECACC2AC36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a885d51b9de53e37924e8f0ce14d0a59bb5546a","datavalue":{"value":{"entity-type":"item","numeric-id":2842000,"id":"Q2842000"},"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":"Q3172876$BE568617-9DE4-4910-B90E-B12ABBE1B37C","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":"9ed60a867e75f5f196d590b1e30b78744301e770","datavalue":{"value":{"amount":"+0.84207683801651","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":"Q3172876$101DE732-5328-4E18-8013-30FE788AE0B6","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":"ce425182a6ac26ebef34eda28bdab175f1b810f6","datavalue":{"value":{"amount":"+0.8148993253707886","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":"Q3172876$673633EA-94EC-46A0-B7FF-9C98FE3B7EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273f30ae6b2f6499f48fdd8678c06435f52e70b7","datavalue":{"value":{"entity-type":"item","numeric-id":4916208,"id":"Q4916208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f85c23ab42eb7d470b22453ff250a61f67f0cd84","datavalue":{"value":{"amount":"+0.7996132969856262","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":"Q3172876$0B859764-95BD-469D-A32E-1458696D6426","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":"4be0c1e150f55de8ffbe308c7beab52f5c0983db","datavalue":{"value":{"amount":"+0.7920069694519043","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":"Q3172876$F7F40EAB-BBE9-46AD-8D04-9759383C9721","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172876"}}}}}