{"entities":{"Q3201049":{"pageid":3211757,"ns":120,"title":"Item:Q3201049","lastrevid":45660796,"modified":"2025-12-12T12:17:55Z","type":"item","id":"Q3201049","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4177054"}},"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":"Q3201049$63DB031D-EDF4-42A4-ACC6-3CEC036DE00B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e6d5d7468c43304f953fc64389d97f7a5b90bd0","datavalue":{"value":"0715.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201049$3D100130-344C-4822-9E6C-48BDB352920E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$5C8BD1EC-4B1A-4806-95E1-D617150C1765","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3201049$E6F2EABF-11CD-403E-A265-E5DA5436D306","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09e72ebaa9e575ed530073936f7377cf81a5173f","datavalue":{"value":"https://eudml.org/doc/91749","type":"string"},"datatype":"url"},"type":"statement","id":"Q3201049$5881AD89-11CA-4DB5-89AE-18A08E1FB175","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201049$22CAE13F-0707-4AB2-B7CD-8918AE877D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201049$53622705-FB18-4F41-8E75-05F6240FC84F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b2bcf25df91d676288409ab99a996627ac75346","datavalue":{"value":"4177054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201049$982DAE5C-56F5-4235-A8EE-06CBE973EC98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9f58537f17c25402813f7352e0bb5c926d09292","datavalue":{"value":"categorical semantics of dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201049$E94EACAB-C834-4E6F-B31B-FF2F818ADA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"117a7444349db92f9199cc80ea69e7a2ab1f2442","datavalue":{"value":"coherence problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201049$325D4B29-FF21-4BB1-AF63-DF06A4AD99CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1bcb731575ee7964c0a46dd742aa65ad49ce71e","datavalue":{"value":"modelling of substitution in types by pullbacks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201049$C953F094-A611-417E-8780-8513F8DA640F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cfef71195264c36ff8b6a7d06e8469a60e2412f","datavalue":{"value":"interpretation of dependent types in a locally Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201049$1DEEA603-64ED-4439-87C5-7A3A5D0D6606","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":"Q3201049$F7790297-70D0-418C-A4F4-2CE931BF553C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$6C209167-4E28-4723-9C78-FFDBFCD96AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5f8f362da434ad441cbfa7aaf92ed7c49fc378","datavalue":{"value":{"entity-type":"item","numeric-id":3784072,"id":"Q3784072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$2C262798-E002-430C-86A3-5368F9B00F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0bc180311b57c62eeb872b6b44fa7298188cae","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$2E3CD7C2-8C57-47A3-8521-6B635DE1017C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8966d0bcab508f68b1c88a02351f52a4ddc1e757","datavalue":{"value":{"entity-type":"item","numeric-id":4027624,"id":"Q4027624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$CE3E2521-9951-411B-AD50-56503DFA8B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$BC4C2AF7-0F60-418C-9D34-C1AAF3BA1AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0841c535b55e1247c15c8e3959e3bd4d707165ad","datavalue":{"value":{"entity-type":"item","numeric-id":913792,"id":"Q913792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$6B3B8CF4-DF7B-4E5B-9993-1500F3C27EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33650ff905d8145c53473a6e0b65912f87f54e13","datavalue":{"value":{"entity-type":"item","numeric-id":3831475,"id":"Q3831475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$41D8ACE7-A6C2-4B97-B521-ADC92DE0B285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de13c0c183ecb961d2e727d6445681e20c61cecd","datavalue":{"value":{"entity-type":"item","numeric-id":3958647,"id":"Q3958647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$BB1D7906-EBC2-46FA-9555-F760DF2AFC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c3aea8ba4374fa6afd6fa009a7280cc68d9953","datavalue":{"value":{"entity-type":"item","numeric-id":1822494,"id":"Q1822494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$FDFF935A-9658-45ED-8962-532B7A71C534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36e4ce17cede867a82574cebccb1c77ad33605d","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$D411BDE4-3C23-468A-92D3-C722CC02DC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"477a21e9bf6d6c513ed36c29e31db833edada1a1","datavalue":{"value":{"entity-type":"item","numeric-id":4732603,"id":"Q4732603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$C2A87EC0-8718-400E-966A-9D92CF9E10FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$069430D4-D017-490E-834F-126DCB413EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e66dd046cdb77e6e8c7dc93065e7de699e9761ef","datavalue":{"value":{"entity-type":"item","numeric-id":1059704,"id":"Q1059704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$0B314127-6005-4455-9FA5-19AF8D2BC4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$C36AEB84-CD29-4403-B1D0-393768001486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd31ee7929874558b9840ce846ea2afdb00503d5","datavalue":{"value":{"entity-type":"item","numeric-id":750438,"id":"Q750438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$90EBAA6C-FD7A-4F83-94B3-F51A77CC8FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d02aa98cb4f9e38d943cd9a82bdc54ffe2beaa","datavalue":{"value":{"entity-type":"item","numeric-id":912202,"id":"Q912202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$AACF8E9F-C8A7-43F7-A8AA-59BED4B7533E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$E88C3942-F938-4FAA-B66A-8945271F025E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91acc10d9280ae3d49da96b6130063e041a3319a","datavalue":{"value":{"entity-type":"item","numeric-id":4733863,"id":"Q4733863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201049$F6BAF35F-8ADE-4FE7-8F85-B39CFF46F45C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cb3a08e5fe0b766ee96778a38114b853b786642","datavalue":{"value":{"entity-type":"item","numeric-id":3142163,"id":"Q3142163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3201049$FC5EAADF-B25B-4D37-8FF4-4587890DEC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650ac2bf785086fc7e010a1f6e40bdedcef4114a","datavalue":{"value":{"entity-type":"item","numeric-id":1600203,"id":"Q1600203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4346550cf1e1771c0284b4583dbd34e8cad6472d","datavalue":{"value":{"amount":"+0.8603284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3201049$1585025A-8482-4BDE-883B-D0BCEA95814C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f216aaa3e84b73e26e644611d5e7e1bbe14feac7","datavalue":{"value":{"entity-type":"item","numeric-id":4821649,"id":"Q4821649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0775c2f160a9d95322aaf20a9d22b3b99aafa02e","datavalue":{"value":{"amount":"+0.84971976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3201049$5F842114-8E40-47CB-976B-4C4B98F8925C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b45702b71e215aa02332b281444e2ddb04dd60fa","datavalue":{"value":{"entity-type":"item","numeric-id":4296127,"id":"Q4296127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bc0b6ded54b7293677aeeca856b5713a5f49b51","datavalue":{"value":{"amount":"+0.8459054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3201049$8D7FF814-FD62-4B61-9FFF-B33E35CF2F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ec66fa9b1c1b00857d6d8adde14a14b665361d","datavalue":{"value":{"entity-type":"item","numeric-id":1854398,"id":"Q1854398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aabc14482033214116a92b3865ee3d398d8fbee","datavalue":{"value":{"amount":"+0.8449085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3201049$3E21BD3B-77ED-428E-9996-B58A5F7E0106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610063cb2d5d625d23d1434e89afaca2aaf608c4","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad8704e2f3114165a34253a564428a7aa4f9dbb9","datavalue":{"value":{"amount":"+0.8446271","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3201049$60AD736F-1292-4DAB-8282-9364CB8ED058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce871da3083f9569bcdbed95a098aa7376083b7d","datavalue":{"value":{"entity-type":"item","numeric-id":2752530,"id":"Q2752530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c838a5fe0e696470a073c6229fd7aab71c442dab","datavalue":{"value":{"amount":"+0.8445733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3201049$62931F48-86B7-4E3D-BE10-F88475EC4B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bab0519a4863edd82daf226dbcf07fa72f0817","datavalue":{"value":{"entity-type":"item","numeric-id":1433380,"id":"Q1433380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1872f6c443200951652a60491da338f807dca3f","datavalue":{"value":{"amount":"+0.8423814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3201049$033E735D-B4DA-4551-A9CB-038758CE2D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e7f2459bbdb4378aabc361af5b25649f9a4906","datavalue":{"value":{"entity-type":"item","numeric-id":3142917,"id":"Q3142917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ad7c94d3aa9aebf927c0a51c65dd214edfeee4","datavalue":{"value":{"amount":"+0.84191084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3201049$3AA2F0DA-0CC5-4276-880B-5B2047DBC1BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3201049","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3201049"}}}}}