{"entities":{"Q4296962":{"pageid":6326563,"ns":120,"title":"Item:Q4296962","lastrevid":47253598,"modified":"2026-01-01T03:36:19Z","type":"item","id":"Q4296962","labels":{"en":{"language":"en","value":"Metamathematics, Machines and G\u00f6del's Proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 595293"}},"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":"Q4296962$4BB45EDE-8E60-47FF-9D27-603AD0C4E27D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44fdccb18da0c21c49efa96272b1c93d39f286ce","datavalue":{"value":{"text":"Metamathematics, Machines and G\u00f6del's Proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4296962$D81357DD-C451-433E-A315-51258AED90B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ee934502d1a7d48489839d1a71db896e2eab4b9","datavalue":{"value":"0813.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296962$D78892AB-FC7F-47ED-8925-349CB2434B83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccf340125c6ecdc6f703414799e360c7b9be05ec","datavalue":{"value":"10.1017/CBO9780511569883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296962$18872A34-93A8-452F-93D9-C76F1D00D4AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f977cc4afe30a7452131df7ff084411daffbbaa","datavalue":{"value":{"entity-type":"item","numeric-id":532428,"id":"Q532428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4296962$B626458F-C67C-4CFC-934C-C033BD088632","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8ff312e5cb771f70cb6bc870a35325e911887db","datavalue":{"value":{"time":"+1994-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4296962$7136062C-E993-4FFC-AB70-174987FF0F94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296962$5DD2EB49-0430-46A9-B5D0-0E3497B9FD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296962$E2033AD7-2E80-4BB9-BBBB-C586192785C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296962$2BE5688A-375E-4D41-9567-A14D6E5E818E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296962$7F669C44-1929-442C-AB39-3033F444F9CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc3bb78bd4c38d41db1ca18ae7bd27647e5f6a38","datavalue":{"value":"595293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296962$403A605F-B5F0-4429-94A8-D8DDD10371CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67935c9745e86097c5a009e8bb47d5846729f37a","datavalue":{"value":"Boyer-Moore theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296962$0E163744-7510-4D9C-8293-B1E8402036F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296962$0EB90A01-72F2-4DDD-B8C6-0D21ACCF62E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6adc9193e4fd470a9ecee71842fd8d98a8290cb","datavalue":{"value":"Lisp programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296962$A8CB3990-EC60-4E7C-9FD0-214F22519CCE","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":"Q4296962$37919C2D-459A-4E52-A463-9D28D8CBF20E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e928afe9537533d492d1b4c9800ec04040c5b072","datavalue":{"value":"https://doi.org/10.1017/cbo9780511569883","type":"string"},"datatype":"url"},"type":"statement","id":"Q4296962$80845C9F-657F-4517-9A3D-104DDBE51A3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"327971c3e2e4bdc57040c5b13fee236c541b7184","datavalue":{"value":"W1968376266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296962$F5AA03F0-38BD-4939-A8D2-14D690718932","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46fe5c150997d387043c16332b2de5bbe073a23","datavalue":{"value":{"entity-type":"item","numeric-id":1821563,"id":"Q1821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59205793e55644dc0070a5ab7dba51f3bd027e89","datavalue":{"value":{"amount":"+0.7972966432571411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4296962$2DE8780B-D339-4C3C-814E-54AE182D75A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed568acc97b60cfe500b2d77b34977646fb680de","datavalue":{"value":{"entity-type":"item","numeric-id":4003735,"id":"Q4003735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc941a45ed0f88b6f5786f93e5ea6f41679a815","datavalue":{"value":{"amount":"+0.7592901587486267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4296962$F43BAA6D-AEF8-4BDE-AFD2-E82D60007EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372d2d481c85fd36ca116a2c71fbd4c5a0eb7c70","datavalue":{"value":{"entity-type":"item","numeric-id":5198513,"id":"Q5198513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc941a45ed0f88b6f5786f93e5ea6f41679a815","datavalue":{"value":{"amount":"+0.7592901587486267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4296962$399B34FA-4F32-4CF5-BA90-F0889C4B3E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747926ebc36a5550fddc3c55feebb2327bb1a1e8","datavalue":{"value":{"entity-type":"item","numeric-id":3998241,"id":"Q3998241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62900cc01be8e8f1e96f621144c3bc026b142a42","datavalue":{"value":{"amount":"+0.7581598162651062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4296962$EEB36A69-EE1C-48E4-A360-6517073BCA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b6c84a206840a1fdaf076f6a3452df9c6fce3b","datavalue":{"value":{"entity-type":"item","numeric-id":3801105,"id":"Q3801105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7bdca61eafc9682be2ddabb1a50708ee3c4ac4","datavalue":{"value":{"amount":"+0.7571111917495728","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4296962$ECA7CD31-393D-487E-A897-B81A9628303E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4296962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4296962"}}}}}