{"entities":{"Q5667480":{"pageid":7697040,"ns":120,"title":"Item:Q5667480","lastrevid":37907327,"modified":"2024-11-13T14:36:00Z","type":"item","id":"Q5667480","labels":{"en":{"language":"en","value":"The complexity of theorem-proving procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3400443"}},"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":"Q5667480$0CF8AED0-E90D-4295-81B0-5F30398D39AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff8c52536a8ff3ce26c415a7dbd1494ba7730b04","datavalue":{"value":"0253.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5667480$AEE7C9C0-8BD6-4ED4-81D8-E9D4FB686B70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5667480$00017CBA-A6F3-448D-AC22-B4D530F781A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5667480$A99ED96C-B717-44DA-BBB1-B1DB93ADB214","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8ad55fb0c602c51b31fd120ffcfddb8afeef91b","datavalue":{"value":"3400443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5667480$3CDE89E5-C8EF-427B-859D-AC5FAA0D00CC","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":"Q5667480$CE01D49B-CBB4-462C-AFDB-2D120DECA1AB","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":"Q5667480$531E9F6A-73E2-449E-ABE8-8E04F7A2A7CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c922fdea000af7c5acb19de01a8157c18ffed736","datavalue":{"value":"https://doi.org/10.1145/800157.805047","type":"string"},"datatype":"url"},"type":"statement","id":"Q5667480$3E134B8B-9C3F-4B9B-8370-38BCAB02C2CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e656558ff90df164ce08a8310ed34136ed2284a3","datavalue":{"value":"10.1145/800157.805047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5667480$3D1360B1-47A4-4AC2-B803-7AF65973100C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14135e9fd92e757c1968bc27a2d39eccac492ece","datavalue":{"value":"W2036265926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5667480$FE0F5B16-3882-4BE9-9CC9-682237A25DA8","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":"Q5667480$0010CE19-B765-4579-8F34-0105CF31FF85","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3c0fad5d4dabe4b0720059accb536029d1a962a8","datavalue":{"value":"Q55867257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5667480$7B868CD0-5033-43D4-B27A-940C9DDF6134","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"9343728194ac95ebb22e33e192df9c8311c5d78d","datavalue":{"value":"conf/stoc/Cook71","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5667480$CB0A7CB2-CC49-4C90-B071-27001D563DED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5667480","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5667480"}}}}}