{"entities":{"Q5155683":{"pageid":7185254,"ns":120,"title":"Item:Q5155683","lastrevid":55390960,"modified":"2026-02-17T15:19:30Z","type":"item","id":"Q5155683","labels":{"en":{"language":"en","value":"A program for the full axiom of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7407793"}},"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":"Q5155683$7CCCF25C-7362-4A3B-9CEC-BF40D9DB7CC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c930bfaa88d0466feb9bef34cfbca5f6b60b9e3","datavalue":{"value":{"entity-type":"item","numeric-id":206560,"id":"Q206560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$1B7FC11E-1169-4ED1-AF2A-5EB542083BC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de933dbe9097032f43430008ac1661f561c682fa","datavalue":{"value":{"time":"+2021-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5155683$189242A4-E9A5-40FB-99DB-FC2A067BE515","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51beb986dce35e24851f7deb8a4a4d5098227c63","datavalue":{"value":"https://arxiv.org/abs/2006.05433","type":"string"},"datatype":"url"},"type":"statement","id":"Q5155683$B7C8784E-A484-4481-8EAE-75446DBED07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa8ab69f0a252079de08d57822abd3e2fbacc91a","datavalue":{"value":"https://lmcs.episciences.org/8432","type":"string"},"datatype":"url"},"type":"statement","id":"Q5155683$D129E373-9FDC-4209-86B7-0511FC3ABF87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155683$65970D9E-3E98-4A1E-8716-A0BCF5A0E142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155683$004BCFCA-12E1-43C9-B6A8-260B0A673C30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"549b38bf12222faf215ba56a6d3d9fa642450329","datavalue":{"value":"7407793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155683$0657140D-9860-4711-8B86-22EF9AEDF436","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":"Q5155683$34848402-A36A-48F7-8687-F6E43AF71D33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1a90574c396a1ca159a0401d8596bb5f1e528d","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$7DD7574E-5030-47E8-9485-F02C8DC02D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3a7119851761b1ce81b875600e447056d3c373","datavalue":{"value":{"entity-type":"item","numeric-id":5702662,"id":"Q5702662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$84BD063F-CCB0-4A8D-908D-89F7F2BD1AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$52C8B30C-BE33-4FF9-AF49-B7069A6249CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6173eff7266fe1341c2348ca4efd900b6aaedcc","datavalue":{"value":{"entity-type":"item","numeric-id":4988445,"id":"Q4988445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$907CACF3-053C-45B6-95DC-E31D35D487FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8547cab748d68c65de07a7d4e54d08b01ef5c4cf","datavalue":{"value":{"entity-type":"item","numeric-id":5145321,"id":"Q5145321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$B6C27C52-D8E9-42CC-B910-6CCC9600F088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$73355268-1007-4948-942E-175F07465615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$65549A9B-0496-4014-8242-917ABB3A7CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9870185f0dc58033bada3482c381e5a302abe9a2","datavalue":{"value":{"entity-type":"item","numeric-id":5215936,"id":"Q5215936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$7D25F57D-DC93-4BCC-9397-A66898879310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966d8fb41a3564f4060a1b833eb768ac2e0597d","datavalue":{"value":{"entity-type":"item","numeric-id":5806808,"id":"Q5806808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$CE8D7133-B0BC-4B2C-8C3E-530D04295F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$902584EE-634A-4495-8671-0CE66CCC42F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6ae770783aa142e6dd68c83f480feb4b97dec8","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$ABB280C6-3CF0-48D6-B98B-4FCBB5A395A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac1d404143589372d7b9efbbb23dc7c5621d0e4","datavalue":{"value":{"entity-type":"item","numeric-id":2881077,"id":"Q2881077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$2338503E-F54D-4702-8EA0-7AF253F278DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c86a3499083cc91a74d948bcac34aaf5b5f01ce2","datavalue":{"value":{"entity-type":"item","numeric-id":5277975,"id":"Q5277975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$4AC05BDB-7C19-421B-AA6E-3FAFF6033FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c6399a43c805e573cff9217b771b33750606fac","datavalue":{"value":{"entity-type":"item","numeric-id":5278411,"id":"Q5278411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$0B1A658D-AB6E-4AAC-A4E0-0F4C8AFFC5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8119c50d98da67eca21bb3aeee0faedf15b7f33b","datavalue":{"value":{"entity-type":"item","numeric-id":4599612,"id":"Q4599612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$04464214-ADBF-4FC5-823F-D5D46C532809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$5F233741-CE37-490A-BA99-E3FD63C43FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$438BA594-E5E1-4BD6-A704-1208D9042FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e129d490790c2717448f75226cc03770edbdfe5a","datavalue":{"value":{"entity-type":"item","numeric-id":4596803,"id":"Q4596803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155683$567E2D70-4865-4E21-8149-E7FB61CFC9AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4c4734d659f93d2745046fe9762c21e168e528","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9bc2050b5c1f39bb2ec39fb03cb58354ed90335","datavalue":{"value":{"amount":"+0.8628858923912048","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":"Q5155683$C22120DE-E1F4-4331-8CDF-F4E7F3947327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1af702972fd1a3a08f0f0a8b1a1713e04600505","datavalue":{"value":{"entity-type":"item","numeric-id":3224668,"id":"Q3224668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53f939e495620d5affeb7c9ecee6d19979f821e","datavalue":{"value":{"amount":"+0.8318234086036682","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":"Q5155683$1F5D8BD2-7D1A-475F-B331-CECA2AF48464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52a879a36070095bb20e1d6cbced7ef6874943e1","datavalue":{"value":{"entity-type":"item","numeric-id":1884884,"id":"Q1884884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff7584c5214e91fdf6103b746b38aeab3fe2deb","datavalue":{"value":{"amount":"+0.827305793762207","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":"Q5155683$854FC7A0-F351-454E-A77D-4625584D8AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27831cc1e9dd0bb9e6791782a39edef3b07c7b66","datavalue":{"value":{"entity-type":"item","numeric-id":4635918,"id":"Q4635918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09262b6f6b6018b8904d015a0b93ed43968ddd24","datavalue":{"value":{"amount":"+0.8018816709518433","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":"Q5155683$C7DD2DE9-B227-42E9-9AF1-E5EFA9DED3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93599218c222a242f63ed2addbed8af4801dfa8e","datavalue":{"value":{"entity-type":"item","numeric-id":5278411,"id":"Q5278411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7053082398ad780fb567bd3f9d76be1d44af8796","datavalue":{"value":{"amount":"+0.7824413776397705","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":"Q5155683$4328EC98-D7E1-4E55-872F-44C70A5187CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5155683","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5155683"}}}}}