{"entities":{"Q6544102":{"pageid":14155246,"ns":120,"title":"Item:Q6544102","lastrevid":55668508,"modified":"2026-02-17T20:43:00Z","type":"item","id":"Q6544102","labels":{"en":{"language":"en","value":"Constructing unprejudiced extensional type theories with choices via modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7853716"}},"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":"Q6544102$1CAB10DC-4CCF-4883-A480-992E2C091D30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93330f1220b7774ee1b8c42c75c04118b788e12a","datavalue":{"value":{"text":"Constructing unprejudiced extensional type theories with choices via modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544102$DE252F71-DF19-4F6B-812C-D835162EDB87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b77519fe391c0f59942ab24b61b76c1f195a3a26","datavalue":{"value":"1541.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544102$BE53D97B-1B7D-41D0-82E6-395A3EA59D0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fca002f5263bf37cd78527dfba7fca450ce3c4eb","datavalue":{"value":{"entity-type":"item","numeric-id":1694468,"id":"Q1694468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544102$415628B6-2003-4FEB-ADF6-49957311232B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94e04c8c2512ac0b5c5096b1f636df023ddd07c2","datavalue":{"value":{"entity-type":"item","numeric-id":507362,"id":"Q507362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544102$C4195468-7969-4E66-BC5E-16D7F8354C2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-05-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":"Q6544102$EC6C9377-D671-4F14-AE22-983951236348","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544102$99C50186-C2BE-40F3-B475-CD5F61E79365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544102$66745992-12B3-430A-AF1F-FCD037467C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544102$5C57042B-A924-4424-8FAF-5D5AAFB3AEC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"645a5f6e7b1986ca86b8991bab102c03273708db","datavalue":{"value":"7853716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544102$858ED401-44CF-4555-89FE-CCE415F07EFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544102$A81FF165-22C2-4FCE-AA48-BDEA2E53EA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0b1c0cdebab056f48262c8d55665d2570dccce8","datavalue":{"value":"extensional type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544102$8F995E43-372C-4D21-8F57-737703493C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544102$5B69585F-36DD-43CA-83AA-F0DC421C9F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544102$DE15887E-A755-43A0-9585-D6DD0A6092EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"403653981ef5cfbc3c7b02dd2f4b1a3134e253cd","datavalue":{"value":"choice sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544102$F68FF34C-7E47-48D2-9B29-BFE422F383EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc8c8fa5f1c56b1249190b5777f984cc4aed389","datavalue":{"value":"references","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544102$154AB9FF-E12F-412F-B282-357E34F69E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544102$DCF080C4-0493-413E-A7EC-6E48BBBE0111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544102$7BCEEE79-FC22-4343-A39F-7E6F049514E4","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":"Q6544102$A0155FAB-710B-490B-94B4-30B894745BB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2d96f0f755bf4f133af0a24ca318d918d2cd2d9","datavalue":{"value":"10.4230/LIPICS.FSCD.2022.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544102$4771E143-A4DB-415C-AEF4-9A4F99BE1C7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c8a36b8cf95b30f9d5ee783a3172492925c6e6","datavalue":{"value":{"entity-type":"item","numeric-id":5155672,"id":"Q5155672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18719598c33ca876c21eaf1496d13d286452daf4","datavalue":{"value":{"amount":"+0.6899465918540955","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":"Q6544102$096D3796-E385-465F-B8E6-61B9EE66BD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33621d68dac787fcc1ba02d504c26127ba9e3323","datavalue":{"value":{"entity-type":"item","numeric-id":5084309,"id":"Q5084309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400c1ae470337c69ff8ce1ac7d6c7083b984e951","datavalue":{"value":{"amount":"+0.687466561794281","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":"Q6544102$1F643CA5-D877-4CC0-A75C-FCB0FA02D8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6519262422d4ed04f20481fb43f9519fc2172e","datavalue":{"value":{"entity-type":"item","numeric-id":5145658,"id":"Q5145658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0bb5444ae9d3376a45d9590f2cc1894dfda1af1","datavalue":{"value":{"amount":"+0.6829856038093567","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":"Q6544102$3E147C42-E06F-42A0-A8BA-041B72F801B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70cc80044f2ebba1d573679a54781940d183a73","datavalue":{"value":{"entity-type":"item","numeric-id":4531082,"id":"Q4531082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce9f6921180b61127e687c72ce4eead5fc340ef","datavalue":{"value":{"amount":"+0.6785005331039429","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":"Q6544102$9453C600-EFA3-4B6E-A03B-2CA806B273B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02533725f60a9d8b5fc82457513db255a2c34f1e","datavalue":{"value":{"entity-type":"item","numeric-id":3625679,"id":"Q3625679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22808e1e693e887b570fdcdf834483abd7a16cf8","datavalue":{"value":{"amount":"+0.6774951815605164","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":"Q6544102$F9E82F3D-304A-4B49-B8F2-74AC84E71CFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544102","badges":[]}}}}}