{"entities":{"Q5326310":{"pageid":7355884,"ns":120,"title":"Item:Q5326310","lastrevid":51790403,"modified":"2026-01-20T01:30:13Z","type":"item","id":"Q5326310","labels":{"en":{"language":"en","value":"On-the-fly exact computation of bisimilarity distances"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194822"}},"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":"Q5326310$399948E3-6841-4C62-B223-083D06EF644B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ded6a414a7c05360ccd8e642cc1d161fc08b7fe","datavalue":{"value":{"text":"On-the-Fly Exact Computation of Bisimilarity Distances","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326310$618C5306-A12A-4D4B-BBBB-50B5C9C3F31F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57c806fe55108526e79036c205875240c796fe08","datavalue":{"value":"1381.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326310$AE5ADE94-4E04-4FFA-9218-7277838F7168","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52bb9a16b02b1bcc3a870d6d18a902be714d3863","datavalue":{"value":"10.1007/978-3-642-36742-7_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326310$98FD8E2C-890A-4B6C-AD7F-92164EE1B976","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbb61a5e2961b90c24cc43ddac18e0207af6e1ed","datavalue":{"value":{"entity-type":"item","numeric-id":418839,"id":"Q418839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326310$1F056850-A3C2-4237-A43A-ADCF16FE2676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9bfc5763f7a3a5817e63d62f548c450eb5696c2","datavalue":{"value":{"entity-type":"item","numeric-id":1785847,"id":"Q1785847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326310$F107988B-9402-4330-8384-102BAB9036AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"281053ff0a7b1b4d8d0616e6259c142db607470f","datavalue":{"value":{"entity-type":"item","numeric-id":283760,"id":"Q283760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326310$47F4413F-685D-4335-B57B-50E6743BFF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326310$C978DA71-9ADD-4B0B-8332-0168E6D25ACF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326310$8DC18F08-8FA3-49F0-9E5C-9E9176974E92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326310$40D1C93A-5A54-4C2B-AB63-9E57420FAD74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326310$6CEE9E3E-9F84-41CF-AAB9-D55AD8CB643D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326310$C22DAB22-F953-452A-8FDB-DACD423BBAC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9624f60b889530b126762b11cc0a370031fa11c7","datavalue":{"value":"6194822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326310$FB76A127-8821-4378-A27D-7819F9457927","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":"Q5326310$23041DA5-68CC-4E86-BBB1-FC2F3B2B48DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c570bc0ba7f580bb3b696a59dd2dbbf807fbf49b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36742-7_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326310$AB78606A-D0CC-42A3-950B-E461821DEB09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cd55a10132ba422fb7e8d6f0bf8b0ed78c51c69","datavalue":{"value":"W1515897776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326310$42B7FB97-5953-4AA0-B729-BE5AFAD4C119","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce89048c110d9b0d8dfc972b0d5ea54d4158371","datavalue":{"value":{"entity-type":"item","numeric-id":5278079,"id":"Q5278079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1868a24fcb00e20491cfe1da92ad1471be379d5d","datavalue":{"value":{"amount":"+0.905512511730194","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":"Q5326310$C9EFA9C7-7715-4405-9FE9-0E9DF5438EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9670ab378f8066a8a55f8e80eb0a2fbec89caf7f","datavalue":{"value":{"entity-type":"item","numeric-id":5111641,"id":"Q5111641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b092b0267cd7abee6f12b3bd6feae6906d32555b","datavalue":{"value":{"amount":"+0.8236022591590881","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":"Q5326310$A10494DE-79D4-4F2C-8F60-5BE28849B599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aec9ed2cd515a818bdd0ecbd74168470db07f6b","datavalue":{"value":{"entity-type":"item","numeric-id":6041138,"id":"Q6041138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bb6664c0208c20a3e5c98c9037e095782dddb54","datavalue":{"value":{"amount":"+0.8228311538696289","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":"Q5326310$1A56D327-68EB-4204-A777-55F54287C7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130c11d4aaabb9ce39653d1b182ef5dfb19e2808","datavalue":{"value":{"entity-type":"item","numeric-id":2892788,"id":"Q2892788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0407d7a2fbb937cde7dc6a49d7639872798b7cf1","datavalue":{"value":{"amount":"+0.8006450533866882","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":"Q5326310$C2EF383E-F716-404A-97D9-C6947331D523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c706e57d318544a2ba3f89062f582ea018aecf","datavalue":{"value":{"entity-type":"item","numeric-id":5856412,"id":"Q5856412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c081eca639c92b29ad246e59a730af30d6590517","datavalue":{"value":{"amount":"+0.7984875440597534","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":"Q5326310$FDE3C16B-5B21-4C37-BD8E-46EAE360B33E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326310"}}}}}