(original) (raw)

{"entities":{"Q17030435":{"pageid":18636200,"ns":0,"title":"Q17030435","lastrevid":1568409583,"modified":"2022-01-26T16:08:59Z","type":"item","id":"Q17030435","labels":{"en":{"language":"en","value":"HOL"},"ru":{"language":"ru","value":"HOL"}},"descriptions":{"en":{"language":"en","value":"family of interactive theorem proving systems using similar (higher-order) logics and implementation strategies"}},"aliases":{},"claims":{"P6366":[{"mainsnak":{"snaktype":"value","property":"P6366","hash":"bde0af89e183c8abdf7dabd0c16c9f080dded7ef","datavalue":{"value":"17435882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17030435$ED56D833-5A80-4017-AB82-261D96AA8C02","rank":"normal"}],"P279":[{"mainsnak":{"snaktype":"value","property":"P279","hash":"2fced289babde9638cf8c452518f6de9bd0ee642","datavalue":{"value":{"entity-type":"item","numeric-id":11387554,"id":"Q11387554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17030435$64c1a884-40cc-b745-b558-8b9a39812521","rank":"normal"}],"P856":[{"mainsnak":{"snaktype":"value","property":"P856","hash":"48a5c24f2bee5c2ef31290c24f4ce0e7b4456007","datavalue":{"value":"https://hol-theorem-prover.org","type":"string"},"datatype":"url"},"type":"statement","id":"Q17030435$6afa9600-4359-41f4-fb91-3250a52895fc","rank":"normal"}\],"P4215":\[{"mainsnak":{"snaktype":"value","property":"P4215","hash":"e1a390774d17184832d3356815284fd28bd52cc6","datavalue":{"value":"HOL","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17030435$692D956B-158B-4DF6-8E6F-2EBBB405DF7E","rank":"normal"}\],"P10283":\[{"mainsnak":{"snaktype":"value","property":"P10283","hash":"a3880429039b02e936b404fa9449875d10843316","datavalue":{"value":"C17435882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17030435$C364A1F8-AEF3-4865-A03F-F6FCDA9C1F77","rank":"normal","references":\[{"hash":"c13ba4d7902ead2693f79396bc25bd35d4d14030","snaks":{"P248":\[{"snaktype":"value","property":"P248","hash":"4a4f26a5361b5707266e48e425bf2be2f99fd2ab","datavalue":{"value":{"entity-type":"item","numeric-id":107507571,"id":"Q107507571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}\],"P813":\[{"snaktype":"value","property":"P813","hash":"435834d08182bb9f3dbe974ba9840af0f12899cc","datavalue":{"value":{"time":"+2022-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}\],"P854":\[{"snaktype":"value","property":"P854","hash":"a4a4bf53f22268815c51ec10fed608da703c9c7f","datavalue":{"value":"https://docs.openalex.org/download-snapshot/snapshot-data-format","type":"string"},"datatype":"url"}\]},"snaks-order":\["P248","P813","P854"\]}\]}\]},"sitelinks":{"enwiki":{"site":"enwiki","title":"HOL (proof assistant)","badges":[],"url":"https://en.wikipedia.org/wiki/HOL\_(proof\_assistant)"},"ruwiki":{"site":"ruwiki","title":"HOL","badges":\[\],"url":"https://ru.wikipedia.org/wiki/HOL"}}}}}