{"entities":{"Q23989":{"pageid":24045,"ns":120,"title":"Item:Q23989","lastrevid":56253072,"modified":"2026-03-13T05:46:14Z","type":"item","id":"Q23989","labels":{"en":{"language":"en","value":"Nominal Isabelle"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"8f7335776ab050b175e349db725fdb3d710cff5e","datavalue":{"value":"12055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23989$A4796D38-CFC0-4018-A65D-12712D68F78B","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"704c5ee73f76ec45116b4ede67a2c1923549dfa5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$A93FD024-3592-4DA4-AC06-49EEA7D545E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"212713afb8242723fc4115141e5978b8dfdf5487","datavalue":{"value":{"entity-type":"item","numeric-id":5892493,"id":"Q5892493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$91E2DB3E-292F-4161-AD0B-788C6B87336F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$EC76ECCE-709E-42BE-BE1C-53BA20590822","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"48f44411b76d60e8802ad652a81512bb3bd176f5","datavalue":{"value":"https://isabelle.in.tum.de/nominal/","type":"string"},"datatype":"url"},"type":"statement","id":"Q23989$ABE8FDB4-45C2-42D8-BA5A-84745E2D2960","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23989$12419E3B-67D4-4D0F-BD15-28D2F1D16959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23989$09CB8981-F8F8-4968-B9B3-C81E537C2BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23989$21575A29-F3D5-4ACF-B33C-D943F9C038DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23989$D5B67136-2ED8-41FA-BCE7-A7EC81CA105F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23989$37D30971-D153-439F-A224-4444DE50A24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cdd04b3c5243643f89ff1bab2287589642562be3","datavalue":{"value":"97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23989$68B18636-2CF5-4950-AA72-6CE435EB0DBF","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$B82CAF72-773A-4D22-9A54-8FB17740DD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cb15924b3f11a91ed3d52d01ae18199742cf1a39","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$F2A89AE7-03FE-4610-B4F3-C02960B11DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$53D7A160-7B76-481D-BCB2-90CD92E6A45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$75930242-FFB0-4BA5-A666-8346FD1CEE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4244bd21b3a60c5b7dc07ce4b342a92594fee47f","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$E9CDB657-F9B3-43F2-8BC8-81D95CE9192D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"54967cdfff4fe27e4c75d99ed97c193e93bcbed1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$4B92D89E-186E-4163-8823-9BFCB4B91780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bc38458efffcff78fafbe01cd7c86606976b2c00","datavalue":{"value":{"entity-type":"item","numeric-id":13181,"id":"Q13181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$73061F00-3F72-4866-94CA-D5D75E262D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7f5ca315779da8f3ad5a2fbb8c2eab4dc7726a92","datavalue":{"value":{"entity-type":"item","numeric-id":40287,"id":"Q40287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$B25F37D1-6D80-4CE7-9063-6B78929368DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$6A598604-312B-4C95-8DCF-EB3AA4727AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"53a6dac7f19d6d795c638a12b99e2038b7907c02","datavalue":{"value":{"entity-type":"item","numeric-id":13417,"id":"Q13417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$07373F30-842B-42D1-84E5-CA731CCD3925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$C5D0F44E-9392-482D-BA71-21B63E5B8054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$093A9960-FA0C-4460-AB21-A968FCBA38F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$C963CDDA-E0E0-45F5-8F59-717B16D1B754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"04471942b52aaaa3b0260073efe4a22bd9266ccb","datavalue":{"value":{"entity-type":"item","numeric-id":20987,"id":"Q20987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$8D345811-C531-496E-A4CE-CAC996C1930A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ec62e09023b4499a5f32d5b66aa8722181c9532c","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$F3231F81-0443-4F8A-A42B-9BCD86BAA193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"df2209f238bd09444b5840922237770a9a510d98","datavalue":{"value":{"entity-type":"item","numeric-id":14061,"id":"Q14061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$9C74E67C-7306-43FE-A295-5C355B07DE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$429AB666-A0D0-4211-A483-49494B543D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23989$CEE1B9D0-ABB2-4B16-8A54-40D87B8AFE29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nominal Isabelle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nominal_Isabelle"}}}}}