{"entities":{"Q4580229":{"pageid":6609815,"ns":120,"title":"Item:Q4580229","lastrevid":53167325,"modified":"2026-01-24T09:03:50Z","type":"item","id":"Q4580229","labels":{"en":{"language":"en","value":"Functional Kan simplicial sets: non-constructivity of exponentiation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917248"}},"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":"Q4580229$AADBD997-B0A7-4BF0-BCAC-3EFC1491E094","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b30cb062b3729eb5d38af17d493bd6fa7717899","datavalue":{"value":"1434.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580229$A655C21F-FE74-442D-847C-762CF3C97730","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2cef89db62307733d19ab9b416dd7dfa2e24734","datavalue":{"value":{"entity-type":"item","numeric-id":3383490,"id":"Q3383490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580229$B1F42F62-2A2A-4D95-96D6-6E13A71DC07C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580229$3994E01A-7EEF-445D-9E65-CF2171A24DF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580229$B8098D74-4875-442A-887A-D208FF8220BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580229$9866170B-7191-4446-9854-0D475C21E308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580229$5F478770-1D82-43E4-B753-1CE56EF25507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c7442634c6d8cafb76c4ee63fbf3377fffd6458","datavalue":{"value":"18N50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580229$98DAA4C1-FC31-4822-81A4-C5B2E948561F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580229$49AE6239-44E2-4BF2-9842-A3F83290131C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b2f85ab7ee573da3bc66c2bad50defbc40d57b4","datavalue":{"value":"6917248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580229$B6103289-C6D2-43D6-8119-30060DF63477","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580229$3CE358F9-B53D-4E9E-8E33-5DF268D4E043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e133420bd8ecb43ae9c8a8a6ecaa5316069870b2","datavalue":{"value":"simplicial sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580229$6A5EDA0E-16EC-434F-92B0-590E2A5CE614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3ddcefe785f2f24ed8abadbda3a24ef05040e27","datavalue":{"value":"semantics of simple types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580229$C5C3F572-C75F-47AA-B946-B402BC8F5F3C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580229$B54E8C73-CE31-4B76-B8A9-CD7D849A35E7","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":"Q4580229$16C31F4D-BBC1-4667-A85B-5E4ECA09D9E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580229$BF4499EE-86BF-4E61-83C3-1DADA7111CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391aeb8b96dc10482046e802c462ef5af9a88ee3","datavalue":{"value":{"entity-type":"item","numeric-id":5277833,"id":"Q5277833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580229$743D015B-CDCD-403F-83A8-83F9C98CFAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51636923ea16744023bd5fc2b9721836eb3ae76","datavalue":{"value":{"entity-type":"item","numeric-id":2257308,"id":"Q2257308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580229$8391EF55-5656-41C1-9D8C-2C58E44D71AC","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":"Q4580229$BB363846-2338-4E5F-96CA-811E197FEE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332fe6b755e7ef8965aa14f567f1186a5eb2ae3c","datavalue":{"value":{"entity-type":"item","numeric-id":422031,"id":"Q422031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580229$2EE9417D-70D0-47E2-B1D8-76DF09094C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f743a02b93ba8a7aa10f804a87a9e4e302de06","datavalue":{"value":{"entity-type":"item","numeric-id":5906407,"id":"Q5906407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580229$3614CD4A-9EC2-4D05-A358-267AD181F552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580229$E02ED3F4-CAF8-4ED7-B095-C520817C1EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57599c24ceb27419b6b804f25da18a4a970339b3","datavalue":{"value":{"entity-type":"item","numeric-id":4693740,"id":"Q4693740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580229$DF161BF1-21F9-4E54-9817-92CEFAD7E196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027a170d6c137febe9630c9215be9b24dde92ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3239817,"id":"Q3239817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580229$C808190B-3802-4DCF-A6AE-850A994392C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"908469e5964edaf668cc43862cb5f6862d38eccb","datavalue":{"value":{"entity-type":"item","numeric-id":716491,"id":"Q716491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580229$691182AB-0E28-4BD4-B9C9-86BC65E44832","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f3d9b36569648b23b0f837d7c3e3ca889db4f2d","datavalue":{"value":"http://drops.dagstuhl.de/opus/volltexte/2018/8478/pdf/LIPIcs-TYPES-2015-8.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580229$6E25B507-3C16-488D-97E6-F7B59213B56D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b961c8eed5f91797550391a4ee4c400f78325385","datavalue":{"value":"W3087220398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580229$8A3024C1-91FD-4BA2-BAD8-ADC94D3C51CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7e9af7d0f644076fb48e08ace15b700a1f72ed9","datavalue":{"value":{"text":"Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4580229$959DC744-B4E3-43DE-9F6D-97EF8797B886","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f21752c1e330330b853b0e102f5b8f80686adf3","datavalue":{"value":"10.4230/LIPICS.TYPES.2015.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580229$CA2261CB-16BA-4C09-B388-4DBF3B431963","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e0629f5b1ae688054d90e8586dca511a36086b","datavalue":{"value":{"entity-type":"item","numeric-id":5277833,"id":"Q5277833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ffbe50ae823a29e3eb9dd82ad8bb155c6515c6c","datavalue":{"value":{"amount":"+0.8634246587753296","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":"Q4580229$9D1BFC66-6E4D-465D-A7D3-70F5C86BA5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1ac6eac3ca2fe07e4cae6f32dcf3c29743a61c8","datavalue":{"value":{"entity-type":"item","numeric-id":2173527,"id":"Q2173527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871c8731344f5a2ddbffa1dfb6e7ecb2135ad9af","datavalue":{"value":{"amount":"+0.7272221446037292","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":"Q4580229$8514B493-939D-4D34-A9FA-65A2D35E37EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15c417c682595761682a964b99be868eaf4dafed","datavalue":{"value":{"entity-type":"item","numeric-id":2094622,"id":"Q2094622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc1cb21d553a9a016774662f3831b1c9edb233d","datavalue":{"value":{"amount":"+0.7141519784927368","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":"Q4580229$81CAE81A-3BF1-4BB6-9835-DA149D1F43A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c583d83c0dde3f48c30b9294a438797118f984ee","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7cbf0e47c9f59e5d9123fda4b94ce22d7d94c16","datavalue":{"value":{"amount":"+0.7126978635787964","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":"Q4580229$F22E8516-DA16-458B-8A69-6EE50F073826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a8501fd3af24a01713d162f8e8bd13a5179d679","datavalue":{"value":{"entity-type":"item","numeric-id":5740652,"id":"Q5740652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4c47d0c7c14b5d6214720389c985071fd1be9e","datavalue":{"value":{"amount":"+0.7120705246925354","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":"Q4580229$82362E6C-3517-434F-970C-65243049CD77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580229","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580229"}}}}}