{"entities":{"Q2341701":{"pageid":2352444,"ns":120,"title":"Item:Q2341701","lastrevid":74144001,"modified":"2026-04-14T18:34:50Z","type":"item","id":"Q2341701","labels":{"en":{"language":"en","value":"Trace semantics via determinization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6431467"}},"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":"Q2341701$0601598A-D40D-4A21-A8EB-385B307C13C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2af13cbedc8a181de214debba94c3611485e9c3","datavalue":{"value":{"text":"Trace semantics via determinization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2341701$C65D5768-06C8-4790-8DA3-5E10364C2558","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8dd3482ff578ab4e0553fa118a25264136752e8","datavalue":{"value":"1327.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341701$897CD5EA-345E-48FB-9B54-821042933241","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$EE168E77-F092-4333-AABC-B837E104AAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$316D9B13-B167-41DD-933B-A2A97CD5D52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faac90b189d470d059fb0f0202403aa6361966c3","datavalue":{"value":{"entity-type":"item","numeric-id":549173,"id":"Q549173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$2734460F-9038-4269-8906-6C1EE6E56A61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$B6811409-A9B5-472A-8B00-8CC866EB07D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a154ed7143bf16397ad499b838597b529f45e34a","datavalue":{"value":{"time":"+2015-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2341701$C76C5FC7-BA3D-49CC-892A-DD74E6D09004","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341701$B986C9D8-4ED6-4BBD-A2E3-9C7BDD00B297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341701$CBA28A26-22D5-4865-8C5B-7274572D3CD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"369a1c70c219445cb7eeb6dfe69e0c73ef3847a6","datavalue":{"value":"6431467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341701$ED9A91DC-A503-4842-94BB-FE8CEE2E5C5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341701$2AA93A3C-3B74-4C80-8DA9-E5A9C4299926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341701$6CCB4B97-BABE-40C9-8053-63B529D083F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eba447e061584557180de7a7ee2568ee7a9e1aba","datavalue":{"value":"Eilenberg-Moore category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341701$9B348AED-E0B0-4A3F-B667-8CBBF7A283E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341701$A52FC24B-2B3D-49B9-929B-6BEEE10D244D","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":"Q2341701$DC1D4BA6-98C4-4C31-91E1-FD2B2D8FCA3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cde16c50029f9e063a764ab1f33031a08b50328","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2014.12.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2341701$4FBB567B-DE40-4EEE-B191-D71D4167D7C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcce783004ec96b71f13ee7f0ba41ef318fc5317","datavalue":{"value":"W2098962004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341701$DF0FA54B-9C2F-4A36-B521-BD965683A4BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f7306543dc2addd074bfb1162ee9f407132b14","datavalue":{"value":{"entity-type":"item","numeric-id":3575369,"id":"Q3575369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$5F2F0631-E7BA-41CF-B8B7-1960CE35636C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e34549b680489206c9fe0d03b80d4113a3c6b1","datavalue":{"value":{"entity-type":"item","numeric-id":639641,"id":"Q639641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$88209F4A-1CB4-4F9F-9DCB-75548615406B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$95559141-B698-4558-85A1-A3732412770A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23eb2407f5476ca1216e796189f27de1b8b868d0","datavalue":{"value":{"entity-type":"item","numeric-id":4813222,"id":"Q4813222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$0C0C6D46-A4E8-4316-9850-A5A70596337F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f10f0b476c933b444478fc461c042c93d5e07930","datavalue":{"value":{"entity-type":"item","numeric-id":3178274,"id":"Q3178274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$4988E625-DF09-45BB-8F9B-7ED389F619FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$B05E7851-E0EF-4B46-B93C-7051E7DA3BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d5a4d4528e5d2cf08c3a506a8e781545d73d54","datavalue":{"value":{"entity-type":"item","numeric-id":3184672,"id":"Q3184672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$8F8FC275-CA4E-4B3A-B135-C798DCB398C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5533d056fe8b5f03876ad0811b874f1e1fe1c396","datavalue":{"value":{"entity-type":"item","numeric-id":600253,"id":"Q600253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$27A56DB3-B6B2-48AC-903B-A0AA86C1B69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$E83E4EA0-49CA-4D86-B13C-4E50BE244C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"166ecada5643f0de572a083ce7bb59b0d6880d76","datavalue":{"value":{"entity-type":"item","numeric-id":5416216,"id":"Q5416216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$CB10393C-544E-45A7-AC82-3F4BB3CFFCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b009e5d14a4fb6b05d369fac18728e64cfaa376f","datavalue":{"value":{"entity-type":"item","numeric-id":3090826,"id":"Q3090826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$90CD25C6-A5E9-4F9B-8DDC-555B5B8911FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5bb8deb4105caa9442c9e3609243ec168605dfd","datavalue":{"value":{"entity-type":"item","numeric-id":4305358,"id":"Q4305358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$3F347467-D732-4992-AA2F-67D5DAA83E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f7b52efa5c49f9efc8f854d031b835d61617bf","datavalue":{"value":{"entity-type":"item","numeric-id":3623001,"id":"Q3623001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$4FB21F1F-1A9B-4B4B-A48E-B42772F452F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93947ca386e1340f95266ffd5766dab3c361aee8","datavalue":{"value":{"entity-type":"item","numeric-id":859832,"id":"Q859832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$92165A6F-0FE2-4AC8-9454-1D2A11081A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35d488c3b5455814197b234c7699b1f84acc3a8","datavalue":{"value":{"entity-type":"item","numeric-id":5311138,"id":"Q5311138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$BCBB5819-847C-4E74-A67F-AF4A92BB6280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$0814CCE6-C289-47D6-ABE9-BB8565CE9D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8432f01401c49ada6550faac9dbee25ecd47b2c","datavalue":{"value":{"entity-type":"item","numeric-id":627128,"id":"Q627128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$14C858EA-FA79-4683-B781-FB7027A8656C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113b06286a8ca36b3aac971a66339b93394408b3","datavalue":{"value":{"entity-type":"item","numeric-id":3000596,"id":"Q3000596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$2CF94579-3038-48D8-993E-E463C79EF426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"646653f65fac9c4cb44cd008cf9f56b023753571","datavalue":{"value":{"entity-type":"item","numeric-id":2914679,"id":"Q2914679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$C531A734-7155-43C0-B347-BE93C2A938E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c3f212a06c5be4db5f867d04c1cea9f971a440","datavalue":{"value":{"entity-type":"item","numeric-id":3056297,"id":"Q3056297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$99F35E4A-3965-42FF-9557-3616FF0D71B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faed41a247bd69339f207eb893ee9beb58f308d8","datavalue":{"value":{"entity-type":"item","numeric-id":4075064,"id":"Q4075064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$FB6EAD8C-B24B-4F09-BF8E-225F45338C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$604473BB-7812-4AD8-A7FB-CECCF27B9772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a0643d71d7244d1061eef4fd50591d26775ca9","datavalue":{"value":{"entity-type":"item","numeric-id":3950708,"id":"Q3950708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$ACDD5B91-7823-48CD-B4E7-AA0FC0FCD57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$58E7935A-DBF5-45A3-ACF1-EFEF3D14A4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b2e18aa0434874ff13738daa33c8ebf25e2db4","datavalue":{"value":{"entity-type":"item","numeric-id":2888475,"id":"Q2888475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$93E397D0-9999-4120-AC8A-5CE02F9A7507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$DA3226BD-34C9-43F4-AE7D-0941B2EEEFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eae4e379dcc2959a97cb8f2f2dceb642932a910","datavalue":{"value":{"entity-type":"item","numeric-id":5890054,"id":"Q5890054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$6189B427-4E46-47E2-8927-667459ECCB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa0c98fccdf02731ab8c1cf468a105ce73a57d6","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$5B43BD58-4CDC-4A84-9A48-4C9BEDD234CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa85e1d4c083b675b923ad4615fb383be1f76c6a","datavalue":{"value":{"entity-type":"item","numeric-id":3623942,"id":"Q3623942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$BBC162E7-310E-4751-87CF-D2B3A590DDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e434a96053d306ffde38531d482a7680b20de8a","datavalue":{"value":{"entity-type":"item","numeric-id":2908856,"id":"Q2908856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$1EFDD4FF-412F-4CB3-AEF2-F2A584BA679E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b211f7d9b79af80c89593f1677fce650e50849f","datavalue":{"value":{"entity-type":"item","numeric-id":4913772,"id":"Q4913772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$7D531349-1E68-4032-947C-0D2B9B933A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a04f2923cb60b1d38acdc06d7cbc43779b1e66","datavalue":{"value":{"entity-type":"item","numeric-id":5739363,"id":"Q5739363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$DDDC0399-9FB4-4D8F-B838-7C18563046B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9d219c448aa712a35ee812c047663f1dce1c75","datavalue":{"value":{"entity-type":"item","numeric-id":5466795,"id":"Q5466795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341701$7AFE5D4A-F7B3-4CB6-B34B-A05EC3873F13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85e5dc64414f6b748fb2d25f20c1272334224535","datavalue":{"value":"10.1016/J.JCSS.2014.12.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341701$FB17C50F-D60E-4570-A00F-D0C5AE0C6647","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786e84a9a813d55925e26f5f257c4741ca9ee8fa","datavalue":{"value":{"entity-type":"item","numeric-id":2914679,"id":"Q2914679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f2e5a42a3e8ba681291fd837fbe633eace5c41","datavalue":{"value":{"amount":"+0.9781613349914552","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":"Q2341701$1FD56892-A3A3-45CC-8D2E-C9B290BF5E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf5b3e23a03d5b0bd4dfbf9b775f8814de1356f","datavalue":{"value":{"entity-type":"item","numeric-id":5158368,"id":"Q5158368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673f5289250dde242e7fb993ebe7e5eada9f09b0","datavalue":{"value":{"amount":"+0.8536919951438904","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":"Q2341701$C06EFF2F-0280-44B4-84BF-5612D1621554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efeb15e9dc756a948d33b5c79aec9efb329cf92a","datavalue":{"value":{"entity-type":"item","numeric-id":1798791,"id":"Q1798791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a0b191518407bfe054707c418ae33e58ab7569b","datavalue":{"value":{"amount":"+0.8507487177848816","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":"Q2341701$794D5369-868B-4D17-9E29-EE287145894C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0447d37e76dc187af60fc3935d59cbba3b1f10c","datavalue":{"value":{"entity-type":"item","numeric-id":2948557,"id":"Q2948557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9fac2f795b5132069e7ecd274feb4d426c2bab3","datavalue":{"value":{"amount":"+0.8470512628555298","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":"Q2341701$0C8A7F04-3FF5-42DF-9996-950F0C705B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"799352b2f5a27c905ac68a00cb7fac9ea718e0b1","datavalue":{"value":{"entity-type":"item","numeric-id":2974794,"id":"Q2974794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d8187aba323a2e89c345b28197a8b13d9f52b3","datavalue":{"value":{"amount":"+0.8447686433792114","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":"Q2341701$2A967E45-0D1B-44CB-92F1-F5068984485A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Trace semantics via determinization","badges":[]}}}}}