{"entities":{"Q5145271":{"pageid":7174842,"ns":120,"title":"Item:Q5145271","lastrevid":40883072,"modified":"2025-04-13T17:58:38Z","type":"item","id":"Q5145271","labels":{"en":{"language":"en","value":"Inner Models of Univalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298725"}},"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":"Q5145271$A5DDF78F-F3BC-49A1-8A51-89EA993EF539","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb4a56f9905afbab758a8d624043e4f068190b22","datavalue":{"value":{"text":"Inner Models of Univalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145271$7D168E12-D0A2-4B24-A2ED-2043B73A5A69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a09ce1874c876cd2bec9c13c5d11ed136a7e7118","datavalue":{"value":"1452.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145271$1357BC52-4DE9-4F77-81E0-E772939A3851","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5ba2b0c3108ff95ab5dd333a40cc05135ae2efb","datavalue":{"value":"10.1145/3209108.3209112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145271$E88F49A7-1616-4D52-A924-3785F3F004C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145271$A4F582A8-731C-4D5D-A35F-C1F682F676F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145271$3E5DE904-8FFA-48A1-B1B1-A453F766B0FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145271$475A9F32-F3FE-4170-A66B-86882E68D0DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145271$6CF55574-143D-4D26-9B35-94B96FD4B989","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78a10b278d8479c8468898f33cfd4573f5789b0c","datavalue":{"value":"7298725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145271$990DBECE-F561-4B14-BBFB-C2384ED890B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145271$55F2F519-8EA6-44DA-B431-C26D06C53A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8388859765d437448f22dabfcf407925aaddb93","datavalue":{"value":"univalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145271$8186167C-2093-42A3-AD37-0C678540642B","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":"Q5145271$9C263136-4AE7-44C0-B449-0772B25390C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1577ab7a094376afa65afb890f13c5ab3df8e357","datavalue":{"value":"https://doi.org/10.1145/3209108.3209112","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145271$BE3D03F7-92AF-463B-B7C4-2A82274DDBD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"988ef5a37716f81539e2f30ff46dadbdd111110f","datavalue":{"value":"W2810205615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145271$C6D4FB5F-3B03-4BA7-BC12-54F5E7076015","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa698d7869c16a4043ee985af166f87aef0b843","datavalue":{"value":{"entity-type":"item","numeric-id":1868169,"id":"Q1868169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"485dc494b47a8be3aa9ef7e233a1a64af79808e3","datavalue":{"value":{"amount":"+0.87295306","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":"Q5145271$7E11568C-7425-4CD0-A91A-50D6B6985678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ce09491063a15b243df924908b32024a937c293","datavalue":{"value":{"entity-type":"item","numeric-id":3149991,"id":"Q3149991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb43cd4f3e4ea95cf74a11fda5e7afea7e67ed96","datavalue":{"value":{"amount":"+0.86733943","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":"Q5145271$E61C2CE5-E6D2-4FA9-AF25-4007FB0A8E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8301f05771fd9737f50b5e67ead5ba7543da93bf","datavalue":{"value":{"entity-type":"item","numeric-id":3053906,"id":"Q3053906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea304abf6712a4c1b47c8e56b2113d1edc3adc8a","datavalue":{"value":{"amount":"+0.86276174","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":"Q5145271$ABFE276B-5EA7-49FB-9FD7-2AF58DD61292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01584f802a6f3e5e9a938324da32d68d107a4db9","datavalue":{"value":{"entity-type":"item","numeric-id":6169563,"id":"Q6169563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"129aa1e974a28ed0ab2730b466ae21a31b61a210","datavalue":{"value":{"amount":"+0.86205894","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":"Q5145271$F7E92F3C-C44A-4E88-B7C0-B2A0E89F32F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93e482d0d83a708324c60e3998071f4cf5ce0b35","datavalue":{"value":{"entity-type":"item","numeric-id":3474546,"id":"Q3474546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659aec3b13d51a7241d02562bf07e977571c2d57","datavalue":{"value":{"amount":"+0.8558388","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":"Q5145271$0C1B7433-4DE6-453C-A82B-AB1C470A439D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bbc642fd81cad329b1e73bb379efadcb23f1760","datavalue":{"value":{"entity-type":"item","numeric-id":3770524,"id":"Q3770524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eae7ddde1ec6d9b17bd7d722ea43f9a057788f8","datavalue":{"value":{"amount":"+0.85435504","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":"Q5145271$965FEBAB-B7CA-4691-BA26-3A6E2E041B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c02210d2ccf298b865a3d627b7eb088b2cfd155","datavalue":{"value":{"entity-type":"item","numeric-id":3053904,"id":"Q3053904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf0d03739116b8b8a47b1ac2586ecea780087cc4","datavalue":{"value":{"amount":"+0.84932435","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":"Q5145271$5A96B598-8769-4BEA-B0AF-5CAE1013737B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c8e97e1d67eaf4696f72cfc146a60879a43d4ed","datavalue":{"value":{"entity-type":"item","numeric-id":2848085,"id":"Q2848085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef538b2647d7b1255e82ceadaf5c46d8f9ec608","datavalue":{"value":{"amount":"+0.84803677","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":"Q5145271$D80875E1-9475-43B5-B01E-9AED95AD8C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d8bfd5283bbb899b4aa64e44750b17462b310af","datavalue":{"value":{"entity-type":"item","numeric-id":4894730,"id":"Q4894730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c1e6d48cc89e8a260a699d021875deb218ec737","datavalue":{"value":{"amount":"+0.84765506","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":"Q5145271$26543DD6-3019-4448-A842-B1D879E1885C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ffa4d4b211b9f67645c2b6a15f0eef4ec499014","datavalue":{"value":{"entity-type":"item","numeric-id":4517355,"id":"Q4517355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a048c334f0a255b0641d853ac8cabd68badef8bd","datavalue":{"value":{"amount":"+0.8466596","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":"Q5145271$2DEA8061-8C32-49E0-9437-E829C5695E65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145271"}}}}}