{"entities":{"Q6987827":{"pageid":21429972,"ns":120,"title":"Item:Q6987827","lastrevid":84013229,"modified":"2026-05-07T22:20:23Z","type":"item","id":"Q6987827","labels":{"en":{"language":"en","value":"Hybrid partial type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8036446"}},"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":"Q6987827$38C34A98-0063-4268-86E3-10894E51083F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72c963307e9ec60c838fb460f8637e295c34a56e","datavalue":{"value":{"text":"Hybrid partial type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6987827$591D5FC0-FCC5-49FC-83EB-9FFFE6A6EC5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a2e1a07781194658fe2ab16d024a13a187bf0fe","datavalue":{"value":"10.1017/JSL.2023.33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987827$E9F8876A-BB8C-435E-AC36-991213DCE4F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16c27f1802df578a92c8e5d7cd119141d82ce2e5","datavalue":{"value":{"entity-type":"item","numeric-id":484100,"id":"Q484100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$A432A72C-89E9-482C-9A9D-01F1CE9C9DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f93cd18382af0067ee8c04bbac9fa33b71d6b21","datavalue":{"value":{"entity-type":"item","numeric-id":484099,"id":"Q484099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$DE0E50B4-FA14-4C3C-BA6F-6553B13100AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$0AFCB2DF-AC02-47AC-9886-0B9E68719364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c4faf9ddded63e4939b1ea20c41b1258f0df791","datavalue":{"value":{"entity-type":"item","numeric-id":301372,"id":"Q301372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$FC29689A-8D6E-4956-A53B-C23C22BD36DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cb49db65c0b58e35627b876e3830b5f7b3d207e","datavalue":{"value":{"entity-type":"item","numeric-id":2169124,"id":"Q2169124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$5D1555E0-ADD4-4E76-93C0-8FDD6F74AFCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$0D881418-EEBB-4BB2-872A-E62BFCEC17A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0c6e7cee756d60a186298d89dd81280bc508703","datavalue":{"value":{"time":"+2025-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6987827$29F08C2F-B0E2-4D7E-A258-7DAF664E881C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987827$D0C819DF-AAA0-40BC-B234-B7436A9EBFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987827$8E9B2856-A7DA-4EB6-9816-DCFB47290D74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0aa72a97472dca186d63ad7e95d52a8c2c4de94","datavalue":{"value":"8036446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987827$AFA7E7DF-92C7-4906-A9EB-5FF9F0DFF986","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987827$E9FADF9F-8069-40E0-BA24-A79815AD0FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fa74f686129a121f5bd34b8aa2ad502d0a61bc7","datavalue":{"value":"partial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987827$A7D6522D-B17C-4B2D-B7F3-CD0DB877C498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987827$13EECD19-BB09-4A38-B548-B297854351B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955688f8f009946dc6794320a63f9fe18f43ea22","datavalue":{"value":"higher-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987827$B579E4AD-B96B-4B51-AC1B-E60C7A4B564C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67d02a1f917109fb39b6d4dd829abea31e85c320","datavalue":{"value":"rigidity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987827$25506BBC-379B-4962-AF5C-C4F0F24B1CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d2a69137098850450d1a17ddf83d6c1a1704d1f","datavalue":{"value":"existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987827$1D5418C5-A060-4E76-8698-133C286BEE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d1a7341496252706cb24146cd0a090cb00f858","datavalue":{"value":"denotation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987827$0E49DACF-1EF3-4D5F-AE13-58E10F122A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1d3588d24332fdda771474752a7bbe163812b0","datavalue":{"value":"Henkin proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987827$9F0972FC-3275-45E1-BF80-7C61A1AB796B","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":"Q6987827$B5156DC1-1394-4DB4-B737-D8429E1B6329","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"387ebbf02524c9f6c7cf3a328c5dba366eadc7fe","datavalue":{"value":{"entity-type":"item","numeric-id":484101,"id":"Q484101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$60245A07-EB37-43C6-961B-C049A65014FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$A5C3FFF2-D9DB-42F0-88CF-9CD1D37FB23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e2e89c3486a2c9d067a01dcc011ff74bd361e","datavalue":{"value":{"entity-type":"item","numeric-id":4487266,"id":"Q4487266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$63FD81DE-0C76-4CCA-9217-143187D8F266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a79c123889bd01aae9d0303538a4f7e9101aa6","datavalue":{"value":{"entity-type":"item","numeric-id":405603,"id":"Q405603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$CAAF3049-F125-410E-A6BD-1606107C747A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd694b1a689cbf974669cb75d6423fb4a681cd71","datavalue":{"value":{"entity-type":"item","numeric-id":2672660,"id":"Q2672660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$8BB780BA-71D6-4E5C-8334-3CA4CDFF3F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86319bfc24a47dc75ebbd8588b12a29a37cf6508","datavalue":{"value":{"entity-type":"item","numeric-id":863181,"id":"Q863181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$3B75C5D1-56FD-446F-931A-3FB4A8FE403F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba16d3643e7f45b2a6fcdd3509fdca985c4702c9","datavalue":{"value":{"entity-type":"item","numeric-id":2589521,"id":"Q2589521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$33A5BD79-945B-4BE6-AA54-CF02984B1AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e469695a6ccdc7d8268978ac58e95413371ff1c","datavalue":{"value":{"entity-type":"item","numeric-id":5753924,"id":"Q5753924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$DB8A1761-D0AF-4EBD-84B5-798CAED4F271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800e73324231ba0d9728818d73711bf633815745","datavalue":{"value":{"entity-type":"item","numeric-id":3086780,"id":"Q3086780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$B92528B4-54A2-42CB-9341-2C7A194675DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bebb311f3b828ed54a337cc22ee8307930b24","datavalue":{"value":{"entity-type":"item","numeric-id":1406610,"id":"Q1406610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$48647469-6C39-4391-8854-D1E09A60E30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$1F3460E8-7BA4-4FB2-8EB9-10F8DBB10651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0457f0d5a737e9bb31a4a77d28a97e459977c406","datavalue":{"value":{"entity-type":"item","numeric-id":4108293,"id":"Q4108293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$4DB5E252-8D91-46D5-AD72-4CC5F67CC984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$0F122077-9DD6-4636-B625-9391C3381B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111f0eb16bef0501ce0fc399f1827e597f8b82f4","datavalue":{"value":{"entity-type":"item","numeric-id":5332209,"id":"Q5332209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$E3F765EC-5752-4D73-8D70-3E82413E7674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770e1b5ffd5abf6c345ab23622cdd76cfd3f0c91","datavalue":{"value":{"entity-type":"item","numeric-id":5446314,"id":"Q5446314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$551CDFE2-BB69-40D7-BA0B-58F0A2393D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363f3119066d77d4ca5dc75d6be9d9d2e0acaddf","datavalue":{"value":{"entity-type":"item","numeric-id":2278838,"id":"Q2278838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987827$F0EA187D-433D-4EAB-A2E9-0A44C187C6F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybrid partial type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hybrid_partial_type_theory"}}}}}