{"entities":{"Q2339472":{"pageid":2350215,"ns":120,"title":"Item:Q2339472","lastrevid":52237244,"modified":"2026-01-21T05:37:44Z","type":"item","id":"Q2339472","labels":{"en":{"language":"en","value":"Observational program calculi and the correctness of translations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6422126"}},"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":"Q2339472$EE672DC0-16EC-428A-9F2D-1E45BE326F53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08eeaabfec20e2da80f8e925dfd04e1460640e26","datavalue":{"value":{"text":"Observational program calculi and the correctness of translations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2339472$D17FEB02-72A3-454D-96AA-B8EFA2B44808","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5234185a44a2454765c73c5bdda4b2bfc67c92a","datavalue":{"value":"1309.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339472$822EEE22-3E18-4686-89E3-03E74846EC12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$4D5AD71F-4723-47CC-90E2-B3AA635A197C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3211ec0fd031f0134e24af3ce5cb141879b2940d","datavalue":{"value":{"entity-type":"item","numeric-id":352944,"id":"Q352944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$23B71BA8-E71F-4807-BF5B-E008BAE724C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d778d8975d333bedd66ddf13d7dd6389095a118d","datavalue":{"value":{"entity-type":"item","numeric-id":174813,"id":"Q174813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$69D28AEB-0D25-422F-9BE8-F00E31164ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f6e1f9f3f83ab8ce5ed045378a12428f006569f","datavalue":{"value":{"entity-type":"item","numeric-id":2339471,"id":"Q2339471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$4954F2F8-7390-40B4-9DD6-6A86B693E8D4","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":"Q2339472$2495E13E-C6F0-4D9A-8E02-2993C07731E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a33fe9c7bdab98b06ca1e0b44d728fd7cc6ac020","datavalue":{"value":{"time":"+2015-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2339472$B43772D7-0D8A-4F11-A3A9-64A56FC8EFCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339472$01B37EF3-DB74-495B-BB5F-930F77674FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339472$BCCC3387-73C9-4FFE-9E7D-F08A8C9602AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fd308f0aab8756cb7ddaaa83157c46ff96bc2b3","datavalue":{"value":"6422126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339472$ACA537D1-4849-4A43-BB92-F4834DF0C1B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339472$5AF2BCED-F55F-4950-A6A8-FCD3D8B756CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339472$B62FCB74-870E-44F7-B447-93F293A93568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339472$AC0F6AD0-C27C-433E-873D-73BD051FB531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b85cd9e5dd5417c95f4321d076f971fc4d2367","datavalue":{"value":"translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339472$650A0703-4450-4E16-AD71-12F977E14ECE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8400ab86b306a4378eebf43133a98098c8e98ab","datavalue":{"value":{"entity-type":"item","numeric-id":46220,"id":"Q46220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$4067E578-D159-4233-958C-C6690B26569F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$BDAECBBF-18A5-448E-9FEE-BA67A2E78B28","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":"Q2339472$F89C1F68-782D-4D82-ABE1-2C6D1010F709","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f94bc5cfe2b47b90d140b6f0e93cca915c6acaee","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.02.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q2339472$DE11109E-3E52-420C-BE48-DD14118D927A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45b94d485a5c72e71ef9cd3693e3dd4e42aacfe8","datavalue":{"value":"W2162146115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339472$C06175F2-C9AF-4DF6-A893-C2794478BFE2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$1F87FE67-AB21-4E0D-B5C6-522F9921F9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e540e9037d6b40bc6045b99bb685bc55f586971","datavalue":{"value":{"entity-type":"item","numeric-id":5899009,"id":"Q5899009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$0FAC007F-CFD6-426D-85DC-D25AEEC8DC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c272cb77173dafb0d34de2cd274218a5d71b84e7","datavalue":{"value":{"entity-type":"item","numeric-id":5178761,"id":"Q5178761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$51AC4775-AFE5-436E-93AC-959905D584D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5eb51c5456ae3585313d725a7def586690a7bc9","datavalue":{"value":{"entity-type":"item","numeric-id":5176993,"id":"Q5176993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$8F4F1A33-18C7-4916-B81E-BA8448DE1E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132c1fa64958228ae7d285c0ee400a31f94f1786","datavalue":{"value":{"entity-type":"item","numeric-id":5261531,"id":"Q5261531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$CDBF74B8-42D1-444F-AFE2-F943325DCAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f19cc737ef35dd518b59d5dab7e177d24377469","datavalue":{"value":{"entity-type":"item","numeric-id":3912568,"id":"Q3912568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$AE1B99AB-E538-4403-89A9-765F5AC4D690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$CF60429A-24B6-4E04-9053-B812B45C7898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05417919433e4d5ed4f85fc6474f5b255b9fe668","datavalue":{"value":{"entity-type":"item","numeric-id":2936808,"id":"Q2936808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$2590574B-3F38-4768-85BF-5A1DC2245E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1aa493c321f05aed8353e788b6c1db3a4ef14ce","datavalue":{"value":{"entity-type":"item","numeric-id":1763728,"id":"Q1763728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$614CB5A0-B00C-4767-95FF-6EE16D48956C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d16ee5e65f1db51f9c436dbb90be9daf0b8247a","datavalue":{"value":{"entity-type":"item","numeric-id":5255065,"id":"Q5255065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$A035DC8F-4960-4B3F-9907-D6EE0C8EA36F","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":"Q2339472$D65C02FF-ABEA-40B7-9476-6DD3370DD218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102cafcac23f245f2f35a5df9ea09dec51663dd7","datavalue":{"value":{"entity-type":"item","numeric-id":1183552,"id":"Q1183552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$E035FBA1-BFD2-45C7-8600-11EFBF75F0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8061bdff8d9877d2f27aa012efd61f9a2baf74","datavalue":{"value":{"entity-type":"item","numeric-id":1426872,"id":"Q1426872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$A784880D-88A7-4C42-B69B-22AA63BBF382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40a70ecf1678e53a8cfd6053886969de8e0f83f4","datavalue":{"value":{"entity-type":"item","numeric-id":2931813,"id":"Q2931813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$191329D7-946F-454B-9D0A-2F3EE076FD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"634969c7735e685aeb8a1782172ac61025af3861","datavalue":{"value":{"entity-type":"item","numeric-id":1575889,"id":"Q1575889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$76E76077-C700-4ACF-8741-7DBF6C18A9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$18C50D1E-7F90-4F67-82EB-14E1251E1CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83074479990dad65c5e60818ba761a1f044aaadf","datavalue":{"value":{"entity-type":"item","numeric-id":5408538,"id":"Q5408538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$C2536C12-E341-426F-B7EE-73A1ED33C217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfda309eb42a5b38774d05c4351d124f0ce0084","datavalue":{"value":{"entity-type":"item","numeric-id":2942857,"id":"Q2942857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$05287076-00A5-444C-B74E-367F6D230FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5b5fb3ffa2fb3482d86dcc086f96e2a3826549","datavalue":{"value":{"entity-type":"item","numeric-id":4887022,"id":"Q4887022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$54721694-A1F0-48F0-9FB4-154E7ECF073D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ff8d61329145c82d13d9d25665563352a89931","datavalue":{"value":{"entity-type":"item","numeric-id":5348907,"id":"Q5348907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$3AECAD7C-DF1C-474E-A5DE-3DCB88E77A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227e13427c7bf9b6df48be0946b9c623a8e8a3bf","datavalue":{"value":{"entity-type":"item","numeric-id":1923089,"id":"Q1923089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$79EAB0D5-A88E-4B3E-B6F6-79DE0505FF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$94DCF037-65E2-4DC3-8D76-EA6AF30AA040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$249DCA78-FD54-4188-945E-C700B9E36071","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":"Q2339472$91DF5C36-0669-41CC-9140-3C71EC5E21B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4245995a5f9f440bfaac6125f37b7015daea0d6","datavalue":{"value":{"entity-type":"item","numeric-id":4038690,"id":"Q4038690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$363775B6-92CD-4936-A3A7-0A6248BB4B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38488e69c4726b0db499dab99288915763404609","datavalue":{"value":{"entity-type":"item","numeric-id":1330458,"id":"Q1330458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$60ACA289-6F7F-4FAD-9F8B-7952826B2A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a097585367a6f88f4c21f6b00f1729ebaed81f68","datavalue":{"value":{"entity-type":"item","numeric-id":3510781,"id":"Q3510781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$64BEECC6-8D45-4E69-8D44-128ED7E1DD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81fb4aadf90f1b421574f5486d0a65f50e43a271","datavalue":{"value":{"entity-type":"item","numeric-id":5262945,"id":"Q5262945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$CA986B19-0726-4663-8174-120B57E7FABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4742d7a0d6c8d8a486327d93a0aaeff26ab6ee84","datavalue":{"value":{"entity-type":"item","numeric-id":860851,"id":"Q860851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$BE8BC9A0-85CB-45B7-B899-5B8D2AB8E381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$57625A9B-B639-45ED-B20E-7BB3383AB1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$CE9D4DAB-269E-434E-9181-22B649B83376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98edad3dda6c3e0d16bb29f0b88b1d7d3ea29372","datavalue":{"value":{"entity-type":"item","numeric-id":5411983,"id":"Q5411983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$ED3938A4-AD9A-4820-9020-FD5A7633779A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$BD8832CD-C832-44BA-9CE3-81FED5B33B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9403688a35761419a8de029a7d87f0711659107","datavalue":{"value":{"entity-type":"item","numeric-id":2908517,"id":"Q2908517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$74495A2F-9311-4872-9C3F-63E4ACB62AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc9e70457d098e786729984f8dcea8bae952f42","datavalue":{"value":{"entity-type":"item","numeric-id":3024852,"id":"Q3024852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$9A89CCD6-65F3-4CC3-953E-0561F0E53F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de6c4baa2462148dc7c1421fca878b906d1cfc4","datavalue":{"value":{"entity-type":"item","numeric-id":3520145,"id":"Q3520145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$922545AB-4199-4C0F-9CD5-EE6D7598B183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b19bf7feba0c135c84f8ebdf410d332e9e0992b","datavalue":{"value":{"entity-type":"item","numeric-id":2986833,"id":"Q2986833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$4F73BA4C-57B0-4E06-8D01-43972E1891C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b226ed2af26298ea98206d46b8a9a37b5639c37a","datavalue":{"value":{"entity-type":"item","numeric-id":352946,"id":"Q352946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$2CAC595B-7BDC-42CF-B6BF-FC7674FD4FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103d6e176bc7f6ae8cc5ade00021a07ec84cef03","datavalue":{"value":{"entity-type":"item","numeric-id":2958387,"id":"Q2958387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$963DB37E-491E-40CE-B0F5-8D36588DF87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80cf44750d745309a5872764439aad921e61c359","datavalue":{"value":{"entity-type":"item","numeric-id":991760,"id":"Q991760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$421B924C-0577-4318-8CE3-5F14E331B414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6b5d8c44f3e9428846dab903f2a3cb13d0c931","datavalue":{"value":{"entity-type":"item","numeric-id":960863,"id":"Q960863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$52E15A8D-D98F-49CD-B683-A96140C95F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5ca33bb87303637fa5b7f7a2156ba1d889ceb8","datavalue":{"value":{"entity-type":"item","numeric-id":5244798,"id":"Q5244798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$9835069D-8448-4339-A8E6-26E1E55E0987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50ac1ed6f49d0bfc901528f36d022b829502ff3c","datavalue":{"value":{"entity-type":"item","numeric-id":5389151,"id":"Q5389151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$F0E45DD2-EC1D-43E1-9AD3-367D67D05734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f946c053530a04fa412c64a6ef328700d1a459d","datavalue":{"value":{"entity-type":"item","numeric-id":5178823,"id":"Q5178823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$B2990DC1-E23A-44D8-9EC9-E8687332C5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e2c941835a5c82b5329ed38a363d3717f39c681","datavalue":{"value":{"entity-type":"item","numeric-id":5276135,"id":"Q5276135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$5E4CA343-E95E-4C56-A016-C722CFAAAF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569d85f080da52fc07dff77e4fc95f6e09b397cd","datavalue":{"value":{"entity-type":"item","numeric-id":4447225,"id":"Q4447225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339472$7FF621F9-C60F-4716-BF41-9D1AD36C1E89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7071777439364480662000ac17011d082c5356a6","datavalue":{"value":"10.1016/J.TCS.2015.02.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339472$F4B97890-D383-4746-A593-01D08051109B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe3317497a860f9cde42da9e6ca786a24cd8555","datavalue":{"value":{"entity-type":"item","numeric-id":4286526,"id":"Q4286526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa3af2181fa1d5bd6373fac17f49a92c47b0899","datavalue":{"value":{"amount":"+0.7192042469978333","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":"Q2339472$B00AFF8C-03F7-4D4A-A820-F35B6AF9B6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3970b49b781d3bf83689498debbe49a8f3c3fa3","datavalue":{"value":{"entity-type":"item","numeric-id":5176993,"id":"Q5176993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5eed62afd1b97a7235cf006bde6100d54a2009e","datavalue":{"value":{"amount":"+0.6922206878662109","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":"Q2339472$DF1B3D1F-80F6-4D72-8A15-5620F9855260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ee1c02d1468c2d7f9a9a9c554d4d08625f6982","datavalue":{"value":{"entity-type":"item","numeric-id":4621210,"id":"Q4621210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aff0a0b77a307e1a0844ce9281f7ab72f196905","datavalue":{"value":{"amount":"+0.6886544823646545","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":"Q2339472$127742A0-BB55-4315-8880-F51B0A2D8913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2881eb4c8365194ea265b22cac40a19b03f939ff","datavalue":{"value":{"entity-type":"item","numeric-id":1129121,"id":"Q1129121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfdf8be955c18b9673df5677e4e28c7ee4f10f45","datavalue":{"value":{"amount":"+0.6777352690696716","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":"Q2339472$8A972EA4-10B5-40DF-94B4-2CAE7DC90AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa16b1dfd4b4b800d1e39aff63b0967bd4a56fa","datavalue":{"value":{"entity-type":"item","numeric-id":5178761,"id":"Q5178761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8edf9e83a75249fb4544a9039a47f4403ca646f0","datavalue":{"value":{"amount":"+0.6737898588180542","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":"Q2339472$EB8A3667-C195-41E1-8AA0-0391DDAB975B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2339472","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2339472"}}}}}