{"entities":{"Q2980980":{"pageid":2991705,"ns":120,"title":"Item:Q2980980","lastrevid":58085361,"modified":"2026-04-03T18:06:59Z","type":"item","id":"Q2980980","labels":{"en":{"language":"en","value":"Notions of anonymous existence in Martin-L\u00f6f type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6712191"}},"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":"Q2980980$6D5A3CB7-FB72-4527-B229-66301E891C1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"806e542d108a3ebca65a5b1a447b09068d172c01","datavalue":{"value":"1377.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980980$649A3B98-4AAA-4617-9560-CE3F409164DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bbf3e624160986f92ff23d7a637b934421f73ec","datavalue":{"value":"10.23638/LMCS-13(1:15)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980980$75495CE0-0D62-409A-8A0C-46EEE41AD33B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2accd5eaf3e9e7e00366f515bd2165d3c134f6","datavalue":{"value":{"entity-type":"item","numeric-id":1652994,"id":"Q1652994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$A5BC273A-F110-4607-94D7-FC83D7AB86C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16afa49763aa251d50707d52eece0d5ea5808a6","datavalue":{"value":{"entity-type":"item","numeric-id":168355,"id":"Q168355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$69E7D271-4CF8-44A4-9662-D78D2C276AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$B7CF3EBF-60FD-4064-8E79-1DC5A5F8629B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801a503eb1bea2102d1e59832005afa5cab1cee","datavalue":{"value":{"entity-type":"item","numeric-id":1652991,"id":"Q1652991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$F1699C88-704D-46FC-B331-C1DB9D1BD168","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3aaf1d9eb7be8ffa0ffc276984018b68fdacb27c","datavalue":{"value":{"time":"+2017-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2980980$46F88143-88A2-4419-9383-4394309C9F81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abae1b976dec284dd77fdb92eb96244f8ad9bf89","datavalue":{"value":"https://arxiv.org/abs/1610.03346","type":"string"},"datatype":"url"},"type":"statement","id":"Q2980980$EF0BD4D2-EC03-42D4-9577-B863090F3E70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980980$85FE7571-EFE9-49B2-8DF4-148D84BF1884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980980$D0E9DE5F-80FB-4A84-9024-87D43CA219E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980980$0A2BD78E-33E3-46E8-8B51-2B8040A94742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980980$A6AAC844-F124-42A2-A76E-27F909150E16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1595a9767a7dddf2453627606d2ae295eff890e","datavalue":{"value":"6712191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980980$4071D85E-F293-4E0B-A279-C00E4A9128C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0c50a94e462a143153bb7186bc384099ed023e","datavalue":{"value":"truncation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980980$5D23B6A1-4567-467F-A42C-85D3CBF631A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3184b11a31d7da69732803fd79ace03f08629407","datavalue":{"value":"factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980980$95353F35-B046-45B7-BDA8-F29A2218A44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980980$2E53422F-418B-4987-9FCB-251285237C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d3e07d04737088833026aeaa29ce1233c0657ba","datavalue":{"value":"coherence conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980980$4F196520-6EEF-4677-8F75-2D8121C41BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0efc5d70add9b2132c39119c70178b0e03cd9a6b","datavalue":{"value":"bracket types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980980$F6FB2E85-CAC3-49FC-9A2F-9E2086477DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7835c93f531a3ab7284058f9fb8a78edb5c385f9","datavalue":{"value":"squash types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980980$E30E60D3-BAC2-46E6-A757-9975332BCA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7359f6c5da4fd924e8db40c09558374c9a9a2aca","datavalue":{"value":"anonymous existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980980$8B150692-4ABF-4017-95AE-4618AC7F5E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c680f7ca5d70b03340b1b2658d70e66a012f2d","datavalue":{"value":"weakly constant functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980980$173AEAF3-49D5-4107-BA2C-2F359EE7A696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7af00faf708033aad6245aae13e87aa9c0d03c1e","datavalue":{"value":"Hedberg's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980980$EAB4C8EB-F208-48F8-BE6C-ED15B03A79B1","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":"Q2980980$F67FE0C4-22FF-493E-B17B-74FB0C7663DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdc692fbbee7be9789734e7cf9dcc396f1f0927","datavalue":{"value":{"entity-type":"item","numeric-id":4823804,"id":"Q4823804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$15792AD5-1C19-410D-8F54-D012B6C6F764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecdac14a6d1f0425c3e321b73a201f6c904fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$EB2E8305-CEBF-4BC9-9B36-B7E244D327F2","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":"Q2980980$2A5F6876-1808-4756-9810-20FC6DE0F183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d4048422c687d3e6181c5cd1a18d1ae1de21c0b","datavalue":{"value":{"entity-type":"item","numeric-id":1171570,"id":"Q1171570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$326DEE4B-34D3-4A4B-8A8E-587940F9DDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c5d4cff434102bed227e3e021e251aecd1efd2","datavalue":{"value":{"entity-type":"item","numeric-id":4236885,"id":"Q4236885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$454B81BB-32B9-4F2F-859F-980E066E45D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$E4B5CDF2-CC30-44D3-9170-BC07A69671DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f5926f885fc4f0aa33fee601a61278b518ca99","datavalue":{"value":{"entity-type":"item","numeric-id":5277974,"id":"Q5277974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$2790CCA6-2052-403C-BF1A-7CC6FF9AB92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534a4174be75df0f8198e68669b8c6adba72f065","datavalue":{"value":{"entity-type":"item","numeric-id":5300901,"id":"Q5300901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$6DFA2EDC-E1C2-48FB-8D07-C756F5E28150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3714445feaecb01348c47d8cc9de8195e7231f66","datavalue":{"value":{"entity-type":"item","numeric-id":2980980,"id":"Q2980980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$AEBCA51D-5C29-4577-AF60-455F52A2EC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$764ECF32-15F2-4960-B714-1AC6204540A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91a6fc5a255cbadfa617ce94146193166c4f9ed","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$4D715584-FF94-4719-9DF4-3DB27975BF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$21D20A26-46A6-4AF4-86C7-3C2EAB250E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67326b6c80e797a30d875f6865221006e1499ed","datavalue":{"value":{"entity-type":"item","numeric-id":661282,"id":"Q661282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$138FDE0A-20FE-4D96-91F3-E6A1985C54BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$EE49502A-28D6-4BAB-B623-5D19C71D9014","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980980$5FFEC408-6BB2-49CA-97F5-ACA722144D7E","rank":"normal"}],"P1643":[{"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":"eea372dca63f4a03a844dcdb70ee7b1a46bbae8c","datavalue":{"value":{"amount":"+0.7915967106819153","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":"Q2980980$463E4773-D90E-4E87-8B36-3F5D9DD5E246","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":"2ee2e911c3f21cd9a756c83e5cef4417de0d67b2","datavalue":{"value":{"amount":"+0.6855828166007996","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":"Q2980980$6A75F25E-1CF7-4C45-B4D7-004F52D9007F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5176827a140ab785d8d708fd59cf12da7d32c145","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee2e911c3f21cd9a756c83e5cef4417de0d67b2","datavalue":{"value":{"amount":"+0.6855828166007996","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":"Q2980980$6DD696A8-429F-41EB-80A5-018DC3A982B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db6f9b193d58b8d862c9b6fc2be3eb7ec1b602ff","datavalue":{"value":{"entity-type":"item","numeric-id":385803,"id":"Q385803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b07214298f7bbd967bc807e1241cb4827aef718a","datavalue":{"value":{"amount":"+0.6796291470527649","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":"Q2980980$52E5A8AE-6042-4613-8D15-22AAE53985BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c83fb1a8194c66bf112bd5a92ae15a03beb0deb0","datavalue":{"value":{"entity-type":"item","numeric-id":2974780,"id":"Q2974780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff69aae051ce67cf13516e1971a7b1609c8ffc28","datavalue":{"value":{"amount":"+0.6767310500144958","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":"Q2980980$88BB6AB0-830B-45DA-8C6F-BF9C3A8A143D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2980980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2980980"}}}}}