{"entities":{"Q510897":{"pageid":512664,"ns":120,"title":"Item:Q510897","lastrevid":52742753,"modified":"2026-01-23T10:04:23Z","type":"item","id":"Q510897","labels":{"en":{"language":"en","value":"Computing maximal weak and other bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6684420"}},"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":"Q510897$3D288462-30D1-486C-B270-D0AC77426499","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6e64c6c47a8ad31480ae2e3b10e32257a9e6ece","datavalue":{"value":{"text":"Computing maximal weak and other bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q510897$0E29D1BD-B02C-4234-ACDB-84DE12DE94DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d6b0f779aa652d7bbf53a31d2cdff04d217ce0a","datavalue":{"value":"1355.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q510897$46EFE754-5EE6-4F89-A3F6-4C63B76FB4A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74cb3a3731f225ae372bad00bde6adff4ceed4fb","datavalue":{"value":{"entity-type":"item","numeric-id":510895,"id":"Q510895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$412D3778-6D64-46D3-BF82-EE89F4ECD1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9ee90f8cb14e30a2f979418d0943f6e0ecd4f3b","datavalue":{"value":{"entity-type":"item","numeric-id":510896,"id":"Q510896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$387D0E99-230B-4868-9B06-563DA65068FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$AC0E6636-3DE3-4CAA-84F6-7AAE2D19E913","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$F2311CDF-32CC-4502-B94B-6D3756B85108","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db40ba1d53c33135c8dbe5d4d9cf42f70aa50a74","datavalue":{"value":{"time":"+2017-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q510897$056E8114-AA17-4063-AC9C-CF6E2DDD8849","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q510897$A590552E-04F8-4EB8-851C-9F9206CD34E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q510897$A7FF6BAB-FEDD-40F2-A63C-72AA9986E667","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1710044d8dd267087ac6e7d43f2d375bf53968e","datavalue":{"value":"6684420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q510897$A0B7888A-1714-4CE1-B5E4-83FB105CF884","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q510897$49891306-8DB2-4150-B15C-792CC8A1FA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"560176b9f90870250c4b94f96ff2cf2f7e622c22","datavalue":{"value":"FDR","type":"string"},"datatype":"string"},"type":"statement","id":"Q510897$C8CF68D3-B69E-42F4-8DE7-CCE9CEDBFE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q510897$AAB57643-D3E9-4F29-99E5-FB25B5A01755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cdcd23245c8696e3ea7b286e9d4a5cee174189","datavalue":{"value":"strong bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q510897$C7E00643-BDF9-4B50-BA1A-C9F92DE2BC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af184eaeaa7f9ca9eaaf8bef7050daf5b12b7df0","datavalue":{"value":"delay bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q510897$8986B3C3-A6A6-4584-A8E9-0F8161F8EB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0652d69d3bb722adccc86703c4029f8e936b3bb5","datavalue":{"value":"weak bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q510897$A3B4A436-2AF8-4477-B7DB-3FE095064D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q510897$DC00F6D2-3176-4F63-9EA6-6F61228CFC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q510897$90861603-C0FD-409C-9413-2CBA35AC0EF1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc1d6eebfa470303d359a99f93232313a534e260","datavalue":{"value":{"entity-type":"item","numeric-id":13603,"id":"Q13603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$BE935F4D-EBB6-459D-913C-B27663ADE4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1412ceb6c71a23f10e8f7e008bf034264afa1496","datavalue":{"value":{"entity-type":"item","numeric-id":41444,"id":"Q41444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$79578020-C839-4DBC-B740-E1EE4D6A590F","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":"Q510897$F68E971B-7CD9-44B0-8038-9DB29AB927DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97873e1476593719fe9ae012a9df7469c6caafee","datavalue":{"value":{"entity-type":"item","numeric-id":24316,"id":"Q24316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$48778561-9871-408A-9C25-D8917C752572","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":"Q510897$25311072-4C95-4668-8CCB-283FC6393054","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27f7d650f0170ff458e16c014b1c516c37a5f782","datavalue":{"value":"https://doi.org/10.1007/s00165-016-0366-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q510897$F6E2EDBA-64AE-42EC-9B89-6EDA783A88DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81d282acb32f98468557b6135df7c3334f80f837","datavalue":{"value":"W2330102972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q510897$77078AC7-93A6-4B6D-8C26-B0F09B54C5D7","rank":"normal"}],"P223":[{"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":"Q510897$253964B7-75E0-4FE2-978A-6AFC73C3AA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf98a7be5b6815254e211306ec66d127b3aeb2ea","datavalue":{"value":{"entity-type":"item","numeric-id":510897,"id":"Q510897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$44EC5CE2-0E16-4E94-88EB-005EBDE526E7","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":"Q510897$26742CB4-86BA-468B-A3E4-7ABC112E6B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4db6afd943e626772ac0a36d9cb8f9c2c5e427f","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$419A93E2-7AB1-4CB9-A7A0-AED1F57407C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bfee5788a40d6a31d12e0d933b8fcdb3b198b2e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$41B40289-F0A4-4051-A123-7D2694761EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d04efe2bb7a3ba846d8362c8253576775f83a3","datavalue":{"value":{"entity-type":"item","numeric-id":3000666,"id":"Q3000666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$A6A33036-BD71-4BE7-9BF1-A16A1D144961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$0311D4C3-79A6-46F4-B817-857BF9E37094","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":"Q510897$65E2023C-0F8E-4640-96B0-096FFF480731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$C5D3C586-768A-4076-BEB4-7194CFC7F0E8","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":"Q510897$2B6D6829-12A7-49CE-9CFC-415B40E5D35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$20758036-49C0-4763-A422-1B929333A5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$022636F0-14A7-4262-8B87-92F0BE462A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$65245520-8A09-4192-B680-E8F0D069AC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5649d57198370b97f4b6e90557f17a70a4527300","datavalue":{"value":{"entity-type":"item","numeric-id":4703894,"id":"Q4703894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$3E5E66AB-3E14-45AA-8482-7A442F53A47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$B840F02B-F57C-4C00-A741-034BF0487301","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":"Q510897$A1FAB529-75CA-48CC-97CE-EE39C29ECB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0bdd53bf43973173f3fedbc957ddd511ab81b45","datavalue":{"value":{"entity-type":"item","numeric-id":1217713,"id":"Q1217713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$0F86BDB0-2FC8-45E8-8DE9-66A075B04AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23fcf8ae9df48ddae80861dbdee0691f518616db","datavalue":{"value":{"entity-type":"item","numeric-id":3522930,"id":"Q3522930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q510897$8097BA3F-F1A9-4CC0-B9B7-53C451850A40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"113676497dd9158203ab200d1e115bd8e1ad4c00","datavalue":{"value":"10.1007/S00165-016-0366-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q510897$EDABFE6D-A65A-443B-84A8-F3DE494B37AB","rank":"normal"}],"P1643":[{"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":"0256a3d6391abf1a0104fe36bbeda9250a9426ea","datavalue":{"value":{"amount":"+0.8209439516067505","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":"Q510897$33991B98-4AB2-40D7-8D13-E7680F4C31F3","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":"7b74bd23dcc70c1eb9a235182b80dcd6f451fc48","datavalue":{"value":{"amount":"+0.7971482276916504","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":"Q510897$B0B02A19-C913-4E43-BBE6-5142515D8076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913724d19c5f2456e6de8506edc37016dd1a83da","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ae9b1edd5a3d88760ca483f3d425199122c3f1b","datavalue":{"value":{"amount":"+0.7942823171615601","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":"Q510897$4499A671-2FE3-4746-B054-503511D164FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb4cec045972da0de9f48742121bb34be5ab3e1","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493588e8772e750ff82c38185665b9944fc9e984","datavalue":{"value":{"amount":"+0.7941861152648926","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":"Q510897$F6DB0BFE-10CC-43A2-8BAB-75B0C3A7F359","rank":"normal"},{"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":"99fd94e16779ed5c676d3b27ac372dd7790a442a","datavalue":{"value":{"amount":"+0.7926399111747742","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":"Q510897$70F46236-90D9-4D31-9290-A8D153E4C848","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:510897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:510897"}}}}}