{"entities":{"Q6174091":{"pageid":13308979,"ns":120,"title":"Item:Q6174091","lastrevid":58742361,"modified":"2026-04-06T13:34:49Z","type":"item","id":"Q6174091","labels":{"en":{"language":"en","value":"An intuitionistic set-theoretical model of fully dependent CC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7712488"}},"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":"Q6174091$DC025E4B-A0BD-484B-9EDF-EB8A690638A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4c4b8dea073c4cc7b68c1ea3fd9fe041c63c853","datavalue":{"value":{"text":"An intuitionistic set-theoretical model of fully dependent CC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174091$C7EC0B41-679E-47AC-BDF2-A683F4812F56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2651f1b6da38e0c3b7d0e0b0dd1e2781c527606","datavalue":{"value":{"entity-type":"item","numeric-id":277351,"id":"Q277351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$EF5F6E7E-F102-4FEE-B88C-3C502A367A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f4fe5739bc92b9b7dd1c7e60f1d057a2d93c386","datavalue":{"value":{"entity-type":"item","numeric-id":1350340,"id":"Q1350340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$E382AAAB-6EC4-4966-AF98-F62AB2A07684","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$F1D6F864-54CB-4D7F-BF1D-89A3BF346F09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0383e481d0e7bffc6ee2f346166a7ba5238ed80b","datavalue":{"value":{"time":"+2023-07-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":"Q6174091$728067EB-A60D-4620-9BE1-34C2C10A9D90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e497c540800cb2f1dd3dd191e926a7538a1f4fcc","datavalue":{"value":"https://arxiv.org/abs/2010.12504","type":"string"},"datatype":"url"},"type":"statement","id":"Q6174091$AED84B77-4B33-42D2-B14A-E3E149299D4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174091$C955E6DE-734F-41FB-BF9E-BC518ECB7C03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c7070674030260147c0b11033b1ac92ec67c613","datavalue":{"value":"7712488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174091$CA0BE1A0-51DF-456B-B7C9-15AD3E72769D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174091$CF11726C-3BD5-4794-B75B-18D7A109EFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea9a03b5dc56f980d477656272a4aec82f77f56","datavalue":{"value":"model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174091$82F20CC9-E745-47ED-BE17-BFA32AEF353B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174091$A2520097-ADC9-40E1-98A5-69D7FE4F72BC","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":"Q6174091$3BB60AE0-9829-4B0C-88EB-0DBF0A6244B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bd5723754d3f3766daaae49b37c3f6d620266","datavalue":{"value":{"entity-type":"item","numeric-id":4944846,"id":"Q4944846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$7964CC73-E94A-4253-BE6D-57A54A062E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f63d284e8c2688d460af23d65684faf6b409dc01","datavalue":{"value":{"entity-type":"item","numeric-id":4261832,"id":"Q4261832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$B2BC5238-5AE7-4A69-A76F-757B45D633EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63e1d2c1097bf56f38b3464089e43c611b33ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$7E8EF273-A8D7-464D-B82E-B9F1B8BF3CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed53823d817192b4d96d4668449095e3a41e54d","datavalue":{"value":{"entity-type":"item","numeric-id":4764617,"id":"Q4764617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$B04EAEDB-EB62-4F90-A0A6-CBB3B3A0FEBB","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":"Q6174091$52BCC1F5-8FDF-4CFE-A24D-2B206F69AFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$FC314954-B760-4B54-A8C5-449B7125F525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364525b70d80e5ad032dd4bcb752b39f36195669","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$7BB2DEE9-8113-404F-9A5D-AEC29798EBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eadddf82feaf866848bc8cb4dd929adcda9009d","datavalue":{"value":{"entity-type":"item","numeric-id":2778821,"id":"Q2778821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$825623B2-08D7-41BA-9582-AD71F8600D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$6EB10E61-6251-47A3-8A4B-5B473D5455E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$E13E8A15-6851-4888-B61B-E2C289DB257F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f69cec3db2ab2e59eef67b94268d9a49b1dee7","datavalue":{"value":{"entity-type":"item","numeric-id":4250369,"id":"Q4250369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$CDE6D854-BE4B-4BC4-B6CC-FCF497532AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8859bdb6b4bc274ef2c6f9c1117c4e5c707d7424","datavalue":{"value":{"entity-type":"item","numeric-id":3224695,"id":"Q3224695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$01C423D5-8CDA-4F4F-BE31-58D1D47DB2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd3b8732001a65e8422e49da191945e9664f035","datavalue":{"value":{"entity-type":"item","numeric-id":2639838,"id":"Q2639838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$62A5F929-87CE-40F2-9326-475A72D0BC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$44F710C0-95B3-4ADF-8935-1CEBDEA265E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ffeaa9f9e0ed38c77dca8922a7ed6514caf224","datavalue":{"value":{"entity-type":"item","numeric-id":4435473,"id":"Q4435473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$0728C1C7-4DDF-46E7-87E8-027B2FABE180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9457bed3a56f290e2cc5291783aab1e7d8fd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$0BDE9315-86F6-4ABE-AC1E-25850D2419DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10f6fcf5cd7c3591bb33f948c9e13f97e2625a1","datavalue":{"value":{"entity-type":"item","numeric-id":4647584,"id":"Q4647584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$D89B1718-BBEA-429F-8834-755006A8561D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$AAA67810-4CF5-4DDB-A80F-E2BEF10ADC7A","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":"Q6174091$EDB19C24-0C18-40A9-9755-998E5053AEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986413722b76985e5563365eb3dfdce74a9084b","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$F23DAA63-1E1C-4BBE-9057-0D2D1E5747A9","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":"Q6174091$D32EED1A-4715-4133-99AD-4AD7715A8FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"becfd9a090d306eb2c018b96115467fea98076ae","datavalue":{"value":{"entity-type":"item","numeric-id":3535620,"id":"Q3535620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174091$E0C05CB5-D902-40A6-B3A5-A47F68333184","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3582533edd9749fb004de1144483bc264dff5aa3","datavalue":{"value":"10.1017/S0960129523000087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174091$1776D2A8-C73B-4AD2-80F6-8D255BC4FA53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6174091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6174091"}}}}}