{"entities":{"Q3105751":{"pageid":3116467,"ns":120,"title":"Item:Q3105751","lastrevid":45465286,"modified":"2025-12-08T21:49:20Z","type":"item","id":"Q3105751","labels":{"en":{"language":"en","value":"Computing Preconditions and Postconditions of While Loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5995603"}},"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":"Q3105751$52DA6F12-D8DE-418F-BBBA-45397DB8AB62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad0f026ac920bf00ed170ef784f582fc1109e636","datavalue":{"value":{"text":"Computing Preconditions and Postconditions of While Loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3105751$C279CEE7-6733-4F53-9E92-016BE956C02C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a9ea34c384411ec54593cf01fbca0456b24b03d","datavalue":{"value":"1350.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105751$C7125DB9-D429-4A81-9987-D6ED995ACDD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14ca4bef22553e20bb2660954404968f355a6bdf","datavalue":{"value":"10.1007/978-3-642-23283-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105751$90C7290E-3154-453B-B182-D030C5FA121D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ccccb769ccf11c3a850b91421e35fc93fca1ab1","datavalue":{"value":{"entity-type":"item","numeric-id":444369,"id":"Q444369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$0B22B69D-6170-473C-8B1F-383809EAC94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3231d11b78a0cedac13955b590138221e349e363","datavalue":{"value":{"entity-type":"item","numeric-id":444368,"id":"Q444368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$85F34E18-8FC1-4674-AC4B-37578AD242C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7828a12e3ffd25542553f0465b3fad83db2e4f0","datavalue":{"value":{"entity-type":"item","numeric-id":444370,"id":"Q444370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$1C4FCE98-BBBE-4F2D-9F71-57FF0FA330F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f775d58db3001d6eb023876f815858fe881aac52","datavalue":{"value":{"entity-type":"item","numeric-id":444371,"id":"Q444371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$B2C2A8C7-4C47-4027-ADB6-30EF46E234CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14d3a7de4373c1c701df241be51a17edb22381dc","datavalue":{"value":{"entity-type":"item","numeric-id":444372,"id":"Q444372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$74EED6BF-509A-4A79-85F5-CBE21411EA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddc91625cf26d9f38636af1785664b029e077bed","datavalue":{"value":{"entity-type":"item","numeric-id":797984,"id":"Q797984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$9B644CAD-21D5-4999-AB3C-70B393D93FFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3f0e8d5168ec2ea9484b13e796ea882792b21c59","datavalue":{"value":{"entity-type":"item","numeric-id":3105741,"id":"Q3105741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$F579EFE9-F0AF-4FAF-913A-7017EE4E5223","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"221666eb8b8cd2c48ae4052cff47ce6091f4ee40","datavalue":{"value":{"time":"+2012-01-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":"Q3105751$9F260C2C-4B4F-4B0F-9257-C957CA3284C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105751$278932F3-2ABB-4FAC-A0E3-F7D2DBB1155D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105751$1C58D7BE-0D80-4079-B357-8379E449869E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105751$98617380-BAB6-4794-8A9F-BF2F549E0665","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec7231ac9a8c7d5a99e6cfb474a9528c4b889e41","datavalue":{"value":"5995603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105751$38FAC007-0116-42AE-A739-C37E546CFE35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105751$A67180A6-4851-44C7-8321-5CBDFA502E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb80064ca2fa95faa6b853920ad7922be2c2376d","datavalue":{"value":"strongest postcondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105751$0798813C-27C3-4071-B0D4-31039E25B1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816970ef63175c073815616408d7ddbb1038a8a1","datavalue":{"value":"while loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105751$6A2073D7-7409-4296-AAD9-86AED642725F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eb7100a0b05c308bdf12e70869e6ffd72a638cf","datavalue":{"value":"invariant relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105751$9F27C2DF-AAB8-44EA-97D8-0AC06D15EC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb0efeaf96905c5dc2b2c7fc3fd8b202ea61a1a1","datavalue":{"value":"programming language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105751$173E6D97-A8A9-4167-A075-16F65FE99610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105751$473606CC-A7A8-4122-823F-973FD8DA570B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cff52f1f8df429852ad8af8776d8a3d505548d","datavalue":{"value":"relational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105751$D27AF8D2-492B-441F-9401-13CC9DBD1D57","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":"Q3105751$FA5CF81E-0782-486E-8297-244CEF3724B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"444e58790791ce6998291ef284e46c0f5590a7b1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23283-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3105751$EDAECBFE-FE76-47A6-A16C-5CDECD7BAB91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"037f1646206b4400819efb31eca153caddb42e95","datavalue":{"value":"W1819610226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105751$0EA3D391-072C-4FC4-97CF-007964066F8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6728f129117d1ee4e7d6020bc1565b7f01903aa3","datavalue":{"value":{"entity-type":"item","numeric-id":4513575,"id":"Q4513575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$C5E37351-5F40-4C95-BA97-469B7B58D4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d888ce0f9e678e78fbe187beae84a0b88847a07","datavalue":{"value":{"entity-type":"item","numeric-id":1205187,"id":"Q1205187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$FC8D075D-33DE-4B6B-81B4-A334AF7E9FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$6729BA79-0A3F-4DDB-83EE-5B404EA15AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$7EB63C0A-0065-4946-98E5-C270E15511EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1da1b48aad7248192eb6bac6e3c0872fcb00b8","datavalue":{"value":{"entity-type":"item","numeric-id":5178906,"id":"Q5178906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$3E314CCD-F525-48C5-930D-91B9D314A6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd21cfa4660583e538baf1b412d409c55765821","datavalue":{"value":{"entity-type":"item","numeric-id":5178883,"id":"Q5178883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$5C9CD57C-91F9-4C49-A043-CCD592B09862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$DF38093F-6B4F-4F81-978A-F8DE46E38AC6","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":"Q3105751$0C8B5E09-CC1B-4B15-855F-96DF9ED7EED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff75baea05c748f9ad363c0a0f9a8b26cebdcc9","datavalue":{"value":{"entity-type":"item","numeric-id":835051,"id":"Q835051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$0D1823E5-BD48-445D-9426-46FFD5CCF6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a755327b7e379c75909e7aa2209134c6afda6fe","datavalue":{"value":{"entity-type":"item","numeric-id":1760096,"id":"Q1760096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$9B753F80-5263-4797-BF75-98DCC1B0BC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$9AC0AE5F-9259-4BF5-AAC6-B612AB3A2D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356eaecff29947a651a198b3ff53d844ccb0fba0","datavalue":{"value":{"entity-type":"item","numeric-id":1044182,"id":"Q1044182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$FD61C000-26AA-429C-821B-75945E50D958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071ea123d91f2cccfae8208661eeb56ff8a415fa","datavalue":{"value":{"entity-type":"item","numeric-id":4261077,"id":"Q4261077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105751$6B5D34DA-BFAA-4EB2-8E2B-975874849CD9","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":"Q3105751$B4EFD179-832F-4B51-AD46-D930A3E8B6E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e729418c484f788f970df01f3f07c7735aff7ac0","datavalue":{"value":{"entity-type":"item","numeric-id":3692832,"id":"Q3692832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf6a1714f9039f1c11ac20efa1dbe5a61245a1cb","datavalue":{"value":{"amount":"+0.8746357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3105751$29785578-377B-4B38-A0EB-6F13D7C29D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19be2df87e6c4225b0616794602433a9b76115f1","datavalue":{"value":{"entity-type":"item","numeric-id":5186713,"id":"Q5186713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a4adcb14aa0a32d6b2b78bb37c54cf92ae81fb","datavalue":{"value":{"amount":"+0.85615087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3105751$527A65F6-B0F8-4310-B429-31D8D5B6A13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0605ef596d929245fcfc8a407c55f9f17fb78984","datavalue":{"value":{"entity-type":"item","numeric-id":3586008,"id":"Q3586008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29880f5ac2bfecbcd868140a9ab788bf1f44867f","datavalue":{"value":{"amount":"+0.8436729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3105751$DA7346D9-36C5-4CD2-994D-255B60E75690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e9b16d97ce76340ba31b49c3e58386263cbee6c","datavalue":{"value":{"entity-type":"item","numeric-id":2418665,"id":"Q2418665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7242be7762eeb4e295436e3a31d1fa77fe8367ba","datavalue":{"value":{"amount":"+0.827387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3105751$FB63D4CC-D9BF-4646-A022-EBA1D370FC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f1ab42347132194a4620ab8227caf321ce7cc3","datavalue":{"value":{"entity-type":"item","numeric-id":3585023,"id":"Q3585023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9729a60d6f301344d2ee54e276e3bbae953dc2f6","datavalue":{"value":{"amount":"+0.82707906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3105751$DD1E4B63-18F6-4D88-B480-A0E183089659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e20000f5070c255ed190c8727736c7af936efb6","datavalue":{"value":{"entity-type":"item","numeric-id":4854006,"id":"Q4854006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8e42d031a82712bb6ac070e92f2cee2a56a8f40","datavalue":{"value":{"amount":"+0.821324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3105751$A4F5E2D1-81E2-4930-8089-F52569979864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28299c69113a672c23393b5a761aaa3e75e5b663","datavalue":{"value":{"entity-type":"item","numeric-id":5101446,"id":"Q5101446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"429ccbfbb4ba59268a994f92d4ea8afe3b1c7938","datavalue":{"value":{"amount":"+0.8187589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3105751$F4B1F580-4FB2-4EA5-91A5-351B984A0754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c120a49a07cd656f709657f67799f565d45526","datavalue":{"value":{"entity-type":"item","numeric-id":1190850,"id":"Q1190850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce14de751e0de7adc190024095e147c585f43874","datavalue":{"value":{"amount":"+0.8162624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3105751$08571F20-4015-4A5D-BEFA-847B62DF9E7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3105751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3105751"}}}}}