{"entities":{"Q3663255":{"pageid":5693161,"ns":120,"title":"Item:Q3663255","lastrevid":49930090,"modified":"2026-01-12T03:18:39Z","type":"item","id":"Q3663255","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3815601"}},"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":"Q3663255$CF9A1B77-C808-4477-A2A9-A89C5BBF40D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9472b1608fc06eeeb3b698f9a4c6162a1f1bf2c","datavalue":{"value":"0516.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3663255$50310FA0-E116-4F20-B7B5-C13274D62CCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3663255$87F90DCB-1498-4F1F-B9A0-97374BF4C996","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3663255$817F47A8-11A2-44BD-A688-14FBF4CA7BA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3663255$9B8A1313-EDAC-4104-B18C-45A496CB5DFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbd28a0d778888f1307a46cf763ceac3b5392510","datavalue":{"value":"3815601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3663255$8ED889CC-BDBA-4E45-912A-D35450FD1652","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0477bccc0630801c3db0936f47b83aa4b0b613b2","datavalue":{"value":"meta-mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3663255$6D13E3AE-F2C3-4B16-8F58-6CB6A2DD3B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35a6666dcba16af52f2d2c4bb5ca909f7f569554","datavalue":{"value":"second-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3663255$228BB349-6506-4862-BF07-72A9FB4DF24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbebc5a9dadbfc5edd92cf72e869fc1ab557196e","datavalue":{"value":"pairing structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3663255$006D09D4-DE9A-42C9-BF16-2F4F9C197066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59471615c04e8779b5109b9a60d14bfd3bd31fa7","datavalue":{"value":"construction axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3663255$3D385E58-68B4-41C7-A4ED-9629C015C8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"380dc6e6e92ae93516c3fa8fb3386cafbda3b4ba","datavalue":{"value":"elementary comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3663255$ABB989E2-C83D-408B-8FDC-8EEA3389A6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a15779bba3ee6d4a98d1908fe262f2fe37bbc471","datavalue":{"value":"positive existential formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3663255$F6951A2F-B330-4395-881C-92F134EAA779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c650cd24025fda13c07b573c157ff74ce0568a88","datavalue":{"value":"incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3663255$B1926310-6808-47C0-8EB5-7BB229D2C0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"634be307fa41ea9d9f0b603f3d925b32f20ac3ef","datavalue":{"value":"countable model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3663255$4501EE62-4E45-4283-AFFB-01847C5F112F","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":"Q3663255$2C041A8C-406F-4288-AA87-3F39653CB8CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3663255","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3663255"}}}}}