{"entities":{"Q3224684":{"pageid":3235392,"ns":120,"title":"Item:Q3224684","lastrevid":58149789,"modified":"2026-04-04T00:29:18Z","type":"item","id":"Q3224684","labels":{"en":{"language":"en","value":"Kripke Semantics for Martin-L\\\"of's Extensional Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6020592"}},"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":"Q3224684$01EF98EA-4E5A-4127-BF8B-12419EE8C1FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97138344eb27c7855efac8273416a032f683faa5","datavalue":{"value":{"text":"Kripke Semantics for Martin-L\\\"of's Extensional Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3224684$1BC9FCF6-61C9-442D-8BE6-87B31752803A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3a213527a5f1305a9e14c54e78518985c9d0ba8","datavalue":{"value":"1237.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224684$829417AE-43B8-4B4A-B511-66CE0B8563AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fff218cafc64ec1fd9c4e8617dadd5d3146e69a","datavalue":{"value":"10.2168/LMCS-7(3:18)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224684$DD7ABEDB-1E10-4B27-B2CC-655F07A39529","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224684$BE66A6C3-E3FE-438E-830C-02FC589BEA72","rank":"normal"},{"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":"Q3224684$4C4EC0CD-4B04-4EE1-9887-BF817BC23181","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224684$033018B8-E416-4F54-A372-4B46CDD50AA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a20009f475df93c72840e2e5b3a3e90a55f1389","datavalue":{"value":{"time":"+2012-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3224684$A01CB7E0-F853-4CF0-8161-523C9C6A76F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a6fc85b0bc7b700e072fb03b11d468d8c9908c8","datavalue":{"value":"https://arxiv.org/abs/1109.1702","type":"string"},"datatype":"url"},"type":"statement","id":"Q3224684$E69CF646-7E57-4ADF-943E-11270E025024","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224684$97CFEFC0-1318-4F7C-87E7-6AE5ED407B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224684$C1F0BB78-0A60-45D5-BA78-F00EF722B731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224684$19F2DCFE-3D99-444A-AFC6-F89AF7F90F70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c114d7156b8394e25d288e3c2491772cf57de252","datavalue":{"value":"6020592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224684$CEC888E8-5343-452A-B248-6AE6D90BDD43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224684$A3EACF9B-33F3-4AC5-B7F0-3A4FBD5581C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224684$2550E6DF-0A27-4C3F-A19C-B0E18FDA27CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224684$1AFB7EAC-AB34-43C5-94F1-E25FF40CBA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224684$F40894B6-9A06-4F55-B9EA-C53D79F8C4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224684$9E907195-96D7-4816-AF2A-D4EDFF7245F3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224684$9A2A4DB1-88BF-4861-A0B8-AA8D76C0A1E7","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":"Q3224684$6BB0D483-4990-4E8A-BE2D-A26222444A36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df284813d85477ea847b837d5831ef7f5ee82ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3637199,"id":"Q3637199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3224684$D32601F0-7786-44DD-81C0-E92A3B33E301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32102a253077e36db7accaaad755cb096bd6072a","datavalue":{"value":{"entity-type":"item","numeric-id":4594248,"id":"Q4594248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2495323051341bfbc7964d14442039bd46d23c35","datavalue":{"value":{"amount":"+0.92678547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3224684$EC624EE9-743D-4AB3-875D-ADF100D63679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39027ed63c2a2a68a2e6225028f9c1d4f4901f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1099173,"id":"Q1099173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863eaa1c50e8375f072b41833c7e29a88ec9eb85","datavalue":{"value":{"amount":"+0.91436625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3224684$3402FD27-4708-419E-A6CC-B7F9AFF25A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4fedfd0f28b7f30a207d2274e814ee9ddef5d05","datavalue":{"value":{"entity-type":"item","numeric-id":683712,"id":"Q683712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3673c509a2bd4954a80cfee79942f14b12b6b25","datavalue":{"value":{"amount":"+0.9133437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3224684$5C37C49A-DF99-4325-A606-C24E1BEB5B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5d922db37ef1718202e561077e8c4a52fe341f","datavalue":{"value":{"entity-type":"item","numeric-id":5492817,"id":"Q5492817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae33d49399f2af040fd4970e94e7b2f76a5b1d3d","datavalue":{"value":{"amount":"+0.9048257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3224684$7849C2AD-99C8-4052-9FD9-1D9D5C63885F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d3b04bf82fb64a00e14fee85f3e7f75d56837d","datavalue":{"value":{"amount":"+0.9035928","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3224684$44040017-B0B3-4061-B3F2-5B30658052F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0dae42f2f5ebbad37f24bb65e6b70e78930432c","datavalue":{"value":{"entity-type":"item","numeric-id":4844507,"id":"Q4844507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d46f10ec787fb6b3ce16bdc72e3396b3c88de3","datavalue":{"value":{"amount":"+0.9025974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3224684$656E5765-BA16-4941-8FA0-B1619DD0679D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f30f07aaea45924d52c3e40f5fba1a1ad77e105","datavalue":{"value":{"entity-type":"item","numeric-id":916656,"id":"Q916656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4913b72403417095316fb60cb130383f535b344","datavalue":{"value":{"amount":"+0.9015028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3224684$C9578B93-738D-4863-9A90-377D393005FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6606d81851a96e083ccf35fd04b37d925d4e60d","datavalue":{"value":{"entity-type":"item","numeric-id":5249247,"id":"Q5249247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d91ff810cac01796d936549050434d9d41923f83","datavalue":{"value":{"amount":"+0.8995596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3224684$D5D5E5BC-D1B6-44A7-8365-6F9E057B200E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751cf0dec4b636680ca47b8e354d59854960ee3d","datavalue":{"value":{"entity-type":"item","numeric-id":688734,"id":"Q688734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6035d17c3b17172645521f1def8922e76b57fc91","datavalue":{"value":{"amount":"+0.8990803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3224684$A1338D6C-758C-4AE7-A9DE-6E8ACE1A4C0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3224684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3224684"}}}}}