{"entities":{"Q2319994":{"pageid":2330737,"ns":120,"title":"Item:Q2319994","lastrevid":53507210,"modified":"2026-01-25T02:21:57Z","type":"item","id":"Q2319994","labels":{"en":{"language":"en","value":"Categoricity results and large model constructions for second-order ZF in dependent type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7096722"}},"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":"Q2319994$8B089411-C50A-4DCE-9386-3C5EEA64AEE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b940dff3284946a12aeaaee8494696c5b7eac51a","datavalue":{"value":{"text":"Categoricity results and large model constructions for second-order ZF in dependent type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2319994$2A50EE1D-4186-482A-AA12-AC8697740805","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5f986fd190bc0abf1959a66598712ffd2d23aa3","datavalue":{"value":"1468.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319994$F3162135-9B39-40B4-B834-9C3F21A35B29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2727ea0c536c8b8965c6e43987197ce28213d80a","datavalue":{"value":{"entity-type":"item","numeric-id":1687748,"id":"Q1687748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$74352AF4-B597-43FB-B06C-F38C22814257","rank":"normal"},{"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":"Q2319994$E4FE1DAC-67E8-49BF-A0E3-8D1A26062754","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$480D5E49-A60F-4998-B7F0-722C5D5C4555","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a464f6c7eab966071a88066cc0d05cf39328258e","datavalue":{"value":{"time":"+2019-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2319994$FAFDF8C7-12C6-4D70-8081-10A88E1F8FC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319994$1DA293A4-EAF4-4FCF-8C17-69D7503660AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319994$AE242474-2EFF-471D-B97F-EDD78F263336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319994$41A6BBC9-08AF-42ED-BDF0-0D26D4B14986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319994$3986E532-DA6B-49FF-935A-1CA7127C63D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319994$B6EA2CBD-5915-40AC-8C12-6FC9B05BF1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319994$53810C46-95FF-4501-8A46-F909769DC9C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68e8c556c3989ed9366c4b651f7c463d7616ec10","datavalue":{"value":"7096722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319994$CB1C1AC8-2AFE-424C-B48A-DE46A6F3D2BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319994$DB81A1D7-EAC3-4C0C-91BF-639296C78CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbc3f4aa5b9daf8bce9a98b9c45593d51f047874","datavalue":{"value":"second-order set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319994$E70A92AA-9ADB-41AD-A006-FBB80C2D9055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319994$5B828315-5EC7-4608-ADB5-F4704A04CD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21dbe1456b140b91ee724c304938f3e9a828016","datavalue":{"value":"model constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319994$B3ECB9EA-051D-4872-951F-D56DCF8E546F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e89a89b094bac4832e68165f68a6998a9d7f96de","datavalue":{"value":"sets-as-trees interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319994$90358296-2C13-4516-860D-2387953377FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319994$7EB0B7D7-008F-410F-8155-D8C6E953B932","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":"Q2319994$533F69FB-1601-439E-A24D-B3E983E4592E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$8E465880-3C96-4702-9D1B-0B64FA28D99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"723501325a83c597975238fada166e87a140940f","datavalue":{"value":{"entity-type":"item","numeric-id":27040,"id":"Q27040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$4AAC1042-F9CF-4620-BE54-E791AB7D68DD","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":"Q2319994$F580DA42-1B30-4385-83C5-A0689661983F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4a9a47843bdb15ecea391f5bc75173f39770473","datavalue":{"value":"https://doi.org/10.1007/s10817-018-9480-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2319994$72FF9237-9A34-4D8A-812A-D1FEBEB52D19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07c8e6c8ed69af76ec1240d1b5e083e6ddc26b0f","datavalue":{"value":"W2896864541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319994$029D93D5-2957-40A7-B071-A211FAA2B26E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$3CA215E0-7146-4B81-843F-EF856F0BC8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd521a3073e208c1726f70394c7639eb10a4e8c0","datavalue":{"value":{"entity-type":"item","numeric-id":5687912,"id":"Q5687912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$51647937-43F6-4084-8603-404CBD4B3895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"739330a58a3c3aae77075c5fb847ca13d50160d0","datavalue":{"value":{"entity-type":"item","numeric-id":3075242,"id":"Q3075242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$BC83ABAF-8F54-4642-AFDE-6B2430D818F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3f157eb9fb8ce360dd2db17c88b593e185dced","datavalue":{"value":{"entity-type":"item","numeric-id":2649887,"id":"Q2649887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$B94C8C0F-EF1C-4399-9066-4485EFCD4AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabe3ae3d830cb8b7a98409a75191b24493ba497","datavalue":{"value":{"entity-type":"item","numeric-id":5401599,"id":"Q5401599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$8AA61437-FBFB-4175-AF36-AF82A6301ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b5ce9e6f04f47796fbfd5606e7d7b40e04d445","datavalue":{"value":{"entity-type":"item","numeric-id":4256417,"id":"Q4256417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$FEB5F7BD-CA5F-480C-9CAF-4602049BAF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd1d580390183fd2720ebe38b53e0ea9662b291","datavalue":{"value":{"entity-type":"item","numeric-id":1687749,"id":"Q1687749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$44380C66-B381-4C15-ABA6-E1082A7A31D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a469ca03ef10876841cff3ad6134f7fead9b3e7b","datavalue":{"value":{"entity-type":"item","numeric-id":2319994,"id":"Q2319994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$FAF51CF2-EFFB-4F8A-B837-ED52A3D488A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33163735a85d6128763b775f342685a8d5402f4","datavalue":{"value":{"entity-type":"item","numeric-id":5668423,"id":"Q5668423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$1FE4687E-2895-4B3C-A9EA-FA3444A254F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$C170F0A3-A1AC-44F3-97FC-8515837B1B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136d3bc330af377385e6266bfd9e4c2d4c7a96c","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$87184677-98C1-4AA9-A4BC-C8B9AACEA12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b25c235427959ba834e6af30aedc64e47691557d","datavalue":{"value":{"entity-type":"item","numeric-id":4081251,"id":"Q4081251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$158763FC-9C23-46A1-A83A-6FC7247D2EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e31bf26ad172e8e6a08a70c9fb1153ffbdb8f4b2","datavalue":{"value":{"entity-type":"item","numeric-id":2945651,"id":"Q2945651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$0D4CAE6E-2C31-4813-ACDD-FF7AF4B3D9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5666f921e01dd97435dae76a72d1660a28c596","datavalue":{"value":{"entity-type":"item","numeric-id":2879272,"id":"Q2879272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$5FCBCC29-9E28-47FD-8E80-0A8A18C64CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9fed5699a4ce8ef2efb72d242bd53e45b328672","datavalue":{"value":{"entity-type":"item","numeric-id":3265769,"id":"Q3265769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$0D98EB00-D177-464B-97D0-94A68C5DA477","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":"Q2319994$0475B13E-4ACF-4745-B6A6-D5B46524B466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aeb164f1818e5ba44fce38bc1c4eea6f6ec6e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4940733,"id":"Q4940733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$91E3BB19-D61F-4B2A-BB51-E72713A4ED5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174d18be49fcc8f81a1d06ff5f29cdffc006d6d8","datavalue":{"value":{"entity-type":"item","numeric-id":5388758,"id":"Q5388758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$61489015-75FC-4A3D-912A-29F77B5816A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"497b4c81f4eb1172c293c9383a73640c83e593d4","datavalue":{"value":{"entity-type":"item","numeric-id":4364399,"id":"Q4364399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$A63EB7D7-47C6-4946-B23B-03DA2D6A24BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4063a36056c6bd70d6afec87f708a392bc16a36c","datavalue":{"value":{"entity-type":"item","numeric-id":5563362,"id":"Q5563362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319994$AC42E842-7A3D-4EC5-A279-F471E3134093","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e9b08b985724634274cf918202b43c993f1dbb1","datavalue":{"value":"10.1007/S10817-018-9480-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319994$17B1FDAB-AD66-4156-A058-293109514F41","rank":"normal"}],"P1643":[{"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":"75faad2ce5285b1ff61cdc4ee850f51efa622314","datavalue":{"value":{"amount":"+0.9561519026756288","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":"Q2319994$2D5B6488-7E2D-427B-9D95-9DC8284C8778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"119fc0bd9b24a50f4879867ef374d75d8eaf4446","datavalue":{"value":{"entity-type":"item","numeric-id":2921123,"id":"Q2921123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba2f30b1d892e5f99eab8d75961e2e6ef6212f5","datavalue":{"value":{"amount":"+0.7626469135284424","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":"Q2319994$7A501382-240A-4F64-AF7E-4E6CD1D107F2","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":"f578716505415a051c2a3a745d673c31363f35b7","datavalue":{"value":{"amount":"+0.7600643038749695","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":"Q2319994$E9FD29A0-7881-405D-B2C3-245B9860FC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26fcce142417ca2462459485684f3517a8f33efb","datavalue":{"value":{"entity-type":"item","numeric-id":1610616,"id":"Q1610616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2238647cd3659a405f74510d805ae0fa765efd3","datavalue":{"value":{"amount":"+0.7488113045692444","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":"Q2319994$FB70EB20-5767-40BA-B34C-A9BDB0680809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdfd99d9c223eb0f3fc5e26de01873d6f72966b3","datavalue":{"value":{"entity-type":"item","numeric-id":4364399,"id":"Q4364399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2238647cd3659a405f74510d805ae0fa765efd3","datavalue":{"value":{"amount":"+0.7488113045692444","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":"Q2319994$ED6B30DA-B5A8-4FA4-A66E-1D1482DE4304","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2319994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2319994"}}}}}