{"entities":{"Q6159924":{"pageid":13294785,"ns":120,"title":"Item:Q6159924","lastrevid":58728093,"modified":"2026-04-06T12:07:31Z","type":"item","id":"Q6159924","labels":{"en":{"language":"en","value":"Predicative Aspects of Order Theory in Univalent Foundations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700613"}},"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":"Q6159924$647522C2-6D37-4346-A2C7-319643A27CEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"226425eb296e8a5bbb919d7ea223e792e32f74c8","datavalue":{"value":{"entity-type":"item","numeric-id":1817480,"id":"Q1817480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159924$B3A0E518-7B9D-4B3E-A04C-D66D95080379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16afa49763aa251d50707d52eece0d5ea5808a6","datavalue":{"value":{"entity-type":"item","numeric-id":168355,"id":"Q168355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159924$F9802170-50D7-4A26-8D9B-6556AD46D548","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159924$B67E991D-FB14-4CFA-99E9-3767066EB8EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8de8142bb41da355dc658c59036f912b808702ba","datavalue":{"value":"https://arxiv.org/abs/2102.08812","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159924$79786608-CAD1-466D-A1E9-5B0B1C63C289","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159924$B0EAA08C-2536-4FF4-BC3C-3779596616F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159924$8B5025DD-6E49-4D94-939D-57EDDC0B09FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159924$279CCB17-1A95-4831-9CE2-319CA35E1FC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a07f8b780b321b1ab817e00fa51382fc672699f","datavalue":{"value":"7700613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159924$E5E76BAB-8E6A-4CA5-85CC-BF1AED0E1449","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc5d9de8682eaec01d389788d457f31dd029a1b6","datavalue":{"value":"order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159924$13FAA090-2802-4BDA-B07F-D6A4634026BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7c24935dcad54bb8b35bd2297a2d654d149a5b","datavalue":{"value":"constructivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159924$75D66B7C-2322-4FDE-B39F-6E9991BABB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c34c2e8c5d0fb69f0d1e8e3e7dfa80780452cc0","datavalue":{"value":"predicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159924$C26C8687-F608-4B27-9E2C-B94FEC1292E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc29d347a2fb5ab12fe5de5ba7a30a9fdf2916f","datavalue":{"value":"univalent foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159924$24D072C4-9285-4C90-B666-CF9B25B33A61","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":"Q6159924$E1135B85-BEBF-414A-8526-A5A28A530E67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1f1a84d96cb45f7e3f952ca4064297e681e4f51","datavalue":{"value":"W3183788908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159924$11639DE5-6F2D-412F-A748-0BFCFCBB49CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b866d01ac96524ddc70cd53bb0c187888e53350","datavalue":{"value":{"text":"Predicative Aspects of Order Theory in Univalent Foundations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159924$10B23C4E-2222-4CFA-9128-978A1B0E6AB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5719f5cce806eb4fa04470eba10bbf1ee5c27688","datavalue":{"value":"10.4230/LIPICS.FSCD.2021.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159924$A11D95DB-8445-4180-83A2-909A490B1665","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c3c4fdb331e8e1aa76150221cea6f2268d62a7","datavalue":{"value":{"entity-type":"item","numeric-id":5300068,"id":"Q5300068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d28b9847346dc448bf58f3cb7b0a929cd52667c","datavalue":{"value":{"amount":"+0.90428656","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":"Q6159924$BED62811-ECA7-41DE-AF5C-7526046198C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10019461e17cfad4abe8a1768f714144008859e1","datavalue":{"value":{"entity-type":"item","numeric-id":2380011,"id":"Q2380011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed754e065959d406916e03956340590b1013979","datavalue":{"value":{"amount":"+0.8827778","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":"Q6159924$16FE5912-CEEE-4249-AD62-6452B106B720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e01ad0496e199640fc2f426b5e78cae1594c7430","datavalue":{"value":{"entity-type":"item","numeric-id":1708879,"id":"Q1708879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bafce5780c126561b8afaed7674adb99266c809","datavalue":{"value":{"amount":"+0.8808187","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":"Q6159924$206F25A3-AB2E-4B06-92BC-DEFB65E169A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51317d764d5d3e054bce179d6a4ce248d0865c8b","datavalue":{"value":{"entity-type":"item","numeric-id":5013902,"id":"Q5013902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc575b33539185c1e70d5d7e18edb5534f5d9e11","datavalue":{"value":{"amount":"+0.879256","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":"Q6159924$4FD526F1-3E16-4D67-9881-94A342F16ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7ce693483eaa9a939b74621683aabebeb4659a0","datavalue":{"value":{"entity-type":"item","numeric-id":5241529,"id":"Q5241529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3175774b6b37ec261fcd114eedf898a68530f85","datavalue":{"value":{"amount":"+0.879158","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":"Q6159924$7926124C-7150-4A02-B00F-DE7E263E1B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de3e2f92a6da72083b13d18e2a15fa1dff0b05b3","datavalue":{"value":{"entity-type":"item","numeric-id":5156853,"id":"Q5156853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5131f7ecd9460937caac7c1ee1e0836d76537312","datavalue":{"value":{"amount":"+0.8778893","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":"Q6159924$1E5572CD-3787-4413-A7C0-FE4C557C9DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a1f4e91ade63dad51ccee0be65031e37312d74","datavalue":{"value":{"entity-type":"item","numeric-id":5098725,"id":"Q5098725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f21c1ff5e24771655dbd002e134c5c08216cad","datavalue":{"value":{"amount":"+0.8777676","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":"Q6159924$66C2A9CD-F005-41EB-9417-43FDB74DF0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"518089dc422fe9dc69281457a93d22739b5a61a1","datavalue":{"value":{"entity-type":"item","numeric-id":3613363,"id":"Q3613363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb798c23b12a189d3ab717f3cd1af38e52c6b117","datavalue":{"value":{"amount":"+0.8703698","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":"Q6159924$25CB1629-D8ED-407C-9909-479288D72FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723f97d340b587bd749c4a8869d8fb96b0a68ba6","datavalue":{"value":{"entity-type":"item","numeric-id":2500821,"id":"Q2500821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cdf1d7ef94404903cf5a65688cf1bd089e45918","datavalue":{"value":{"amount":"+0.8699499","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":"Q6159924$F97450BC-7E45-41D6-A2E6-80CFA40FEC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a3f8e22cf493f4726e781c5c57ef5a355b1d5d","datavalue":{"value":{"entity-type":"item","numeric-id":2373700,"id":"Q2373700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"039d7499be4a4c1b55e319c33c50cf26d808a722","datavalue":{"value":{"amount":"+0.8683497","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":"Q6159924$FB7F11B8-1830-4938-890D-475276BC0ED0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159924","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159924"}}}}}