{"entities":{"Q6399288":{"pageid":13532558,"ns":120,"title":"Item:Q6399288","lastrevid":59082141,"modified":"2026-04-07T12:08:21Z","type":"item","id":"Q6399288","labels":{"en":{"language":"en","value":"Average-Case Hardness of Proving Tautologies and Theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900534420"}},"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":"Q6399288$EB29E9A2-C68A-4A25-9515-E6338A72BFB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf2c65e2610039dd594d3eccc0f99fa0861d5c5f","datavalue":{"value":{"time":"+2022-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6399288$E9E1B68A-D178-45A8-A2CF-37F18813C770","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56050a9ba2cb690fb09990770fc7eef08677e42f","datavalue":{"value":{"entity-type":"item","numeric-id":620963,"id":"Q620963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399288$E5370450-A24D-4A71-AC01-89817E0B1CB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be8df47a7b018b989a8a1c204bf68a9d352e9113","datavalue":{"value":"900534420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6399288$6AB4DF6E-B168-4EAB-93D4-B6FD3127E8FD","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":"Q6399288$542B8DD8-B110-4538-8151-EDD7E5B6889D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6399288","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6399288"}}}}}