{"entities":{"Q6865660":{"pageid":20690569,"ns":120,"title":"Item:Q6865660","lastrevid":84242201,"modified":"2026-05-14T02:44:44Z","type":"item","id":"Q6865660","labels":{"en":{"language":"en","value":"Categorical models of subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8153265"}},"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":"Q6865660$CEB241EE-2A14-4D01-BCA4-91CA855997F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f57c479dbb49ce20dc5a6d0a5a2e85f8addc0883","datavalue":{"value":{"text":"Categorical models of subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6865660$B222A76E-A08B-4E4D-8B01-BAE89A41506D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8db6ca777e99e5a857f6b53ebdc8b12b1d3bd60","datavalue":{"value":"10.4230/LIPICS.TYPES.2023.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6865660$85C5C528-34CB-421A-8515-55B62B77395B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5fad38dd1adc9dc25580c91c369b4034bdc1a72","datavalue":{"value":{"entity-type":"item","numeric-id":6383342,"id":"Q6383342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$3A0F05D4-80ED-4BD4-9D09-EF9C4A1E08E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2ef3cacf4fed2a5c4356c079fc095ccba2ca484","datavalue":{"value":{"entity-type":"item","numeric-id":1708878,"id":"Q1708878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$0D3AAEC1-0859-4196-9F13-348776D944A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59db53334aa774736a913683f0c2c8728a8f4267","datavalue":{"value":{"time":"+2026-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6865660$FCB19D2C-FE26-48FD-9C52-60454828D01D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6865660$D66FC4F1-3BC8-4A45-A5C1-245479F18B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6865660$423B90E0-19DD-4680-8982-ED434B643EF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a522c20342be3a2011ffbbca8ca8eeb304163a2","datavalue":{"value":"8153265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6865660$064B7FB9-679C-4981-AAC9-9916EA204C49","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":"Q6865660$699636FE-6757-42A5-AD24-FCB848B90C1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865660$D835D201-F5B4-467F-A9C4-477F47C95953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865660$D776066B-76CD-43A6-AB85-1AD7519F1CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7165fec9115f05c93be2e6750db8f2bb02167cc","datavalue":{"value":"coercive subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865660$A71D8ED8-FC23-4D39-85A0-589CED29CE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865660$D1B1510C-EA4C-419D-98F5-337082ACD5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d5793ae76a4a96f8ae785ef4f3cf3d0157b4fb5","datavalue":{"value":"categories with families","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865660$A4F9E3FC-D569-4E4A-90B1-5AC1B348A6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865660$E19FE130-5F18-4F88-9A7F-07169DBE069A","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":"Q6865660$CC82A578-C042-4D02-B5AC-9E15BFB7C2E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16be83a3de54bd2c3181fc2cf1831e46861bc49","datavalue":{"value":{"entity-type":"item","numeric-id":3130300,"id":"Q3130300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$E1494CC9-A64F-4FAE-8FE4-8A37479446C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$1C78D171-7ECC-4D9A-AF2E-2DA3E40DA210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcbba83b26cc68ccb27e1dd1bae84f81e9d543ac","datavalue":{"value":{"entity-type":"item","numeric-id":6634618,"id":"Q6634618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$BF795C4F-FAD7-49D3-BA2E-E05DBFCC2C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$C1A76771-2B5D-4F0F-BAB3-CFEB6EE27DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7101bda8bee0828805ae84a9e2239e995ad4a8a4","datavalue":{"value":{"entity-type":"item","numeric-id":6499420,"id":"Q6499420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$C15703E0-20F5-4A82-B4F2-1EB08244361E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$AC399B6F-CC5E-4688-AB06-1432B51D0C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7212cbd21b262d16bcb7ffda7fc76bc50e112b40","datavalue":{"value":{"entity-type":"item","numeric-id":1208414,"id":"Q1208414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$CF45D230-A932-404C-9D3E-6129B8F98268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$B0598388-8568-43C3-80A2-A293ACEA6865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$97D90140-8421-4F74-8106-1FDBC0728785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$76673FA3-3A2E-44B2-8079-AB514BD07E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5d90bb9c7483f2b9eddcb54d776cc4aef07085","datavalue":{"value":{"entity-type":"item","numeric-id":3156508,"id":"Q3156508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$4386E4DC-FDC5-4F08-A523-49F088182E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$C3D5B235-1D4C-4504-A1F6-12AAF7B455C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ace08aee50aa7ed1e67a219ab235e0e0445c0b","datavalue":{"value":{"entity-type":"item","numeric-id":5739362,"id":"Q5739362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$BA6757C8-6BEC-4CBC-8935-83CDB31E3392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bbf5c4acba1e943106282227d496dff22117d6","datavalue":{"value":{"entity-type":"item","numeric-id":4238487,"id":"Q4238487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$B5619987-D683-4C95-AAC1-C95EA925EBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97910e75c910b7fd3a5d5a0cefcdf9b015cc070","datavalue":{"value":{"entity-type":"item","numeric-id":1951591,"id":"Q1951591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$389C4046-19D1-4AE1-B54F-3F7A54511018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b756c7910becac7c840b6185edc1ccab38648ed9","datavalue":{"value":{"entity-type":"item","numeric-id":382422,"id":"Q382422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$5785279D-4CC7-4303-A25E-861492135AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4de37594158aa51ee94916033d3d52e42d9b81","datavalue":{"value":{"entity-type":"item","numeric-id":1317969,"id":"Q1317969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$16BE492C-AF7A-4008-82EA-740232F0FB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$382B7DE3-1F0C-41FD-87BD-360F70BC39AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b17eddf0a97a50d5e6bb02d41251530beda82a","datavalue":{"value":{"entity-type":"item","numeric-id":3197988,"id":"Q3197988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$1D0C4715-8E0E-4620-B55B-2CB2C42DCEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$5B51FF74-A160-46AA-86D1-87400CDB8F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e334f51175391aa489ad19ee69f9b684c7888f","datavalue":{"value":{"entity-type":"item","numeric-id":3079518,"id":"Q3079518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865660$6E1FEB3C-7A09-4751-B156-31371936E6E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical models of subtyping","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_models_of_subtyping"}}}}}