{"entities":{"Q5200113":{"pageid":7229684,"ns":120,"title":"Item:Q5200113","lastrevid":58468938,"modified":"2026-04-05T08:45:06Z","type":"item","id":"Q5200113","labels":{"en":{"language":"en","value":"Large formal wikis: issues and solutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934444"}},"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":"Q5200113$61205742-9E3D-49C1-B335-0F5A369BF8D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61da3193b72d066cf79764c071548aa5c261e38b","datavalue":{"value":{"text":"Large Formal Wikis: Issues and Solutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200113$399607F1-C2BE-4C23-8117-19CE9313F058","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1f60dca904be7f2715787d474a6eb27b220e4d4","datavalue":{"value":"1335.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200113$C9FB2EA3-9B65-422E-BA88-08BE814FE665","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05abaffcd4000f614676e52671f9390ba0786896","datavalue":{"value":"10.1007/978-3-642-22673-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200113$9BF62941-2F89-416B-AE28-827C326E7A1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"263b3b42f52ae45efd16753ae3b4c5178f9c0385","datavalue":{"value":{"entity-type":"item","numeric-id":456971,"id":"Q456971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200113$5CC82455-E664-4DEE-93A6-D2E47A1DF651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce6c8de6fcbaa447227f940503cf581bae345bdd","datavalue":{"value":{"entity-type":"item","numeric-id":3575265,"id":"Q3575265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200113$69077199-E405-4420-8AC3-CC9F1929E1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4695f91e84f51db7c19d41787e60821e6561f914","datavalue":{"value":{"entity-type":"item","numeric-id":2907307,"id":"Q2907307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200113$C1ACB56C-3F28-4B2A-A338-C39034DF9BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc204e2e78d924e815f2b640ec35c8c2356ad41f","datavalue":{"value":{"entity-type":"item","numeric-id":286786,"id":"Q286786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200113$3D3CEB4E-D003-47F3-9871-9ED971CB10E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200113$A3BA56E0-0EC2-478E-9B81-49D77F1C09BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200113$453FF6B4-9713-4BEE-AEBA-402FD62036AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be6f54853dd8161e3b6a2140dac77008ff5136cf","datavalue":{"value":"https://arxiv.org/abs/1107.3209","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200113$2AA21F06-FDE8-4AC3-86D8-FBC56D1A31F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200113$11DED316-0893-4551-AAE6-EDF7BC3D7ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200113$7C85FD77-260B-4C18-9F6D-4EF5E7D8E236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200113$07B58E2F-806B-434D-93F4-38826AFC7E8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"440beb75814fe746588ac4fa098715d17570eb74","datavalue":{"value":"5934444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200113$2C547B2C-FB2F-4FA3-A076-CBE81366743A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74c45b7f276c499af2a8382bf83ba8d26435281f","datavalue":{"value":{"entity-type":"item","numeric-id":13489,"id":"Q13489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200113$D2ED3EFB-6214-4F7F-81F1-44AF5C4510ED","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":"Q5200113$12CD99DF-0B07-49D8-B076-0A78059C29F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bb1c7eafdbb853d5fe04051d89b8463fa8b943a","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200113$BFE06404-1EB6-465F-9588-DD5CB6E5EA02","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":"Q5200113$0CFE807F-E485-4C9F-A3BC-11D31FAE319C","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":"Q5200113$A9FFF06B-0231-462C-BEFF-6506D03586F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba8433aed2b4a279d37f89f2f6fdafdbb7133014","datavalue":{"value":"W2763053546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200113$04A2B4FC-64A5-4F92-A29F-34F8D523FABE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c13cbb6786e7f899d12da3b475f95ad5388ab5df","datavalue":{"value":"Q56168714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200113$27536872-B498-47F9-81DC-2EA8A87A8931","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3eaa94e01b8b3a4d3a1e7e8e1ca32a100b24f3","datavalue":{"value":{"entity-type":"item","numeric-id":2907308,"id":"Q2907308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200113$E03B369B-646C-4511-8223-AC878118BA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acfe858b0ba6b373351a054496f33b067105b6a5","datavalue":{"value":{"entity-type":"item","numeric-id":983521,"id":"Q983521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200113$184736DE-D74D-4378-8980-BAEAB8F58C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e8f24b57f87c650609f2e20bd82f2c350ec9b2","datavalue":{"value":{"entity-type":"item","numeric-id":5756776,"id":"Q5756776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200113$FABA2F3E-E1FC-44CC-BD1E-B3DA6BBA95D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b06809062082b8f9f5dbc080e3987837376fa3d","datavalue":{"value":{"entity-type":"item","numeric-id":3499750,"id":"Q3499750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200113$4F17EF41-CF13-4DA5-AC37-03CC67C08816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcb51c6d7d97a019286f77f818933cb7ec1ae2a5","datavalue":{"value":{"entity-type":"item","numeric-id":5747673,"id":"Q5747673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200113$17B7EE4C-DD2E-4A42-973E-A559D38E3CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe483048f1e85cf7b9ba39998c93c88f7a7eabf9","datavalue":{"value":{"entity-type":"item","numeric-id":3582730,"id":"Q3582730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200113$02F6B3EE-49C4-4130-8D2A-D63C4DF82A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2da92fb913582a601af7173c06716220bbf7eb","datavalue":{"value":{"entity-type":"item","numeric-id":5898530,"id":"Q5898530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200113$6AAFD996-0142-4557-B391-A7764E80F8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1d0235461a49d24f36b9a64ea22f473f8531ad7","datavalue":{"value":{"entity-type":"item","numeric-id":3582731,"id":"Q3582731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200113$20029A61-DF86-46D3-AAB6-70E2F1717A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58440edcaeedcca352c1514f0054f400484f00d7","datavalue":{"value":{"entity-type":"item","numeric-id":3582702,"id":"Q3582702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200113$ABC6B308-3E87-4728-A000-2D8EA72ABA4D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c7215305f479696774c141e8e9897e1327f19ada","datavalue":{"value":"conf/mkm/AlamaBMU11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200113$8F9B2956-2AD4-4CA5-98B3-C8743C437C41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7049c9f0a4fe0964cf88755f5d2c3a48df668dc2","datavalue":{"value":{"entity-type":"item","numeric-id":5428272,"id":"Q5428272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692acc851ddeb63da5ad8cae1493711fd2e81734","datavalue":{"value":{"amount":"+0.8624502420425415","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":"Q5200113$E7C57C1E-B89A-46AE-BB9E-EDFB3A97C242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9fb9b1fc0f4f76eb2a6d13c7c197a80ac9f916","datavalue":{"value":{"entity-type":"item","numeric-id":3582731,"id":"Q3582731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57b1039cf2abf519ef8a228a73237d77eba2f34","datavalue":{"value":{"amount":"+0.8269384503364563","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":"Q5200113$09D07806-9E5D-42DD-9148-276F2539A9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b2765242fb7c1d0b8077c5a8857cf3741d6ed1","datavalue":{"value":{"entity-type":"item","numeric-id":2843012,"id":"Q2843012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"986d2dd1a8ba199b5faa899798ae44adc4996797","datavalue":{"value":{"amount":"+0.8000237345695496","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":"Q5200113$B744EA29-9221-4DCE-BEC5-69E6D3EDDC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1dcc797c1c613dabe3eacc83d92ec424c9cfe4d","datavalue":{"value":{"entity-type":"item","numeric-id":2219408,"id":"Q2219408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4322bd2c1df0fd4708f00504bee4f4f2dfa011ec","datavalue":{"value":{"amount":"+0.7208437919616699","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":"Q5200113$9A5DA67A-9AAD-4C4A-9929-A308960DD227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f95b306a43595e9289ef62d4c5280b52282556e","datavalue":{"value":{"entity-type":"item","numeric-id":5505520,"id":"Q5505520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856fd04ddef832cc2ee3f9d8531638e575c568c4","datavalue":{"value":{"amount":"+0.7201181054115295","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":"Q5200113$85D0077A-C196-4D56-9915-36694D48F58C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5200113","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5200113"}}}}}