{"entities":{"Q4232316":{"pageid":6261917,"ns":120,"title":"Item:Q4232316","lastrevid":46577229,"modified":"2025-12-25T01:47:35Z","type":"item","id":"Q4232316","labels":{"en":{"language":"en","value":"Independence of the partial axiom of choice of intuitionistic set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1262249"}},"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":"Q4232316$00C3A055-49B2-4B6D-BD21-3334749C57F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a116beb892dc33ebb6718d0a61608e316a3e366","datavalue":{"value":{"text":"Independence of the partial axiom of choice of intuitionistic set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4232316$9A2FB4F2-CE70-4412-BF83-89CEB84D30BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a49c631b32884b3f37c6614aade4cd498c4cb40","datavalue":{"value":"0917.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4232316$3DC6E230-8ECD-4191-9FF0-A4403DF47CE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f860f69f39e97a44d9dc91185aaf877a84e0b855","datavalue":{"value":{"entity-type":"item","numeric-id":2710703,"id":"Q2710703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4232316$37DB3F4C-1937-4ECF-BF0D-FA5BB42D4394","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0c49490b9eb82b325d6a42cfb743cb09fb4d14c","datavalue":{"value":{"time":"+1999-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4232316$CA0C9252-C324-43B0-928C-3EE11E5D987D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4232316$FEB845D0-7ABE-4741-84DB-8C9EDC894F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4232316$0F80CD4D-2718-4865-8E61-6CB471C785ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4232316$59C24C1D-4369-46FC-88B8-0BC4EA978C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4232316$19800690-ADF1-4484-A1F3-581A0A03B9A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31d6068e4309703d8e6e66a821ed0e539591a5d4","datavalue":{"value":"1262249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4232316$D482B431-0421-4BB8-B452-593577EDC4F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1a96ed6ffe2ea3d9e59077ea94ebf582551c14","datavalue":{"value":"independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4232316$64EAF675-6301-4892-ADD8-7A8266BCA8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b85e95b31dfe89b7d3408dc56de0f00739a23daf","datavalue":{"value":"partial axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4232316$914E5248-6901-48D6-8666-8F28E8F47E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4232316$6C966700-FD5A-4749-BC22-FB96CAC4373F","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":"Q4232316$94A001AB-8099-4076-A789-6A009718A494","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a361ba67e19a6ba1e90e11f166bb72471422cf50","datavalue":{"value":"Q114011276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4232316$4FB9C9B4-7B9E-4FE7-B534-CF57494AFE1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cd5966e03653e5622c81397742801a802fd4a76","datavalue":{"value":"https://doi.org/10.1070/rm1997v052n04abeh002067","type":"string"},"datatype":"url"},"type":"statement","id":"Q4232316$0C9957E5-4081-41A2-B5D0-1F4ABE8F162C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fae9add2e25d7fec27b140bb759d8657c851ff37","datavalue":{"value":"W2017671599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4232316$631D535C-C13F-4BE4-A11D-0393B55F55D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7ab7c063186f7815a12c194f4e5dedf19c40a74","datavalue":{"value":"10.1070/RM1997V052N04ABEH002067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4232316$45497577-0098-495C-BCED-C915630C889E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c955910df1e90339be147d08c85627d286bf298","datavalue":{"value":{"entity-type":"item","numeric-id":4268417,"id":"Q4268417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f5b3c4410b02edb2d548d76287ecf7984cc810","datavalue":{"value":{"amount":"+0.7604932188987732","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":"Q4232316$671458EA-7CEB-4061-BF0E-EDD9416A9F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93a0d8a107f37d2fe9e48ab45628348c352937da","datavalue":{"value":{"entity-type":"item","numeric-id":3837734,"id":"Q3837734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ffc9921df6a6da0f25fea42b1810c1e1bde07b","datavalue":{"value":{"amount":"+0.7604162693023682","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":"Q4232316$A6E654FE-BBF5-410D-A426-C0A87B4F9A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb136b35ea81971486ae3a6b66f030aa5b8c08d","datavalue":{"value":{"entity-type":"item","numeric-id":3726115,"id":"Q3726115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9108b9bb26e3f8a4bc9762ee52e296a78ba6bd6","datavalue":{"value":{"amount":"+0.7549778819084167","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":"Q4232316$78A2C7FA-682D-44FB-BA7D-E07EE01AE346","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4232316","badges":[]}}}}}