{"entities":{"Q43957":{"pageid":44013,"ns":120,"title":"Item:Q43957","lastrevid":56381889,"modified":"2026-03-13T06:20:59Z","type":"item","id":"Q43957","labels":{"en":{"language":"en","value":"Auto2_Imperative_HOL"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"e84ee395d70c0619dbd8f3441f4608fff644d78d","datavalue":{"value":"32246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43957$7B6CF0C8-16B7-4442-A026-4C37EDE40A94","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"8ae17d98a9b6a1d1f81d5f10a4712d1f70997ece","datavalue":{"value":{"entity-type":"item","numeric-id":2324204,"id":"Q2324204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43957$37FF342A-09B7-4BAE-83C9-24F955CB83CF","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":"Q43957$449A3E71-4039-4987-820B-98F7274EF69A","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"66bce25f4003935a56a806a8800e8a2bdcb2dfc1","datavalue":{"value":"https://www.isa-afp.org/entries/Auto2_Imperative_HOL.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43957$A091A7B3-CD0A-4249-9C89-80EF30FD0057","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43957$199B1CF0-6739-49A0-9010-36BA58CDCDB1","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"845fea984bd3d6706acc856d0595755051e72c0c","datavalue":{"value":{"entity-type":"item","numeric-id":40263,"id":"Q40263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43957$997CEE33-938B-4A97-B281-E05FBA79D26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5a90f59e98daa7490325c2b5f9c5a5a63b8942a7","datavalue":{"value":{"entity-type":"item","numeric-id":29452,"id":"Q29452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43957$39DAE042-BBF7-49D4-A46B-65174895A318","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":"Q43957$46FC967A-D79E-4806-8B5C-DAC363BEB328","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":"Q43957$78B8B093-E678-4103-99B0-069FC1590AC3","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":"Q43957$5CDE6EDC-38C1-4E89-AC95-97470C77E168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e600fcf4c16bf9bbec6afc7a64801eb6824b335c","datavalue":{"value":{"entity-type":"item","numeric-id":40264,"id":"Q40264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43957$DB35E8F9-2067-44AF-948E-642BAE9D2127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ccca80b6de24b80a4ce2a4ab4e48d31e9686f36a","datavalue":{"value":{"entity-type":"item","numeric-id":40262,"id":"Q40262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43957$5ACE44A9-7C29-41B3-8E62-5CD60A90E98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce995af0d54f8ab3594278c155d6ae4d6e3a6165","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43957$DA27267A-EBF1-4461-A740-16042673A475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"750318cfe328b0c4f7914e491e85258c103e5abf","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43957$41D13F22-B969-4686-BE9D-B169E9A479A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"263af5c0df32ed66fc675fae4932e71337532265","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43957$270D6FB7-FF1C-4E87-AD4F-E59D4F0592FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"30c6b3cd0def4321e84267e90719462e2335afdf","datavalue":{"value":{"entity-type":"item","numeric-id":39280,"id":"Q39280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43957$F62D24AB-25C4-4EDF-9B0F-DF1FFEE49ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7d1a8519018039436924ad678b461ed447b5bd71","datavalue":{"value":{"entity-type":"item","numeric-id":40310,"id":"Q40310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43957$B8FBAA71-C938-448C-B9DA-2C6624842809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"97473639ec969c4bd205167b5490e46ab87bd594","datavalue":{"value":{"entity-type":"item","numeric-id":41252,"id":"Q41252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43957$0E3F5C04-4ED1-4813-B053-6F5D5B757D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"87a0d437bd9fe1eedf9e3f8e0a5bdfc771637764","datavalue":{"value":{"entity-type":"item","numeric-id":41251,"id":"Q41251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43957$B19430CB-7493-4CFD-A523-2E11605E4F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7e366e7ad793e17029c92e0a9db53146b13f2367","datavalue":{"value":{"entity-type":"item","numeric-id":34516,"id":"Q34516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43957$4C514F86-61E4-40E4-B3D1-192D2DD780C3","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":"Q43957$F6434E32-82F6-4BD9-9062-3990EF1B96E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7ea0a87649edd4cae39bef36b6b305a729532abf","datavalue":{"value":{"entity-type":"item","numeric-id":39832,"id":"Q39832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43957$8BACE4DC-F762-409E-8846-C81926B3E863","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":"Q43957$F5CAFC11-033A-4C07-B71F-CFB3735902B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"07eb0f28b45c8f9b5cf112bbf02e95717fb938ca","datavalue":{"value":{"entity-type":"item","numeric-id":25202,"id":"Q25202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43957$7B2D6561-F6A8-4149-BD8B-A879FD959572","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Auto2 Imperative HOL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Auto2_Imperative_HOL"}}}}}