{"entities":{"Q6586829":{"pageid":14197985,"ns":120,"title":"Item:Q6586829","lastrevid":95588441,"modified":"2026-06-05T09:21:08Z","type":"item","id":"Q6586829","labels":{"en":{"language":"en","value":"Kripke-Joyal forcing for type theory and uniform fibrations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896247"}},"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":"Q6586829$B99D4BF7-B8EF-4BB5-A8C1-05E888FEDBEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"228800ddd256917b1f642fe3d8ed10cba742feec","datavalue":{"value":{"text":"Kripke-Joyal forcing for type theory and uniform fibrations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6586829$50D952DC-7241-4B00-8D21-1F17AA86F6F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2009e276a9c17224dc798d13c148c747ba9f7376","datavalue":{"value":{"entity-type":"item","numeric-id":938240,"id":"Q938240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$8B92EC5C-FE6F-474A-A99F-FE57B5195CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e85d980a71ba2f21f2ab5dfb6106cc1a8d5441ea","datavalue":{"value":{"entity-type":"item","numeric-id":531323,"id":"Q531323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$BE20A6B4-416B-4EF8-91F4-7AED7BE24B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5db1369550eb100acdec67c8ff4cf5f0553fc3a3","datavalue":{"value":{"entity-type":"item","numeric-id":5112050,"id":"Q5112050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$F701FF99-A2FA-4658-8864-BD079CF22404","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cdc772acdecaaa370d8d13384dbe99593478d7e7","datavalue":{"value":{"entity-type":"item","numeric-id":173625,"id":"Q173625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$099C84DA-2236-4C9F-BB1B-0C7FD5A050B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6586829$3FE11E14-0BE0-4667-9C24-AE494E9A46AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586829$48A304B2-3BBC-4794-8E5B-B66C70E18753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586829$0C2A364E-C034-4FE9-A882-F7229186705E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586829$909CBC73-A274-4BAD-92B8-2B05F02E108A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586829$BDBFFF0A-086C-4F1A-A032-B8A01C5F5D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fe8fba2d1ba5eaee60758c0e18e38bd1e983fb1","datavalue":{"value":"55P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586829$36DAD273-1286-489F-9840-976213629F1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b343f08d28a225cf164c343cbeb1543657d6941e","datavalue":{"value":"7896247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586829$D8888D28-1A6D-4535-B2DB-57B052B3FBD1","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":"Q6586829$E3713F32-49A5-4E7C-81ED-44A12578FC5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f6f04e0829cea3174d08000975cc9f5ac02599","datavalue":{"value":{"entity-type":"item","numeric-id":5022926,"id":"Q5022926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$C388B088-EE66-4B27-B511-72BF5CAB7495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0ef29a899e04b29094c76761a58b7b71ec5b6e","datavalue":{"value":{"entity-type":"item","numeric-id":1799035,"id":"Q1799035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$9C96001F-62AD-4DC1-9673-A2B060A89479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16be83a3de54bd2c3181fc2cf1831e46861bc49","datavalue":{"value":{"entity-type":"item","numeric-id":3130300,"id":"Q3130300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$4C6DF4C3-B318-42A7-935D-9D8FB2F4F9C8","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":"Q6586829$10DD4724-BA47-4F9C-AB03-411B3EFE4A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ef166d60e06b98e2bb90f406f34f3d84a94425","datavalue":{"value":{"entity-type":"item","numeric-id":3224684,"id":"Q3224684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$14B0C327-06BF-4251-82E8-20CA95721997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecdac14a6d1f0425c3e321b73a201f6c904fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$B931DB61-B4D7-4916-88F2-4FC98CB214FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$B90EEECE-B543-4DB3-B36E-D4E904F9443C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$D968C22D-C8D6-427B-AA66-407EA3BC0C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b50b41b14480fcc9beb507cfdcea5d47eafb6a","datavalue":{"value":{"entity-type":"item","numeric-id":3333040,"id":"Q3333040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$7EA11875-E5D1-4228-B9F5-019D851C4AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f3405d5cb68136edc0233d81b51a594a9054389","datavalue":{"value":{"entity-type":"item","numeric-id":886977,"id":"Q886977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$7F9FC1BE-5AB0-4B38-B5BB-562E9F3D8FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205635edcf5e388367091c5429a3dfdbd141b9aa","datavalue":{"value":{"entity-type":"item","numeric-id":886978,"id":"Q886978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$9134D738-DF4C-40B1-BD04-3875D6C303F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e797a69c329b33f562486ada5802c77e44cf06af","datavalue":{"value":{"entity-type":"item","numeric-id":5283204,"id":"Q5283204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$2346B05B-CE91-4315-B254-5AFFB32AC2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515f542d5043751cea2c4e629817b26003fa96ff","datavalue":{"value":{"entity-type":"item","numeric-id":3424496,"id":"Q3424496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$8EE00C05-088C-4A37-B5FE-099F609F41E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$7BF06D28-0037-4668-9463-5C0048802F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82b1878adb750555f15a80d08f147c60e0fbb1d","datavalue":{"value":{"entity-type":"item","numeric-id":959823,"id":"Q959823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$775B8D6F-C29B-4984-82E5-209C99FD0E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a480122750969f95dc62d7c1cb86c4ec854ae5","datavalue":{"value":{"entity-type":"item","numeric-id":6176777,"id":"Q6176777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$66B172C7-EB36-4059-A3C5-A78D328AE11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7088e6dc711db66d4d22262c93949042581faa49","datavalue":{"value":{"entity-type":"item","numeric-id":4902505,"id":"Q4902505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$7633B11E-58AB-4F19-B7C4-F5F4385BFF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55592097e0fcbbcad326c6610da5c3cac9a20653","datavalue":{"value":{"entity-type":"item","numeric-id":5879185,"id":"Q5879185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$E3E8E9D9-8582-46F7-B117-DD970BF7EF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884f63fdb0bf0e39d4ce8cf3d427b93284ad6f8e","datavalue":{"value":{"entity-type":"item","numeric-id":2013548,"id":"Q2013548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$ABA059DF-EEAD-4A0E-9611-F8455F906668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357562bc67ef501f6f56141e147b07e88424eafa","datavalue":{"value":{"entity-type":"item","numeric-id":5896982,"id":"Q5896982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$A9A65F57-7861-48DB-8C6A-4EFA89945E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47fb13cceb7bf5f2c6a3aca2a748164c5a34a00d","datavalue":{"value":{"entity-type":"item","numeric-id":3539846,"id":"Q3539846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$300BD5C3-3E02-45F1-9324-CA3612475194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54e6eb505dee5c4fe6f451936f1b75a4e767e1","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$3C5F0F7C-B096-44E3-B92C-EFF638ABFADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$5A6AF7CC-FB5B-4691-BFF5-F57A7D8B0AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$F7E5CB55-9C2F-4760-AF11-0B07CE039A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b4d0b84553ace3c1686bd305b88438b8dcb98e4","datavalue":{"value":{"entity-type":"item","numeric-id":4853985,"id":"Q4853985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$6AB87571-3D9E-411A-87DD-9AAA804229FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5441f18107b2a62e3594a6223410af9d2680a52b","datavalue":{"value":{"entity-type":"item","numeric-id":4993352,"id":"Q4993352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$693D5172-0D2A-487E-BC54-6B08A552BC75","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":"Q6586829$C6FD7F60-4773-4188-9C38-61AF7D55CA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cb314be56584c4a3b78c42d4c6a1e8e149e010","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$75E0C24B-301A-4F6F-8B9F-A488D4F9F79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d71d26e466e0e250d946a4995d441465f07c4dc","datavalue":{"value":{"entity-type":"item","numeric-id":4611379,"id":"Q4611379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$CA6F79CF-7E11-4972-927C-6AEFBB240BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f856bd9fbdfea176280faab5db9fee806c39c4b5","datavalue":{"value":{"entity-type":"item","numeric-id":4117992,"id":"Q4117992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$416A06C3-CC83-42B7-934C-BFA9971281AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e86fff21192ecd71751e967f7c4c122eecfc041","datavalue":{"value":{"entity-type":"item","numeric-id":2879235,"id":"Q2879235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$B4DA810B-AD41-42BE-9CB3-E4471DA03C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$D7AE7939-757A-411F-B5AE-1F4EF0B023B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"289ab5ea3338f7c7e8e70f9e0a2117be23a476f4","datavalue":{"value":{"entity-type":"item","numeric-id":2974664,"id":"Q2974664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$D6902259-A1CB-4F70-9D39-39490FAB84A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$988188DE-5CC3-4D54-A583-5453C1522D06","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":"Q6586829$416D21CD-5FD2-418F-B1C4-CE386A276F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9483d0139d2bb4d0d243ab47c468e3ad05746c57","datavalue":{"value":{"entity-type":"item","numeric-id":5740657,"id":"Q5740657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$356CDDFF-7089-4315-A336-3F3CC4543BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab5253ac879eac01b75fc4c22a1a366d2585e79","datavalue":{"value":{"entity-type":"item","numeric-id":2946651,"id":"Q2946651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586829$402D3EBF-7D71-42C9-A22D-3C7AE41C559A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43cd7c43d5359bea1fe828d842eff972699266cb","datavalue":{"value":"10.1007/S00029-024-00962-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586829$B41A1BA9-5480-42A3-B2C7-966717D240BF","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":"Q6586829$6C9F5D32-138C-4196-B480-F51FD4499DE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kripke-Joyal forcing for type theory and uniform fibrations (scientific article; zbMATH DE number 7896247)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kripke-Joyal_forcing_for_type_theory_and_uniform_fibrations_(scientific_article;_zbMATH_DE_number_7896247)"}}}}}