{"entities":{"Q2355689":{"pageid":2366432,"ns":120,"title":"Item:Q2355689","lastrevid":78844115,"modified":"2026-05-06T12:34:05Z","type":"item","id":"Q2355689","labels":{"en":{"language":"en","value":"Next-preserving branching bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6463986"}},"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":"Q2355689$77135631-5000-4A0C-A06C-7AA8225CFCAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2b26791ef63a81c71880e5122411bdc4e7357f4","datavalue":{"value":{"text":"Next-preserving branching bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2355689$7BB240C0-1DB6-4DDD-B9CD-2A1CC0C411D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"270726712c29f2dea586b9f4dfa74b24e5691e97","datavalue":{"value":"1328.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355689$EE0650AA-3927-4D43-80CF-1B0AC6C079FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cad07ca3ef2b79c14c973ea4f31debc77c5f54b3","datavalue":{"value":{"entity-type":"item","numeric-id":2355688,"id":"Q2355688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$99D6B089-E35D-46B8-A612-4AE89A322F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2d84d126ac5623b4ecfba5f198b112731dcd9bf","datavalue":{"value":{"entity-type":"item","numeric-id":782493,"id":"Q782493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$201D00CD-2EBD-4DD2-88F3-02C28859759E","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":"Q2355689$01C359A6-6221-413D-8172-9688ECE9BA7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffc3b242463a8a01767e25c752f32765f1655cfe","datavalue":{"value":{"time":"+2015-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2355689$1A07CBB5-9A78-418D-9113-552ADBA9AE1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355689$D8FCDA70-598D-4876-B06D-5AC641E6D032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355689$D881A9FB-8D6F-480B-94BE-F0DE6D9AC2E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0b2f57772cb25ce6351a3f189b6320ef21f846e","datavalue":{"value":"6463986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355689$7C8F35EC-E9C5-48F1-B0C3-6FE9C24747BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355689$111D20BC-A98D-429A-8D94-1B0254783C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355689$B98D5B0A-A3B3-4F06-8F8A-AFF6AB04D64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355689$4AA0DC3D-5C3F-4DBB-A54C-E4ED88D3A982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0531e406e5c4dc3979c91aeea4743a364b94b3ea","datavalue":{"value":"\\(\\mathrm{CTL}^\\ast\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355689$3368A248-BDCF-40C4-AF74-0E0280B79AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355689$613B34F0-00EC-4D14-B719-FC248B93CCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a328af7ff1543bbca7dabe1fd934e14aca40f87e","datavalue":{"value":"slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355689$6FC0AE38-B998-4CD2-B8A1-35A614FCF99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffe8f4167deabc771992ae7303f54ebb66ebd507","datavalue":{"value":"behavior trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355689$F4EE48C0-2F0E-4EFE-A1DF-33D5E19D95FD","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":"Q2355689$4A3D4BC8-8713-482A-B4B3-2AC1FCD05DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$AD69C64A-8820-4106-944E-105F9CCD2293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$92DADF51-48DE-4B70-8E70-25596DF1970D","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":"Q2355689$CA008FE3-43B8-4D8E-BCC2-8FF907D7743D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2685a3c88ff5546b0c42a2b5738cd18b6c7b8c7","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.05.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2355689$E553365E-F453-4043-9C11-9CE57301A2F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09bf68d06fa59b8646f220b2966f2084d2fdb981","datavalue":{"value":"W2136356641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355689$2E3B9920-5F33-41D9-8460-0A534E71E9B0","rank":"normal"}],"P223":[{"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":"Q2355689$586AAF78-55C3-426E-BD9B-AEA1E16F8669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$C78F2C90-0363-4487-A18D-4CBFAD8F7493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$95FE7D53-8D64-421C-AE2A-A42BFA69A4B6","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":"Q2355689$B236EF52-72E1-4618-833D-4E48ED71F967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$DB051656-6A14-4B9E-B785-29A7206455DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$5B171CB9-6A8C-4527-BEC0-B14AC659709C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de7e33884beaef28cc85e781dff626f83475e57","datavalue":{"value":{"entity-type":"item","numeric-id":549693,"id":"Q549693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$8DC372BF-0D23-4016-80E7-ED59DE16A217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d5c6527347a7682193442c267db84f57e4231a","datavalue":{"value":{"entity-type":"item","numeric-id":3163878,"id":"Q3163878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$619C73FA-DE72-4870-B2FA-1FADC645F2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$1A54BC32-A757-467D-A3C5-23934B95C4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$DB4B4756-5033-4FAF-8745-589237E7967A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5523ae6ddcf8abdcfa811b573deca6335953de3f","datavalue":{"value":{"entity-type":"item","numeric-id":3398965,"id":"Q3398965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$1EF17A79-CFEF-426B-B390-DF22741B1AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ec1059a740aeb1c59943bf57fdfdec047f28ae","datavalue":{"value":{"entity-type":"item","numeric-id":3401140,"id":"Q3401140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$901E605B-4B3F-4E93-8DC0-1D8D0581C77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f10cff2d6a692f113dea626a2bf1dcb72ab4ac","datavalue":{"value":{"entity-type":"item","numeric-id":2851316,"id":"Q2851316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$457D7F64-F528-4D99-A2F2-E0283FF4794C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca2a6130fb0c85f7a83f9fda830b9f3b871814e","datavalue":{"value":{"entity-type":"item","numeric-id":2484066,"id":"Q2484066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$6C3BA335-837A-43A6-8577-2704EC37F16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857dc82a063c3e8a5bfe609deb8248d276966a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856160,"id":"Q1856160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$8CF71E3D-08F4-4E4C-A424-52F7C9D04284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93cb49289199f320ccfd6b655593a034835e1ded","datavalue":{"value":{"entity-type":"item","numeric-id":3605464,"id":"Q3605464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$1F816412-C5E1-43FA-A834-E8AED69DD573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427a050d6a10876443a15cfe34d5c026b05dff9e","datavalue":{"value":{"entity-type":"item","numeric-id":3761672,"id":"Q3761672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$E9C225AA-62D5-4F83-A59A-A3F1094854F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7f7addb5367552849614d1ec1a6717c11c7f09","datavalue":{"value":{"entity-type":"item","numeric-id":1884905,"id":"Q1884905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$6D963305-0124-4E60-A8E0-A764AC7D93B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1d9b2b244b625d820a8233659bc5e08d9db86","datavalue":{"value":{"entity-type":"item","numeric-id":5703816,"id":"Q5703816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$DD3D2811-DA58-40B8-83D7-FC4C1D5AE608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d7f8ca75dde8d53e108a39bb964ccd4254ac96","datavalue":{"value":{"entity-type":"item","numeric-id":3608880,"id":"Q3608880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$106E79EF-42F8-480B-8EAB-38B880667BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b51b5cd8023e9b77f5f73ae6b5d6ca4843dddc8","datavalue":{"value":{"entity-type":"item","numeric-id":5448670,"id":"Q5448670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$9FC270DE-AD64-4D3C-A95D-4190D130507A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e0ba7888e2f01db3804efa5ef40814d434da0a","datavalue":{"value":{"entity-type":"item","numeric-id":3656776,"id":"Q3656776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$EFF5D42A-0C48-4C0E-9DC5-BB30DEA488BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d189d5566bbdf8684108572f8e7b1cae5e8fb1c","datavalue":{"value":{"entity-type":"item","numeric-id":1595472,"id":"Q1595472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$2A671281-155F-4D66-B7D1-1B95D45B54A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6fce0ee40aab1686c7db80005d76b3d0483524","datavalue":{"value":{"entity-type":"item","numeric-id":3591066,"id":"Q3591066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355689$E542C34D-C6D7-4EE8-9E03-4D4215CDC8DA","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":"Q2355689$256FCA16-4CB3-4688-9C63-6CA00E5A6177","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"573f38d39a0f7f624e1e8e69005b9edd60e410d1","datavalue":{"value":"10.1016/J.TCS.2015.05.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355689$854F26D6-D949-4CDB-A5A1-0AD050B99D8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4c312a2db35494fbd8612a70d8f5f6017b4623","datavalue":{"value":{"entity-type":"item","numeric-id":1193655,"id":"Q1193655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71c21d2e07b84b3cb1d832d86393eb857853f70","datavalue":{"value":{"amount":"+0.88171697","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":"Q2355689$13C2CDC1-C0AB-4F88-869D-41FD9072A146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6f1e817f4c739c6fed8592e0ccbec38523e747a","datavalue":{"value":{"entity-type":"item","numeric-id":5020941,"id":"Q5020941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53487fdf11ac6a0e3eaa3422c2c08c3c60a6ebca","datavalue":{"value":{"amount":"+0.8779937","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":"Q2355689$E9D72F6C-ECA1-4D02-A281-E36210B5FDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fff70457aee63f5c012c6f9c71ce8014c6bb12f9","datavalue":{"value":{"entity-type":"item","numeric-id":6176118,"id":"Q6176118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067f7fd30e7c34c15686fad92486c1b2573b8f4e","datavalue":{"value":{"amount":"+0.87542176","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":"Q2355689$02A723F3-D2B5-4A87-876F-1B66C069A8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8639a8d99cf8b5b38ae4fc8e786e95b74014a8c2","datavalue":{"value":{"entity-type":"item","numeric-id":3613014,"id":"Q3613014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086888de5749ba606251df849382e55c331a1b07","datavalue":{"value":{"amount":"+0.8703487","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":"Q2355689$9CDB5B6C-0B52-47F9-9860-ED83FF0B98B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1539b8d0dfedefd5d6d0bc4f528c4655dfd0ffc9","datavalue":{"value":{"entity-type":"item","numeric-id":1975965,"id":"Q1975965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16668aec4901f77e6c685d8e05d44c0d23df4d5f","datavalue":{"value":{"amount":"+0.8685346","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":"Q2355689$1D192F64-DA6E-4B0A-9A4D-4F5FA23F37F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d71788dc5a4071c048e5d1d812c461674c639db","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d50e74ffa5373b5bf3b2c26ecbf0bf2bdb371c1a","datavalue":{"value":{"amount":"+0.8657193","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":"Q2355689$0221ED84-11D0-4E58-A726-682BFFA6AC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e416d6ee2c5d1b8716df6cf6bfe4e1e84dffba0d","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf106f77ccaa75a89032cfe3ec895d97c9e9b95","datavalue":{"value":{"amount":"+0.86455965","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":"Q2355689$AEDFAEB9-1F69-408A-A53D-D52D623777A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc45bf783bf70ddd003533537f8bed9c6b2a7dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4880140,"id":"Q4880140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c414fb5be53af7978bc8a928f50c63399953744","datavalue":{"value":{"amount":"+0.86429244","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":"Q2355689$9D9A812E-D473-4B75-B50D-DFE4F9E81B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9456117d5fb1c54c4e6e47def83e67660c084bd","datavalue":{"value":{"entity-type":"item","numeric-id":5259297,"id":"Q5259297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc2f67fdbf545b39a4220d7ad960334dc8e7fa0","datavalue":{"value":{"amount":"+0.8612182","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":"Q2355689$664C0220-AAD7-4D78-8DFE-255F48183FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8df9d8a9779a882d6334258d6817259019942de","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c218a23b3f0710ba1dbfba69fa59cb2848973a","datavalue":{"value":{"amount":"+0.85914636","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":"Q2355689$23CE1A97-F66D-49D7-8568-CD009ECC9F17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Next-preserving branching bisimulation","badges":[]}}}}}