{"entities":{"Q3145977":{"pageid":3156693,"ns":120,"title":"Item:Q3145977","lastrevid":56719752,"modified":"2026-03-19T04:59:12Z","type":"item","id":"Q3145977","labels":{"en":{"language":"en","value":"Axiom of choice in nonstandard set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6116171"}},"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":"Q3145977$21353E34-0CB9-4A29-A4F7-108C722607E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"831cc36a16efb16b80eac46f963dd06f45defd9f","datavalue":{"value":{"text":"Axiom of Choice in nonstandard set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3145977$A99871CB-30DA-41A9-A6B1-DD1F17F69DF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42410f200c575ee696055306aafd95e3babb1c66","datavalue":{"value":"1300.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145977$7D9A6F45-A69B-4DA4-88AD-8FCD2751B283","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"869f6116a34de7fc3eb0b7608f954cee8381df01","datavalue":{"value":{"entity-type":"item","numeric-id":195652,"id":"Q195652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145977$B961303D-BEC6-421B-B035-0CEF2BF3E3E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33fa00db87827c11724d8a1355500a9a7034d47b","datavalue":{"value":{"entity-type":"item","numeric-id":2930865,"id":"Q2930865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145977$7E1768CD-9B44-411E-A21D-E6FF089B64C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"361bffbceda806006d5fec8b3962c6c8e6ce4aff","datavalue":{"value":{"time":"+2012-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3145977$FC8FDF65-9B0C-4B4B-9EE0-D616C09A7B5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145977$8D77514A-43FF-48DB-8F6C-9685B1B08487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145977$57E03286-C51F-4DD4-9615-3DC81838E458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145977$6215521B-7F18-4633-A436-60A8734F69A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7e445478f66f6cae8570919bac84926535b4fcc","datavalue":{"value":"6116171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145977$40174F5C-2A3B-46ED-BE7D-E8EB9F1E5CBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145977$8C63BF5E-8863-47EB-9D74-CC615CFE9D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145977$29855EAC-A108-4D1B-959D-FD827B9C4800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ced799092004c48d2d0b00ad42d7ca1fbd4198a","datavalue":{"value":"nonstandard set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145977$41C257C3-0B6A-490F-A476-3EC4AFBEEAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a89151e941e1dee0640a5f564e7690441393c5f","datavalue":{"value":"IST","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145977$92F0DDAA-E677-4D8A-BFE3-A137531DDB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06765525e82f58a37e72070aa940679c69f4eafb","datavalue":{"value":"BST","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145977$445AA0FD-2BFA-4B46-9D17-A4BCFAF215D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e08f9ec58810848f9c7b08605328e6d9d83ff26","datavalue":{"value":"HST","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145977$0CE9E820-78D0-4C7E-A8A1-4FF2B02F33ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"452daffbc0e9b5f609d47796ead6caac389b3c1c","datavalue":{"value":"internal set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145977$77D303FF-269C-4E02-96BD-5DB89ADD9140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145977$460DC6DB-1B67-43A7-BB45-7146C9D45DC1","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":"Q3145977$75417934-13E4-4237-ABD3-9BABF6EDF84C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"975940fef7c30ea7df348750f211a7a4f18f7935","datavalue":{"value":"https://doi.org/10.4115/jla.2012.4.8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3145977$EB961EBF-E211-483D-9C00-9E819270C4C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7de77ca237c2a86a12d91e971f5be12c3f2c3da3","datavalue":{"value":"W2004356705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145977$04BE94BF-ED05-4F15-A8AA-5B5E245C9C09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07d5c95fe095a5628c91b7a50f563e73507ea1b1","datavalue":{"value":"10.4115/JLA.2012.4.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145977$DC415A5B-764E-4BCA-B25E-A779BF4D5C6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d400134a9ed03fd4d38f317b19dd804a9c251d2","datavalue":{"value":{"entity-type":"item","numeric-id":1972520,"id":"Q1972520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ef426cd6a25d256c2d2a17000229beaccd293e","datavalue":{"value":{"amount":"+0.7895309925079346","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":"Q3145977$5A35FE7F-5B75-457D-B5F2-5DA4A2D9AD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5bbe4371aa6d7ec39865c5bebe9ebc61fa7db2","datavalue":{"value":{"entity-type":"item","numeric-id":3329469,"id":"Q3329469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d3fff1d775c1d55c26413e3143211b50c18e08","datavalue":{"value":{"amount":"+0.7810673117637634","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":"Q3145977$20ED79EE-E3DB-4314-B63D-A0641EFB975B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3a29fb2914d9faf5e046f5aa7ca0fd681dbb60","datavalue":{"value":{"entity-type":"item","numeric-id":4005527,"id":"Q4005527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b595d5f51eebe033a6b50c5652e355f78ad75de","datavalue":{"value":{"amount":"+0.7780299782752991","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":"Q3145977$2C996E93-75A9-45A5-861C-2236B50175C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8983a47c1661737d54751914fe79fc986e1c791","datavalue":{"value":{"entity-type":"item","numeric-id":1970591,"id":"Q1970591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d22a9a5e3bbbd693b34ba856be9f1e9b35d3976","datavalue":{"value":{"amount":"+0.7764197587966919","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":"Q3145977$455828BD-E750-46E0-8AB1-15ADE5FA9943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aee814b483c6372ff37db946273c4dda19e5958","datavalue":{"value":{"entity-type":"item","numeric-id":5482543,"id":"Q5482543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7d0ff65029152497c497528dae7e1712593a648","datavalue":{"value":{"amount":"+0.7623372077941895","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":"Q3145977$323A89B2-BC9E-45F3-93C7-0DE31986FEDA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145977$FAAC1417-2FC2-4897-8A91-0341FAC77867","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3145977","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3145977"}}}}}