{"entities":{"Q2842853":{"pageid":2853573,"ns":120,"title":"Item:Q2842853","lastrevid":51801881,"modified":"2026-01-20T03:01:32Z","type":"item","id":"Q2842853","labels":{"en":{"language":"en","value":"A distributed algorithm for strong bisimulation reduction of state spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199169"}},"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":"Q2842853$A6C6E018-CE66-40C6-B86F-A233387B1E9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b507bcf60d551e1a57229a6c78d910119dd9d312","datavalue":{"value":"1270.68380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842853$63514E97-F12B-44BD-A10B-66FB7C864318","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"041d5ee3fabd59c2cdad1eb3f2e35ff32f1de0f9","datavalue":{"value":{"entity-type":"item","numeric-id":1630042,"id":"Q1630042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842853$43F57DA8-23F2-40C6-A022-272D9A166ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2652922bfca31ce2044bca7ed71686d498c8b00f","datavalue":{"value":{"entity-type":"item","numeric-id":960853,"id":"Q960853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842853$0468A89B-5825-4177-B2DF-F868F12E1902","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842853$32BD949F-480E-4F3E-A586-1D160EF6DD12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f706ed8b85805dc67a0bbb518e285b12519785a","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105803901","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842853$BBB26494-18BC-4BE8-88BC-A8784F385F26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842853$271CE881-15CA-4AD9-8D76-08393B1BE6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842853$B31B74E1-83F4-4E80-A3D9-B1E284DC81B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842853$6AC6E7EB-48D7-486F-AA84-F4B4B9BFC038","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7eeed2ba6ea2ef84f458dc764835079b8f485cb2","datavalue":{"value":"6199169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842853$68CEACF3-A7E0-4C85-A591-038CA500C23C","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":"Q2842853$B94F238E-8D6D-48B0-B7E9-7C2EA856F26A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2c8832780b18963a597bbb32fb1c8fcb68b99dc","datavalue":{"value":{"text":"A distributed algorithm for strong bisimulation reduction of state spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842853$3BFCA2EB-635C-4B83-9FF1-1B549FAF6044","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1a29f3872ca9b309c356fb61d0838bb5ecca12","datavalue":{"value":{"entity-type":"item","numeric-id":2845494,"id":"Q2845494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e125510ff12c5695857fa122d13a5ae73189a8","datavalue":{"value":{"amount":"+0.8628039360046387","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":"Q2842853$1685E128-C6AC-4AA2-AA54-5C44708B799E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5593cb9a8d64b95823f0c5eb329a889086219328","datavalue":{"value":{"entity-type":"item","numeric-id":5415660,"id":"Q5415660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c5f90fcaf033724431d95755c999409bdaf8ac","datavalue":{"value":{"amount":"+0.7906913757324219","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":"Q2842853$0E963280-4EAC-43DF-BF7C-EC31050A017E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86562c958104bf722071c62758cd224a8594421f","datavalue":{"value":{"entity-type":"item","numeric-id":2848148,"id":"Q2848148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be240d7beb9bad6b36f49107bad8273c3977254","datavalue":{"value":{"amount":"+0.7609575986862183","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":"Q2842853$773FDF78-472B-46B3-BEF7-2BD6ABFD0749","rank":"normal"},{"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":"8e9a4e49f4ad846c4ee1c9c88a813fa56951ee93","datavalue":{"value":{"amount":"+0.7575810551643372","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":"Q2842853$B71EBC3D-5086-49B8-A80C-F730702BAF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d8708d55358f1a79ea48153e1da8b9a71b6146","datavalue":{"value":{"entity-type":"item","numeric-id":4779370,"id":"Q4779370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96b05d9c910e1e9ff81439f48f1f1c0b5c9c3d9","datavalue":{"value":{"amount":"+0.7518892884254456","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":"Q2842853$56A4C928-3725-4E52-BDAC-3190CBAB40C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842853","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842853"}}}}}