{"entities":{"Q7232187":{"pageid":24494672,"ns":120,"title":"Item:Q7232187","lastrevid":84476183,"modified":"2026-05-18T15:33:59Z","type":"item","id":"Q7232187","labels":{"en":{"language":"en","value":"Subtype universes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8189430"}},"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":"Q7232187$28610371-E72A-4677-BC88-264BEFE6F62B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f01f475f7fe1abb23c65ca73599de25440c4ceb5","datavalue":{"value":{"text":"Subtype universes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7232187$FBBB913D-DEB9-4F85-8294-D451C8B307B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1c2d39cd034a6e6d91eaea8cbfc930a2af1dc73","datavalue":{"value":"10.4230/LIPICS.TYPES.2020.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232187$270A676A-D252-4DB1-B44A-D9A3CD553E64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69d0ddb7c0332d079c70dff14d146b3ac212ac73","datavalue":{"value":{"entity-type":"item","numeric-id":7232186,"id":"Q7232186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232187$D0E4AFDF-EB1D-4E81-BAF2-67C252CEE053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113b34e3bbf27434e01e2c75e261e7834776faf","datavalue":{"value":{"entity-type":"item","numeric-id":220709,"id":"Q220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232187$46F2428D-7950-4F50-AF64-D6D381AC7E63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22b7db1ee47288e2a17e9877aecc2cd5315e6862","datavalue":{"value":{"time":"+2026-04-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":"Q7232187$3ACF3D0D-5633-4426-B721-4B650DD0F08B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232187$FF4C47DB-29D7-4B8F-AE19-023CACC2DD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232187$71EBD942-F920-4BC6-9703-869BB998FE08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4854b5e9448adf04cc21ae67a0a451e0fde15f7","datavalue":{"value":"8189430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232187$636549CB-DA99-42EC-862C-01F9B40EFFA2","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":"Q7232187$DB28A096-7348-48DC-AEFB-C1F8B8F95ABC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232187$33BE9256-2BFF-473F-8B8F-E0FC8762BA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7165fec9115f05c93be2e6750db8f2bb02167cc","datavalue":{"value":"coercive subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232187$38790617-12ED-468C-99C2-D2E6D5D44422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dab6e80f7633752301a7b4ef2a284f8bd7cfc7cb","datavalue":{"value":"subtype universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232187$5DBFABDE-3EB2-45FD-935E-EF0C2273A1C3","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":"Q7232187$7D3168DE-B789-4B00-B4BE-C3CF917A6977","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdb95756aa43306201f66b71df34bbf1461cf69b","datavalue":{"value":{"entity-type":"item","numeric-id":2753671,"id":"Q2753671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232187$04CCA392-869A-4D6D-8810-109BBEE3AF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be63c5f271ce7f1f200c26e0ab76283f6d86ebd","datavalue":{"value":{"entity-type":"item","numeric-id":1322473,"id":"Q1322473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232187$B96EB718-9A4D-46B0-8856-76CCFCD76E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e460bf1aeaf21d463b463945dcb5c79b0ffca705","datavalue":{"value":{"entity-type":"item","numeric-id":6061874,"id":"Q6061874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232187$2FF1FFB7-750B-420E-A7D3-6021073F4D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bc8dae1994f1675072ec162c7c6788e05d8d41","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232187$0982EC4C-CD75-4FAE-B8FA-A84C7A2AB51A","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":"Q7232187$061BD0EF-1610-4C9C-8C82-944C77B7EBFE","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":"Q7232187$9EB2832F-D436-462E-A16E-4068AA74B337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232187$9A51119B-5B6B-4318-A8D5-377A0073088A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232187$FA6DF108-DDAF-420B-9CD1-002CCAD19C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4436008312f50bedb48fa8d06ec6ec3a3a0daa26","datavalue":{"value":{"entity-type":"item","numeric-id":1327694,"id":"Q1327694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232187$E239BB68-7342-4584-B6E7-48E9279D5D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee2f94b9261db91fcb79ee075343540417328d","datavalue":{"value":{"entity-type":"item","numeric-id":4843182,"id":"Q4843182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232187$4345B822-EFA1-45C4-8E97-E346CC5527C5","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":"Q7232187$F7FDDA63-560C-486B-88E3-DA1F67D5F4BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subtype universes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subtype_universes"}}}}}