{"entities":{"Q477631":{"pageid":479398,"ns":120,"title":"Item:Q477631","lastrevid":62165247,"modified":"2026-04-11T04:12:44Z","type":"item","id":"Q477631","labels":{"en":{"language":"en","value":"A ground-complete axiomatization of stateless bisimilarity over Linda"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6378657"}},"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":"Q477631$4BA504D5-7DC6-4545-AE7F-BC5B5667128A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"572b299a04042e84e8c746c8b3700138a7acdfa2","datavalue":{"value":{"text":"A ground-complete axiomatization of stateless bisimilarity over Linda","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q477631$03F7E6AA-8A35-4D6F-9051-91814BCABE33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b73d8fa4713ed4d6361dfe634fc7d42de1d518f8","datavalue":{"value":"1302.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477631$DFC5F75A-04D4-49C2-8430-3653FC634B7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$7B415AE1-B155-421D-BC4B-F4567ECE7887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"392a50cb82fb05a2f2a440fd35f2b0d252f5c7d1","datavalue":{"value":{"entity-type":"item","numeric-id":477629,"id":"Q477629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$CBEE9B99-3E60-49E5-BE00-99049E24A281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$6F70FDAE-E753-4A69-A73E-80095B47A96E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$F5D4239F-1E37-4BF3-AECF-2A262496E331","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"647b7a1b0f81a95dd0d55b044a22a9b52645ffc6","datavalue":{"value":{"time":"+2014-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q477631$F47988F7-D1F5-4155-A26F-3FEAC25664B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477631$42041D06-34D0-41C2-9705-5CE247DD2767","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afdbfab0dc25a3b949a8a12401358791e319c84d","datavalue":{"value":"6378657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477631$5C930E3A-DBB9-4B42-B595-0F623F0E4E8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q477631$8BD7979F-FED6-478B-B750-096088831F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q477631$19B65F3B-AD07-47A8-B27C-35E5FAFC7F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9777cf4840cf195e15efb55acd35eb33bea04ca2","datavalue":{"value":"stateless bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q477631$5D51FF5E-B868-4836-AA5D-4C58EBE5CD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe0955be26969e89fb7c25a6710b344438b63e8d","datavalue":{"value":"Linda","type":"string"},"datatype":"string"},"type":"statement","id":"Q477631$32842EB9-8F14-4CA7-94D3-AB59335EDCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q477631$BD52F6B7-1357-4A3C-9C59-34DEF7D681A6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a8414726934ad74fc66bfb4dfdb61eea21cec47","datavalue":{"value":{"entity-type":"item","numeric-id":18479,"id":"Q18479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$4464A0FF-1D45-4B17-A87C-664FC6CADE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aece4cc3af1aae8d3bcead98dee902db21b4cfeb","datavalue":{"value":{"entity-type":"item","numeric-id":21410,"id":"Q21410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$15D29CEE-5DA5-4F93-8260-91E554D53A6C","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":"Q477631$15CFFFB3-848D-4494-A6DE-0193563A47CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f6124d8bc8e27d81ab19931b80f82c90982a0e5","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2014.09.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q477631$1FC9BD49-62A0-430D-A762-3C978B924FC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c13ba4eafc876c53accc24b49787cde607ffbcb5","datavalue":{"value":"W1970782410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477631$CE7252D5-F2B3-45E2-B287-CCD946356E55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb59ec563cf19e056ea22838a6a0546203828e9","datavalue":{"value":{"entity-type":"item","numeric-id":5898163,"id":"Q5898163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$AAE25F93-FA1C-4031-9C5E-CD16C51FE766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5ddc6c0766496c445e307e5e9c51907b2d428a","datavalue":{"value":{"entity-type":"item","numeric-id":4819114,"id":"Q4819114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$28342475-5D45-484B-ABE0-D35620A0285F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf22b5e0b208fa4dfcfcf742bcaa1a2f4f64d3","datavalue":{"value":{"entity-type":"item","numeric-id":3404131,"id":"Q3404131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$153B560E-1252-41AE-B9DC-1D5496492831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7441cb24e46cc1ba89b9823401220dd782aef12b","datavalue":{"value":{"entity-type":"item","numeric-id":4461215,"id":"Q4461215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$EEBED0B2-1411-41FA-8A7F-C2DD7A97253E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27f4b6c9f86dc5bc6311acafda5acfe7ad73c01","datavalue":{"value":{"entity-type":"item","numeric-id":4564086,"id":"Q4564086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$FC304A32-10C9-4407-920E-01D642CFD3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6474388d0228cc5e8f2fe428633d439480105e9","datavalue":{"value":{"entity-type":"item","numeric-id":706498,"id":"Q706498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$2AF8E2C2-5460-4AB0-B6D9-44E8047224E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e70fcb4bdf553942a74a81e373a3d5b780bdcb4","datavalue":{"value":{"entity-type":"item","numeric-id":4223016,"id":"Q4223016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$72E7B61A-2B36-4CAF-90EF-C42F8AF66611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c0c644d25cf9d11647372e6712334a2df001fd","datavalue":{"value":{"entity-type":"item","numeric-id":1127512,"id":"Q1127512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$9DFDFAC0-ECC1-4F22-A648-264F5BEE2EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f570f44167224f6d8edb808ca179d578e674cebc","datavalue":{"value":{"entity-type":"item","numeric-id":1763160,"id":"Q1763160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$660D7207-6595-41E2-8E42-B5F4A4275DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$09634A70-3503-431F-9388-149D169C4662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6926d18eb6c5e37a47d3ba00bbb5a588d8502c6","datavalue":{"value":{"entity-type":"item","numeric-id":1575260,"id":"Q1575260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$D40B5E90-46A2-49D2-AB7F-369E195ADA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6ae7bbae9e11da2fc06fb3e8d55d1cc5c84043","datavalue":{"value":{"entity-type":"item","numeric-id":5184391,"id":"Q5184391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$7FB031B6-69F2-427E-9522-0122BB28E873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10e04f048d4b81a314de290e4814684536f028c","datavalue":{"value":{"entity-type":"item","numeric-id":1188866,"id":"Q1188866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$752D0E03-5A6C-4BAA-8658-428689068FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0942ee95974c142ca870a8b6319eb989c0118cb","datavalue":{"value":{"entity-type":"item","numeric-id":1329197,"id":"Q1329197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$460EE1F7-3878-498D-B970-9F7A8579CCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55871b1c94b020cf743ed0d86de22d6a97d8a0e7","datavalue":{"value":{"entity-type":"item","numeric-id":688827,"id":"Q688827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$628B4AFB-7E39-4629-8B2D-11E8F0A0F706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c285fbac4c0cc6de1d1ef52f1fe4ea0572069ed","datavalue":{"value":{"entity-type":"item","numeric-id":1317426,"id":"Q1317426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$433C4CF1-3B36-4273-9C4D-22A4548081BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01213b927c7fb8dcf7c5581a486578a46806393","datavalue":{"value":{"entity-type":"item","numeric-id":5954637,"id":"Q5954637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$930D9051-82E2-4F10-9DBD-A2D5817C4F17","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":"Q477631$7535ADCB-A973-4B1D-B87C-058BE129FDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$160DE83F-D445-49BC-9738-5B9CD1EFF62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbc1ba03c1632113c162fe83c93ac6393a0e884","datavalue":{"value":{"entity-type":"item","numeric-id":4038732,"id":"Q4038732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$D2BBB57A-EA16-41C5-9D81-8701292B250B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63fa74182997188dd8dd253d53ba13a1b0c51360","datavalue":{"value":{"entity-type":"item","numeric-id":2486401,"id":"Q2486401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$52EB3D9F-7FE8-430E-B57C-DAE4362F8B0A","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":"Q477631$96B30D59-D1FE-425C-B8FB-3C165894C255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13020f5b89b5e428e4485847f99d0bec0bc65558","datavalue":{"value":{"entity-type":"item","numeric-id":1391788,"id":"Q1391788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477631$72FF0300-DE86-40FE-9353-0C07D01F4FDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"639d3a4466d32251342cf3c03f640fffd0d9b09d","datavalue":{"value":"10.1016/J.IPL.2014.09.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477631$84A29AC0-D64C-43F2-9D4E-39A7232C0839","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ede2368e1c34ac1e1d29f6466d571dc91a5ee3","datavalue":{"value":{"entity-type":"item","numeric-id":2708307,"id":"Q2708307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1577fba5cac9992e5ca1eb711677ce1a14e729","datavalue":{"value":{"amount":"+0.8842569","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":"Q477631$18FCF8AE-658F-4C39-9635-C36DC5A2060C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8431ac478ad54a4bbd8929bdf45fb44eb6f68b","datavalue":{"value":{"entity-type":"item","numeric-id":2237336,"id":"Q2237336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5272e2eb42e5155e3ed15c70c962609e8735cc14","datavalue":{"value":{"amount":"+0.8685225","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":"Q477631$18D48E1E-4ABE-4916-BF0F-673CA540D65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f675664e74758a9f8908bc9068d39b7a60a5ed57","datavalue":{"value":{"entity-type":"item","numeric-id":2948555,"id":"Q2948555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c354675513856d10166df1790a63ed1d77110dc","datavalue":{"value":{"amount":"+0.8633054","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":"Q477631$24B18797-0037-4BC2-AC2D-72B28D3500B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe66d108acf61f4511ad665cf29b91b5ea202b94","datavalue":{"value":{"entity-type":"item","numeric-id":685411,"id":"Q685411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"836a0de0b0a9afd15cad622778c11cad4ed10715","datavalue":{"value":{"amount":"+0.86082804","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":"Q477631$F1569B96-958C-4960-A500-9A0B165321BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1d118dfd9bd0f6a80ff7496ce9160498b2c045","datavalue":{"value":{"entity-type":"item","numeric-id":2289066,"id":"Q2289066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"574b84740c8d0290ff0c735e04774fd7048b3dc1","datavalue":{"value":{"amount":"+0.8576298","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":"Q477631$1E75B85E-23EC-470C-91AA-8AFE92676B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e504b0a4c3171e53ee52b3bc4222f5fcf3052d","datavalue":{"value":{"entity-type":"item","numeric-id":1317428,"id":"Q1317428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d0ab45c8ccabe584bf5a617261d43a50e2c160","datavalue":{"value":{"amount":"+0.8540594","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":"Q477631$592305CA-5FB2-4457-9241-B6E5D0CFBC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64ac996d8d977e7dbcfea0ab46e62705d873142","datavalue":{"value":{"entity-type":"item","numeric-id":5096175,"id":"Q5096175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d0ab45c8ccabe584bf5a617261d43a50e2c160","datavalue":{"value":{"amount":"+0.8540594","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":"Q477631$33FA96C7-2F19-416D-945D-9B6380F9B0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469cfd6f7b35e21636298c35f32fdfdfeceb184b","datavalue":{"value":{"entity-type":"item","numeric-id":4251927,"id":"Q4251927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30d4ae40a38c683712dfef794570cf28b93e59f6","datavalue":{"value":{"amount":"+0.8517194","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":"Q477631$D86A7D42-E802-4125-BAE1-BB1414FA9A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6711e40060761142182a203457549767882fb86b","datavalue":{"value":{"entity-type":"item","numeric-id":3460420,"id":"Q3460420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e84cf93a6c2deb86141b4f6cbaac7293e9dd721","datavalue":{"value":{"amount":"+0.84908456","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":"Q477631$5C04DE3F-5528-4C7E-9236-A729F962CA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5b12c70f7975800b2cb97cdc078af57e70deb2f","datavalue":{"value":{"entity-type":"item","numeric-id":1633345,"id":"Q1633345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c3238798d976f5e38de2933f032816edcc62693","datavalue":{"value":{"amount":"+0.84765047","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":"Q477631$FD870F03-1C74-4F3E-B274-B68EC4DFDC46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A ground-complete axiomatization of stateless bisimilarity over Linda","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_ground-complete_axiomatization_of_stateless_bisimilarity_over_Linda"}}}}}