{"entities":{"Q2566037":{"pageid":2576780,"ns":120,"title":"Item:Q2566037","lastrevid":72795084,"modified":"2026-04-14T07:53:15Z","type":"item","id":"Q2566037","labels":{"en":{"language":"en","value":"Structured coalgebras and minimal HD-automata for the \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207198"}},"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":"Q2566037$3DA9BD15-E88A-4E61-A0B4-FC4DC7EE1DCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"728acea0442b30e4a637de5ce1bc18e2aa10a4e5","datavalue":{"value":{"text":"Structured coalgebras and minimal HD-automata for the \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566037$E8F6F712-B7E9-4F78-8BB5-CFA2DD4FB215","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d47a7c02d3e74254e934e0954ba97f9dd6780fa9","datavalue":{"value":"1077.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566037$B1160596-3DBA-4550-AD31-8BF4052C0180","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$0CBB77B5-0308-45DB-9FA0-987CA6042694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"960c7faf3b9ee15079ddbeb2d5d3b32b315230a0","datavalue":{"value":{"entity-type":"item","numeric-id":199007,"id":"Q199007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$71C44076-ECF9-4DC4-94AB-0B34F0A8A9CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$67AE718D-FEAA-47EB-B0A5-28D50B30AC2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566037$48D53533-1836-4A66-8097-47355D4C5A61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566037$3901B95D-6B5D-4CD4-BDD9-CDFE6A23C81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566037$63E11F02-9F7C-439C-B29D-7421CB2CAE7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"293cf4080e7b6ed3fdf7bedaabfc32c32e2c6d12","datavalue":{"value":"2207198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566037$50FEA835-96F9-4261-BBF9-5556A6F72BD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"641b04d24e909d024437a6ce17f4509161e4c20f","datavalue":{"value":"Concurrency and distributed computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566037$D57FF237-3FD0-40C9-B630-0B8F9EE81F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566037$31606777-5C55-405D-8667-800F9A974D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03e74bfe1e0e1f36b902d44748fef5df94527cb5","datavalue":{"value":"Categorical models and logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566037$3500799C-762A-4AAE-B77D-17C87103C7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef5b75c42befcb4fe204947f75cd0754fba1fcfe","datavalue":{"value":"Coinductive techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566037$9D7B8A94-7301-439B-BC42-BF3B90469C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13b6568d4d8e4667530e581b4c95931e0ed30410","datavalue":{"value":"Automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566037$F7E20B14-D19A-481B-98E4-4B92A5845498","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":"Q2566037$1CB2B6A5-DF9D-4568-9D70-8841B66081A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"480fa9c7922cead6b9e6fddf393f1b2e5ab1319f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.03.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566037$9C146E28-3743-4F33-B1DB-19AEE8DD492B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b203b46db3768c077f953e46cbab021a75c58cce","datavalue":{"value":"W2077397316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566037$34410FA1-F3F5-4039-8D4E-A2616F9859AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$16E1F615-A1D3-43E7-9AF7-5468570F165B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0455f90731478c0b547c3bd58e6fe351829876","datavalue":{"value":{"entity-type":"item","numeric-id":1276246,"id":"Q1276246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$3D46E526-7CEE-49AE-94BF-2A1534ACB9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6561eb7418a5d39be52ab51c4e9fb5f3c2091840","datavalue":{"value":{"entity-type":"item","numeric-id":4499314,"id":"Q4499314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$13F9B2BA-9175-4CBD-8221-139D2ABCAD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36d97743a25630c342d09229de75d87ff0c3fde","datavalue":{"value":{"entity-type":"item","numeric-id":4484504,"id":"Q4484504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$AA1461EE-2F2F-489C-9368-20A287C51DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f786aa111b6ea1e874472e8911623c345b4d21d","datavalue":{"value":{"entity-type":"item","numeric-id":4222948,"id":"Q4222948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$284D3194-0FA1-455A-ACB7-DF576C4FF0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c12d0a14a108925badd4fc4c2dbe21d1b38f98","datavalue":{"value":{"entity-type":"item","numeric-id":4256315,"id":"Q4256315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$F6C634D4-6895-4D43-ABF6-A6D040384F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef1743e269f4a473b85e0bafacd688daf4063dec","datavalue":{"value":{"entity-type":"item","numeric-id":1603820,"id":"Q1603820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$3476C3C2-3E7B-4462-91D5-B0DD247D5DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a5be0c101b23bfa62ae4840034b8ca646534b1","datavalue":{"value":{"entity-type":"item","numeric-id":1079949,"id":"Q1079949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$C69ABD38-658A-4F88-9FB5-A9F4BE97A658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5917031cd6ce8484665fe8349c2192d249de0f24","datavalue":{"value":{"entity-type":"item","numeric-id":1400720,"id":"Q1400720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$97E28935-F01F-4321-83DC-CC2C200D24B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b556a5c9d5f6419fc1f1c57f2b7c33e76e94e520","datavalue":{"value":{"entity-type":"item","numeric-id":6104384,"id":"Q6104384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$83136A09-2ACC-4112-B972-10F35646245D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2a38cd06ab45b0f8d80c599a318f2c40a9e7ac","datavalue":{"value":{"entity-type":"item","numeric-id":4223018,"id":"Q4223018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$BF1739E7-327F-460A-95F4-DD1CB8B2464F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce890db8f764308dc9d80705e866747b01fc19","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$D1C142E5-2A81-43FB-97FF-6C9DD31F0A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$27BA65DF-C066-41DC-B39C-22483ACF19C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$EE80FE6A-1E42-48E5-B65D-26696F01C995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e7045b39c19b49326089f003377bb242f54a4c","datavalue":{"value":{"entity-type":"item","numeric-id":4353638,"id":"Q4353638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$3BC86BAC-95D7-49AB-BFD0-0F0D56ABAFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd55ff2e03b6b314ce17c763bfbf348521ea10a7","datavalue":{"value":{"entity-type":"item","numeric-id":4222939,"id":"Q4222939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$C02A2C6D-0968-47A6-B72C-A6A44C59F3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f95f518b5c3d4652d305971902087e1c69882e48","datavalue":{"value":{"entity-type":"item","numeric-id":4536393,"id":"Q4536393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$CC6EC892-916D-43B5-A54A-7C15D88BC102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$5078365A-EF19-49E9-93C2-288773CDEAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$CE3DBDC7-6541-4D88-AA1D-48A694472561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db190668a33e10fd7ad9de1c45951ca622381f5b","datavalue":{"value":{"entity-type":"item","numeric-id":1891152,"id":"Q1891152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566037$42379476-FB8F-4D0B-9023-F6B56D5F1C3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb05362aa5eb7dcad6638750451f7ecfdf25f785","datavalue":{"value":"10.1016/J.TCS.2005.03.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566037$CB3E046D-8E20-498F-8F98-A0FD7ED7D6C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8023fcce5ddd1af02b62869a6999edda59c3da6","datavalue":{"value":{"entity-type":"item","numeric-id":4536393,"id":"Q4536393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef0f5e18434e00e5013e30e8e03f854ef18b549","datavalue":{"value":{"amount":"+0.985567","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":"Q2566037$02B8FBD2-3854-420D-8A90-F9FB290EDB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14b92cc297d6dbb8dde16335d5bd1655d4d871d","datavalue":{"value":{"entity-type":"item","numeric-id":1770362,"id":"Q1770362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3176dae08b5e70eb9351591ad8c72a95726219e6","datavalue":{"value":{"amount":"+0.9275755","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":"Q2566037$726C9E3B-5DD8-4EC3-A109-519EC0A94E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b95d65d70341e1bcdb7407b229638d813bde5ed","datavalue":{"value":{"entity-type":"item","numeric-id":2847823,"id":"Q2847823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f821bebe6e4eebe37023d62086faf47a6b229ad","datavalue":{"value":{"amount":"+0.8881481","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":"Q2566037$6C6A9C32-69DD-4213-BB15-8E6C4E797CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016017686a2205e3f6e7a6a4b31d39034c1f27c0","datavalue":{"value":{"entity-type":"item","numeric-id":3623006,"id":"Q3623006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de6fd896a84d148e16f990bd0e6546ff1fc4a0e","datavalue":{"value":{"amount":"+0.88458526","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":"Q2566037$D470ABE3-440A-45C9-91B2-6783857CC69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba16f5fc636f2d5b18e8108fe834f8fc49259859","datavalue":{"value":{"entity-type":"item","numeric-id":3179412,"id":"Q3179412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07cde780f5a9ce86a12fc4be10ad5fff299415a8","datavalue":{"value":{"amount":"+0.8789562","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":"Q2566037$4A8988D4-2F5C-4A69-B951-464736852B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b805889cf1abe81bbb01b4d7e32e8f79a66a4652","datavalue":{"value":{"entity-type":"item","numeric-id":2787337,"id":"Q2787337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b67b30b55353cf93eac4f92188f8a08b0890fa35","datavalue":{"value":{"amount":"+0.878281","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":"Q2566037$BF3F8976-991D-4742-9A62-4214BAEF923E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fedb46823239b1568da3335f9b0c959ba0a25754","datavalue":{"value":{"entity-type":"item","numeric-id":3587454,"id":"Q3587454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5547947acabb1f17221860abe8236b8dff5a82","datavalue":{"value":{"amount":"+0.87716895","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":"Q2566037$9A15D741-0EB6-4B79-955F-9277EF502523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bfd86a90d291533ccc4aeac864fe852de1c6f6d","datavalue":{"value":{"entity-type":"item","numeric-id":4913772,"id":"Q4913772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d208ed89e58428f94762010d426a73637f0bea65","datavalue":{"value":{"amount":"+0.8760245","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":"Q2566037$3BF58561-2951-473D-8FB0-E8DD56B42119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15cadd71d92bb3afe091d762ea76dd71e4be1d5","datavalue":{"value":{"entity-type":"item","numeric-id":1744392,"id":"Q1744392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97675049ee8eb2ad50379e968a96a3d11a423510","datavalue":{"value":{"amount":"+0.8725316","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":"Q2566037$6ABC1DB8-7EF8-499A-BBF3-12C34DE8D8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ecdaea374d3f59341800665d16bf5a2f907dca3","datavalue":{"value":{"entity-type":"item","numeric-id":890382,"id":"Q890382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"828b33b88293d1fec496954cebb57a1775a95dd1","datavalue":{"value":{"amount":"+0.8711083","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":"Q2566037$E5E670AB-2E5F-4FC9-BB31-759BAF7E50F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structured coalgebras and minimal HD-automata for the \\(\\pi\\)-calculus","badges":[]}}}}}