{"entities":{"Q6094139":{"pageid":13228446,"ns":120,"title":"Item:Q6094139","lastrevid":58680369,"modified":"2026-04-06T07:27:31Z","type":"item","id":"Q6094139","labels":{"en":{"language":"en","value":"A class of higher inductive types in Zermelo\u2010Fraenkel set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7736876"}},"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":"Q6094139$29C707ED-590F-49F3-B037-A82BE1772E56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4718288ac0f647002a6937a6701b99a2a660164","datavalue":{"value":{"text":"A class of higher inductive types in Zermelo\u2010Fraenkel set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6094139$D5A22015-A866-4F30-8377-B3911B38935E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4aee920a999e2b899ac3d0528dec1de3beacab02","datavalue":{"value":"1521.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6094139$BE992593-8832-4BB9-BF38-203DE41267BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6acf738f1447b2416e62fc4cc1888d5b6288c94","datavalue":{"value":{"entity-type":"item","numeric-id":782836,"id":"Q782836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$8C5AE45B-BA54-4B13-82A1-31A58B6823CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$450AABB1-10A8-4F22-8463-C4097687076E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b10b641c55248ed64dbd4f5995b6de282ea97fb","datavalue":{"value":{"time":"+2023-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6094139$BDDD4DA0-5325-44E3-8FA7-CBBDE2BA2DC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5114aab3824f649742b4efba1ea8b380a5f430d5","datavalue":{"value":"https://arxiv.org/abs/2005.14240","type":"string"},"datatype":"url"},"type":"statement","id":"Q6094139$1F1B2562-B2F2-4981-AD60-9C727B5E5320","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6094139$00B97012-78B6-4F36-A139-126856E6BA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6094139$14736394-3585-4D96-9B88-9A5BA7103034","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31f1a13dcf7ed202efa613bccb7bed835515eef5","datavalue":{"value":"7736876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6094139$723B8C37-8197-4D73-804B-A64E0C2A731B","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":"Q6094139$8214FDD9-1E2D-427B-838F-D21BC36322D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10e46b1e0cfb4bb12a7ff92b5fe74e9b2afacba","datavalue":{"value":{"entity-type":"item","numeric-id":1652995,"id":"Q1652995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$08DFB332-E302-4D4E-9301-826F5860B1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a544eff9bd65de4592fa7b247517554bcdddd5","datavalue":{"value":{"entity-type":"item","numeric-id":2828239,"id":"Q2828239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$237AADC1-3D85-4E52-B9DA-BA67BDBA3B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdc692fbbee7be9789734e7cf9dcc396f1f0927","datavalue":{"value":{"entity-type":"item","numeric-id":4823804,"id":"Q4823804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$753FDF50-8F4F-419F-89B0-929FEB59F652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c5b82bf43ba82d0f895b3819d3e9998df3b835","datavalue":{"value":{"entity-type":"item","numeric-id":3329520,"id":"Q3329520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$399C4EC2-F976-4646-8A4E-BFB08A8805DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee069e777fe710074f53e5c93bcafdd2ef8123c","datavalue":{"value":{"entity-type":"item","numeric-id":5145298,"id":"Q5145298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$1853894E-CA7A-4E00-9090-30FB07BB94F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1afe468b119e5b3590e998b56717b1e7576b8572","datavalue":{"value":{"entity-type":"item","numeric-id":2200826,"id":"Q2200826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$923155D5-2F4F-40E1-97CB-45C98C9C2723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7ceae85d0eaa56c6b3a949220701655fdef8a77","datavalue":{"value":{"entity-type":"item","numeric-id":5094144,"id":"Q5094144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$F7268DA3-60E3-4153-9E98-98E0C63B873C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"250846aba6ed59704dad27dc415815a8bf814042","datavalue":{"value":{"entity-type":"item","numeric-id":1142208,"id":"Q1142208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$5572E542-284E-4215-84B0-885547081883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1aad3dabbf5bf9d8aa7c14fbf9553e436279fe","datavalue":{"value":{"entity-type":"item","numeric-id":3717041,"id":"Q3717041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$68BBB21C-2F5A-4FF6-AFB0-20D0AA7E04C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f9f418fde839ea3b43a626e5ee6a1d465a99cd","datavalue":{"value":{"entity-type":"item","numeric-id":5419213,"id":"Q5419213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$306A81BF-76F9-4AA4-87DB-A9EAFC588963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c60c053750ee9cbfb0d9b59aa09c66d0bd9bd8db","datavalue":{"value":{"entity-type":"item","numeric-id":3663276,"id":"Q3663276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$20BB1707-0C54-4632-8C76-93A191BEA2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ff532e8f7c9661a9505e4be8bdeefaf74ff27f","datavalue":{"value":{"entity-type":"item","numeric-id":3877834,"id":"Q3877834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$3B513CDC-04B8-4656-804A-DE060DDF7586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"630bba8de7e32603bfa408c5a9ece6382b7da057","datavalue":{"value":{"entity-type":"item","numeric-id":3586892,"id":"Q3586892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$D5CFE8ED-7C66-4541-9DFA-82FFC0942013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ebfdec21f1f4eef9e25ed177c9a08b306f38bd","datavalue":{"value":{"entity-type":"item","numeric-id":4958656,"id":"Q4958656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$AC185DB5-195E-493A-8762-805458653DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c6b91a5ebb86a2b4a685975db0e12cc02e075b","datavalue":{"value":{"entity-type":"item","numeric-id":3371526,"id":"Q3371526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$12495DBA-35C1-478E-A3C4-D929BC3D607C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fbf88ad4b38bd2537051ad7d167bb814dd65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$5BF9F0DD-6FED-469B-B6BA-F1AD54B80288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784f038b41cf6a95136e868957e992da42f29715","datavalue":{"value":{"entity-type":"item","numeric-id":2819787,"id":"Q2819787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$E22C3B24-213B-459D-B5AC-52A9E0AE64D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$2D34829E-54A2-446E-9833-B7C7D261B5FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20127ee21450992b20eea7ef4c660d331a8b6a43","datavalue":{"value":"10.1002/MALQ.202100040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6094139$09F39BFF-3C06-4C1C-B180-EFA273BA9D87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9cc95a9db8503e1aedd8406828bf3b48bc83fa1","datavalue":{"value":{"entity-type":"item","numeric-id":4692084,"id":"Q4692084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c0d040a2d52f199e1cb2e9ce46473ee802a3b6","datavalue":{"value":{"amount":"+0.7080162167549133","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":"Q6094139$DB748E0F-6B9E-45E9-BDC3-4EB386BA9C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821053c5a3a8c175a7e21446a81201ad4a83da98","datavalue":{"value":{"entity-type":"item","numeric-id":5277827,"id":"Q5277827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56fe962cc799a09f371f1aa9cf479bc1ec347f1c","datavalue":{"value":{"amount":"+0.7069883942604065","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":"Q6094139$2C15F42D-36CD-431D-B98B-C527FE28B5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"485aaa443815bc7c7e09ea40f47fe7deb5953dfb","datavalue":{"value":{"entity-type":"item","numeric-id":2319994,"id":"Q2319994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b54445b05601746772b04622283ccd78a451cd11","datavalue":{"value":{"amount":"+0.7040880918502808","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":"Q6094139$EDE6CF62-3DD1-417A-B162-D194DD2D6A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ab48e658f70ed8cd0b2468a72322822fb127df","datavalue":{"value":{"entity-type":"item","numeric-id":1687749,"id":"Q1687749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f664b78a148c2e65ab688055b638a973b6348a8","datavalue":{"value":{"amount":"+0.7038337588310242","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":"Q6094139$CC961DE9-24BE-4D63-8174-135371E71729","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094139$D0D32128-AFCE-4476-8AA9-7E729A9DF4EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6094139","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6094139"}}}}}