{"entities":{"Q5048989":{"pageid":7078566,"ns":120,"title":"Item:Q5048989","lastrevid":40874723,"modified":"2025-04-12T05:35:38Z","type":"item","id":"Q5048989","labels":{"en":{"language":"en","value":"Competing Inheritance Paths in\u00a0Dependent Type Theory: A Case Study in Functional Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614659"}},"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":"Q5048989$06320E34-2AB5-4776-B8ED-A092890E9C2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93f7033181a0b92b5bcd7d27a89301ebedc88eb7","datavalue":{"value":{"text":"Competing Inheritance Paths in\u00a0Dependent Type Theory: A Case Study in Functional Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5048989$13277CDC-52E5-438D-8F6E-02ABF080D5FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"216e3446a921b8f76ef262dab3600a1ec13b0b4b","datavalue":{"value":"10.1007/978-3-030-51054-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048989$A4AFFBF4-6F5E-4E9E-A897-1F4BE12960BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58c3f1040f095d35860e29a1e4ebbce287a0aa55","datavalue":{"value":{"entity-type":"item","numeric-id":436403,"id":"Q436403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$7A121576-20C0-46F4-8EC4-E1ECC5670A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"110c9b9e0e852b5bffe2fcd42275bf67a9f49ee7","datavalue":{"value":{"entity-type":"item","numeric-id":375195,"id":"Q375195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$57E18C0F-B4F3-4C74-9A9D-CF1DBC711661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f425776279bc8f40c9e6ad98966501ef1af7a787","datavalue":{"value":{"entity-type":"item","numeric-id":2289084,"id":"Q2289084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$730005F7-BF97-4198-B6C2-31F5D34A4FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"379ac4e8dcb87cc7060e4dba787e250b7104d056","datavalue":{"value":{"entity-type":"item","numeric-id":512133,"id":"Q512133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$EA9B6B13-7D81-4637-B455-5F4F7263D394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21a01fed6e1c276e027d0f9654129a6fafd984e7","datavalue":{"value":{"entity-type":"item","numeric-id":1687727,"id":"Q1687727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$995D1EBD-91E7-4BD2-8488-3BA4A1FEEBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b501919147fcd57082a9625dd83a6e83abf9514e","datavalue":{"value":{"entity-type":"item","numeric-id":1648866,"id":"Q1648866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$641364D8-A15B-4A0B-A0FF-CE39F1829F37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$D6E8F71A-33CA-48CA-8420-1F43B8A501B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5048989$076BA1A2-336D-4EF7-B9E5-4C00C5E0A79F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048989$9F6C4429-052A-40AF-87D3-F967D9444365","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1942d22d3025e526deb14c4af847bad197085b55","datavalue":{"value":"7614659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048989$F549DA0B-6E49-4333-A644-2000E7B0DB52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658126897c7f6bf3db78fea48b2876524c1d8c9e","datavalue":{"value":"formalization of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5048989$B9620B1A-59AC-4A6F-B65B-AF93DCA66604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5048989$672A6778-E532-43CE-929A-AFAF27E0EF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"590eff6b6d48b5e9b517d1b6a2fe4493b327f1dd","datavalue":{"value":"packed classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5048989$0E17791F-C4A4-48A7-A6DE-B53BEC037713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5048989$6B0E59F9-1C73-41CC-85F9-AC1CA64EC644","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":"Q5048989$E041ADFC-0D3C-4994-88E2-226FC6C27FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$179A5150-8CED-4B7E-8636-6D5D09AF4750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$556920DA-FDD6-4DD5-B95A-0C9BC92D599C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"723501325a83c597975238fada166e87a140940f","datavalue":{"value":{"entity-type":"item","numeric-id":27040,"id":"Q27040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$5BF8BEF7-523D-4239-92F6-8F9199011031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$E19D53A4-746B-4D98-BF50-DD2A41433FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"84eefd31cc35b0f322abc9d88353a26c9605ee67","datavalue":{"value":{"entity-type":"item","numeric-id":23492,"id":"Q23492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$5C1CC070-EAF0-4EE1-87A1-A589732FEDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$F1064EA4-C4D3-46CF-913D-90ACB4105C55","rank":"normal"},{"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":"Q5048989$A0DD7336-668B-4745-8D25-424C3EB5E38B","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":"Q5048989$63C5C536-B1EF-4B33-B5BF-46DBA15D048C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"375944e99df651ff44c6b58935cb7e70dc3f2152","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51054-1_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5048989$B22D5375-49A5-4AD5-9D12-160F9D0230D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8fd301d9cf2a9206cc724db86147e8ee01b7198","datavalue":{"value":"W3020731832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048989$DBF9E102-414C-407F-AACB-78A8D6C8EDB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"811e08ac2fdbd0c8d873aede325f67deffb79bca","datavalue":{"value":{"entity-type":"item","numeric-id":5195290,"id":"Q5195290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$0EB5AAB1-A866-47FC-A6C5-8059DB778F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f64d57050206512889a218305d67a8f65e3f09","datavalue":{"value":{"entity-type":"item","numeric-id":3183522,"id":"Q3183522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$D17F61F0-56F7-4208-8A4E-86CE27F512F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aec912cb1b4e9b40c409f4f537c09cc77cf22d9c","datavalue":{"value":{"entity-type":"item","numeric-id":3543652,"id":"Q3543652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$C649E08F-86B5-40EC-8C5D-69BD7B2D4C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b80111de9bab56ff28e1100701384da844fd72","datavalue":{"value":{"entity-type":"item","numeric-id":2018661,"id":"Q2018661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$1F041B39-D9F2-41B7-A658-5AB9FEF802F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5a532c33c02d635cd521843fbb7455394e00b3","datavalue":{"value":{"entity-type":"item","numeric-id":5795114,"id":"Q5795114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$C7450E44-33BF-460C-9392-740FCD0131EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c47cdcf11c39943d397f3f3ead0f1dbaff4eb7fa","datavalue":{"value":{"entity-type":"item","numeric-id":4766979,"id":"Q4766979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$C7119230-14C0-4145-BA4D-C2BC61AD3F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94e0a7bc58887caf8ea3b84d3a676ee2dfdb61e","datavalue":{"value":{"entity-type":"item","numeric-id":757027,"id":"Q757027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$BC442542-1248-4E10-B1A4-BE21EE001605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33edf6c60e987374ac2b92fef6c7f79da2b1b282","datavalue":{"value":{"entity-type":"item","numeric-id":2881068,"id":"Q2881068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$4A6D9120-A30D-4C78-8057-F3E0A2F8B24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$7A521A01-1245-4C16-AFB0-84CA43919CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c6dee845aa2fb3e3b96fd0f5f996675d409056","datavalue":{"value":{"entity-type":"item","numeric-id":3183538,"id":"Q3183538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$511A8E99-C2AA-403F-9817-0F8AE010B31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$EB63BFC7-061A-4953-9CAE-D6CA5BE0D2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398600f288655ed58072c0fe96a764c48f633a7d","datavalue":{"value":{"entity-type":"item","numeric-id":5327334,"id":"Q5327334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$519FE9B7-0E20-49FE-9314-7295F6F085F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$AFE86B40-88ED-4DE9-ABFF-821C6E033124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae63278e2efe98a705e09dae55c994e44713315e","datavalue":{"value":{"entity-type":"item","numeric-id":5048998,"id":"Q5048998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$FF8AA419-8754-4F89-925F-1D60D3A33B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff7181965704e473c064c7d95f9f7f0b397f93f","datavalue":{"value":{"entity-type":"item","numeric-id":3543665,"id":"Q3543665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$0469E8D6-6E3B-4C8F-8D4A-03A065C79111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a98ca8ad947d93065e67feb1362da03cdb7848","datavalue":{"value":{"entity-type":"item","numeric-id":3094177,"id":"Q3094177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048989$1B9C4C1A-2468-4158-A72E-17485D26B29D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5048989","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5048989"}}}}}