{"entities":{"Q4596662":{"pageid":6626247,"ns":120,"title":"Item:Q4596662","lastrevid":90005144,"modified":"2026-06-04T18:50:44Z","type":"item","id":"Q4596662","labels":{"en":{"language":"en","value":"Fra\u00efss\u00e9's conjecture in \\(\\Pi_1^1\\)-comprehension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6815212"}},"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":"Q4596662$E376E4BE-ECBA-4A2D-9B5A-8E35C16CE96E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9339d3091497943b92cf4fffcefe88abbe7d5379","datavalue":{"value":{"text":"Fra\u00efss\u00e9\u2019s conjecture in \u03a011-comprehension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4596662$A393741A-1CF4-46E3-B99B-BDF58D95E21B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1615172991b2f45b7a1fea3de672724be613ae1","datavalue":{"value":"1472.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596662$7A5AE83E-9341-4940-869B-E9969CDEE645","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e711dcac194f3bafb77c6426fca7ee023459a5ef","datavalue":{"value":"10.1142/S0219061317500064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596662$12809969-61A4-4B06-A55D-0C1503F492B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79ce5ab41f7629f8f674c94fed05f6d1f4b53855","datavalue":{"value":{"entity-type":"item","numeric-id":453199,"id":"Q453199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$753B153C-3024-42C5-9781-B4118FEEA162","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$7509F672-7B3E-410A-9502-5B285572F19B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"356666c8207aeaac62652c7da95fdf995e8239ac","datavalue":{"value":{"time":"+2017-12-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":"Q4596662$6BC26F1E-D088-46AE-A599-161D81BAD230","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596662$5631767D-1E27-49AA-8BC8-79789136A9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596662$2EC07637-D934-41EC-AFB0-1B666040245B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596662$F8F27DFF-9EC1-4DC0-A87F-1423FB56026E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ff2115c5eab67ec1a263d35aae6dd788ee71886","datavalue":{"value":"6815212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596662$4FAD100B-CD23-4E5B-8D5C-9E14E90B6416","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f3e2d6bfe9d00713f519554788177e4bbdab14","datavalue":{"value":"Fra\u00efss\u00e9's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596662$11EAC4D3-2A36-45C3-98DB-E81A13CF16D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70a49b024af7536419aa811a038f4e661cfbf6f","datavalue":{"value":"well-quasi-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596662$14437A08-06CF-44B8-B66E-2EC384031EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7042586cc72e8975aeeb8713aee903fb75f088a","datavalue":{"value":"better-quasi-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596662$666EEA98-6923-4492-8C0D-F1EBBC57F351","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"063f5173a464ff9b0b4d269185de2a02c7769356","datavalue":{"value":"Q123292693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596662$7E51EF67-EDA7-40BD-A759-4DC2AB7FC979","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":"Q4596662$44C633D9-B6FB-4BB1-ADA7-4DAC04AD90A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a3cae5c7ffa372886edddc3a9cfec8d6827d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3197820,"id":"Q3197820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$82EC94F8-C308-4FCE-9FEB-5C07E51E0861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3161a51f6044103cbe54cccdaaa7cb63c8a0f16b","datavalue":{"value":{"entity-type":"item","numeric-id":5311748,"id":"Q5311748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$02245282-A442-4C0F-85C0-771F1795CEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"291c0aac3acd9b073e4d9b018d15a1f5e5feb77d","datavalue":{"value":{"entity-type":"item","numeric-id":3671967,"id":"Q3671967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$AD0521CA-625E-47EC-9356-3D4320C28F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c779b2f1a565b8c9f0408c582444d3500554b1","datavalue":{"value":{"entity-type":"item","numeric-id":5791703,"id":"Q5791703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$3B1BE398-50BF-497D-B05A-E628B0EAE920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4805f38d8a13b8d932339f139b139686d1952c8","datavalue":{"value":{"entity-type":"item","numeric-id":5618369,"id":"Q5618369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$273026B9-4348-4E24-8462-C966A87784CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0842236f0f9c6282c7fbe6f5512cae3e61d9ccae","datavalue":{"value":{"entity-type":"item","numeric-id":4111536,"id":"Q4111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$791AADE4-4CB1-4106-9526-893966F0E0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab8ba5ad82b9fd9e70f4f6e59d5e26aa6fdf3f7","datavalue":{"value":{"entity-type":"item","numeric-id":3773882,"id":"Q3773882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$D3058AE7-0E2A-4919-8F76-F6EF4482F624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$018ACD16-6C90-4664-99BE-04BA11FAD05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd75fa562171f1bc8488c55c38ad826341f610ad","datavalue":{"value":{"entity-type":"item","numeric-id":2543669,"id":"Q2543669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$462A2B3B-D0BF-44AF-9AFB-4B8647171502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be6574fc26b52a2311c45550696cb208d4db69f","datavalue":{"value":{"entity-type":"item","numeric-id":4316958,"id":"Q4316958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$E8573FD8-051E-4216-8769-11C0F00D3970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0dffc55f1a93c6cf3f7f56c1bd747358a0b606f","datavalue":{"value":{"entity-type":"item","numeric-id":3837736,"id":"Q3837736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$342A71EF-3606-460C-A492-C459D8A0019F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5b24c3a6f99b04de23116c5fcf90b39e73a79f","datavalue":{"value":{"entity-type":"item","numeric-id":5711893,"id":"Q5711893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$21E58673-38E9-4281-8315-8785112B45E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7456392ba6402a2398a43c3568dad7f52da20183","datavalue":{"value":{"entity-type":"item","numeric-id":4147976,"id":"Q4147976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$E46C7E1C-9EC6-4EE8-9FC2-DC85B9A8116C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aff5bcf5d2df2fa801435cc8cbae737d04f7f2b","datavalue":{"value":{"entity-type":"item","numeric-id":1032636,"id":"Q1032636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$264B4AF8-B0DD-4792-BB9C-7E7135711552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9299096cc5f1dff4c22a5c4279a1d67eea625746","datavalue":{"value":{"entity-type":"item","numeric-id":5294020,"id":"Q5294020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$1A3510BA-382F-4A3E-882A-7534551D55FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2505f5ad53376d4802526b19c43e6ca33b004ce3","datavalue":{"value":{"entity-type":"item","numeric-id":2368905,"id":"Q2368905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$EE2C8FBB-D32D-4E99-A37F-4CFBF3A78851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa198449e94216f6426cad818b0afbe610455fc","datavalue":{"value":{"entity-type":"item","numeric-id":3594486,"id":"Q3594486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$8D4A4908-82DF-424D-A0B8-BA04D2DF1036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0364f4776d4113b99ecb52ec67904d1217683c9","datavalue":{"value":{"entity-type":"item","numeric-id":5537629,"id":"Q5537629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$2AAAC041-582F-4C56-B7C5-829ACD3C5513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf9647bfa341a64c29feed40e53149718272c3e","datavalue":{"value":{"entity-type":"item","numeric-id":1210137,"id":"Q1210137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$D4AE0731-3F20-48B0-8B55-BD222F79E4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21128463a44aed6ad97f16214f2df1eea30cacef","datavalue":{"value":{"entity-type":"item","numeric-id":5307611,"id":"Q5307611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$10D998B7-D2A8-4F65-B35C-8D32AC4CFF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607ded5234c26c38df472a520c18577c89b874cc","datavalue":{"value":{"entity-type":"item","numeric-id":4764120,"id":"Q4764120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$55CC8924-F30C-4D8F-BBA7-AA31048FC090","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":"Q4596662$67B7B9DF-A96F-4496-B64C-C57339848A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43224d188437f230ea76494d0a43aec915f05f0","datavalue":{"value":{"entity-type":"item","numeric-id":4198744,"id":"Q4198744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$15B6935F-C4F9-4DEB-9859-43B777119E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f9e605bbed59a679eaddbc4e2f59017a1a3029","datavalue":{"value":{"entity-type":"item","numeric-id":4189261,"id":"Q4189261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$FBEDC016-B59D-4E9E-A0CA-D966181DD50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb42af12e87b693c7af0edf08cc8e55e0ed73bf6","datavalue":{"value":{"entity-type":"item","numeric-id":1117221,"id":"Q1117221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$3CC0506B-A2B6-46F4-90FB-E1F86108674D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef055311c258efec81d3eee8694974f47c782f9","datavalue":{"value":{"entity-type":"item","numeric-id":3789551,"id":"Q3789551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596662$677D2CB9-430A-44C2-88C2-1E5CE7CD2189","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae5e8406e25fa0c77a4cbdf44e9f5c4528cb2882","datavalue":{"value":"https://doi.org/10.1142/s0219061317500064","type":"string"},"datatype":"url"},"type":"statement","id":"Q4596662$CF2A0955-0C29-4A84-B3DA-470BBA70311E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3389b683fa2a4b4e238fada3d974d93841807800","datavalue":{"value":"W2725334790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596662$9D5564D9-2EF3-4641-B51F-0473B568A7B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5473fa271a69d81a077c788a3c4debe17221630a","datavalue":{"value":{"entity-type":"item","numeric-id":4764120,"id":"Q4764120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8615e0f9744e843dc628802f41f28779752116ea","datavalue":{"value":{"amount":"+0.8420760631561279","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":"Q4596662$5193CA65-0C2B-45E6-A643-E03CA8E49D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd0202c5a6e2ed1dd4969ca591083a79bb622eb","datavalue":{"value":{"entity-type":"item","numeric-id":3594486,"id":"Q3594486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65e49da6e81561ab9d99a26956b64c0b2a8b83f0","datavalue":{"value":{"amount":"+0.839529812335968","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":"Q4596662$23141824-599E-40A3-AB1F-6E3376D3AD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"945fd73abc818f597d6e2bf088c3a048a32c60f0","datavalue":{"value":{"entity-type":"item","numeric-id":2368905,"id":"Q2368905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838375dacee85617e3bb4c5d09486c7cc4dc9000","datavalue":{"value":{"amount":"+0.8248358964920044","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":"Q4596662$D79F33C8-2447-4E65-9C50-7D80AFE40399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763a0516532ef615baf2563524670ce8f068068f","datavalue":{"value":{"entity-type":"item","numeric-id":1032636,"id":"Q1032636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b61a9a52e9745299fa23ffd35648ca1a4463c17f","datavalue":{"value":{"amount":"+0.7923297882080078","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":"Q4596662$CFEEAA50-6E9B-49C0-A794-AF18019C5A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0dd67f258a7fb260d6a67a0b15a1d5055e19a0","datavalue":{"value":{"entity-type":"item","numeric-id":2274030,"id":"Q2274030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f82f02dcf78242920fb0b271b72d1d79f91d1d","datavalue":{"value":{"amount":"+0.7917894721031189","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":"Q4596662$8F8CC1DB-F1A2-4D79-AABC-AE85B2869701","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fra\u00efss\u00e9's conjecture in \\(\\Pi 1^1\\)-comprehension","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fra%C3%AFss%C3%A9%27s_conjecture_in_%5C(%5CPi_1%5E1%5C)-comprehension"}}}}}