{"entities":{"Q860878":{"pageid":862726,"ns":120,"title":"Item:Q860878","lastrevid":64899996,"modified":"2026-04-11T22:58:32Z","type":"item","id":"Q860878","labels":{"en":{"language":"en","value":"Bisimilarity is not finitely based over BPA with interrupt"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083519"}},"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":"Q860878$684CC448-D9DB-49E0-AEEA-88E79EE9C74F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1556a48d26a9debbd8f9cc57c8b9dc3dbbddeb5","datavalue":{"value":{"text":"Bisimilarity is not finitely based over BPA with interrupt","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860878$F065E788-C8AD-4FC4-8493-BC0C538E29B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0f1eae3c8ec4a6071aed4b5dc31bdf5a2257513","datavalue":{"value":"1154.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860878$B98AD460-2519-4B0E-AED4-45A4A0A335A1","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":"Q860878$EB7C6D61-4F0A-4C63-A28E-0DC7BC9F4113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc34e917fcbf91064c1dcf923ecf162f3b9dd846","datavalue":{"value":{"entity-type":"item","numeric-id":860877,"id":"Q860877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$CDE899B3-8CCA-4312-B18B-212A4DA8CFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$D90F68A3-47E7-430A-92A6-792E39CD57BF","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":"Q860878$E3C23352-03B5-4492-9BC3-DE90786F1E89","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":"Q860878$15BDE783-3293-43A9-B0D0-66858378484C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-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":"Q860878$4A5D3AAD-66C6-4B86-A84C-A299151DBBD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860878$FE14C711-8B0C-4054-A74B-6F55B0778E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860878$A4EE0016-CDC6-484B-86A8-A0F6212A1A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860878$DF6DE032-C3A8-4FC9-A060-910A4D1F20E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860878$0479D62B-F18F-4D20-9E1A-BD4F3F99842C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860878$A2D7B02B-2AB6-4201-9239-DBE20B15BEEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7786a1697050e2c07b07bf94f6a2e4b13d81dfcd","datavalue":{"value":"5083519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860878$95CF2B54-7915-421D-BE8D-C4D880722B8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q860878$7FDE328C-866E-4987-AAAC-BA3D55A57630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q860878$7A438308-8B6E-48A3-BE21-FF7822272F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dc32a711104b69bc46c24c30294e3668fef2f5f","datavalue":{"value":"basic process algebra (BPA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q860878$93178432-5F02-4BDB-99E8-AC8F5969679C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf89c7b5b1978e1b0cf1798cd505fc2e20312ae","datavalue":{"value":"interrupt","type":"string"},"datatype":"string"},"type":"statement","id":"Q860878$A0B8B20F-74C9-40CD-8DF3-A2FAF115A030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aad23346aff7f57b45c59cbdf9d8905bf333a7c3","datavalue":{"value":"disrupt","type":"string"},"datatype":"string"},"type":"statement","id":"Q860878$077F0D77-9625-4CED-9B86-BA01BABE4027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q860878$956FDF54-1653-410E-A51B-47D20A0F1C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q860878$70DC48CF-3C93-42C5-B86B-23A7B2CDA545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a964766e10024e6589494f4ca7cc2460a717f27b","datavalue":{"value":"complete axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q860878$0DB93C4F-4766-4CC2-8C13-3EBB998B2599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c7101cf26ec6545ff935779f6f4882ac2f0854","datavalue":{"value":"non-finitely based algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q860878$C2B04158-A0A9-4512-98F3-B889491C6798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q860878$030A9EE0-63AF-4453-B8E6-E959B8095B88","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$4B6EB9F4-0E23-4CE0-97A4-B5506FA8E264","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":"Q860878$75545EA7-3458-48EB-95B4-E5A38943FC50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad654c8f1ad7366120f4473e83f59e2ec4e5b411","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.07.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q860878$3BAEC780-0172-4847-B939-EE820F443D18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16eeae79693dc5b244bd9e846f610dd14b0fd626","datavalue":{"value":"W2108192909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860878$CF5929C6-C055-420C-BCB5-7C132216128C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bdf34bd19daa0422435ced26b5620ca337dd39f","datavalue":{"value":{"entity-type":"item","numeric-id":4501538,"id":"Q4501538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$F0CE025B-CEF7-40E4-8036-BF7F1249208A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84924e7c9c351298b2c2575161101c6afbca51c5","datavalue":{"value":{"entity-type":"item","numeric-id":1870591,"id":"Q1870591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$A250D110-D3EA-47BC-B8C6-F5B43AA11EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce57e751d5c6d4d58776fe387445388619728fc","datavalue":{"value":{"entity-type":"item","numeric-id":598202,"id":"Q598202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$0958F2D5-D2D2-4724-9EC5-DFDBE62F174F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e7d2d6326af91a7150e574a262f0490d2dfb71","datavalue":{"value":{"entity-type":"item","numeric-id":4236208,"id":"Q4236208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$8921DABB-0DB2-41BC-A346-D39702518E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cfa42baf62b507b03385960a2763a583643376d","datavalue":{"value":{"entity-type":"item","numeric-id":1763725,"id":"Q1763725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$C65E5B0A-80ED-4930-B0A8-588579150BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368aa454d4977a647d34013fab693ad21c2599b","datavalue":{"value":{"entity-type":"item","numeric-id":5492813,"id":"Q5492813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$35C713D4-29C5-4B57-AA31-CBCFE61E5A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcd254ec8f657762d462bbc49ef06ba594d598f","datavalue":{"value":{"entity-type":"item","numeric-id":4727412,"id":"Q4727412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$2617991C-BD23-41A9-9EC4-6808B2161799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd94c9f885ba3e6669741eb6ab6af5cb1cb9582","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$259D2F48-B384-405B-B9E4-EBD5C1B9BB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac3688b10da96f6d7c9c3dc78940ada65744661","datavalue":{"value":{"entity-type":"item","numeric-id":3951525,"id":"Q3951525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$01107D8F-5800-4C76-BD5C-C183B3AC93E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$726CC336-071A-4379-B80D-C110DB3E82A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89a1a50f6e389124c7a06fdebd22ccf6cd01939","datavalue":{"value":{"entity-type":"item","numeric-id":4449168,"id":"Q4449168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$73924EBB-FB08-42D6-98C6-4F3C23CCE8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$7079A89B-4528-4663-8511-55EC2462EC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"312b2cd5341570ea5fa7a54e39f3ad24140710d1","datavalue":{"value":{"entity-type":"item","numeric-id":2956692,"id":"Q2956692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$60CDBDFE-3887-4033-8134-A36650B596CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9cbc7e198d53ac905d76863bd4c9be9d59b377e","datavalue":{"value":{"entity-type":"item","numeric-id":2754192,"id":"Q2754192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$0D89061C-7E41-47F5-B294-CFBBCC234939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8392b0a74fedd328bac853282edd9ffd9019c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308450,"id":"Q5308450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$8817C782-C848-4628-8EC7-CB9C896C514E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f92aa8ebfdf003df6851b5bd58431a096bef39","datavalue":{"value":{"entity-type":"item","numeric-id":1119012,"id":"Q1119012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$523D8ECD-DF34-48CC-823D-ADE99ABFAA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559cfc5c99beab76c0edcbfc995aac83468d7534","datavalue":{"value":{"entity-type":"item","numeric-id":3817589,"id":"Q3817589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$67B50346-E9A6-4F5B-9DE5-65BF9E88DCCD","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":"Q860878$C216B49D-83BB-43DB-A9D9-23A7ACFFEF15","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":"Q860878$3C4199F6-9260-4FF3-A318-1B7F47F672F9","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":"Q860878$0D6DE023-69DB-4E15-A5E9-59D57ECBCD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6373225ca0fd8b276b99611bf9e3cf11d15d33","datavalue":{"value":{"entity-type":"item","numeric-id":5596826,"id":"Q5596826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$AED48B90-0EA3-4B2E-9E5D-CE94CEA24472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7342796900f8e29a92dd3d0266cf08b31f811fc","datavalue":{"value":{"entity-type":"item","numeric-id":1377607,"id":"Q1377607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860878$0D225BDB-37A8-4D27-B2BF-4C40A59EAB63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"767acc4af223bfdee0449972333603e5a840f3b3","datavalue":{"value":"10.1016/J.TCS.2006.07.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860878$88D97E31-321B-44C1-935F-2BD445386F6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00005cc701d89a26d611e4273d9302cce64c2cdd","datavalue":{"value":{"entity-type":"item","numeric-id":5492813,"id":"Q5492813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58303188acbfc90e9ea03dd56179d2f9023ce909","datavalue":{"value":{"amount":"+0.9986579418182372","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":"Q860878$E13B0F79-4F36-4802-8FD1-F6F66099EB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd6597d7b7f15660d29cbce124f2627383c9776f","datavalue":{"value":{"entity-type":"item","numeric-id":2193294,"id":"Q2193294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc62318fadc6298cbb5c76e938de7905b8a136e7","datavalue":{"value":{"amount":"+0.7889143824577332","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":"Q860878$ACC0AE9A-C100-4BCC-9FC4-9BD254E6893B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e783c6bc79aa1b3d4f019ebe9670aab19dac4d04","datavalue":{"value":{"entity-type":"item","numeric-id":4236208,"id":"Q4236208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6804076d9ebb0e531f0fc728baf7824365a25e","datavalue":{"value":{"amount":"+0.7464911341667175","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":"Q860878$D8174DE8-B481-4249-B0D6-5F2818684E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae2d7953547b21702a4ad51c419eafdc5119202","datavalue":{"value":{"entity-type":"item","numeric-id":5350148,"id":"Q5350148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6804076d9ebb0e531f0fc728baf7824365a25e","datavalue":{"value":{"amount":"+0.7464911341667175","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":"Q860878$83A95AFB-B254-495C-B7C7-4CA4070E3DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be9a6d5d8235e1b8d83432d5356add77884cc9a5","datavalue":{"value":{"entity-type":"item","numeric-id":5899076,"id":"Q5899076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51722425ce1f2cb0633a778950503f7ae3862b8b","datavalue":{"value":{"amount":"+0.7320451140403748","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":"Q860878$4523671A-CB56-4369-AE36-C8391ACAFBFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimilarity is not finitely based over BPA with interrupt","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimilarity_is_not_finitely_based_over_BPA_with_interrupt"}}}}}