{"entities":{"Q1791167":{"pageid":1801909,"ns":120,"title":"Item:Q1791167","lastrevid":72966462,"modified":"2026-04-14T09:04:35Z","type":"item","id":"Q1791167","labels":{"en":{"language":"en","value":"ProofWatch: watchlist guidance for large theories in E"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946985"}},"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":"Q1791167$58C1171A-9E37-4142-B029-7219007BFFBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48098203a731ea4aa28401293a474803ed6f22a8","datavalue":{"value":{"text":"ProofWatch: watchlist guidance for large theories in E","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791167$69CF7154-66AE-48FF-B19F-E42654CEAEB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4727209e1b10f68d124acc2f0a80689c32614cf7","datavalue":{"value":"1435.68369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791167$101FDE28-31E5-4495-B214-DCA9E7CC3ED7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74fbc8c7e2a9fd93b19d474a3729664e061767fe","datavalue":{"value":"10.1007/978-3-319-94821-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791167$34D8E901-0D56-4E0E-87CE-F98B55D7FCAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87dc4de4518b8db4a5efca79e388ac462c23bd10","datavalue":{"value":{"entity-type":"item","numeric-id":831935,"id":"Q831935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$3D440E70-D626-44F6-BE1C-B126041E988B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41390ccb2889a06af91bd7d467009a1fde2d1850","datavalue":{"value":{"entity-type":"item","numeric-id":862394,"id":"Q862394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$6F319394-379D-4919-9090-A836C99602BE","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":"Q1791167$F35235D9-90EC-4E93-BBD9-A6F3A4B3E504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f8697734f50f37ab020ce5c9531311e513a126","datavalue":{"value":{"entity-type":"item","numeric-id":831933,"id":"Q831933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$4CD167F0-7E75-4542-B3BA-A27C4529C9EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791167$A3220835-0DEE-4F02-8861-DF8ACE7F6C57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e10c2c88fc05db35140156bcff542fe833f3da2","datavalue":{"value":"https://arxiv.org/abs/1802.04007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791167$89495CD7-48D6-44F5-82F8-BB01F22CCA73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791167$D80A1440-272B-4BEB-88E1-BE84A7AE6091","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e4fef309cfdfc7219cb0f013e52a384be3ce74c","datavalue":{"value":"6946985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791167$74FFCB50-A643-416E-BDE8-A4079F55430C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$F303C97C-CAA8-41DC-BE41-CC963EFF83E2","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":"Q1791167$4719CD88-0446-40E9-9F42-D702E39EFF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$9085EFAB-D609-4E77-9324-4AF0714159FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e46473070f3c81a2b3e6d8305bbf4ff6145b7c3e","datavalue":{"value":{"entity-type":"item","numeric-id":30553,"id":"Q30553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$397FDFC8-CDD1-4B4A-A3F5-E507911AC12A","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":"Q1791167$CA6D4CD8-D55E-423D-901F-A693EB5419EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d7080ec90546ccf740799d90136dfd2e93385c80","datavalue":{"value":{"entity-type":"item","numeric-id":39267,"id":"Q39267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$516D4FA4-27C7-494A-AF21-1FC71F094913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af7e320eaa043645fcae501eca102305f45924c7","datavalue":{"value":{"entity-type":"item","numeric-id":40341,"id":"Q40341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$DC9020C0-04BF-40C3-AE2B-C5E2FEC74F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33061b9a75e57d93e8912d2c2b716b27d6bd52ab","datavalue":{"value":{"entity-type":"item","numeric-id":40369,"id":"Q40369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$5BDB0121-CF8A-4BC8-8821-84D0B5044BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"484f589bd857c6ecd5604196ba88033adb11a795","datavalue":{"value":{"entity-type":"item","numeric-id":15128,"id":"Q15128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$E047F460-5678-43B7-A51A-2DAA601FE616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$476E657C-1B7D-4F6F-8356-F35211F30729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$653F468E-DA11-49D3-B344-027E0D038155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$61AF0578-FF50-4551-AF3F-478BCAD67670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$BE518D90-0CC6-4142-98CC-CD15DF5D494C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$82999D22-28D5-494D-A1C9-BAFD968FC15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7cbb37e14a01458626c5623c37a9141435c8062","datavalue":{"value":{"entity-type":"item","numeric-id":19250,"id":"Q19250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$D580F0EF-1A67-4F9D-B28C-115636FA0F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae510ff9d7026cdfae7484e5c88af62cffb92c77","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$B4763E96-AE86-4FE2-800C-7070233DC6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a1e94f157d41116391eea794e4679c715853699","datavalue":{"value":{"entity-type":"item","numeric-id":32991,"id":"Q32991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791167$B4D6A8F7-DAC1-424F-B12D-E6BB87D840EA","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":"Q1791167$14FD1E7E-6B6E-47D1-BE81-F57C1BC8CA26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bd5deee0ff0ab6fcfa4ae1f1c32e7e5b9b6834c","datavalue":{"value":"W3101395968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791167$623087E4-D429-45CD-A141-7204948ADDD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079129d799e86dda18f95b9de265fd95dd23865f","datavalue":{"value":{"entity-type":"item","numeric-id":2702602,"id":"Q2702602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12529fe49605f6e570a68641cf62943b16b43fa2","datavalue":{"value":{"amount":"+0.8226588","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":"Q1791167$222B5DC4-ED03-434F-B51E-5E4F07DA523F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17eddff234d4c41a4317842c44d693129664c1a9","datavalue":{"value":{"entity-type":"item","numeric-id":5326762,"id":"Q5326762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f40856d82dd65d3736e27abe4e2b99cb0dceec","datavalue":{"value":{"amount":"+0.8016505","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":"Q1791167$D4707C4E-150A-43D2-91D2-9BFFC7D8DA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be0cd7095f8acc603fa00ad5a62e6e994462a4b","datavalue":{"value":{"entity-type":"item","numeric-id":3731048,"id":"Q3731048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db240f04043316283be07cc250274f2d8f72c78","datavalue":{"value":{"amount":"+0.7890342","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":"Q1791167$D153AA12-DB69-41CB-80AD-F7935010A39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b487f5c2b17f6536f2e45341ad5fc30697ee540","datavalue":{"value":{"entity-type":"item","numeric-id":5014803,"id":"Q5014803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654bd51e553b3055ef18810f820f1aa0a9a03253","datavalue":{"value":{"amount":"+0.78636765","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":"Q1791167$9A84B3B5-DEF2-489A-8B3F-E8D91DB9149F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2231464059b9fc89ff51cde9e3daf7ad5a7f965","datavalue":{"value":{"entity-type":"item","numeric-id":3453106,"id":"Q3453106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9751c651e08a149d5248600bf90c9137bcea6d","datavalue":{"value":{"amount":"+0.7861995","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":"Q1791167$02D45D58-C676-4B38-9B7F-86BD169B6A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0a3bf9bdd0f7ea5fe705aa2b46eefc4aba3fb6","datavalue":{"value":{"entity-type":"item","numeric-id":3034850,"id":"Q3034850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175a7c5ac38b5c503eebee9a05c3c0b39b3f0aad","datavalue":{"value":{"amount":"+0.78448826","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":"Q1791167$B3234E28-43DD-409E-B601-7AAC172E8761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd4a81b77523c5abf39bfa1afb0614b391a77f7","datavalue":{"value":{"entity-type":"item","numeric-id":5166496,"id":"Q5166496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e1d97855a130ff253eeaced409dfda82a82b79","datavalue":{"value":{"amount":"+0.7841518","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":"Q1791167$4F9DF281-B596-422A-BB05-47593945A34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46e9c15b4e6873bc4d9a9de52ad814a0b12f609","datavalue":{"value":{"entity-type":"item","numeric-id":2703721,"id":"Q2703721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7976f95022c979c08acdee62852a78ca743144","datavalue":{"value":{"amount":"+0.78131485","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":"Q1791167$65B7F89D-6DCA-4D56-830A-4632C89992FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ProofWatch: watchlist guidance for large theories in E","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ProofWatch:_watchlist_guidance_for_large_theories_in_E"}}}}}