{"entities":{"Q2939531":{"pageid":2950251,"ns":120,"title":"Item:Q2939531","lastrevid":44753709,"modified":"2025-11-25T19:24:33Z","type":"item","id":"Q2939531","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6389560"}},"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":"Q2939531$1A490CA0-82F1-4228-A011-5690D24D94EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cdcf10fdf83e32233fe0525eccb41846077554a","datavalue":{"value":"1320.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939531$83F7324A-18A8-4808-954D-A036E4806912","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a6664b25304aa809ac73273551b57c46981097","datavalue":{"value":{"entity-type":"item","numeric-id":642519,"id":"Q642519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2939531$A682663E-3CB5-48F8-B9D9-47E3404FEB93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bb6c16b18fb3fcb7c20a96f2fcd94ae71f0f929","datavalue":{"value":{"time":"+2015-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2939531$3B224D80-2ECC-4068-862A-519079E06102","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939531$F04B4B7D-D29D-4944-93D7-5B9AF6894BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939531$0FD38B50-F445-4B41-9B2C-59D4B8566ADC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd1234b7f3fb4c8d967cf36b84ad06fbb0873a0d","datavalue":{"value":"6389560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939531$5F083783-41D0-4F6E-BFE5-0AFBADB33253","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b776b88c5e028a6ae98f4a6f5ff1a9ecbcab20fc","datavalue":{"value":"random 3CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2939531$9150F7D3-FFFB-4E29-90B2-0E3C81807FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304f6fe8719f1ee959bfcbda5874c26c16fe673e","datavalue":{"value":"\\(TC^0\\)-Frege proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2939531$616B713D-79D9-4D8D-9060-7EEF036E77AF","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":"Q2939531$A5F291DD-7CB8-424C-9246-2EA927D74589","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2939531","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2939531"}}}}}