{"entities":{"Q6260425":{"pageid":13397182,"ns":120,"title":"Item:Q6260425","lastrevid":102767375,"modified":"2026-06-06T05:33:51Z","type":"item","id":"Q6260425","labels":{"en":{"language":"en","value":"Propositional Calculus in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900243762"}},"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":"Q6260425$B1D767A2-77E5-45E7-83D7-FFB93026ABF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"431bdbf37423818137431b52ab3aaf4b16104bbb","datavalue":{"value":{"time":"+2015-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6260425$F7198FDD-7CD9-4B09-B5D5-A0C0D360C251","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dc9f7061148c184d156fce1cd302b98949f36de","datavalue":{"value":{"entity-type":"item","numeric-id":1687767,"id":"Q1687767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6260425$BA91FAA6-6EE5-40D6-B3E9-4C9D54FBE9C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"affc494056ba662fd0b7d404cdaab647d6641f55","datavalue":{"value":"900243762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6260425$4C0C6FF9-EC63-4849-A2A0-8D682AE9EC82","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":"Q6260425$E642C469-222E-4F7B-92BB-57D21F7758C4","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"2bae284a13aa641ce32c9ab69000632fa1f21339","datavalue":{"value":"https://github.com/arademaker/alc-lean","type":"string"},"datatype":"url"},"type":"statement","id":"Q6260425$4090948D-2484-4735-9690-9575A8DECFC8","rank":"normal","references":[{"hash":"a8914585ed9820d0f3f984b7c9edc7c64e41823b","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"3ad7fdf532881d87602a27ae0784a2d29991fc49","datavalue":{"value":"https://paperswithcode.com/paper/propositional-calculus-in-coq","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"f846dfc57207c7640d2726d8f72d9e8a317f0bcf","datavalue":{"value":"repository README","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional Calculus in Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Propositional_Calculus_in_Coq"}}}}}