{"entities":{"Q4040149":{"pageid":6069867,"ns":120,"title":"Item:Q4040149","lastrevid":55247917,"modified":"2026-02-05T07:20:07Z","type":"item","id":"Q4040149","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 193320"}},"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":"Q4040149$943A13E4-F7DA-424B-B733-6743CF3CBB2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1453db36cd4bf280788fd527322f997616ccc002","datavalue":{"value":"0642.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040149$1612A1F2-3591-4308-8017-19AF105E52CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab81d74da7d6cf4bb1c0c07253f943d18da01ee","datavalue":{"value":{"entity-type":"item","numeric-id":1123882,"id":"Q1123882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4040149$CBB1FE95-9BA1-4ED3-B927-8896CF40458A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05de455bccc01699903781162e24418d46351def","datavalue":{"value":{"entity-type":"item","numeric-id":6482386,"id":"Q6482386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4040149$97D80A78-90F7-45D8-B8F4-51E18412E5E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4040149$05FCDCD7-0E1C-4E14-820A-2D25D960C910","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040149$A84FCEFD-A693-4895-AC01-8214ADC1C59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4fe5939a453f4aaa455013a55b7fe6097c5eb7f","datavalue":{"value":"18-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040149$FF2A10A6-447C-4088-80AB-53BEAAB0BBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040149$B4C3B864-70B4-44C7-A5A0-841804D7DD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040149$0B9C1847-AE7D-47C4-B8FF-A7A1D3B5F2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040149$8192A944-4E25-4C03-898B-6373F5923C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040149$C4838D9B-190E-4449-A794-3C6286C80856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040149$D7ED19B3-412C-4076-8560-D4E59F0E4998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040149$D698A259-4B82-40B2-B7B6-75782F068C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040149$065FAF20-DA9B-41E3-A9F4-FAA581EBFC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c714806ba1c3df5e76d266db6b36b4b17c14d5dc","datavalue":{"value":"18-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040149$BDBE9F60-CDFC-4587-9401-D197077046AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040149$4B426C72-6BE9-4155-B5F0-5D2E757BC94B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e97ec633521b1d7ce13ae75b7f4fd61e39e24a8e","datavalue":{"value":"193320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040149$AB1929DD-3C96-4C17-B5F8-A26C223955B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040149$3CE49351-DB97-4609-9EEF-3B3F500B549A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78c14d383057885878940e36faa5203983410b4","datavalue":{"value":"higher-order intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040149$999B92FC-AEE3-4C24-8DB0-F131375DC3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040149$07F423B4-E11F-468C-98AF-0CC14D5D4BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0266ed642dbd2c472b03c0ef72daba509611876","datavalue":{"value":"free toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040149$6DAF7D0A-CF9F-4EF4-9FFA-66F58CB5A196","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":"Q4040149$78F0731F-ABDB-4160-A4C4-54C8A21EA915","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4040149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4040149"}}}}}