{"entities":{"Q2829273":{"pageid":2840011,"ns":120,"title":"Item:Q2829273","lastrevid":52660115,"modified":"2026-01-23T05:18:39Z","type":"item","id":"Q2829273","labels":{"en":{"language":"en","value":"Hereditarily finite sets in constructive type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644755"}},"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":"Q2829273$E2680772-0DFD-4696-A398-7ED5EEB379F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d16918141894a495e59790ce21597a47050ad8ee","datavalue":{"value":{"text":"Hereditarily Finite Sets in Constructive Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2829273$57020A59-F758-4578-B176-C2C55599750E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b07dccb4e0ac4068111cd2f92dd2904b9ef940cb","datavalue":{"value":"1478.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829273$4CCEB88C-67E4-4400-A405-8D695E5F05FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7ebec653d8f90cf8f82236a88dd7d53adee78b4","datavalue":{"value":"10.1007/978-3-319-43144-4_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829273$D66E859E-5930-4265-A03B-2746B572EBA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829273$439E1E61-43DC-4DE7-A549-33D3561A7AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c58fcececa828bde86ee6624d128bbbe6fbf0ccb","datavalue":{"value":{"entity-type":"item","numeric-id":2829272,"id":"Q2829272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829273$9FADF9E2-1A3F-4AA0-950B-39EA42EC8DD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829273$D582C8CE-9466-4DD3-91A5-8569190A01E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2829273$ECE5748F-6B6E-4C18-8A0E-32442F39DA39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829273$622DA2F8-6585-42B3-BDCF-874466CEAF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829273$BDB65491-667F-44C1-B7C9-7A5108F6879E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829273$1BE41EE9-69E6-4889-8A05-56034C4BCC3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a8df3b1bad1875465102473efded80ec05d5f7b","datavalue":{"value":"6644755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829273$C44E97B2-2290-4E73-BAE8-B2F3EB1D354F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829273$E3CC7B46-6E03-4D2F-B612-6646366F3F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7c500c34aae7ad0764902a8c33926ea860d29006","datavalue":{"value":{"entity-type":"item","numeric-id":40963,"id":"Q40963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829273$338CF18A-5559-497D-8F7D-B5D4BB4CAC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14b12f9eed27b20b4d0c60a11537d0587a1c9d03","datavalue":{"value":{"entity-type":"item","numeric-id":40964,"id":"Q40964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829273$B9190C24-0FC7-4AE9-AFE0-CC1C810B8DB1","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":"Q2829273$752107CE-DDEE-490D-BF34-EB4D1D189CFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcfc6e36ceefba9e31d77bdde3876137ac5f8fc9","datavalue":{"value":"https://doi.org/10.1007/978-3-319-43144-4_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2829273$E88EAC7C-740F-4F34-A1FF-DD38E6910AB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ecdf4c14e8ba2769e114c45f5d8814890edcf10","datavalue":{"value":"W2490033929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829273$1A1C8EDD-C662-44C5-9416-E9AD5B9B0882","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"639ac7043f567c96fa003b695412c2b13a13c886","datavalue":{"value":{"entity-type":"item","numeric-id":2645585,"id":"Q2645585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829273$1529E5CC-633B-4CA3-83AF-87CFEFCDBB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd25b59545bf053240d7666399c86ee581fbbcd","datavalue":{"value":{"entity-type":"item","numeric-id":1049686,"id":"Q1049686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829273$151B6CB3-D25F-4442-ACDB-0D1A2AA7C686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"babd23140874eb5fae71cd5313ccbf026dbcbf25","datavalue":{"value":{"entity-type":"item","numeric-id":3454094,"id":"Q3454094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829273$FF005A88-27F6-4945-8E2E-65CCF42F53C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab84f6aaf590fa756248847abc358b761eb7958","datavalue":{"value":{"entity-type":"item","numeric-id":286772,"id":"Q286772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829273$35D2E289-6DF3-4674-AB13-1C567C67871B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f2684eccf60aac4d92d7eb46093d65871eed0f","datavalue":{"value":{"entity-type":"item","numeric-id":1330312,"id":"Q1330312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829273$AF663503-AB52-487A-B7B0-356D4C95063E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a251d54cb8d77477d7b56edd116f203ae2ce0345","datavalue":{"value":{"entity-type":"item","numeric-id":4829437,"id":"Q4829437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829273$E8C42B8E-D4BA-4D5D-9EB9-B87F88568E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57e370e3d2e3fb7470b596f1bc59c786c59357c1","datavalue":{"value":{"entity-type":"item","numeric-id":1237724,"id":"Q1237724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829273$7E8C5C0B-C667-4363-9DAA-16BA7D832C77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6640badd544e980a06971f7cbd12742fdf0e1cff","datavalue":{"value":{"entity-type":"item","numeric-id":1330312,"id":"Q1330312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13dda10af7e90901009249b8555cd0058952b6b9","datavalue":{"value":{"amount":"+0.8044785857200623","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":"Q2829273$15B30491-35A3-48B8-BB0D-C13E0548656D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5ab8d45a32d8bbbe31a890aa592d1c1a128e42","datavalue":{"value":{"entity-type":"item","numeric-id":3585061,"id":"Q3585061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734a2903b6ae00a14487a6b27ce045c36fb463c1","datavalue":{"value":{"amount":"+0.7803123593330383","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":"Q2829273$B3A13774-7797-4D53-B6D6-A5D2937E37B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a9e91db5969943d17a6593d9ecf53ff83fc291","datavalue":{"value":{"entity-type":"item","numeric-id":3582712,"id":"Q3582712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63be3092395227a2f6a1575c5f2952e1086d9e4","datavalue":{"value":{"amount":"+0.7794786095619202","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":"Q2829273$8192DDD0-B90A-46D6-9C62-207220506DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9644e45ab3eb0302d0cceb18cb4afa4ca8851ce4","datavalue":{"value":{"entity-type":"item","numeric-id":3075242,"id":"Q3075242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ccdfab4bc61faac1dce594e573529819207283","datavalue":{"value":{"amount":"+0.7791609764099121","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":"Q2829273$AE147E4D-A339-4529-99D8-FBC7037F8FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768faac276cf8255fd203a06c7c6f319e80d477d","datavalue":{"value":{"entity-type":"item","numeric-id":1049686,"id":"Q1049686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e1122931a48407843c7e1f22b071ce3eb04708","datavalue":{"value":{"amount":"+0.7480641007423401","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":"Q2829273$EA6EFF63-016E-4D4F-B72C-B956CA3749CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2829273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2829273"}}}}}