{"entities":{"Q5800356":{"pageid":7829907,"ns":120,"title":"Item:Q5800356","lastrevid":39642024,"modified":"2024-12-30T16:32:23Z","type":"item","id":"Q5800356","labels":{"en":{"language":"en","value":"A proof of the completeness theorem of Gr\u00f6del"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3061152"}},"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":"Q5800356$F1D1055A-7889-4724-A0B8-0EF5400CF28A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87b5d0dd3dafdc14c181505717752fce4adc969b","datavalue":{"value":{"text":"A proof of the completeness theorem of Gr\u00f6del","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5800356$F9A82046-DB6D-4744-893D-8511B9EA5069","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58fe3a4185a8f82c0032533daf17aa3b0bb7ce3a","datavalue":{"value":"0040.29303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5800356$B3EE8DF6-9AA8-41E9-9D30-5C85A0B06F0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a65d3ee39760dbd7e42dd19ee2c3375fc5b0e8e","datavalue":{"value":{"entity-type":"item","numeric-id":766810,"id":"Q766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5800356$6098F4FD-4D02-456E-9837-B858BF7E767F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69982c84600c98133207078aeadf20c183bd77c4","datavalue":{"value":{"entity-type":"item","numeric-id":3226268,"id":"Q3226268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5800356$437B1BFB-A9EE-40B8-AA1C-2DDA05ED0A1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5800356$D22F2B00-A4C1-4D33-B446-A4DA4AAFFB71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9614d061383ec051a79a9ad732be9771bcdc1d77","datavalue":{"value":{"time":"+1950-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":"Q5800356$7D88042A-ECCC-48A5-8BAE-54B71E370D9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a9cd14efcb7bc5d891cc361f517f0f6fabab602","datavalue":{"value":"https://eudml.org/doc/213213","type":"string"},"datatype":"url"},"type":"statement","id":"Q5800356$5AF45D64-83FE-4249-A657-4998CB1844FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2dfb2fb07074a358d52d2b4ddfca382a2e81c3ec","datavalue":{"value":"3061152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5800356$B35735C9-2ACB-40C8-AC67-00460F4A4175","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e52d3efb7f97d74890a026183b5a92a080ef346","datavalue":{"value":"philosophy and foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5800356$F7C395EE-7D15-4957-A56D-57684F2B5369","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":"Q5800356$60570FB8-66A0-4954-8447-54F197407FA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df2d06bf14e75058bfc2cf860c52c6a809f7aaa1","datavalue":{"value":"W767530356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5800356$BA3C8D08-2B54-4A53-AE3B-BBAA061FFFE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89375e7fc7ff93c42109a33e0eabac16f840718c","datavalue":{"value":"10.4064/FM-37-1-193-200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5800356$444F73FD-0D30-4CE0-BD00-64B9F0B7BA2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5800356","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5800356"}}}}}