{"entities":{"Q3986953":{"pageid":6016813,"ns":120,"title":"Item:Q3986953","lastrevid":42305773,"modified":"2025-06-05T08:15:53Z","type":"item","id":"Q3986953","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 30670"}},"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":"Q3986953$2E57E810-8820-482D-8A7B-7079609CE88B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b51d79309694d3f42196ebc27a3754ed8def36c7","datavalue":{"value":"0738.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3986953$71D36D73-1497-45F2-BEC5-516E76921D0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed65fe40964c812a87a925ad197fad2e842236a1","datavalue":{"value":{"entity-type":"item","numeric-id":1196789,"id":"Q1196789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3986953$FD52868A-8FF1-40EC-935A-EC4E602045BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3986953$D70011E4-8971-41B4-9E22-BF68722CDBE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3986953$80B7E055-EEFD-43C7-9192-38ED9333EF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3986953$2C092C64-B830-4B69-B3BA-AC40F3A2236C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3986953$576C8C91-A093-4B27-B709-4BFD6B53C6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3986953$8ADE65EB-9570-40C7-BFAB-0DB1377BC04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3986953$D62A1147-192E-4E31-B0F5-A68A923AE5F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d77ba374f4db6dfea792711fcf300956bbe739e","datavalue":{"value":"30670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3986953$9B17A19C-96AB-425C-A674-96A2F77D32BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffa67bc19a4ddce404cdeb1ce70c853cd755927","datavalue":{"value":"abstract type syntaxes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3986953$C929AC97-5E4F-4D32-921E-4C3FD1C2BC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3db93325e927f8ebc5958a1f47832f0d76002338","datavalue":{"value":"categorical framework of the semantics of polymorphic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3986953$0B275218-EF4E-4A33-9B24-96A1D8A89D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44f6b9f2aadbbc9424b900939b4160066a08a6ac","datavalue":{"value":"tripleability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3986953$0D93FAB1-322B-41FF-8BAD-F6C0E1B6A43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f78f40c5f9862e03ea15608c2d12186955efec6","datavalue":{"value":"categories of models of sketches","type":"string"},"datatype":"string"},"type":"statement","id":"Q3986953$BD7843BB-AF7B-4B25-90BE-CB504620B7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0939e88686209711ebec08d0a7c1bb85c0c05d4","datavalue":{"value":"Scott domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3986953$086166CB-711D-44D4-B330-E3AC0B6FD90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3986953$DFA6C411-AF65-4295-82AE-5FAFB8512F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3429c2f63d27b5fad42c07e1db8f305519b0e7e1","datavalue":{"value":"locally presentable categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3986953$82AC9A7E-FFBC-4730-8580-BF2F44F1BBB1","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":"Q3986953$26E6914D-9D9A-40B1-8F8C-7173DCC9B050","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3986953","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3986953"}}}}}