{"entities":{"Q5883738":{"pageid":7913289,"ns":120,"title":"Item:Q5883738","lastrevid":56826684,"modified":"2026-03-23T17:18:47Z","type":"item","id":"Q5883738","labels":{"en":{"language":"en","value":"A modular construction of type theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7667085"}},"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":"Q5883738$B1A4B2EE-8D59-4BF8-8F7B-483C8829E0FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b555c2918e9385070a2e28ed7ce7275ceaa3f6d9","datavalue":{"value":{"text":"A modular construction of type theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5883738$C0B50BCC-DDBC-474F-B6EA-588A64F2170E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8807e9b5ca6f3e9539fb2629b3f3fe474d0fb0ea","datavalue":{"value":{"entity-type":"item","numeric-id":235598,"id":"Q235598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$52CDE8A9-FB1D-455D-8906-AA7DFBA78E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$59D8012B-5B1F-4BF4-B47E-156BB00EE48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3364d1c9c353445df9057065134b2a312139c27","datavalue":{"value":{"entity-type":"item","numeric-id":5091139,"id":"Q5091139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$1B79766B-E42E-4353-8867-44A000F993CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d34428308fd6254ab8736bbf94531ec1ea42d88","datavalue":{"value":{"entity-type":"item","numeric-id":5883736,"id":"Q5883736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$2B50BAB0-7293-42C8-A5E7-F6EC22D2F0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f875fe6d1f3e0f24fd9296a597dced9516ede29d","datavalue":{"value":{"entity-type":"item","numeric-id":5883737,"id":"Q5883737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$2F94EAD4-E672-4AF1-BF88-60593C7569E7","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":"Q5883738$02F9E653-340C-4BCC-9079-60B43EAF91C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb8590338bfb507716d0e42bdca412b99e076ff","datavalue":{"value":{"time":"+2023-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5883738$7DD8C69E-30DF-4DE8-A061-2771B2843ABD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"207d6b175a5f84988d94a54114de7d216c639d5b","datavalue":{"value":"https://arxiv.org/abs/2111.00543v6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5883738$45BC85B9-FA1F-4BDB-BFE4-5ED9E2DB040B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883738$378B9513-3D2D-46AC-B272-DE1285A2F367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883738$7E35E53E-898C-4581-B342-FCAACD007567","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b450c49420587a6b36c57b45faa2e3491813ed1e","datavalue":{"value":"7667085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883738$2EDCD3F3-E17E-4B6B-8292-61B4E0DC7E4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883738$2E31E456-CC00-4BE8-B11D-BF1348A1F21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b44dd42aa5659b3ed691869bd8acab9853b3af9","datavalue":{"value":"\\(\\lambda\\Pi\\)-calculus modulo rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883738$A462A93A-140F-435B-AD29-D69C83399507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5c1e23f8e4f19689b4beca21c28903730de6f22","datavalue":{"value":"Dedukti","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883738$B2C515FB-E141-46DA-B4BD-FC2DEC180BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883738$C165305F-5237-4B0E-BEFB-A9F0924E7DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883738$B96045C6-4DD6-496D-8896-8206732FBA93","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":"Q5883738$88BCC968-1A98-4AF5-87BB-0B76018B538C","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":"Q5883738$6C35F210-636A-41CA-8213-9AF1017D7A52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5a2ced86f267b0f4a38639025abfe187bc1e416","datavalue":{"value":"W4320723398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883738$6A2A62A0-3D60-4C7D-8283-7880F57D1CCA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f5c20ca2b42c21a6bae8fd0c852ea23bbf029b","datavalue":{"value":{"entity-type":"item","numeric-id":2870144,"id":"Q2870144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$9CB78E53-FB8B-45E9-8146-6466315EE7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3f19634b415ce3c468072f394d5dd693518442","datavalue":{"value":{"entity-type":"item","numeric-id":6159937,"id":"Q6159937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$E92A31BF-1CBA-4D12-83E8-71851396C6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34950020de3b9c2a805e8bdc842332b93d42754","datavalue":{"value":{"entity-type":"item","numeric-id":5089009,"id":"Q5089009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$1B9A4991-C636-4A13-A2D5-C60CD64E4B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b87924f23be2e9cf6d7b6faa675b811f5a3d7c","datavalue":{"value":{"entity-type":"item","numeric-id":3612625,"id":"Q3612625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$93E04B76-1FF8-4840-A59F-FDB382C02E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$1DD069C9-79D2-42BF-9C56-63BDBE7E17FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$08CA9BFA-FA0B-485D-A4AB-796FC810D267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$713118E3-0BC8-48B8-960E-7D42F2CA2000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f45e3f8d2b7c2ab31b3f72d52934bb9febeed5","datavalue":{"value":{"entity-type":"item","numeric-id":3119364,"id":"Q3119364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$572DECA0-6046-40F6-BFBB-7BA2977D2077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a540460431463d4e471ca122624342d1248692","datavalue":{"value":{"entity-type":"item","numeric-id":5111441,"id":"Q5111441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$E0509837-9B30-457C-8E2F-28DBD3D98F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e52f792aed007740441efa3e7b7b70e2d7b6c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4650285,"id":"Q4650285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$C5EDC6A2-A2B0-4BB6-A9A3-D333CFB2E428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd82c182f3ba29e8e7c6e8899bb4609fd961b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703867,"id":"Q5703867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$6FB65221-7C24-4A66-91ED-A5160BA76D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8190ca8064383933102de4ee8e9ede219451a4","datavalue":{"value":{"entity-type":"item","numeric-id":5691056,"id":"Q5691056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$8D772382-3362-49FA-A025-2101D6831FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$4C5E747A-B692-44D8-A2F3-470CCA91027E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d623a8e65d7930da0f4edbbd56cfd23f3252fedf","datavalue":{"value":{"entity-type":"item","numeric-id":3024841,"id":"Q3024841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$65F746F9-590B-44BC-8EAB-FBC68035243D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$E7F71AC3-28E5-4F08-8000-8C5C5FDF91D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"834e558e4d6809ba0f04efc812c24df0129715f9","datavalue":{"value":{"entity-type":"item","numeric-id":3119349,"id":"Q3119349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$099EBDBC-F7B6-41F9-A019-44B7D50227AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$0E131EBF-2385-40EA-9E78-79581382FF66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ef01936eaad086555254b646226d3c27b938023","datavalue":{"value":"10.46298/LMCS-19(1:12)2023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883738$1521026D-E118-4CA6-98D3-4A0563DF1125","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8139ef8a91aaf6018642a73755c3a644f2cfcb1","datavalue":{"value":{"entity-type":"item","numeric-id":3612625,"id":"Q3612625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b97dc984bfbc0fd9ba5b9c5f1ae817bde06616","datavalue":{"value":{"amount":"+0.7723944187164307","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":"Q5883738$B7F789E2-0A06-4FA3-AC10-F00E3529AB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768b9318300d8be361b599a70bc6277221a4928e","datavalue":{"value":{"entity-type":"item","numeric-id":5111441,"id":"Q5111441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b6174861400ec9e6e77ad40ba243e4909f6d6e","datavalue":{"value":{"amount":"+0.7575137615203857","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":"Q5883738$4C89777B-6E57-4BE0-A8B6-5DCD37C939EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb18c1c5852128bff5686d0e5094ce1a989c69c","datavalue":{"value":{"entity-type":"item","numeric-id":2757819,"id":"Q2757819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f40cc073542cb98e01718012183304980f1e5661","datavalue":{"value":{"amount":"+0.7550429105758667","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":"Q5883738$4E363085-4416-451C-A24A-A5AB1CA34DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04fc28ff935556a5c4174aab3a7627efd13f38b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c390821079748e186e6950705c829d721a259809","datavalue":{"value":{"amount":"+0.7540569305419922","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":"Q5883738$F4FBAAB3-D03F-44DC-B5F8-5276E5FCAA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90bd9f2f511e82abc41ce1f38ff8727559e8b7d0","datavalue":{"value":{"entity-type":"item","numeric-id":1201296,"id":"Q1201296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b09e97485e5586db7a4933f522065144ca119f0e","datavalue":{"value":{"amount":"+0.7471239566802979","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":"Q5883738$5FAD042D-50AC-46F1-8E22-F500289D5F0C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883738$378C01C0-3F94-4FEF-BB91-61A5330B62C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5883738","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5883738"}}}}}