{"entities":{"Q598202":{"pageid":599978,"ns":120,"title":"Item:Q598202","lastrevid":63042072,"modified":"2026-04-11T09:58:17Z","type":"item","id":"Q598202","labels":{"en":{"language":"en","value":"Nested semantics over finite trees are equationally hard"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083132"}},"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":"Q598202$77704316-6795-416A-BB05-58FB29CAC23F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a7221a586b2c5c1087fc890db2f77a817ae3da8","datavalue":{"value":{"text":"Nested semantics over finite trees are equationally hard","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q598202$EFA380AD-82FE-4937-B311-E3EB2A6B6A9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a732fc10b32e81792e25ef305ab2933efabcd9f3","datavalue":{"value":"1101.68690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598202$C59E089B-5667-4232-B6E2-5501140EF33E","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":"Q598202$3138DA1A-358C-46A0-8339-E1A789719179","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":"Q598202$78BB6846-C827-4C55-AFAC-7E6EB293AAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598202$99E4BEE4-EAC5-4D11-8E30-6EC7CF5B01E1","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":"Q598202$4CC2C472-E517-4DA0-9A96-B5E74347F998","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598202$961D1B09-0623-4847-BC0B-569383291328","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q598202$CE4C5088-C22C-41DE-8883-E58BF7B6D3CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41ef760c9a83c6ced1b397f109024a3e102b7fb1","datavalue":{"value":"http://www.brics.dk/NS/03/2/","type":"string"},"datatype":"url"},"type":"statement","id":"Q598202$C2DE3024-E277-47B5-92C7-197DCE0C7690","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598202$F0371AF4-5775-4B0D-8F51-556EBE98B5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598202$F648E7C0-70AA-4582-A920-26D2FF6777A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98519f54f18c01c07c4b4f458cf2a3ffd8ae8138","datavalue":{"value":"2083132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598202$594B4178-645D-4CE7-88ED-2904D3DDC691","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ab01a9249e8b8b5ce5b297680636743e961ae3","datavalue":{"value":"Concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q598202$39FBEF0B-0275-42E7-9AC1-97E77F99EE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c35e59984cabf218dfddcc4cee7fb81eefd5016","datavalue":{"value":"Process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q598202$7EC16D1C-8562-46D4-980A-6E916954A7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2877337557ab687a7a3c504ac39bdd6284d02abe","datavalue":{"value":"BCCSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q598202$B2FE410F-44AA-4D88-AD0A-72795BF0B69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c26ca4aef8a756565f043ea5b92d883e568ea421","datavalue":{"value":"Nested simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q598202$FDE55972-3120-4913-8507-20AC1DB171D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c9ed210bf8cc9974fb2a3467ad3fbab7813f59","datavalue":{"value":"Possible futures","type":"string"},"datatype":"string"},"type":"statement","id":"Q598202$415052D5-D047-46F2-8C89-C470AA5C7FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de8c6bce3637248166e83fdbc43acec6f5c1ba38","datavalue":{"value":"Nested trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q598202$2C1E3D9C-1926-43F4-8DAE-1524D92DD30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e182fbe520e3405b96912f9a38e14e7ce0ffec29","datavalue":{"value":"Equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q598202$5B7F90E3-270A-4B49-8182-DCA380BFEF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecbd7a3b40e7c03947b52d1b3db229ff3e959d9c","datavalue":{"value":"Complete axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q598202$E3364C88-CCB4-429F-95E4-9B800ECC479F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7b37f74b2164f49adef3992093ee63eb0e6067f","datavalue":{"value":"Non-finitely based algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q598202$1ED7F8D0-1668-4B94-96F2-3E1A209C6C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b17009b94bfc247eb0bea036e93c1755b01c1b4","datavalue":{"value":"Hennessy--Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q598202$6367354D-72D3-4860-B471-EF0B0955513B","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":"Q598202$C7122495-3B25-47B6-8627-881542B5857D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0aa1c20be75682be6e8c231a38cf58a420e39b24","datavalue":{"value":"W2158342623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598202$17C0D45F-60C2-4352-89CC-CF31C899BFE8","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":"Q598202$C939327C-F0D7-4D50-82F1-D773BD3B14BC","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":"Q598202$8AC30C02-7C31-4B22-960E-4BBD7699EEF6","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":"Q598202$0DDAD966-65B0-4ECF-81B3-D2C1B37313E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcd13b87dbc7e3884f9f567d7c8c905e6173d18","datavalue":{"value":{"entity-type":"item","numeric-id":2762495,"id":"Q2762495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598202$FC8BE0C3-B84C-4520-ACDE-2D90E44D648A","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":"Q598202$7E85B7D6-D5FC-4A35-8055-13A09FB64FAB","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":"Q598202$59156DC5-4454-4C50-9963-E455CF3FC2D6","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":"Q598202$05A3BA98-E7BD-4BBB-A585-13673691094A","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":"Q598202$AC72165A-E351-45FA-A8E0-CE1CD28D184F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5142c6ec67e82aa4ab1465a9835a95c76bf8758","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598202$49B4A517-9A92-4FDF-AB3D-5CEFB128EEE0","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":"Q598202$E8FAE0A8-B385-403E-926A-086CB069CCF7","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":"Q598202$11726F41-9C1A-4E3C-90D2-F4B67B9BEAB8","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":"Q598202$0D09D2F2-EC2F-4E85-91EF-C29AEF4BA7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598202$CB500317-6053-482D-9153-F62FCE2BD71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182a34c32fa6eb3396137e922d81d0cd9546d802","datavalue":{"value":{"entity-type":"item","numeric-id":1342523,"id":"Q1342523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598202$86161F92-715B-4084-BE14-70F8DA5003F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598202$1C904D0D-6088-41F4-9F76-9D35A9036BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598202$3AB219AB-CB6A-4FE2-B58B-1551E6186C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7104c7f620103514a8645e534262fd8517f752","datavalue":{"value":{"entity-type":"item","numeric-id":4845486,"id":"Q4845486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598202$98AFEACC-C01D-4381-8F6D-0DA23DD5E20E","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":"Q598202$33570075-C37D-4142-8ED4-3DFA0CAFF85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3c01344508637d2317439a872c1623a9dfa517","datavalue":{"value":{"entity-type":"item","numeric-id":4490743,"id":"Q4490743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598202$112DE8BB-F551-493F-BDD3-5DF022EA55B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598202$3E21EAAD-EECA-4BE1-98C8-D6D5409F7463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598202$1EC8CC7D-8224-4F14-8305-FC75594CF498","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":"Q598202$F5EF384B-E6CB-4BEA-86D3-374B8456A8EB","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":"Q598202$844FC5C0-2D20-4FA7-8D92-4C836D910E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598202$E83BD2C9-9B56-410F-881C-9138C9A3342B","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":"Q598202$B1AFCE2E-AAAA-43FD-AD62-7FF651978ED7","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":"Q598202$02487704-EF5B-44FF-8F2C-23E3DC33F842","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":"Q598202$FE108C4B-C4A1-4A49-9772-8EA48C9D243A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817d575a5a02248d42ef81ed78335848291bbd90","datavalue":{"value":{"entity-type":"item","numeric-id":4375775,"id":"Q4375775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598202$C585637E-CDC2-4729-B2E9-22E3E94DC11B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"889d936bc0274773db01d37581185cd7b8d3080a","datavalue":{"value":"10.1016/J.IC.2004.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598202$5AB744C6-E7E6-4E79-A9CB-63A16783F242","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af392564fe25d5f6424ea650500c704a4095785b","datavalue":{"value":{"entity-type":"item","numeric-id":2847402,"id":"Q2847402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5f8666f9263d4dd8b4a04fb4824ba5a7b9335f","datavalue":{"value":{"amount":"+0.8435868620872498","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":"Q598202$47F2FE1A-266E-461F-B92D-4201FD762C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b2346754691b9852e2663b4c7c17c58a2070b55","datavalue":{"value":{"entity-type":"item","numeric-id":2762495,"id":"Q2762495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2282eabc18b3e31730ef4b273e255124fc46f437","datavalue":{"value":{"amount":"+0.7966176867485046","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":"Q598202$F5DC3092-4B31-42F3-92FE-D44EF0A1626C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40476ff5ef962ac4329116745e21867f2e8fe668","datavalue":{"value":{"entity-type":"item","numeric-id":2891363,"id":"Q2891363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623a0c50335ea21418177bdd536fb4facc6361e5","datavalue":{"value":{"amount":"+0.7906832098960876","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":"Q598202$17002E8E-658D-45D0-8C6B-D28BFE93C46C","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":"264e13c53ccd4a08f5dd24c8e72adabd745cd1d3","datavalue":{"value":{"amount":"+0.7663895487785339","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":"Q598202$8ABCE8D9-4CB9-418E-AEFD-6B8D44728FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77795473655e32ad0233d53e131bb0134af01ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2453533,"id":"Q2453533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae9e010faaee55a8a236923971c180dd356e9a64","datavalue":{"value":{"amount":"+0.7638611793518066","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":"Q598202$6C6970D8-CE40-45CC-8A68-B231B7138F22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nested semantics over finite trees are equationally hard","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nested_semantics_over_finite_trees_are_equationally_hard"}}}}}