{"entities":{"Q997996":{"pageid":999844,"ns":120,"title":"Item:Q997996","lastrevid":65890476,"modified":"2026-04-12T06:04:30Z","type":"item","id":"Q997996","labels":{"en":{"language":"en","value":"Linearity and bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5178540"}},"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":"Q997996$CDAC04D4-35D4-4230-9E08-5BA72EDA75B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"708b81bf0d02cb635bdebe9ba7616cd3726c5bb6","datavalue":{"value":{"text":"Linearity and bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q997996$A2B6EC93-7DF4-488D-A21C-742CDDF529C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71e23ca04a1e73fbc4f0bbf4afbce5e3c87cbc14","datavalue":{"value":"1119.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997996$8F02AEE3-4620-4564-A616-F18846E37C15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$F73074A1-5C74-4E09-965C-79243395B1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea26bd9363516a1e83177046ce0c28b82e974bb6","datavalue":{"value":{"entity-type":"item","numeric-id":387992,"id":"Q387992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$F614E393-CCF9-42DF-9CD2-09B95B49871E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d282958e04681531582731636278bb22489808b","datavalue":{"value":{"entity-type":"item","numeric-id":387993,"id":"Q387993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$584C9408-8F8B-4939-A5EE-4D28898FE8D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$BB58E942-B05E-4209-8A81-6F308E1CE1C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"afb98c4ec1048abba6e7f701413ea5fbc62888f9","datavalue":{"value":{"time":"+2007-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q997996$0A1D0921-F9F8-4FB6-9285-0F08CE35F9E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997996$E159E61D-1803-4775-AD86-9C659906ACBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3c0ca9a98828130a3181615065b273e18d40436","datavalue":{"value":"5178540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997996$C11762B5-8888-41F3-9332-4012708A190B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q997996$E2E7FE8C-EC93-4616-A95A-1E25EAB4EB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f76ec77d23b983afb1ec00d60576b55a09e80bc","datavalue":{"value":"typed processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q997996$5AE913C4-934C-4FE7-9327-39E1571F5859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a68f1cad860d547535af262ab64b5ee5d1af5d3","datavalue":{"value":"linearity","type":"string"},"datatype":"string"},"type":"statement","id":"Q997996$A75ADC5D-2253-4D8B-BB91-BF7E770C4A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1d4c00ea119866f370d11d7b48fb610ba82ce3","datavalue":{"value":"secure information flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q997996$67FFD329-51BF-4287-8671-5362C71C5653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q997996$24A7542B-8BE8-4A7E-A56E-2F63AB1419F9","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":"Q997996$A2AB3265-E603-48C2-B9E9-A1C77E66AD1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e947154e09191ee336972945da9ba0b2b3aee42","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2007.02.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q997996$94DBED94-DB63-4C0F-8ABC-8BC2D443D11E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2d9e94db466d0b8a610f6971da488861442b266","datavalue":{"value":"W1986229147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997996$96C91E95-EA74-4F67-8391-04D47AA664C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85120675be4dafaaf247bdedf9c9b3c4696f0c9","datavalue":{"value":{"entity-type":"item","numeric-id":3158557,"id":"Q3158557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$99E5E18E-BBC5-4C31-AA4F-220D8C8CA2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"137e70755fcd302ff8cccaaed35e98bb91a2f446","datavalue":{"value":{"entity-type":"item","numeric-id":4261075,"id":"Q4261075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$E866C1C5-550A-4B32-AA2C-C9EA931894F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd7f535b99990e97c48b21b4f729647c06639dd","datavalue":{"value":{"entity-type":"item","numeric-id":4230922,"id":"Q4230922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$837BF5E2-EFD8-4F60-83C9-138A5AC58FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c749d385ff9fca7ca4da72b7f0ee88eca4a501c5","datavalue":{"value":{"entity-type":"item","numeric-id":5178860,"id":"Q5178860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$C1A2F544-29DC-4278-A9F4-6468A103B2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$3B69A00B-083A-4A40-9B26-3F5850D0EDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9414b6f40cbda047adefa0d8681a5a5af47eb6","datavalue":{"value":{"entity-type":"item","numeric-id":2778815,"id":"Q2778815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$C99F2DF3-7FB3-4BE1-B64F-4E295069493C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33bcfdad2ed96c88bb56444052a0f2151cc5cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4417854,"id":"Q4417854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$98C0E2A9-07B4-4072-A822-4FE4A3DA4846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6f65a97c1b0d6804e5e7a90e14e1f990f42e09","datavalue":{"value":{"entity-type":"item","numeric-id":1603688,"id":"Q1603688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$06E47D73-F1B8-4F27-857F-AA1B824A1DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d6689863919efc9d2b8984e9760a2b2c07aae6","datavalue":{"value":{"entity-type":"item","numeric-id":2754157,"id":"Q2754157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$28F1B315-CA64-48F1-B48C-62D94490396C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5d04432cc4f9732b8a8b5b6a6973124db03b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5705885,"id":"Q5705885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$5B6DE19A-8BAB-40D5-B417-679BF6289590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6c515c53cd15526b8909325376b292606ea9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3024834,"id":"Q3024834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$0619846B-9734-4F4C-82D2-37B5F744A9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$C8DB553D-1E2E-45AB-B2B7-653703007855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3bfd0b7219526787666dcbb457009dfe6c21ae","datavalue":{"value":{"entity-type":"item","numeric-id":4653017,"id":"Q4653017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$C5669C93-B211-4AFF-B49C-3CB1DD5018E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ecd39f927ba2e29cc15b7c3fed51bd6a608899","datavalue":{"value":{"entity-type":"item","numeric-id":2754161,"id":"Q2754161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$66832247-B9E5-49EA-A148-4C8D5BF4EB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21004028781a3f321d3a8c9ddc142b01afd3d6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4937113,"id":"Q4937113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$64D21C8D-F6B3-487C-B4B7-D2F22350C78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32b938f6b5a5dfbdcc3d829d1de5824915fc8476","datavalue":{"value":{"entity-type":"item","numeric-id":4526151,"id":"Q4526151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$98319E11-E2CF-4F88-B932-5E30706BF9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"618ab20bc755a2294a3fce57d311b20f33c17532","datavalue":{"value":{"entity-type":"item","numeric-id":4518881,"id":"Q4518881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$81FB0C28-A062-4D0F-BF3F-73922A2D4AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$AE4D013B-B7A9-4CDE-8CC6-E1C0D37B4E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48d012301b3151eec271a7ee87acb952bb8745a","datavalue":{"value":{"entity-type":"item","numeric-id":1960532,"id":"Q1960532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$6D7C45D5-7ACD-4772-BA07-AA3E33B94EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de700336e555579490af87813e35cbc5cd3fe6f6","datavalue":{"value":{"entity-type":"item","numeric-id":5178900,"id":"Q5178900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$6F361108-74B8-4082-9104-9884D310B8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66dadbbdf620796ae69f968b30ec9fcfd2cceb5e","datavalue":{"value":{"entity-type":"item","numeric-id":4676159,"id":"Q4676159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$52FB4DFA-E451-4076-BF37-F040C94DF857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1411401d990976dd6c4ba11bddd5ff797d94c0","datavalue":{"value":{"entity-type":"item","numeric-id":5348920,"id":"Q5348920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$2902EC6C-5964-425C-A7A5-5A21EE3CF3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$256DC0EF-4102-4C9F-9EA0-1BA3A8699087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$D7F55945-5BE8-468B-92C3-53A4E0F2FD56","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":"Q997996$262D6370-1079-44FE-8AC0-E72C0162B9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10f7ad8cc10849a1920dd6692a0c02c4dc618550","datavalue":{"value":{"entity-type":"item","numeric-id":4571963,"id":"Q4571963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$E382A275-1BD8-4983-B7FB-02A1646C25BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65ad711d725f7c7ce38cb04914fbe94f61b532","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$EE694B23-D574-455A-8195-AE2004DBAEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb13a71671fea084cf10e0033fc79952ddc2afb","datavalue":{"value":{"entity-type":"item","numeric-id":671684,"id":"Q671684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$43308755-F914-417A-B734-C9E15D90D42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d8ce7f4bc93b970a2eeca767cdcd57b47281a1","datavalue":{"value":{"entity-type":"item","numeric-id":1960533,"id":"Q1960533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$C985B9B9-4E95-4954-89D0-37613B6A77A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccf005e0492f34cf4c0302cfe56dc8ebd41fbdf","datavalue":{"value":{"entity-type":"item","numeric-id":5936652,"id":"Q5936652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$D51204C8-34BC-46FE-940F-8CBA34BD82D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bca12ff033a37ab722fa4cb716981e858b6214e8","datavalue":{"value":{"entity-type":"item","numeric-id":598201,"id":"Q598201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$C4A91B34-913B-4820-9A5D-B2FB800DA7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2836dff27e3844d47cd62ee2d62d0324a62141","datavalue":{"value":{"entity-type":"item","numeric-id":4738241,"id":"Q4738241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997996$CFF8F50E-E8A4-4AB0-A90A-C4B767F4307B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d18ec92ee18ac66324da7dc3e12f5a51e7a0334f","datavalue":{"value":"10.1016/J.JLAP.2007.02.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997996$998C1580-031F-406D-A4AB-DD01F10FA518","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5476a469c70023b0f9bef40ddd7e7eb8b4c5d91","datavalue":{"value":{"entity-type":"item","numeric-id":4738241,"id":"Q4738241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e51ce0ccf8a56b9d6a32e6dffeb49772123f61","datavalue":{"value":{"amount":"+0.9786072373390198","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":"Q997996$B22ED4F3-31FE-4A4F-AAF8-B74B39BD1D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352c6d1ab5d40e1d492a3a5517112ace602b338a","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9558e788f5b8f5d190b3e4691195d17e1ca23b8e","datavalue":{"value":{"amount":"+0.7919604182243347","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":"Q997996$09136297-21F0-490C-8365-35E089615216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636c2d0bcd301d2ec5b9a8631f68ce4b21058f58","datavalue":{"value":{"entity-type":"item","numeric-id":3651244,"id":"Q3651244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"442d62a3f7560b28274f25cc92c0100331ac4496","datavalue":{"value":{"amount":"+0.789911687374115","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":"Q997996$B395240D-E7BD-42D6-8714-1EDDD0BA8857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5fff242ed8cc0b4d55e1588f742385c6f66d4c5","datavalue":{"value":{"entity-type":"item","numeric-id":5236556,"id":"Q5236556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c35b4d68b7ffbbb448428412b188dedaefd61d3","datavalue":{"value":{"amount":"+0.787341833114624","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":"Q997996$C4A8666B-31C6-45E3-8820-CC2E2B18290C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de636f508bbfc51f0cef38b5f56912694cd1bd34","datavalue":{"value":{"entity-type":"item","numeric-id":5394792,"id":"Q5394792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78eb41e5706220f7464870f036a618041436d0a6","datavalue":{"value":{"amount":"+0.784900426864624","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":"Q997996$D2D8F093-F293-4E03-AC9C-02C93E166B13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linearity and bisimulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linearity_and_bisimulation"}}}}}