{"entities":{"Q6979512":{"pageid":21380115,"ns":120,"title":"Item:Q6979512","lastrevid":84029786,"modified":"2026-05-08T08:00:52Z","type":"item","id":"Q6979512","labels":{"en":{"language":"en","value":"The complexity of theorem-proving procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8045186"}},"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":"Q6979512$DDBF6F2C-9399-473A-8213-0803F6E2941A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40c943b91f0ef4e3135b5b7abc6264c093145bc4","datavalue":{"value":{"text":"The complexity of theorem-proving procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6979512$C7D2FFE1-1AB5-4F19-A008-4A619A941C54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0c234bdbf29ee4361640dff7226c588af1bff1c","datavalue":{"value":"10.1145/3588287.3588297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979512$C50453FA-D462-48E9-9830-463D4C4ABEF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00ef32c5864b607ccf80c983c44b8c3fc4484c5b","datavalue":{"value":{"entity-type":"item","numeric-id":1096389,"id":"Q1096389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979512$3736FC9E-A6F4-405F-9CAB-DFAFE6B5BECA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ac151b60e8b10403741c3e79a2b957e91bb7920","datavalue":{"value":{"time":"+2025-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6979512$739CE354-58BB-4811-BB3C-D7A5173FDEC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979512$F3AD3550-70AE-4FCA-A331-C4468E2493CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979512$28F7EE4F-3F47-4A52-B0A1-D94FA9E41B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979512$13892C06-A55B-436D-90CE-0BA1D0AAA259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979512$409AE533-E54D-4123-AB73-15E5CA92F06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979512$61C99897-707A-4F86-B178-A0888EA38F6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1154d7f7d76a56ec2e45a69db6f6defcf9c291a3","datavalue":{"value":"8045186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979512$9AF8A218-40EE-4DCF-965F-BFF5801F7660","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":"Q6979512$5B633F96-931C-44AE-8662-20A6772DD385","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0909c5baebe8e5f5a9e964f05c720f232deade69","datavalue":{"value":{"entity-type":"item","numeric-id":5586401,"id":"Q5586401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979512$55FDD491-3E32-4FE3-A72B-69E852517017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9285a61f3039e7ce640456a9ea2b4d13665dc77","datavalue":{"value":{"entity-type":"item","numeric-id":5626625,"id":"Q5626625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979512$C4589F32-C48A-4884-9AFA-F5382B31E263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566ff1f2a128f5300661cecc6ae5d1c56f4f2a1f","datavalue":{"value":{"entity-type":"item","numeric-id":5597464,"id":"Q5597464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979512$B11C968D-8B1E-4192-BE05-730689EFCCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979512$0A7434E9-CC01-4DBF-99C3-86699E82E269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979512$9816385A-E821-46FD-B9D1-1DC7B2788FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ac7987817f6aa3f0dfed6a7706c23fd40baa66","datavalue":{"value":{"entity-type":"item","numeric-id":5339294,"id":"Q5339294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979512$9126B5CC-62BA-4E22-908A-3C761EA3F1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d213b1af57f6f45a5d764214e8263b3bd8012e13","datavalue":{"value":{"entity-type":"item","numeric-id":5509685,"id":"Q5509685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979512$B1B3C5B9-9AE2-4E47-BDDF-E6BA44D132D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of theorem-proving procedures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_theorem-proving_procedures"}}}}}