{"entities":{"Q4254629":{"pageid":6284230,"ns":120,"title":"Item:Q4254629","lastrevid":88742417,"modified":"2026-06-04T15:20:26Z","type":"item","id":"Q4254629","labels":{"en":{"language":"en","value":"The independence of the Prime Ideal Theorem from the Order-Extension Principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310703"}},"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":"Q4254629$7A390A2B-DEAC-40BD-B48F-6D1C8E313B84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6828647efed0087e473e27ed6f928c87ae389f6","datavalue":{"value":{"text":"The independence of the Prime Ideal Theorem from the Order-Extension Principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4254629$F21AB7E1-45DE-48FD-AC2A-28E03E7C51BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51a72bda571967274d91d11dde60cd0a0cb2a2bb","datavalue":{"value":"0933.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254629$2EFD44A0-6728-4B7A-A0FB-3B860E10966A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbc24581e0e0ff2ab9c6f46f47de01e12f4e41fa","datavalue":{"value":"10.2307/2586759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254629$D9CA2BB9-17F8-4ACA-BA89-4A74CDEA9E95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f30df110a14b509bc43d51cef961e17d800771db","datavalue":{"value":{"entity-type":"item","numeric-id":691681,"id":"Q691681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254629$EF329BAE-1C5E-475E-AD40-50107E91CEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35fb3eb7a1147d357f99c266e6deda806ba8a90f","datavalue":{"value":{"entity-type":"item","numeric-id":404460,"id":"Q404460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254629$4B96B70F-57AB-45CC-9109-DE28B8D22F5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254629$3046262B-E073-46AF-B3A4-3733E99303C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"396a489414c9e9e8aedfbc8af9c03c0dcd267f27","datavalue":{"value":{"time":"+2000-03-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":"Q4254629$CF57E94B-6CE9-4FBE-AAC7-6557D24C7BD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254629$9AB67E03-C759-4105-AAD2-76D5ED76CFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254629$6F76633C-1618-45F2-8F30-1F8A11DB34A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15f567998bdd1312cdc7e463f52fb7414273517b","datavalue":{"value":"1310703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254629$DAAC4F6D-B91B-4A91-A6F2-E2EE7F8BB6FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acf638828bff538157f487f5547d0ca34ce379e9","datavalue":{"value":"order-extension theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254629$28A1ED43-88A4-4B05-99EA-501FAA82BB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254629$62CC4F1E-3B69-4B45-A751-0C6CCC0298A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75dd63bb944e7b9e662ec3c36a9e50c2a689306f","datavalue":{"value":"Fraenkel-Mostowski permutation model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254629$A7C47901-0680-473E-8B11-444A54F12FB5","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":"Q4254629$E0884D79-3363-4FA6-A8DE-2C5FE5AF6CC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d325fcc7ccb432ddf4c181067c31bfdda3990260","datavalue":{"value":"https://doi.org/10.2307/2586759","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254629$9B141F7F-F33E-41F4-8111-ECB8DAAC0F2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"904ef5bc6cb227d259c7d304c307c4a6f2ef30c0","datavalue":{"value":"W2031353433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254629$9425B960-241B-45BD-802B-785CED80DB46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"008cccfd006a11c318e802beb229951905f8298a","datavalue":{"value":{"entity-type":"item","numeric-id":4953178,"id":"Q4953178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254629$FA3D9F53-2DFB-4DC0-BDF2-F2F411F947DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d878fe39fb5e422372741863ab11a3320c49a105","datavalue":{"value":{"entity-type":"item","numeric-id":4770999,"id":"Q4770999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254629$AE8098AB-B939-45CA-83F7-57E3F1B9F1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254629$F44B3757-063B-4453-A51D-98499093BAAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9239ee196578d0ecf529fab8652e2583308eb68d","datavalue":{"value":{"entity-type":"item","numeric-id":5130883,"id":"Q5130883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afebab31ad001ca40d3a78afd2bd7a5368c491a4","datavalue":{"value":{"amount":"+0.8927841","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":"Q4254629$E69F4F38-A570-447F-844A-F8780148A163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826f4c52fed087df47a743bef7683a011ddd1d9c","datavalue":{"value":{"entity-type":"item","numeric-id":3701576,"id":"Q3701576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f3bb6af3d5aee536afacaf6885d11f2ab7b3b28","datavalue":{"value":{"amount":"+0.88749707","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":"Q4254629$7811C70C-D060-4A55-984F-47834089CF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"917f2f6974c06156c1871cf721b059ca2cec7c2e","datavalue":{"value":{"entity-type":"item","numeric-id":5690821,"id":"Q5690821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4baed191fae6ea9c4dc6ad05c80abfdf3dc9fb13","datavalue":{"value":{"amount":"+0.8815531","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":"Q4254629$544654D3-5E1C-413D-94FF-5203AF17CC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e912129ffe0a06e2a8669f459a794834fc911b2f","datavalue":{"value":{"entity-type":"item","numeric-id":3490049,"id":"Q3490049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5c8dd8f322148c1c0b80c0d98d94b994db84758","datavalue":{"value":{"amount":"+0.88034075","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":"Q4254629$96053F17-AA87-4C97-BDD2-0B275418817D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8d20c529080899aebf85d4bdfe6e71c14ab58f","datavalue":{"value":{"entity-type":"item","numeric-id":3239337,"id":"Q3239337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"376f3af18d9805fc3ef61b285291c7e50cc9e491","datavalue":{"value":{"amount":"+0.8738311","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":"Q4254629$80554994-CBCE-4AD2-BFEF-516F9B370FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ef11a8bbdbb5e6f7e4c355ad20155f35747197f","datavalue":{"value":{"entity-type":"item","numeric-id":645195,"id":"Q645195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b516a1b9bd338a32e3ca4e03b4c9214de8f4625","datavalue":{"value":{"amount":"+0.873209","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":"Q4254629$98D79D47-A41A-4DC0-AF52-7D37429270F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4197ec46c93a7413a27c168d8d33dbe6f9aae4","datavalue":{"value":{"entity-type":"item","numeric-id":1108300,"id":"Q1108300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfeeb4eb881682fa42d18af8b64eec8620b22a7f","datavalue":{"value":{"amount":"+0.8727859","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":"Q4254629$7A6A1805-FFD3-4DD1-8684-2BF051A0DAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17decaea7ff172c3ebca17f6291f64d6b2c212be","datavalue":{"value":{"entity-type":"item","numeric-id":2640678,"id":"Q2640678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a4003de9123d3b70f3456b1afcb72d39220b908","datavalue":{"value":{"amount":"+0.87048525","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":"Q4254629$E9858D5D-8055-4422-9F88-66301CF8E32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d181cfb9d2cd1c5f91b7bcc48f6b87d24599d47d","datavalue":{"value":{"entity-type":"item","numeric-id":4939365,"id":"Q4939365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930e850c46fde430cf23e55b0d5089401d74d573","datavalue":{"value":{"amount":"+0.869955","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":"Q4254629$DF11AF64-530F-4CD7-8385-0BFB137FEE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c70e4b9b29f3378050805fd263fd13d8ee07d00","datavalue":{"value":{"entity-type":"item","numeric-id":5421758,"id":"Q5421758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c598000c4b41f5adaa51b14b0f3675ca2a8bb43","datavalue":{"value":{"amount":"+0.8699548","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":"Q4254629$721F9092-B7FF-42CE-B96F-7A2263A015A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The independence of the Prime Ideal Theorem from the Order-Extension Principle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_independence_of_the_Prime_Ideal_Theorem_from_the_Order-Extension_Principle"}}}}}