{"entities":{"Q3172128":{"pageid":3182838,"ns":120,"title":"Item:Q3172128","lastrevid":86377649,"modified":"2026-06-03T19:51:18Z","type":"item","id":"Q3172128","labels":{"en":{"language":"en","value":"Statements of ill-founded infinity in set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5953969"}},"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":"Q3172128$D0728850-51DB-4743-9594-0A184DD153CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"762e15b8d2dfc59c52a79779e2d22d2cebd15b30","datavalue":{"value":"1244.03136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172128$5E4665CB-021C-4B92-9374-968BB000FF4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4e12c722f49d808c298b612fc4992a4ed23967","datavalue":{"value":{"entity-type":"item","numeric-id":626877,"id":"Q626877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172128$AA1F2AD3-FBF0-4064-B407-09AD4F60A9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fccb48273352f9d3a76d946d757d4f77a228b9e4","datavalue":{"value":{"entity-type":"item","numeric-id":400529,"id":"Q400529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172128$E2758BCF-23D7-4D99-B6CC-5F4B00B446A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faadbd22dd8b1da3be6dbb593d6df9253bd99cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248615,"id":"Q1248615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172128$BCEDFC8B-D172-4678-B6AD-F6AD98EAAD33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d61797d3b83ae7c2d72d91eb4de841b7a5cf41a","datavalue":{"value":{"time":"+2011-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172128$52452960-F589-4642-843A-4B957F2BB257","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172128$3AAE0CE8-C25E-4150-9A1B-6BD8CED5B224","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efd1397a67708cc58c3b09b848630af192fc8b6a","datavalue":{"value":"5953969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172128$8A6971A8-9728-46B1-A88B-5A3F2D8CAB2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172128$09E8861E-751E-4098-A12A-D799794EB049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f723ba2d4769ee67824ff01e21c5df9914ed8f","datavalue":{"value":"decision algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172128$FDBDDCD8-9568-4F32-8AEE-DCC4FF2F1E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7932e0f0018cca5bef93fcb6b2cd00adfe91839","datavalue":{"value":"infinity axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172128$F264D2ED-4592-4F7F-A430-B80A45E4532A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bc8909ce4636a0488fe1c98d1fee6f3e23a4b1","datavalue":{"value":"computable set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172128$FD4E807E-9CEE-4C00-BE42-F69CF801E52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"465f085b95b13610f0e4840fa8369965d610e336","datavalue":{"value":"non-well-founded sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172128$508B1473-78A9-481B-8906-43F003E79DE2","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":"Q3172128$CCF69A3F-5240-43F8-B9A5-CA992AEF2303","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e6881fb6e2124e04eab03390f54d8c766c3eaee","datavalue":{"value":{"entity-type":"item","numeric-id":4902312,"id":"Q4902312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac2d49ddd6d3a9efe70dcae90b62dc373a1be68","datavalue":{"value":{"amount":"+0.839648962020874","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":"Q3172128$C0025986-2116-49D6-B57E-B4EC8B37FB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"097f67610c7895395a89d6cd8a7f7d8906044255","datavalue":{"value":{"entity-type":"item","numeric-id":3002402,"id":"Q3002402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03bc1a7b9ef274f9bf3fddec377468d986723087","datavalue":{"value":{"amount":"+0.833079993724823","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":"Q3172128$5CF9684C-605A-4039-AD46-25A0D9381DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45de1b41a90075e993e68180f701cd4671dd1ed","datavalue":{"value":{"entity-type":"item","numeric-id":4884668,"id":"Q4884668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"740791ade18907b63d77125b2aebc41309316a82","datavalue":{"value":{"amount":"+0.7568047046661377","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":"Q3172128$F9915B1A-B4C5-4C75-B2BE-6FE92406EFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2838ccccf38e0028db1679279e55a4da15c09600","datavalue":{"value":{"entity-type":"item","numeric-id":4295224,"id":"Q4295224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c8e18ea67b28748a68045aeabaf86ce4ed54a3","datavalue":{"value":{"amount":"+0.755589485168457","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":"Q3172128$7825C0B7-8708-4FF8-AAF7-8BE2CEDE4BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c89b0b34b0720122c69a6bc4cb39e7824b1ea57d","datavalue":{"value":{"entity-type":"item","numeric-id":4291741,"id":"Q4291741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e51b923a7cda1d2a1d6e9a1c839ff339dc0c267","datavalue":{"value":{"amount":"+0.7515204548835754","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":"Q3172128$1EB9FAC5-BD73-4A01-85D0-721297625E9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Statements of ill-founded infinity in set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Statements_of_ill-founded_infinity_in_set_theory"}}}}}