{"entities":{"Q2364689":{"pageid":2375432,"ns":120,"title":"Item:Q2364689","lastrevid":57879864,"modified":"2026-04-02T22:25:47Z","type":"item","id":"Q2364689","labels":{"en":{"language":"en","value":"Proof mining with dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751327"}},"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":"Q2364689$59A6DC5F-DDA0-4230-863C-0B98A0672C6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76e7c1880c130c73a74a8f848bd6a95ebedc174e","datavalue":{"value":{"text":"Proof mining with dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2364689$4144A569-EDCC-4E8B-A4FD-0D3173156393","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6eaddecfed1c66acbd819751aeda3ad1d7bad88","datavalue":{"value":"1367.68251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364689$7D5137BA-F3B2-4CA2-A05C-B075B64B633A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0c8200283933e7eea1b6cbb0719926d6625f957","datavalue":{"value":"10.1007/978-3-319-62075-6_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364689$F5585212-6674-4696-A443-3EA341D9BDEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"170e56a44d87084edf1707672598135a08e36b5f","datavalue":{"value":{"entity-type":"item","numeric-id":280195,"id":"Q280195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$67CAFB98-83D7-40F2-88AE-F9444505366A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc9df023cae9b25ea4b60776547a8efc95e2e421","datavalue":{"value":{"entity-type":"item","numeric-id":280197,"id":"Q280197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$44B94818-5191-45B6-8FCD-735F8A1D5137","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2364689$769C53B4-B330-4A02-BCD1-FADF99443C27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87ad47061cc7e5cc6aaa260cbd06e01264c8fe5e","datavalue":{"value":"https://arxiv.org/abs/1705.04680","type":"string"},"datatype":"url"},"type":"statement","id":"Q2364689$974E2F44-5637-45DA-A031-092E89DAF75D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364689$A5841DE4-0960-45C0-8F46-A0DCA80CFC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364689$EA4C0178-A2F7-4B6D-9844-6BE98158AA93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a47764211ea543538a01deeff41ce7b220dd59d","datavalue":{"value":"6751327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364689$EEC34042-5FF5-4B17-8004-220D9D3AD2EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364689$10EEB031-16CE-498B-945C-29F218264E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364689$169AF6AE-9A28-4C4F-B27A-81BD66C2D53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364689$4EAE6AD7-2656-48F4-9357-E5E41B69C5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c80ecf21428f980362763aa3ec34b156b15c6fc","datavalue":{"value":"tactics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364689$EDD0214D-7D8D-4013-A8AB-25B4468B1C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364689$C95E5168-75CA-45EA-A570-751D02E56E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9c4e650abc856b5f51d0b5123c5930fad01c53f","datavalue":{"value":"clustering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364689$D8DF1CF9-64B9-40B6-9C15-BACB25FE0708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eef86f581c3c438a6a8d6ac2be8b08e9c6183209","datavalue":{"value":"theory exploration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364689$C7AD5346-93AC-4C3E-869C-F20CAF024A00","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4725be8fa705861afbab12b59e447099c9ebb4e","datavalue":{"value":{"entity-type":"item","numeric-id":20216,"id":"Q20216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$E0BF7FB4-B91D-44C6-8ECA-52A98C248268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a54eb5f0bc4bb2434371fed2614d3a40ec43e50","datavalue":{"value":{"entity-type":"item","numeric-id":41110,"id":"Q41110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$32A37BFE-3239-45E4-924A-B187188EEAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ef769e964c162d9fc2eb5be086cec28e8fe11d8","datavalue":{"value":{"entity-type":"item","numeric-id":5973367,"id":"Q5973367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$4A41ECC1-F856-43ED-BF8B-F22060287B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$4EC112C2-E0BB-4BBE-9A60-4ADFCD0AF5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ecee973cce27aca9d6609100a6fb4d87c282d91","datavalue":{"value":{"entity-type":"item","numeric-id":19195,"id":"Q19195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$42DD9FF9-4BDD-4FDC-8BCF-5F1279F77F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$EE23EBCD-BD96-4FCE-B2DC-BF52DD91547E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"949824462ad75642ee7793400532e555fbc697cc","datavalue":{"value":{"entity-type":"item","numeric-id":1352844,"id":"Q1352844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$6C4DAF65-ECD4-4813-849E-CDD49A596636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dbbd1728c4131dc017e496daf6256c390a0bd166","datavalue":{"value":{"entity-type":"item","numeric-id":18546,"id":"Q18546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$93193CAC-B777-4795-842A-8F1C473C7236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76fd40323a824010079b2985e8bd74c40bfb4d73","datavalue":{"value":{"entity-type":"item","numeric-id":23170,"id":"Q23170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$B86D58A2-23F6-4258-BE66-2FBB9544E09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c7e65d45048f1659040b4ae3ed77d872ceb74e5","datavalue":{"value":{"entity-type":"item","numeric-id":33390,"id":"Q33390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$2898002D-AE3F-44FB-9AF8-D48F470E1CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$E3EAC512-572C-4591-AB31-E011E804AE9B","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":"Q2364689$062C4971-2410-4EFD-92D7-4379081D247A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"671e69b317a0dc2a807a76786ca6f8ff98d844ce","datavalue":{"value":"W2612129252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364689$FD5D125F-8B38-4902-BDD0-AAC507452732","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a42635e354ed5a90dff7abb6b01b6c7ff160dc","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$60044E5E-F8E9-431F-97F0-5BDE81555583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1567a09831badd078143bff84c1a31067ac56c49","datavalue":{"value":{"entity-type":"item","numeric-id":5483032,"id":"Q5483032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$E1EB3BCE-08D0-4C07-BFED-16297167C0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43f11a5e6fc21caa581e9ac1e35682b1839d73e","datavalue":{"value":{"entity-type":"item","numeric-id":3075246,"id":"Q3075246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$5E738FFF-2E88-46AD-B80B-DC5EB66EE254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fbfe7d7615014fafe2898a7e08fc2bf421ac549","datavalue":{"value":{"entity-type":"item","numeric-id":5495930,"id":"Q5495930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$08714474-E34C-49A3-9BF7-3BE1733A47AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7d80b034d5bbc9c7be0be22781c5c67e99e185","datavalue":{"value":{"entity-type":"item","numeric-id":3454097,"id":"Q3454097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$2E7EA58E-B6E7-4072-9235-0BDA90B6174B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ba097736a3ec464d04ee0276247ed2893d0a55","datavalue":{"value":{"entity-type":"item","numeric-id":2946715,"id":"Q2946715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$FF164DCD-8775-4430-A0D1-B5722441B087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6072a2f9daadee48cb9bafeb2cca60d5dd661308","datavalue":{"value":{"entity-type":"item","numeric-id":475385,"id":"Q475385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$C973A819-1727-4E75-84C1-C5CB1851B44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a288c1fc3762803ff6256e61dcebf3f413e8b0","datavalue":{"value":{"entity-type":"item","numeric-id":2891453,"id":"Q2891453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$9268932C-1859-44B4-90C8-D7A7DF36ECBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c5239edfd305efbd1c9a075b6bf62b0b4959a45","datavalue":{"value":{"entity-type":"item","numeric-id":2870142,"id":"Q2870142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$695E587C-9DF9-43AD-BEE2-2EF4650F39C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc68d0c63fc526ea5871bf3910e143d716cf06f9","datavalue":{"value":{"entity-type":"item","numeric-id":438543,"id":"Q438543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$BE20DA50-FEDD-4150-8C9C-5811E5B4FC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0933abcee6e71217a619391222ae8646b0eea736","datavalue":{"value":{"entity-type":"item","numeric-id":5495917,"id":"Q5495917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$DFC4373D-4364-42D3-BA39-434F2087DA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3aa637d12e7774743d5229e303a10e1589a2a43","datavalue":{"value":{"entity-type":"item","numeric-id":2870150,"id":"Q2870150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$8D2130E4-C52B-4473-BCE0-C755184B9317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4069e49240b11100053a73c05c9f974f79da95a1","datavalue":{"value":{"entity-type":"item","numeric-id":485842,"id":"Q485842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$5E2FD012-5A44-4E76-B4A0-6D85B32AF650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5ef200ca0a6ffd921de7b0fd780ff05ef7a989","datavalue":{"value":{"entity-type":"item","numeric-id":5327335,"id":"Q5327335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$2AAD2484-DFEC-495E-AA39-D9A6A4132CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"877d47b5a68833b40336ae79952ca95bc15be14a","datavalue":{"value":{"entity-type":"item","numeric-id":3183536,"id":"Q3183536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$A34F4675-E462-48DE-9CAB-2E3E541C5C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed473c6e01919b49d2a3d56d48fd6fe4dac1c845","datavalue":{"value":{"entity-type":"item","numeric-id":1945905,"id":"Q1945905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364689$6D2C9E62-9E07-428D-A135-66BABC5AF53C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb636f355d8796679a448ab2f0465b71bf2a95f4","datavalue":{"value":{"entity-type":"item","numeric-id":3459922,"id":"Q3459922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd3a61154f7594305d8271c8c6ed40315d664832","datavalue":{"value":{"amount":"+0.7322375774383545","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":"Q2364689$206B6641-FD33-415B-994C-12C5A9A63E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0271ffbb32b0fdb034b4f062bb270688ee9018cb","datavalue":{"value":{"entity-type":"item","numeric-id":2907308,"id":"Q2907308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e73b3b23136516fa8a9b372fb9d0563fa15390e","datavalue":{"value":{"amount":"+0.7268816828727722","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":"Q2364689$4B2EB0C1-6DA5-447B-8FE7-64C441DFC266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b8b36929715000acf1cd883b9b1d7bc9f1ba30","datavalue":{"value":{"entity-type":"item","numeric-id":475385,"id":"Q475385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25762f9a78186147a377df4bb797c9f70c22cad8","datavalue":{"value":{"amount":"+0.720880925655365","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":"Q2364689$2DA214D8-6861-44EA-A387-10BB0422B6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3af864a3489d6e87eacccff0728680b50e49627","datavalue":{"value":{"entity-type":"item","numeric-id":2908568,"id":"Q2908568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ec059549db54ac26a8231b034a7e68848977cc","datavalue":{"value":{"amount":"+0.7088176608085632","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":"Q2364689$3EED1690-5CF4-4A4B-BC98-C47597F8CB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bf37c15e48fc38e72aa136040f068ea21e0838","datavalue":{"value":{"entity-type":"item","numeric-id":5417200,"id":"Q5417200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e68bc684448239eecd7a9ba59ce7131d2b63e57","datavalue":{"value":{"amount":"+0.7060384154319763","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":"Q2364689$B0B5D72C-89CF-4677-844A-44A86207033A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2364689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2364689"}}}}}