{"entities":{"Q2700827":{"pageid":2711571,"ns":120,"title":"Item:Q2700827","lastrevid":47844442,"modified":"2026-01-02T20:53:11Z","type":"item","id":"Q2700827","labels":{"en":{"language":"en","value":"Wellfoundedness proof with the maximal distinguished set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680027"}},"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":"Q2700827$69BE09E2-BBC8-4F0E-A8AC-6A9FE9B0F78A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a442acab40aca1bf98defc16573b17f4efbd7407","datavalue":{"value":{"text":"Wellfoundedness proof with the maximal distinguished set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2700827$CB9B5F53-BD67-4691-9955-9423354044D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700827$12EB589A-6EE6-44C6-A850-05E1D626989C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700827$05F18405-4BE3-451F-BBA6-2CD8ACD1BEFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74408d541e56041c0ad7c62d17b5e76afde38223","datavalue":{"value":{"time":"+2023-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2700827$E689FF40-C6E2-4A3B-A4DC-F40581B09F32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c07d11392428a3baf00d046460f70c3c38ace9ad","datavalue":{"value":"https://arxiv.org/abs/2211.08619","type":"string"},"datatype":"url"},"type":"statement","id":"Q2700827$DECEB860-C9F9-4C7A-9CC5-DB72EF8E6111","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700827$FFDF9B65-F747-4A1E-87F1-CC8FFE012CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700827$8600EA01-1566-4ABA-8E83-4B04ADFAEC00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68e8292ca27bc14db64d43e9c497decd85c32764","datavalue":{"value":"7680027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700827$6E70FCBD-3275-462E-8FA4-73AC27269676","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4ed8cba60411ea8a3b50b8252e5d0742f2472c","datavalue":{"value":"wellfoundedness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700827$8176055A-C81D-482F-ADE1-52B23AE4ABB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4b61c64c132acc7a33c1c4e9d1fe5bce38896e0","datavalue":{"value":"distinguished class","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700827$5F820D61-4CE2-47D9-957A-E1372E96788A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a69f0df29fc376f8cab44fccdf78726d7e892b6","datavalue":{"value":"ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700827$B09C1115-54E8-45FB-9CCD-49EF42ED425E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e37773c4fc62a5621b19dfa21c80b156c1ecfad9","datavalue":{"value":"Q113906144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700827$8A86EF77-CCB4-4EBA-AFB8-887C896475F5","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":"Q2700827$5244061E-2E47-4989-943B-68828F4CED2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bd892fb45bf7bac79f3e23bc0781d6bfe3b3851","datavalue":{"value":"W4292883073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700827$A1A2AAB0-EE24-4007-A06B-A9966B225662","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"395f5c5470db5c93e403e609fe93402427a46b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1576592,"id":"Q1576592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700827$0A6548B7-512C-48A2-8815-663846ECD2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46a555f2762591f431d4e33a33934b20b9b0a74","datavalue":{"value":{"entity-type":"item","numeric-id":4527929,"id":"Q4527929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700827$C48F5D45-8E22-4D59-BD8A-2392F6858309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f248a4b193621c305638994f6a657146b123a0e2","datavalue":{"value":{"entity-type":"item","numeric-id":5311756,"id":"Q5311756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700827$F335E889-9AC1-4EF4-A45F-5C83DE53D26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e414ac0b56bd2344e477ea569f239924b584edf4","datavalue":{"value":{"entity-type":"item","numeric-id":638478,"id":"Q638478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700827$B1534148-69B4-442C-A538-B046908F0728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e8578e3630bd9449c7325f8614abdb6f0d16287","datavalue":{"value":{"entity-type":"item","numeric-id":5855753,"id":"Q5855753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700827$AF720DC5-6491-4234-8D0D-D6F525E3BA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700827$9A2FDBD4-BC74-447D-A203-E2D5F154DF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d231028a06b9247fe4eceef543855a118cf2b5f1","datavalue":{"value":{"entity-type":"item","numeric-id":4109654,"id":"Q4109654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700827$4173A040-F811-48F1-A813-412B04F9FCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700827$5AA4FC27-9B5B-486F-9B67-44F1AF5C24C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"916746dc03607d40228c71b62b930a926c881aef","datavalue":{"value":{"entity-type":"item","numeric-id":1777268,"id":"Q1777268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700827$B3C1DEC6-236D-4F61-8BAB-BA90E412A848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700827$9299EEAB-6A60-40B9-B517-17DD63B26436","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d03617aa2b7cfee475853edd65a1b864993a1922","datavalue":{"value":"10.1007/S00153-022-00840-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700827$FFA08984-A86E-42F5-BCE0-4A137F57F77A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccbfcdf47b177afa2c553f68d532c1ce161074db","datavalue":{"value":{"entity-type":"item","numeric-id":5311756,"id":"Q5311756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17615e372a523a22631423b807a5684aa08cd1db","datavalue":{"value":{"amount":"+0.7342782020568848","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":"Q2700827$67CD7516-5A75-4189-9A24-B508B7D73813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf20a72c87c85cf6f836cdd293a539c83e95161","datavalue":{"value":{"entity-type":"item","numeric-id":1332853,"id":"Q1332853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a5e7b80fe6705f07fce58c0d74eececeadf5c1","datavalue":{"value":{"amount":"+0.7326791882514954","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":"Q2700827$E1C9B3DB-0A8D-41CC-88D2-E31EA909A60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c551c20ece18e2c0d9d505fb59ec739d5c02723","datavalue":{"value":{"entity-type":"item","numeric-id":4281248,"id":"Q4281248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"080964f993b09cea4ef3f9ac841589b539b2abd6","datavalue":{"value":{"amount":"+0.7304970026016235","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":"Q2700827$79F8F52E-BC20-46ED-9211-C354822650E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d34903a87817c2cf7368fb8f9ad046db3c04e9b","datavalue":{"value":{"entity-type":"item","numeric-id":4934564,"id":"Q4934564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"476bcf113d1c578b37f2f81c20d717bbd48ca1ba","datavalue":{"value":{"amount":"+0.7301855683326721","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":"Q2700827$9C6F892C-BDE3-41B2-890B-0BBA4122A175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dff0ffa6e6db2858cfa7d85cd70e674aa15be03","datavalue":{"value":{"entity-type":"item","numeric-id":1861331,"id":"Q1861331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22224c4402751906c0f874726be9a8f8ca889965","datavalue":{"value":{"amount":"+0.7297468185424805","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":"Q2700827$5D8CE689-3016-4B87-B737-9C19242D5C6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2700827","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2700827"}}}}}