{"entities":{"Q4680375":{"pageid":6709956,"ns":120,"title":"Item:Q4680375","lastrevid":41834790,"modified":"2025-05-08T20:56:17Z","type":"item","id":"Q4680375","labels":{"en":{"language":"en","value":"Excluded Middle versus Choice in a topos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2173120"}},"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":"Q4680375$5E92E95F-E527-4ABA-90CE-D51AB30105F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b25fc5091402291cd1b71f2780db62c0e9bd1512","datavalue":{"value":{"text":"Excluded Middle versus Choice in a topos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4680375$3A6684FC-F684-488D-9207-B01EE61FD8F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47c72c15a5e9e0d85761df2219f751aafd3945e0","datavalue":{"value":"1062.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680375$DF3038EB-F15E-40B5-982A-2B916F327A6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0515b5421feff2368cf40870c6ca8619e9feca7e","datavalue":{"value":{"entity-type":"item","numeric-id":168346,"id":"Q168346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4680375$822490D0-C387-42E5-A877-9174CE1B2C02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4680375$4719B7B7-CB77-4B5A-8525-44A925173936","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e4d578b35a7e3b754503335b980ec15049161ec","datavalue":{"value":{"time":"+2005-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4680375$41AC35E2-DF04-4E65-A4E5-E99CF1E36D82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680375$1D6CCBA7-E0F8-4515-BA7A-CE67900C7871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680375$8F5D1D2F-DC89-4098-9FF7-39D9205F2912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680375$C60ECDE6-6534-4C16-B73F-7E831575F49F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f90090ab6eb7d1a50cd1daa7117f2702e9e2b961","datavalue":{"value":"2173120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680375$A719148A-8E9C-4F17-86E7-ACCB7EFBBCF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad0af3e61ce798ac210f0f920802473f7d5052e0","datavalue":{"value":"Propositional logic of a topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q4680375$9421E9EC-9D0C-48FD-AB91-822796EC7148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8e27192be160a934a47489d0b1a55979dbd7e69","datavalue":{"value":"Law of the Excluded Middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4680375$E42C732D-F839-4EB0-A851-6038361C391F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b1ba1d8c1ec25cda3a84b378713657f64b44f9f","datavalue":{"value":"limited choice principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4680375$DA448B62-F544-4C4E-AFB3-9207644FE9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96ab6220aee89504089c89ccb00f288dd7c82011","datavalue":{"value":"splitting epimorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4680375$E51AC3E1-E4BE-4AFD-852D-F3388FE3D6B4","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":"Q4680375$9E6B305C-54D3-4668-90B8-544F485CDE18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b181bce5235ec5f46f577c1a79370f50863eba3","datavalue":{"value":"https://doi.org/10.1002/malq.200410029","type":"string"},"datatype":"url"},"type":"statement","id":"Q4680375$053F892E-D23A-4381-987E-26F080510C16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb86d03e2182408fe27280a6982546366e0b0252","datavalue":{"value":"W2015311986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680375$8DADA2D6-C15F-40AE-A185-04ADF70A8404","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb580c82523f253a797e87216521a6b51de0230","datavalue":{"value":{"entity-type":"item","numeric-id":4168917,"id":"Q4168917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4680375$3D473B22-5C6C-4295-85BE-A7E0616A99E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"906a78d767b23df495f11f45dc97a1f883b27efa","datavalue":{"value":"10.1002/MALQ.200410029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680375$B411F83A-D80E-4151-91BD-51151AA06E17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19edc8ef805f22a42ed75a4e55802f17d66f023b","datavalue":{"value":{"entity-type":"item","numeric-id":4824889,"id":"Q4824889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650fb5ac7b373bd83092a5cef6f6b4099072e84d","datavalue":{"value":{"amount":"+0.8711386","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":"Q4680375$E23D8E84-C3F7-4B17-AE8C-5115E275C406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdeb5c7ca80d23894d315ae8cff00926016d83b9","datavalue":{"value":{"entity-type":"item","numeric-id":5387332,"id":"Q5387332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1551d7bfcb56930e4bf0b11dc0ca510a007d3a02","datavalue":{"value":{"amount":"+0.86787295","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":"Q4680375$6FAAB959-404C-4293-BFFC-1357ADD5D3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5baf36d2a3ddf5eaf2b12c99ab9a5d1f134e58e4","datavalue":{"value":{"entity-type":"item","numeric-id":3688525,"id":"Q3688525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87bd83584f7f04c8f553191e1ca270085673d93c","datavalue":{"value":{"amount":"+0.86109865","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":"Q4680375$E2C6A3CA-3018-4F39-819B-623CD392C35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6294d85ca838d5412ac2fb1361e917b7810a82","datavalue":{"value":{"entity-type":"item","numeric-id":2993126,"id":"Q2993126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9faafbae7789f86b24714553776634faa162dfb","datavalue":{"value":{"amount":"+0.8586582","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":"Q4680375$59571858-0068-445F-BDE9-25708891A34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93498fe09b68548c4dc810b7f08e018f9d3d0c6","datavalue":{"value":{"entity-type":"item","numeric-id":4204783,"id":"Q4204783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a939812fc19246172ddfd31f34b77964ea8b4e8","datavalue":{"value":{"amount":"+0.8564823","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":"Q4680375$82CBB9C4-0623-4BC9-8FC2-28436B67A309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7abe1285cf38c92df146bace54d8582d0dd21728","datavalue":{"value":{"entity-type":"item","numeric-id":1103041,"id":"Q1103041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"028d348274ad1a2df29598469bf67d886ff8aeea","datavalue":{"value":{"amount":"+0.84838486","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":"Q4680375$BC90F1D6-92E9-4B3B-A65A-86E33C74BC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40aede6b141ac112745a1cec68c56f5acb15045f","datavalue":{"value":{"entity-type":"item","numeric-id":4295255,"id":"Q4295255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247a40cb4a43a00f3dc3ddbd5f43d25b2efcf7fb","datavalue":{"value":{"amount":"+0.84720916","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":"Q4680375$CBFF0B2F-56B9-4B7B-A18E-5C89A1AF8FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9331dd9cf73d1359c39dd9bd95782f735950d47","datavalue":{"value":{"entity-type":"item","numeric-id":3397211,"id":"Q3397211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88c018e57b2083f87a4b29f13c5b2bd10e89f533","datavalue":{"value":{"amount":"+0.8409362","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":"Q4680375$14E0F861-A0F9-465F-8863-E13E829F518B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8966502d9ec4e31e6bbedf267a40f4a337e0bce","datavalue":{"value":{"entity-type":"item","numeric-id":5687912,"id":"Q5687912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86eced805b626b5e1e2bde252c002c5c93b80aac","datavalue":{"value":{"amount":"+0.83981115","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":"Q4680375$E3BDC0E3-384D-4E5E-9DBE-894CE9D5B7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bfeda39131423d38ac33980247665d2b0219bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5149959,"id":"Q5149959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd8fc1afc588c4481d196d66f917599ecd40596","datavalue":{"value":{"amount":"+0.83358175","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":"Q4680375$B61D3348-6CD4-4072-8C1D-662261565069","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4680375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4680375"}}}}}