{"entities":{"Q2845494":{"pageid":2856214,"ns":120,"title":"Item:Q2845494","lastrevid":42261232,"modified":"2025-06-03T19:40:33Z","type":"item","id":"Q2845494","labels":{"en":{"language":"en","value":"Distributed branching bisimulation reduction of state spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203474"}},"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":"Q2845494$DEF78588-6D06-4F06-AD62-98C6FBAC8E3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99fcbd0fe773ce1fabece7d6f3e319261066f06c","datavalue":{"value":"1271.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845494$B45BF6E2-1AB0-431E-A0DB-67C91DB8E3F9","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":"Q2845494$D31C1F18-E040-4C13-A14C-DAB041326DB0","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":"Q2845494$ADFC297B-5EF4-4610-9FE9-1C508D31C319","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe91a82e9327cf79ad7ddd82bc8f3cac46bf53c","datavalue":{"value":{"time":"+2013-08-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":"Q2845494$816F27B6-A06E-443E-8212-204D3DAD4FE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d1e5e69fa7ca365aaba32bac98729ccce632e3c","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105800994","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845494$A95B7352-57F6-4797-B08F-B8B9E736C0A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845494$B865BBD5-9B01-4F76-85D9-A22202BB7B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845494$EADB39EF-9DDE-42BC-9562-194584125FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845494$608F1E37-D502-46EC-9019-00A37EC921FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43974efe6799c53cb6f94417f65b505706e773a3","datavalue":{"value":"6203474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845494$D2D95EBE-3E43-4653-AE84-0B7D0381051F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e4475a1d61c9114a2a64b4e2a8aae0f014f10361","datavalue":{"value":{"entity-type":"item","numeric-id":33753,"id":"Q33753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845494$45AB647F-2A6C-4680-9DDF-D8CD35930082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845494$78987803-3F4E-4799-97F3-750D96D17B48","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":"Q2845494$441233AA-71F4-400A-8219-DD055879A8B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda05fa7733652b718babfbd348283b731bf9018","datavalue":{"value":{"entity-type":"item","numeric-id":4531762,"id":"Q4531762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845494$97E0C044-7758-415F-89DD-6F815AB99BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d207321f5a8923ffcf4638f1bd25d4d55b8df7c","datavalue":{"value":{"entity-type":"item","numeric-id":2754085,"id":"Q2754085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845494$F2629C88-1CEA-46F5-ABAF-4C9592D8C221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c64599df9478b2d2cbf08ed4c0afb3ef07c72a","datavalue":{"value":{"entity-type":"item","numeric-id":2842853,"id":"Q2842853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845494$02589222-7739-4F06-A1D7-B3C3C70240C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4e233ff1837911f4fbfdd3f3738318d8dce822","datavalue":{"value":{"entity-type":"item","numeric-id":2771064,"id":"Q2771064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845494$617789BD-0C40-4745-A030-134B86D931EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845494$5B066195-70C2-4F22-B339-FD7939C7F857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9540c6c28af8a9c548ad06dcaa0234138db6a390","datavalue":{"value":{"entity-type":"item","numeric-id":4530809,"id":"Q4530809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845494$F4B26F36-E4D3-4488-8DBD-FB6595CA5557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ae7717ee846def71c4121d7b92687d6700384e","datavalue":{"value":{"entity-type":"item","numeric-id":1400154,"id":"Q1400154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845494$1F1C7267-2C2C-4CEE-9F0B-3E9849AB1AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845494$5EE38681-84F0-4241-8150-067F621DBFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe249d565fa8976723a05916e803d825e9d382c3","datavalue":{"value":{"entity-type":"item","numeric-id":864512,"id":"Q864512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845494$21A710CC-9AE8-40DA-9384-5A9478F0A60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2643725998647ea0efb48c4d6d5b6e915dfb0f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5943259,"id":"Q5943259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845494$58E9E2DD-166B-433B-8297-3FB55492E02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845494$67B63001-264A-4300-9689-EB593EE03C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845494$DD4C8E14-030A-4B13-A128-682834C20E06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf26c40a90db74b31763f613b036a0feee90fa4","datavalue":{"value":{"entity-type":"item","numeric-id":2842853,"id":"Q2842853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d791af41f0f9ee43cdb94d874917671ad6b3fc","datavalue":{"value":{"amount":"+0.9445186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845494$D6CC6197-3545-4081-8B61-B742DEB34950","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":"5bc57f4c512028ed3ebcfebac0e5dd3863a3dae4","datavalue":{"value":{"amount":"+0.89646363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845494$0D571E4F-2CBF-4A40-819A-5564F1E1CF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c30e56a722459c83d9a72a334a0afab1a75013c","datavalue":{"value":{"entity-type":"item","numeric-id":3474903,"id":"Q3474903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b309c58e23a3d0f8f11ef9fde626d8effa5ee9","datavalue":{"value":{"amount":"+0.8937538","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845494$12168093-C8E4-4AB7-B87F-EE286F716BDE","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":"450882b35c6e8a375604aa1530c51032a4f6dfe1","datavalue":{"value":{"amount":"+0.87381834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845494$0C8B0487-7EC0-438E-B941-0EFAA0B29553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3864231278fe2268cdd0cb089029cce53ab69f","datavalue":{"value":{"entity-type":"item","numeric-id":5461616,"id":"Q5461616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eeac76d890003fa11bafa0b0eba6b4ea2dff412","datavalue":{"value":{"amount":"+0.8554524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845494$A221ABDB-9713-484B-BA1C-77E65445344B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b347b33296eed1db659dc9e7a15a6e52df330b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3614847,"id":"Q3614847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa2fac1a11a4a8bc394c86d5bb833068fd66788","datavalue":{"value":{"amount":"+0.85518193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845494$4F4C59C8-782B-4D59-845A-F99B20AC49F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3933f7b598b865a40b598ff41f2f4a3f821b4c0b","datavalue":{"value":{"entity-type":"item","numeric-id":2766577,"id":"Q2766577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3126d557c5329c4e69505514147858a17592aa2","datavalue":{"value":{"amount":"+0.8532094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845494$42238676-E5CD-4912-85C5-A1C2EDA1DBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec3847bacb2597f194949874ebe00e86b62fbdd7","datavalue":{"value":{"entity-type":"item","numeric-id":3608458,"id":"Q3608458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"707c44effba56eac114499f8065ac0929ac9d59e","datavalue":{"value":{"amount":"+0.84277093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845494$FD8C60B2-ABF9-4216-9199-82345C014756","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"147b822002ba327c138985a17505c8b2696ecaee","datavalue":{"value":{"text":"Distributed branching bisimulation reduction of state spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845494$3FED3445-C16E-401E-83B6-F16A37299845","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2845494","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2845494"}}}}}