{"entities":{"Q6095977":{"pageid":13230284,"ns":120,"title":"Item:Q6095977","lastrevid":41068039,"modified":"2025-04-18T02:43:00Z","type":"item","id":"Q6095977","labels":{"en":{"language":"en","value":"EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7735948"}},"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":"Q6095977$44EAB2CF-3B20-4133-8AAC-A23ABEDB18E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa324bf1d16710cfbab3f3e5145d208647fcb41f","datavalue":{"value":{"text":"EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6095977$832B1C0C-37F5-4C87-896D-95594797E7DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbdba517a72e055642d2ff66728516f186cb57fa","datavalue":{"value":{"entity-type":"item","numeric-id":283109,"id":"Q283109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$35631888-0995-40E5-9AAE-79325CFDF690","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04c857a87af5502f42029dc2a0779193f03610e7","datavalue":{"value":{"time":"+2023-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6095977$B25D23BF-95B0-475D-B9A9-0C0C77F71497","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095977$02945076-D5BA-4964-8BC6-5D935741649B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095977$81FF35A3-744A-4899-9A36-B2318DC24BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095977$7A7900CC-2AA3-4D8D-8EDD-C73C778F6893","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e82e91b936eabe366a7b7615b67463faa160c3d","datavalue":{"value":"7735948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095977$A7249C63-DE4D-4520-BAFA-B1C5C5945610","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5159685676f36ed74f839840c5cb6d20ef2e80e","datavalue":{"value":"intuitionistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095977$E611540B-A2BE-4A55-ACE3-49858F40F7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a7401c9875879d328ddc27e6f06e2099e3ea9d","datavalue":{"value":"constructive","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095977$D0722C96-855A-4F22-95D3-E3435555A031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095977$6EA25D46-1A37-45A5-90A6-0ACD46649BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095977$3853D89D-5A49-41E7-82A5-E892E3A2CF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095977$DB1BE294-2F49-483B-ACD4-FC1AEC13A5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095977$CE13FFAF-B628-43D1-8FC6-F49DF5D9036A","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":"Q6095977$9E7BFD8B-2AD3-4AD8-B460-80B3F3A230B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdc0414a1024b796f6e5cb879f1e7f52d65b2e88","datavalue":{"value":"https://doi.org/10.1017/jsl.2022.56","type":"string"},"datatype":"url"},"type":"statement","id":"Q6095977$946D0737-091E-41BF-850D-675D4AAF01CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be6873027da6632e1c6687740480f6b5017ae6e8","datavalue":{"value":"W4285900164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095977$3EA5C7BE-FAB4-4595-93D9-E0C534194381","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":"Q6095977$2E47214C-98CD-401B-A77A-91997341B961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9779d2f20504dba38f482f942c0abc04f8e04e14","datavalue":{"value":{"entity-type":"item","numeric-id":3310616,"id":"Q3310616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$1161FE6E-3EB8-429B-B632-C9EE729AB98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$A8FEA3CE-5ADC-45A0-A548-856DDE5C8C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc94bf2f79788b303de4c0b01e828977dca54a3","datavalue":{"value":{"entity-type":"item","numeric-id":3866108,"id":"Q3866108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$D4133E66-000A-4897-AEE7-1602ACFD2F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed62f77086cc482760f4f0947cecfd1cf3885b1","datavalue":{"value":{"entity-type":"item","numeric-id":1139042,"id":"Q1139042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$B6D53186-459F-46F6-90DB-A07ECD93F9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$69862119-A72D-4150-A573-355BCCA937A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db83db5e0786cf11ac8fc85326b08547f3c9784f","datavalue":{"value":{"entity-type":"item","numeric-id":1688961,"id":"Q1688961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$210D5904-0EA5-4445-9058-0171F622ACFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$7590F3D2-A5AB-4665-AB57-4C885AE501E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045ab0aeb38b209f13b6f5a37c1d619046f27d51","datavalue":{"value":{"entity-type":"item","numeric-id":4078028,"id":"Q4078028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$3FF83AF5-48A2-4766-9D75-DDB268AB814D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$B010EEE1-76F7-4C26-B2D1-0907C9E49C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$E2D3F11D-3AC0-4DD7-A3E1-476F6625AAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889c98b06b71353ead9711d9cef7ccbd6f932035","datavalue":{"value":{"entity-type":"item","numeric-id":3214890,"id":"Q3214890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$E2C72260-F6C6-44B0-B544-C125D6DA622B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e0ff36aea7534f276d82357a9d295dc640bfdef","datavalue":{"value":{"entity-type":"item","numeric-id":796524,"id":"Q796524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$E6C41467-5272-4B59-A951-D427C8A47C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f944e3b152357f7440441bc6af398d615812d6c7","datavalue":{"value":{"entity-type":"item","numeric-id":2330510,"id":"Q2330510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$52BEB7E2-22D8-4B3A-9F6A-5E6EF44C28E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6d0ab3dab89f25d0cf06b425193e00a7116f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5858137,"id":"Q5858137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$09A41E5F-3221-4968-A189-E85AF29D61AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67518660f65fbd28a63236a419c37e46f7123efe","datavalue":{"value":{"entity-type":"item","numeric-id":4140964,"id":"Q4140964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$E61FA829-BB05-49B2-90FF-33823FACF2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d11ad722a58de019ca546cb797582b6f9c7fc3f","datavalue":{"value":{"entity-type":"item","numeric-id":4177565,"id":"Q4177565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$8D597D96-9C7C-4561-A1B2-2CA0870D2DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967caee0f4b629b2770249b58352d882fa57e30d","datavalue":{"value":{"entity-type":"item","numeric-id":911585,"id":"Q911585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$A8B714DB-4CFC-47BB-850E-E8132E11A15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc9c5f4d2a3665ff37b68ff31d08bc5eef515af","datavalue":{"value":{"entity-type":"item","numeric-id":5611760,"id":"Q5611760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$26655318-C21D-48EE-BB8E-612220ACD2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e287a76b72955cd46eadf7e27e2c11d6ff9865a","datavalue":{"value":{"entity-type":"item","numeric-id":1094418,"id":"Q1094418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$085FE4E2-E3D1-48F6-8F48-DF8A051AFCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$289C7EEC-6ED1-48FC-AB32-58507507BB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a044ba817507c22251b4afa1e3d507c8f1d9ba","datavalue":{"value":{"entity-type":"item","numeric-id":1356980,"id":"Q1356980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$AC8ABC96-8860-49B3-B21E-A8CAB9FC4A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$BE54C980-0684-473B-ADF3-EC76BF543366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96100d3945c0bd9f53640a81d642477488cbdc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5310885,"id":"Q5310885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$E93BFF2F-BE10-4C72-A497-E34DE0192406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9cc8ebf956d1ae34080a282593f78ea4e6feae3","datavalue":{"value":{"entity-type":"item","numeric-id":5494237,"id":"Q5494237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$12FD6B37-C766-47B4-87A2-6CE82D02EC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46cad03e160a9637ee0d8c986d58a204202bf66f","datavalue":{"value":{"entity-type":"item","numeric-id":5435636,"id":"Q5435636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$86CC80EF-5C1A-4D23-80BD-B7AE49DBB243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550a766346b8a68091d0d362cb50026c93ec1841","datavalue":{"value":{"entity-type":"item","numeric-id":5477363,"id":"Q5477363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$D7C14ED3-9931-4262-B2E9-E1CD7285299B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$8C8285A7-ED7E-4CB1-BA54-108B601DD8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45693061e506ddfc304d90cb392dffdbb69b973","datavalue":{"value":{"entity-type":"item","numeric-id":4215635,"id":"Q4215635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$A1074C5C-9486-4DCF-BD48-C3D996B00848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$63D272D2-4A53-4CD0-9A7E-B0F473185AAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a94c59745137abde91b90fecf2f7743e146fa6b","datavalue":{"value":"10.1017/JSL.2022.56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095977$D2C18349-E146-44A0-A871-1B6B005F031D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095977$48B7BE26-73F2-4354-A4AF-A1D51671D358","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6095977","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6095977"}}}}}