{"entities":{"Q704001":{"pageid":705850,"ns":120,"title":"Item:Q704001","lastrevid":57137178,"modified":"2026-03-26T18:20:53Z","type":"item","id":"Q704001","labels":{"en":{"language":"en","value":"Computer theorem proving in mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126983"}},"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":"Q704001$2000A8C7-A7AE-4DC8-861B-E0035D4A9B08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c347ec1baabe0953dcd73e0e1f49331d5a4cbdb","datavalue":{"value":{"text":"Computer theorem proving in mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q704001$4E7B751E-5198-458F-88BE-B7E8E9B8121C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecc8c4be247831d157d2d133dc0f96ed0a290db7","datavalue":{"value":"1067.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704001$5485EE42-786B-4EA8-B8DD-C8929A3D9CEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eea43d9daf58c41b188d28fbb5442d1762c09054","datavalue":{"value":{"entity-type":"item","numeric-id":164121,"id":"Q164121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$9897D829-EE67-47C4-9F5B-B91BB3909B5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a664784a96d1c1d70ab3c494ee2dd054de5f80f","datavalue":{"value":{"time":"+2005-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q704001$5BC76E77-F1B6-4310-A437-698117570130","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a86d88aff5d6313cabff2894dc4ff3da7e193af7","datavalue":{"value":"https://arxiv.org/abs/math/0311260","type":"string"},"datatype":"url"},"type":"statement","id":"Q704001$8F74F0FB-1EF1-42D9-B848-85AA3DF24D2A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8580ee1eab2ca577e692d75ff6bf832f52bbffdf","datavalue":{"value":"This paper presents an overview of issues about computer theorem proving in standard pure-mathematics context. The autor begins with the basic reasons for mechanizing theorem verification and a history of computer theorem proving. Next, he deals with issues as: extra-mathematical considerations (format of the proof document, the basic programming code used to specify the syntax of the language, etc.), basic task (well-defined and machine-determinable meaning, the system of notation for the mathematical objects, etc.), a discussion about the system used (e.g., type theory as a basis for mathematical verification), several options for doing set theory and, finally, some perspectives of future developments of machine verified mathematics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q704001$FBFCB3CF-BA87-424D-9199-718A7A9C021F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704001$260AE2FF-8787-4166-A3E3-70912A0B4FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704001$F1F7DC81-43E1-4B9E-87F8-3E6C0F0328CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704001$CC8C4C45-AFA4-48FA-9AFE-73F8CB535D48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5f005de1ae9d35ca849f265188855fbd800e336","datavalue":{"value":"2126983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704001$3F87AD29-1756-4621-B321-51E31DB6E1A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0ce36239dbd08766601c3263a7891046c0723a","datavalue":{"value":"Lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q704001$4B98FBB6-7AB7-49A7-A340-00FA2B77A887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q704001$A006A303-294D-4D83-A353-10104A3163D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q704001$47477EF2-1A40-4517-BC1C-55A80EE46F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q704001$FAB79195-33D5-4DCF-AB2B-5AED6273C612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q704001$058E5C95-180C-4E36-8F39-73970EABAF4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a957213849b9e1bc60e55cc8d34b486d8abea0a2","datavalue":{"value":{"entity-type":"item","numeric-id":803352,"id":"Q803352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$0071777A-F2CB-42B6-9C88-C1B0142610B6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$146D0C98-E4B0-4FC0-BEC7-C1FD34009AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$C1696F70-9C20-4775-9437-A9D97BC33CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$F4DCDCF6-9564-40E3-AE12-5E053ABAA790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$4F776CC3-0C39-4524-B090-2C3E5E8B92DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$AE916443-56D6-47C3-AF2A-98B3A0A43A5D","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":"Q704001$9CF84E9F-CE67-4D7E-8853-0FBFD1A7A960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$B704F611-9024-4A12-98B9-1E9FD0017C56","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":"Q704001$9A2648DE-2F41-4584-A81E-12905257D2C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d70251b06d95b11ef20f16e968dcafac6d496e8f","datavalue":{"value":"W3100561060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704001$CB7371D9-6D4C-4AAF-85EC-A38379188168","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$3D80DD5D-4698-4F80-92A5-8A3FD43F4255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c2250165aa9c05164034b181c3d3446c68d8e6","datavalue":{"value":{"entity-type":"item","numeric-id":3024857,"id":"Q3024857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$46DAF0F7-3FE4-4EA0-8BFF-B7E90834D282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1337bcb3b3c98a43145ad16cb75fa3c41de8badf","datavalue":{"value":{"entity-type":"item","numeric-id":3836627,"id":"Q3836627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$02C94CD4-38A2-4F85-9020-A12EB26498AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b00a71e2a4323a234658e91493a7bd2e6e24f66","datavalue":{"value":{"entity-type":"item","numeric-id":4816996,"id":"Q4816996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$C34AB1F4-F749-4302-98A8-2DB609CDD4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2330859a81aa2a457c43250fa16bdebe82a1da52","datavalue":{"value":{"entity-type":"item","numeric-id":2554244,"id":"Q2554244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$D0FBF966-E80A-4403-8C18-2717B294B291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30817b2562b53563610c69609663c46e7d81a3a4","datavalue":{"value":{"entity-type":"item","numeric-id":4003525,"id":"Q4003525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$284B7CE8-38AB-4361-8AF4-1A6535F654BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a647009c61b812b9dedd06c33e7d154aa982e27","datavalue":{"value":{"entity-type":"item","numeric-id":4941841,"id":"Q4941841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$10D91E7D-842B-4BE4-B8B1-82EC275D9F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e3205f61ab0cf0c757b93cbb15b5f9dfc288bf4","datavalue":{"value":{"entity-type":"item","numeric-id":4945205,"id":"Q4945205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$E933CAFD-EA9C-4B2C-A878-B1543B8440EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb1cc403af254e7e5b6d368479267fc62851768","datavalue":{"value":{"entity-type":"item","numeric-id":4435464,"id":"Q4435464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$1DD3B4A7-30E6-4609-B4C0-A286E000D8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d41abf6da915f3ec78fa342afa4540729aafadd8","datavalue":{"value":{"entity-type":"item","numeric-id":4484336,"id":"Q4484336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$5E5BEA9D-115E-4726-954A-BB6C32167EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ea36077204fd0b9eb7644f2911bca89da088d8","datavalue":{"value":{"entity-type":"item","numeric-id":4435465,"id":"Q4435465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$778FE6D9-D6CD-46A7-9EE8-083DDA3BE17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c893b5c267b5846def730bd3a1883d8abfcf8619","datavalue":{"value":{"entity-type":"item","numeric-id":1154447,"id":"Q1154447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$EE9DE5D2-44A6-4F29-9F6F-FBA7B3D31302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96391f0c8febbc71276d5c044d3c2ee647026977","datavalue":{"value":{"entity-type":"item","numeric-id":4663833,"id":"Q4663833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$8F3781A2-0084-4247-84FA-95F3578CF403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0d2d9f77672fefdf42d7f4a1325cf1bd9c8281","datavalue":{"value":{"entity-type":"item","numeric-id":678839,"id":"Q678839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$1F1FE470-91D8-43E4-91A5-2C6A09AEAB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596368d7dc706abcd9f4d208f78ec5c089ec95d4","datavalue":{"value":{"entity-type":"item","numeric-id":1869616,"id":"Q1869616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$4BDA5BEB-0DA2-4381-8C6F-170C14FA2228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43855aac57bc142da3b7014bebd8efc531e52b19","datavalue":{"value":{"entity-type":"item","numeric-id":1281440,"id":"Q1281440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$8A05803D-78AC-43FD-A3E5-C38948566710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a685602084c7f63f6b60c50f6f0191bcdbb27b9","datavalue":{"value":{"entity-type":"item","numeric-id":1425314,"id":"Q1425314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$5F88C94E-71DC-4D0F-AC91-8D5A0868FCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7ab0bef98f3dafd356831c56f39b6e31577416","datavalue":{"value":{"entity-type":"item","numeric-id":3612441,"id":"Q3612441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$27249FD4-36A2-4C43-89FB-DC929CF70599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076a838bd0092606d2a19431691467a449edab0b","datavalue":{"value":{"entity-type":"item","numeric-id":2751370,"id":"Q2751370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$D49FA42B-5F6F-4A68-9DFB-9AE62AFF0FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f81dfa96ceb43e4c8fb32bbce7a6d970c48360","datavalue":{"value":{"entity-type":"item","numeric-id":3694247,"id":"Q3694247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$ECA26B6A-613D-4296-8251-126523F30237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edfb3a3e8c30d0de8fcf1921903d7789f430d3d7","datavalue":{"value":{"entity-type":"item","numeric-id":4133944,"id":"Q4133944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$FAF7BCBE-2F0E-47A5-BAB1-CCCB2FD03A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c91066f858fa64a799af591825e0694228fffb","datavalue":{"value":{"entity-type":"item","numeric-id":4122841,"id":"Q4122841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$B952A6C8-5592-45BD-9F62-4BFB7BA0CD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1127b254eb447b4a9c91d1389180b0a01af9893d","datavalue":{"value":{"entity-type":"item","numeric-id":4817211,"id":"Q4817211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$70FA1564-64EC-4741-B649-F0EF79A305B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e085d23761b683ccabca7a184fc918b1460e91","datavalue":{"value":{"entity-type":"item","numeric-id":1904403,"id":"Q1904403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$D4E42546-5E15-4C96-BB8A-3E2D28CBAE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414a3e3956c7dc2c29190b395eaa4f399542bef0","datavalue":{"value":{"entity-type":"item","numeric-id":3032911,"id":"Q3032911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$448D9651-A205-4542-91A9-A103D6174E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7af41b87b8781be55d02b6bba0fca975cf5e04","datavalue":{"value":{"entity-type":"item","numeric-id":5902846,"id":"Q5902846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$6FA71562-5CD5-4B74-AF78-72231AC187DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$4DEB87CC-7AC4-4951-B3F6-59AE083F2160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2af2092b9c38b5f11bfd9331f5655e22bc0db44","datavalue":{"value":{"entity-type":"item","numeric-id":3283220,"id":"Q3283220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$111E74C7-FD37-4610-AF97-6175A5B99AC2","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":"Q704001$671D9D94-708D-46E8-8EB7-E7739747ACF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f2acd13394e12d53f7294c47790565e27a57f11","datavalue":{"value":{"entity-type":"item","numeric-id":3857731,"id":"Q3857731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$C5F0971B-E020-4017-89DF-1925775D2174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4252f412990f92944bc662cd3970f0d122c2c799","datavalue":{"value":{"entity-type":"item","numeric-id":1259437,"id":"Q1259437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$0E8DDF90-AD43-41BC-B92F-5E9953782C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e56ae8488ba4894612070d0b542edd9b60a0b3e","datavalue":{"value":{"entity-type":"item","numeric-id":1608576,"id":"Q1608576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$AE45E583-71DF-4AB1-9E35-AFFA95E0FB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"057e416d842bb98b4da44ead0bbf3e871eaf86bb","datavalue":{"value":{"entity-type":"item","numeric-id":1040258,"id":"Q1040258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$324D1A00-4A99-4F83-B286-0B211D2CC3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbfa02ab4b7e0bb252f5a5604936a94deac79e9","datavalue":{"value":{"entity-type":"item","numeric-id":3847756,"id":"Q3847756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$2A2082AA-D6DB-4AD6-B146-F88348FF3EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$A1EE3F98-0DF0-424B-8B29-E143B1BDF59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1546ab743662f47fa9c4597b7eb9643d4097215b","datavalue":{"value":{"entity-type":"item","numeric-id":1187853,"id":"Q1187853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$FC2EFBCF-A652-49FD-A142-A128D5A55BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3b3138f781bac29b9f5c738916a780c407c8ce","datavalue":{"value":{"entity-type":"item","numeric-id":2718735,"id":"Q2718735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$18F781C2-CC3A-4269-8051-4A5FE854C032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$77DAEDF3-8B2D-4A8F-800C-985E043AE1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93870916f985296994d3e934a3bbc33cc4056cee","datavalue":{"value":{"entity-type":"item","numeric-id":3801105,"id":"Q3801105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$7D63F110-21C7-4CB9-9A92-6B79F7FE4572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f1a85252a4c0a5bb2b7a3eae3c76b6088496bd","datavalue":{"value":{"entity-type":"item","numeric-id":4296962,"id":"Q4296962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$255C6B98-2787-4DF4-A615-1657EC26F3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d83da21236f2d67f9cbefe92d62cd8e6236c779a","datavalue":{"value":{"entity-type":"item","numeric-id":4829993,"id":"Q4829993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$C35C1F38-D79F-4258-B68E-4D44897C0E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8e533ff3eac48df1b8e2e6a165bd6b4f2b2bd7c","datavalue":{"value":{"entity-type":"item","numeric-id":4263806,"id":"Q4263806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$9BA839AA-6475-4D7A-8FFA-C8E46A5EE903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19b166763a6fbe376540d0eb64b66ab1a857db6c","datavalue":{"value":{"entity-type":"item","numeric-id":5718564,"id":"Q5718564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$DDB04FFC-5D26-4F7A-9F8B-FC2FB3AB3437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f03bf183c7a653e5e84320e58ed58d37b137b2","datavalue":{"value":{"entity-type":"item","numeric-id":1868515,"id":"Q1868515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$E9C72450-BA66-4764-89DD-DABF002696A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2754d25527675408ed3affc07580830095fee66","datavalue":{"value":{"entity-type":"item","numeric-id":2723416,"id":"Q2723416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$086358F6-0E59-48C2-8591-7DEDC8D21C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b5fe27d7d4abba821d26e0846cd57eee01e745","datavalue":{"value":{"entity-type":"item","numeric-id":4903017,"id":"Q4903017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704001$45744AE9-4B34-49E6-8DCF-8170E7BDF573","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cea1d4405b0c31c60468c2f6fb0e9cd6498149eb","datavalue":{"value":"10.1007/S11005-004-0607-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704001$0DA46E48-9AAC-4A04-854A-C7B393DDBAB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc268baf51e6f99f0ec7fc0e4bd70830f2cc4651","datavalue":{"value":{"entity-type":"item","numeric-id":5302560,"id":"Q5302560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30224ae4b5ebccb810a394ade60849af59a63d3e","datavalue":{"value":{"amount":"+0.7805940508842468","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":"Q704001$084386B5-35B4-4B05-973E-3C1089C43D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7876587f065cedf9fccc5121c87758465fec05a","datavalue":{"value":{"amount":"+0.7796276211738586","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":"Q704001$8D6DA0A5-C0E2-42F6-8897-2C0D1D928546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b5cd105b44770aa835c9cbc85b4fcf5656f16d0","datavalue":{"value":{"entity-type":"item","numeric-id":5894305,"id":"Q5894305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b4b6b8cfbd9c92bb46a4c30ff7c8ffb3d08d398","datavalue":{"value":{"amount":"+0.7791167497634888","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":"Q704001$7D93D211-1D8B-4DE0-8659-84B9293375F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53fd36785de4a96164f555f93c3baf017fceaf3","datavalue":{"value":{"entity-type":"item","numeric-id":657585,"id":"Q657585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89400741be6aaebbedb16c602de713a6459e2401","datavalue":{"value":{"amount":"+0.7770878672599792","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":"Q704001$62087519-BE35-4511-8170-296ECE4AC703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f71d2b2618ae8dc75ae0d20f344e5b74920d2bd","datavalue":{"value":{"entity-type":"item","numeric-id":5301849,"id":"Q5301849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02fbdcc862dc904fe3532f7de01acf588bab5b94","datavalue":{"value":{"amount":"+0.7767976522445679","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":"Q704001$5416C22A-C50E-4D6C-9F28-98506C6E3125","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:704001","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:704001"}}}}}