{"entities":{"Q19182":{"pageid":19238,"ns":120,"title":"Item:Q19182","lastrevid":56230554,"modified":"2026-03-13T05:37:44Z","type":"item","id":"Q19182","labels":{"en":{"language":"en","value":"Automath"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"b9652ae93ce2feab8b9aa63b676439954657a198","datavalue":{"value":"7127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$7671B17D-573F-4F5E-AC4E-5F497E9BF0CD","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"2b6da795016c5d217be30f0835effc03c6b4ad2f","datavalue":{"value":{"entity-type":"item","numeric-id":4122841,"id":"Q4122841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19182$E5F89CD5-D26C-45DD-A660-3F52528F5936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"538739a3f6ef3a67ee454430349299c5bca477e3","datavalue":{"value":{"entity-type":"item","numeric-id":1868514,"id":"Q1868514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19182$AB8B97DA-940F-4465-85A4-7F8CCFDCA0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"ed3ed65af1b836ed431419482e2f9632124f447e","datavalue":{"value":{"entity-type":"item","numeric-id":4924545,"id":"Q4924545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19182$4D1E6188-9954-4096-A0E2-7A2F2A5D5FA6","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":"Q19182$565D3148-DD51-473F-8146-87343B733401","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"696d93bea7fdebfa2bdc655485fd305f50ed33ce","datavalue":{"value":"http://www.cs.ru.nl/~freek/aut/","type":"string"},"datatype":"url"},"type":"statement","id":"Q19182$344E2F0F-A994-41DD-88DA-0A1A98A2785F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$C429239E-C13B-44F0-9482-B8D1B5DFC642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc624529bfb589cae1d19db3eb04dd4b43978c3","datavalue":{"value":"01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$58AF87EF-ED4F-4318-AECC-D3D1916EBD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$1B711380-9665-4EFF-96E9-E62A7070353B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$11543C47-5867-42C5-B375-5EC7A1AA8946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$0058CBB6-F06C-4E6D-90A7-EF029B1F61A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$5173FA19-67C9-4C1B-8CCF-D4972FE7898F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57514d4788d5abbd1056aadd506bc3f1b86263e","datavalue":{"value":"08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$45C5CCE8-6BDA-494E-A6B6-7A912C29BF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$CE55BDC0-9DD1-4681-9229-934CE5649251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$314FA401-6730-4F1F-AA0C-3E6E223C9FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdcc80d920f5e4d163108380bb0c7de24bca08b4","datavalue":{"value":"26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$24BD9145-A446-47B7-8299-B26F258C3639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389057ea232b6d266cab69038163241bd07104b6","datavalue":{"value":"51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$C001CC1D-58DB-4116-8ECD-C91F8FA423B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e24ee68b43931de13fa3c2edb783c4c41f7c841b","datavalue":{"value":"55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$9B3EB61A-913B-4A7E-896C-13BE7BC37BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4edc7e695c3667a3dc24594c0516548b87f81467","datavalue":{"value":"81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$99A85E84-C8E9-4467-AAC4-0993E399C590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"70815976aa44d316576d629b9a9b2ae7fe77d360","datavalue":{"value":"83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$E8F6BF07-2F0A-4931-A31A-7C2CC78E429A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$B6D5A27F-F29E-4D24-AE07-3DBD21548020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$B589E282-7057-49F0-85C6-7FAA9BA696D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$9594AB92-F5F5-4CCC-9B38-0EECDF56A218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19182$FCC7480E-76CD-41A6-ADCA-2123E64C3276","rank":"normal"}],"P1458":[{"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":"Q19182$EF4A46D8-2C19-4D1A-8BC3-1E52F05C4AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e7a1624ebcfc86cb11ccad80d0985ed6ed992b9","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19182$92345316-F239-4D7F-98CC-E3704C264979","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":"Q19182$3E1EA6FA-75E2-4177-9CB1-451CC4FA5527","rank":"normal"},{"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":"Q19182$99588FD8-D15F-45F7-BBA1-059A285D8821","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":"Q19182$BDFB409D-2A01-45AD-92E1-DC877FDAF8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"74e2f22f3455a86032de148ab76ea5527964cc55","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19182$3AFFEC2B-2F14-42E5-B5BC-B2AAE54BB912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19182$ECFB1F4D-71D4-4276-A591-44401599E9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e73a37b69b4e4b38b43e92f37c8e5d12860dd829","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19182$3A622EE4-4B9E-4CF3-A6EE-E415CD5F2E25","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":"Q19182$2336D12D-E680-4B8B-9219-03304609B242","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":"Q19182$9F69EBBD-CCA1-4BB3-BC14-4D366E0E6FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19182$BDBB267F-A091-444F-BF5E-17885D30F58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f01c83a5a54fee889f3ec90409eea63e50d19053","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19182$717E6877-F907-4060-BB73-C053B7886BED","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":"Q19182$6EC6EA5E-D9B0-457A-81DC-C31BDA2747A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19182$B2DBF7C9-3E59-4EFC-80D2-A97FEE5AAAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e2deb6bf1d4c2d4a91e6bd25d48cab95bae8848d","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19182$7BB0F6C4-90A8-4734-8F95-0E0481223F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dfac822d106dc7f697754008c4906d0b5156921","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19182$D1A9DF65-7484-44FF-B509-32AE529F80CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bf1a18ce9caf66819337a110934cb3723b5e15d9","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19182$2467771C-B228-4493-8164-FEE107DAE462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6d29b9e294eea1a26ce05a4d8663847cfc55575","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19182$A983F244-B266-404F-A59E-ADF68732AE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f90434dc9f18c178947daa52c2a32e7da8d366f","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19182$42B9C049-7596-4C05-A00E-55A56884313B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automath","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automath"}}}}}