{"entities":{"Q4804183":{"pageid":6833763,"ns":120,"title":"Item:Q4804183","lastrevid":74845581,"modified":"2026-04-15T00:37:48Z","type":"item","id":"Q4804183","labels":{"en":{"language":"en","value":"A note on the first incompleteness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1896672"}},"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":"Q4804183$97A02FAB-2B70-4613-B443-3FFCA3C54898","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fe401a03cf69320c09da18bff4e9a6ec5898c76","datavalue":{"value":{"text":"A note on the first incompleteness theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4804183$14FABB1D-85B4-4E36-B5E4-7F7891750313","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b0e0bebdfac1817b84586c1ca0e090ca2b210ef","datavalue":{"value":"1016.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804183$2C0FD5C9-8CAB-4A4E-9431-4A73CCCD3611","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31f76c48d9b5c52e7693f33b8363d2e8545d1ca8","datavalue":{"value":{"entity-type":"item","numeric-id":665916,"id":"Q665916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804183$5D156593-BC61-4B7E-B951-849794B59300","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804183$E51A78DE-FC3D-4952-9D54-933B60C7FCA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0c82779b21e083bd1cf024ff0b633233b5f9a39","datavalue":{"value":{"time":"+2003-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4804183$F4DEF66F-90CE-4AB2-AD21-82E57EBD69E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804183$0FD96B16-387D-4A1E-979F-F3EAC8319F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804183$62834396-5D52-495B-90B2-9C45884EC444","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"058cb740918f59391aaa3e0bc2434ccd03922718","datavalue":{"value":"1896672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804183$9BD7240F-5901-496A-88B7-8DA5F21451DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"950291c557f1ec9615a4390b1eafc3ec5c91cc12","datavalue":{"value":"first incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804183$84B1EB01-6D7A-4910-8666-6E694C7DDEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6e9ec2c67f069e15b215454a0f1074cd89acdc9","datavalue":{"value":"\\(\\Pi _1\\)-extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804183$85BE008D-2197-498F-8267-D311E55CCE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1789bcbc7524c6a3f1679d98098f5055aae7011e","datavalue":{"value":"\\(\\Sigma _2\\)-extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804183$406E4953-340D-4436-AEC3-FBAB6D16217E","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":"Q4804183$7B64915F-AA01-4AA5-9934-4DE0C5F694E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53fee785854c0b34e42c7882de329fa90a01a137","datavalue":{"value":"https://doi.org/10.1002/malq.200310021","type":"string"},"datatype":"url"},"type":"statement","id":"Q4804183$307EA893-D54C-4845-92FF-D06D58D1B0F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afaaa967ae9c44e1ca79700560cdd4b250a17578","datavalue":{"value":"W2038068426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804183$CD12513A-511A-441B-8D6C-9E218A8D4768","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"558ff2cc29a538f50d7d4a029e29b6c0d35242d9","datavalue":{"value":"10.1002/MALQ.200310021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804183$4EDB2097-D2C6-47E6-ADBE-1A96FBF133D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the first incompleteness theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_first_incompleteness_theorem"}}}}}