{"entities":{"Q387994":{"pageid":389761,"ns":120,"title":"Item:Q387994","lastrevid":51892442,"modified":"2026-01-20T11:59:50Z","type":"item","id":"Q387994","labels":{"en":{"language":"en","value":"An observationally complete program logic for imperative higher-order functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6239201"}},"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":"Q387994$F931BECD-5056-4A37-B741-237755B7D643","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71734eaf9baa6ac7ecf3e62d63b3103ddf8aa4a2","datavalue":{"value":{"text":"An observationally complete program logic for imperative higher-order functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q387994$47BD5FC6-85BD-4CD5-9D3E-557F227DD544","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d212094661ccd41f51c11e469f896beb0d5dae8","datavalue":{"value":"1358.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387994$8CC3C65C-08B1-41A4-AA06-91FA17D2C05E","rank":"normal"}],"P16":[{"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":"Q387994$15AF8A43-7A85-41F3-A914-B5C782F35FFD","rank":"normal"},{"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":"Q387994$9DE1D550-03C2-46B8-9800-893EB5159DF4","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":"Q387994$910472FD-27AD-4B6E-AFCE-C9E0F6CB6FC1","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":"Q387994$4FFED0DC-21E9-47B9-B266-30F88602B266","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d496283d286a67f5c448d94664ad69eec0b31d1","datavalue":{"value":{"time":"+2013-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q387994$0A04B7D9-7960-48F1-81C6-962CF6F6BCFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387994$6E50AA6D-63ED-4F05-8BC3-43602CAC3B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387994$0A6343DF-A3D0-4537-9556-FE98F631520A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3c3bd9115dcda018e0ef5771f15370f685cbc8f","datavalue":{"value":"6239201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387994$AC177B78-EEB6-4CB6-8469-D00DD0923A6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q387994$DCEA9426-6017-49B6-BF49-6B4E62CAD9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"700191a5597813ab50ec33e35d92eab1d742dffc","datavalue":{"value":"characteristic formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q387994$18441533-A0B5-42FE-974D-E4F178B11B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q387994$A381924F-FBB4-4E35-B455-ECF46A462A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc0a6293485b27fc5e87a03cda15f9aa823acf6a","datavalue":{"value":"higher-order function","type":"string"},"datatype":"string"},"type":"statement","id":"Q387994$3080D8CA-E098-4F62-8928-D0F40ACE3D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaaa0bb98ae24d1ec5df2ad0bd3b4e3eab9986f4","datavalue":{"value":"imperative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q387994$E24D2E66-7C1C-4030-A6CE-EFBD81D322B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q387994$DF3221F0-E7BC-4EA6-9FFC-A86DAD99F178","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$57435765-B23F-4B1A-AC7D-5D36A61983E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$646A36B4-1558-4B74-A76B-D64189D6E414","rank":"normal"},{"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":"Q387994$3D95E29B-35FE-401C-AE47-94ACD194C9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3385954e206fa4a5bbcdde66dd867f18c8df62c","datavalue":{"value":{"entity-type":"item","numeric-id":25202,"id":"Q25202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$731EC5B7-F3C8-4D81-851F-B3EE896C18E7","rank":"normal"},{"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":"Q387994$F16C93AB-1D25-4087-B9A9-7DCFA3E67032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$0ACA0C83-1238-4653-B23F-F221D323DE0F","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":"Q387994$DD6336EA-F15E-4A49-BBB9-0637BAA05CCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cff086b5c76325b578781f3cb14c50568890dc66","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.11.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q387994$33D8BEA8-CBF6-4336-9A9F-5B6F4FF45ACA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"796cff37ac1f5e2caffc9f0860f4cd5a729b9055","datavalue":{"value":"W1661340274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387994$F542FDEF-323F-4173-AB56-42DA17E3C900","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1208c35792fdf6d7234d5d330a526691eb60bc71","datavalue":{"value":{"entity-type":"item","numeric-id":5345264,"id":"Q5345264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$07B75C0C-B2AA-4E63-8806-D61AFFB73810","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":"Q387994$A349DF79-BF81-4011-846A-CC5F98492341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$7DC8A3CC-287D-4C9C-A136-F5ADA6CA29BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2421034b2e5b8c9a4605f25882b5ef4d7bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$FE669DD1-4DEA-4D24-8E74-1E6E90CA07EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd9276b29fad8afcdadbaa91529b52a92d469","datavalue":{"value":{"entity-type":"item","numeric-id":4939702,"id":"Q4939702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$7675436E-3A75-459A-B209-5DCF3A5EB2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$D32147BD-263E-4DBF-A81F-EB6A41DDEF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$08D37867-283D-4BC5-80D1-70CB78E4E4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1f3f99025ecdadf98afa8340c1af515a23f574","datavalue":{"value":{"entity-type":"item","numeric-id":5308091,"id":"Q5308091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$F4FCE197-512D-479B-A7E1-C77D5FC17CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"368ee4c97dc8e50ef45175339a46a38dd5177763","datavalue":{"value":{"entity-type":"item","numeric-id":3623000,"id":"Q3623000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$69693085-B349-4BBA-BF4C-35C9CEA8C045","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":"Q387994$1213991E-4A02-4654-8EFE-5DECFB9EA27D","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":"Q387994$35AB9D19-6CBB-449D-8FC5-85B721CC5977","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":"Q387994$2B131612-C08C-464A-BE22-6419576C0752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a935d8a6d38fa08406cc5caf1b9ac2a739c373","datavalue":{"value":{"entity-type":"item","numeric-id":5586197,"id":"Q5586197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$27D6CC44-F2D8-41A3-A9E6-A772F0885A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c3d9f8f4dcc24bfa33b2db0c1084cb842a11a3","datavalue":{"value":{"entity-type":"item","numeric-id":5178034,"id":"Q5178034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$89482E86-2AD5-4465-AE64-683CA5FF4814","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":"Q387994$C7B74A59-7F30-4E46-B733-52EC34E36897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc76a40dc292ec2f668a85cb17db89267cde3a0","datavalue":{"value":{"entity-type":"item","numeric-id":3591433,"id":"Q3591433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$11EAFCCD-8B86-42C6-8C86-877FB468220E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$05D5D9FF-6606-437A-B8FD-0CE7E8615AC1","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":"Q387994$79E79D6F-137E-4972-998C-B7C2E4594034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"659da6ec925132b180158fa901ae84c6e271d068","datavalue":{"value":{"entity-type":"item","numeric-id":3396605,"id":"Q3396605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$DB6E6B56-4430-46B3-9427-19DC861DFC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8fb1b1032697cbb224955657b7739e1270ff2d","datavalue":{"value":{"entity-type":"item","numeric-id":3400921,"id":"Q3400921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$C7AC57EF-883F-4D10-9289-997EC849CFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0466470572ea5e17b8fe9a7c326a1807d3b6b7","datavalue":{"value":{"entity-type":"item","numeric-id":3066091,"id":"Q3066091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$C7F990C7-BB84-455D-8C8D-B2BECF7D47BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ad7ac3b1b97b4fe9ab110c631c4be3d1ac16dd","datavalue":{"value":{"entity-type":"item","numeric-id":3519494,"id":"Q3519494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$EBC84E6E-AFEB-42AC-9B46-6F484063EB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292d5c006305603ea251952b72b3907af5565470","datavalue":{"value":{"entity-type":"item","numeric-id":5176951,"id":"Q5176951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$C28BC71F-D42B-4F68-AAB2-1AEAB1C12AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3343c3ecaf29b3d00ed730793fb135803dd0ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$89E2B50B-6B40-4743-BD7E-9DAB040939F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$521600B1-5B0D-4751-BE5C-521D780E7477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad36ee1e9b536ba43cedd35d7459acb4e4a8d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4281485,"id":"Q4281485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$F5467DAD-FB02-4493-8009-7E68042F5982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1146bbc5e086759e31519ce524dbf829161b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1314344,"id":"Q1314344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$D29E215E-B0E4-4F98-B840-688DDD25ACED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f067c1b808884e93605e1af2dbca3dd82129f7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4170195,"id":"Q4170195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$4AF3E39B-3349-43F9-9EE9-6056E79D382F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$AC41FE33-8B40-494D-AE49-290A4DC36ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15a8baf735680842777a1bce3d3c78132d43e41","datavalue":{"value":{"entity-type":"item","numeric-id":4131614,"id":"Q4131614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$01FD6751-14CE-4D36-A4FC-0A0F8E131EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d92cf0def4fbb849f85dcbaaef1e80009f50f3","datavalue":{"value":{"entity-type":"item","numeric-id":4147590,"id":"Q4147590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$6BA40CC2-83C5-4DF1-A808-6C1F92988CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$7068FFDA-B671-457C-87BD-028F1CB287AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d61fd0251775ecc89999c54c5093919d359a307","datavalue":{"value":{"entity-type":"item","numeric-id":5958762,"id":"Q5958762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$025EDA63-710E-489F-B825-150E4BCBE608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"737561e472c8a58582b346777d30339ff032e05f","datavalue":{"value":{"entity-type":"item","numeric-id":1139368,"id":"Q1139368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$003612FD-9FC1-47C4-9718-DB6029839CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a515d8b85555322c239131c385a33ca36ff6fdb4","datavalue":{"value":{"entity-type":"item","numeric-id":1154253,"id":"Q1154253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$7A77C88F-6D49-43E7-AD89-8245C51D5728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc467f48030b0157b5bb9ac0001e6a6d79c1d345","datavalue":{"value":{"entity-type":"item","numeric-id":3347263,"id":"Q3347263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$E4402CC8-1A83-439E-99F3-229F81902F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43cdd87ded22e91b240f87cd42c83be6c8b249a9","datavalue":{"value":{"entity-type":"item","numeric-id":1172384,"id":"Q1172384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$E07373D0-1C49-4E9E-8AE4-0F7B8B1628D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4befd386387790db98b19c07d744e2438476210c","datavalue":{"value":{"entity-type":"item","numeric-id":3326819,"id":"Q3326819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$F5A766B0-1913-44B8-B66F-2D748E498599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340b1a67b2cb88bc1a79812f682d43444abf5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3932278,"id":"Q3932278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$4AAF2CD6-CE79-47F9-BFC2-E230D9A7B85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b459c3ae29ae68093eaf6d16ea43862ec5501b3","datavalue":{"value":{"entity-type":"item","numeric-id":913527,"id":"Q913527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$44AFE294-16ED-4780-804C-9A69CA11CB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44ecbf06e53bc931627b9f9c44b019eb8fa543d7","datavalue":{"value":{"entity-type":"item","numeric-id":5308703,"id":"Q5308703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$D80187F0-EA6C-4024-8769-39A1021D1744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee0197601a42c7e7c9f23d3440b49bbd26c1f54","datavalue":{"value":{"entity-type":"item","numeric-id":1390955,"id":"Q1390955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$78D2C387-6CB4-4461-8DE6-C1D3A29CD8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$383B4601-B886-4DA2-B0E2-8C4D3862278B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f22fdd8511fe88f78d94bf3280fdc1e114d0b843","datavalue":{"value":{"entity-type":"item","numeric-id":3890666,"id":"Q3890666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$D7F947F4-0BE0-4B7A-837A-B1F0D34C2778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"689f6b7f9854c12a4cddd7dba59ed43395c8aca7","datavalue":{"value":{"entity-type":"item","numeric-id":1225451,"id":"Q1225451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$DEF396F5-5F64-49C1-AAC6-2594DE802F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb636a19f07738495cd7c2789db1b47cb8caa811","datavalue":{"value":{"entity-type":"item","numeric-id":4329634,"id":"Q4329634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$C12F6156-3068-4CD3-8654-9B6F786611C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec3fab40cc2d2e106280bcaa4a13109b0361ac","datavalue":{"value":{"entity-type":"item","numeric-id":5305637,"id":"Q5305637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$7EE60444-96A5-44C4-ACF9-637865EBD951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a8c0319a2245226b71de02a8c469bc6287b46b","datavalue":{"value":{"entity-type":"item","numeric-id":3452266,"id":"Q3452266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$A369A72F-A089-4C3D-BE88-635A2363FABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e646822c7e8f7e68867ade26f59c8b15d8260c","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$9DE0CED7-1253-4B05-8A57-50C69BF5F97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$5A430B7B-42B0-49EA-B647-0D151DBB02B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7933aadf7420669837e72141167b610cf617ce26","datavalue":{"value":{"entity-type":"item","numeric-id":1605184,"id":"Q1605184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387994$0A3BDE6F-4D7F-4791-B073-DF20B7CD9FBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff781b353b4da943b6885f39b6fdcb2491798161","datavalue":{"value":"10.1016/J.TCS.2013.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387994$A11A5140-3814-45E7-A6AD-44F26A9C14F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e752ea28c8f900008f2c5ee0a6814a70525676f","datavalue":{"value":{"entity-type":"item","numeric-id":3591433,"id":"Q3591433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6d73ca3f8d6685bd537b019909817d9cca9291","datavalue":{"value":{"amount":"+0.8340091705322266","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":"Q387994$AAFB4B15-198F-4347-A471-59F59D1B642C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bea7a1595b9511e07e88565fb4d2b2a93d2ce59c","datavalue":{"value":{"entity-type":"item","numeric-id":2936791,"id":"Q2936791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23d91c45340d17f32e084679f428f7c1cd38a8d1","datavalue":{"value":{"amount":"+0.7754834294319153","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":"Q387994$413E65C3-2B29-4620-9843-9AD91FF26FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b675de94614d42de3721ca8b178a73fd06c537","datavalue":{"value":{"entity-type":"item","numeric-id":2915704,"id":"Q2915704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1809792d88966db11d1aaf959aa96144d48c18f7","datavalue":{"value":{"amount":"+0.7385281920433044","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":"Q387994$E5BC1917-3917-4477-B8BF-BB18CB0F21E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3f1ec0a786bbd8810905145a5619670de38b3fe","datavalue":{"value":{"entity-type":"item","numeric-id":5308091,"id":"Q5308091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7c4fcae3f42abc0a8d071d2d106a467425e531a","datavalue":{"value":{"amount":"+0.7354106307029724","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":"Q387994$39DACD0B-5848-4920-B1FE-79B87437B3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2100b422bb21b17977e053bf5509de51685db641","datavalue":{"value":{"entity-type":"item","numeric-id":5758044,"id":"Q5758044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc47f9994790a04499d124126cf5970681609104","datavalue":{"value":{"amount":"+0.719880998134613","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":"Q387994$2FFA32CB-E2F3-4878-A00B-18D4E19C51CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:387994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:387994"}}}}}