{"entities":{"Q4247303":{"pageid":6276904,"ns":120,"title":"Item:Q4247303","lastrevid":46825830,"modified":"2025-12-25T16:21:41Z","type":"item","id":"Q4247303","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302059"}},"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":"Q4247303$101F428A-B370-4BE6-8408-246DAC830027","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f14525635427874e52df539d8bf8e5a6183f4074","datavalue":{"value":"0930.03089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247303$B9CE3E11-FFAD-4997-8AEA-708DEDE5B64F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247303$2EE22737-6DCE-4735-B9AC-5B97215AE4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247303$654162EE-6029-404C-BC14-C87879ADB777","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5bfa12347d4716af416e8493dcfe0d9b94cba5","datavalue":{"value":{"time":"+2000-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247303$1E4BB388-577D-4020-96A3-5544CBD97204","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247303$83C1C2E0-FFC5-4657-B53B-B16A7B199687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247303$19F0D920-802C-4A01-9099-C705C88D5907","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba113fd7e0305252dc67d8876ab8e69701c36592","datavalue":{"value":"1302059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247303$C4A3A383-3553-4166-99B5-DE7A40400A40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86aed143a2c33678a3801d630c6ed8b2733a8476","datavalue":{"value":"category-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247303$62D1FD76-D811-4C91-B4AC-7899F292E10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"647ef11b42649eafc381e5b1d2112ac7b6e8306f","datavalue":{"value":"dependent function spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247303$3DDAFACC-D69B-46C7-BB9F-E8F7B7C5AB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247303$92991D7E-FD62-4A5D-AA77-AAC69B0D36F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a1715e0d2c578de8e61ea272fe9b21f67113c47","datavalue":{"value":"groupoid interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247303$E548EBCB-B5C2-457D-9218-712238D14C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efbc4f01483d16f3e9bc42ca59dc177a7668df88","datavalue":{"value":"uniqueness of identity proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247303$D8F2A1DB-59CA-4859-85AE-6F9BFF2DEF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad46436cf9b5ff359d7707c46652aa2062bf6c07","datavalue":{"value":"identity sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247303$97993662-4325-4180-95FA-4C6DEA11CAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4002ad54a956be1bdf761b8eb1d7aa84d4ade882","datavalue":{"value":"intensional Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247303$CB000901-71A1-4F08-9551-37F92973B621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247303$8ACD3FE0-CDB8-4008-A406-CB12DF0AA921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"093a067b69d21a8b71e3901b9f64b4e6c7da35ef","datavalue":{"value":"translation function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247303$E7E1DF40-0BE1-4AB6-8F40-D99D143BCEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f33da2e7177f319b0ef03fc745860c71d8b1d42d","datavalue":{"value":"canonical objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247303$0953653F-5117-4E78-B5C7-B7233E99C010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c7ab578858e77ae2c0acd449f83fb9527b698d","datavalue":{"value":"derivability of UIP in pure type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247303$001052A2-638A-4577-BC2D-1BB7CDC3B918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fd5602f67965201205eef9023d4f9662eee8d46","datavalue":{"value":"countermodel","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247303$625E3978-277F-4BEC-BB61-72071C78FECD","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":"Q4247303$0B306CE3-425F-4660-B71E-71295563F2DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52f089e4408546666ae0342fd99e7145429240f","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5823011ed88e78dd83b25831d8ab8d8968f709ef","datavalue":{"value":{"amount":"+0.8180000185966492","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":"Q4247303$D13C5405-0907-41DF-96B1-356860EDB87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebf1c3234c003dc95b31c1945363eb6bc1532e35","datavalue":{"value":{"entity-type":"item","numeric-id":4644591,"id":"Q4644591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f48ab7587350970302363c33f5deb993281ef9","datavalue":{"value":{"amount":"+0.7916151285171509","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":"Q4247303$A1079745-D2C2-4485-B4BD-B4D128FDEB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"071577697c11a2c9b8cea4d5bf370cc8ab8c50a2","datavalue":{"value":{"entity-type":"item","numeric-id":4236885,"id":"Q4236885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f1423a56af40fa764233c811d929410e629f20","datavalue":{"value":{"amount":"+0.7729669809341431","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":"Q4247303$9CF6D680-36A4-4817-A494-FFD1DA04F33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc1177af845e73baff2616ea60d0c4b68a050ab5","datavalue":{"value":{"entity-type":"item","numeric-id":5300901,"id":"Q5300901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11cc1a97a73b3033b0462f760b5e4be8246aabf","datavalue":{"value":{"amount":"+0.7681691646575928","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":"Q4247303$B2D5023A-FAD1-4E8C-B148-0677C8E78342","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247303","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247303"}}}}}