{"entities":{"Q4193429":{"pageid":6223030,"ns":120,"title":"Item:Q4193429","lastrevid":28410431,"modified":"2024-03-05T13:39:24Z","type":"item","id":"Q4193429","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3632418"}},"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":"Q4193429$A938A187-6DDB-4263-84D3-108195A87C8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3658a0c4708c44ebc1f9fb1950c590a6e4bbdd9","datavalue":{"value":"0407.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193429$331AF30F-2D71-45E4-B96C-518639E18EB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec2ea7c0917c71fa16fcbeee26360dc1f34f4efa","datavalue":{"value":{"entity-type":"item","numeric-id":1196199,"id":"Q1196199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4193429$7A1D2C9A-9910-4EA4-B0E6-42EBC29016C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q4193429$0DAA4DE1-41D4-4F86-8262-0245FFBB6A8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193429$318B6630-3808-43E1-88B9-DCFCE7AA4414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193429$EE50AEC3-D1F5-4717-8DE6-9E19F5EADE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193429$A8774376-CC30-4A67-89B9-9305F1ED3AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193429$37E2F757-7EA0-4F34-85D6-F37BD1821573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193429$E11E61B8-38F6-4C9D-B57E-79FE4FEB0130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193429$84A38346-02B8-42E4-A047-BE858E699E71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95a26864b15638b84323a006fb0b6e66003077c6","datavalue":{"value":"3632418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193429$9A776AB2-5D4E-44F7-88E5-B2A09D28AC86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed468c09dce8a2c54c5c711fb3946dec9105d9d9","datavalue":{"value":"Computable Functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193429$1B29B208-7A71-4664-9F8D-260B8BD27202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddca30906d7734aa6c684284756091b7330478bc","datavalue":{"value":"Semantics of First-Order Languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193429$31E98ABE-E6B5-44F1-9B5A-6A06BE0E53F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"628aa4ced1bee644ca88ef1059dca1722115855f","datavalue":{"value":"Axiom Of Choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193429$D04DEC86-00ED-45A8-B2E2-8CA8855AED47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71e5a7e4166760568b5e13fd1aeb0c47b35b1d1f","datavalue":{"value":"Non-Standard Models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193429$8B5C04F2-ABD4-40AD-A0FF-9AE4BA36C8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b0977a1c11339e29618178752e7a03b70bcce1a","datavalue":{"value":"Computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193429$4A59A1A8-E095-40EB-91EB-774FD6CD1078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18842cd483d689f7f1bd1a4af6201f0a22ce8c07","datavalue":{"value":"Recursive Functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193429$CE385D00-FBBC-4D8A-BB60-15FF561991CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"161972255ef7c5b68a5ec99b783efe2497fd41bf","datavalue":{"value":"Ordinal Numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193429$73B5BA78-C6E6-4FA7-8E5B-5D65CB85F8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a1410c14fde037a1adb8d42a67b97d2053cf83","datavalue":{"value":"Paradoxes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193429$BFC16C56-7CA9-4583-BBAF-6EC7497A5811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e017e720115e4dcc64fa12a27214222e3f65af41","datavalue":{"value":"Model Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193429$9406B699-3AB2-4040-9E01-99E98501E31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfb185ad069bfaa675dddb2047bb95cc80925215","datavalue":{"value":"Definability in Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193429$1F7D1356-74FE-422D-A587-64C05A24B645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11a94a78e9576997c2b4cb8070c8431fd8d450b2","datavalue":{"value":"Cardinal Numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193429$8CE8308A-3EC5-4FA7-A806-E0CBC0835819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3724af35762637cf6b9ca07645897894dd04f18","datavalue":{"value":"Transfinite Induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193429$3EAB4C4E-0DF3-47FF-8993-DE541352CD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a06f951047bba890a80ed15dc4ebdb0c846f743c","datavalue":{"value":"Recursively Enumerable Sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193429$AD99E4E2-C214-4179-B2FF-D37BAB2FF144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de94567c85a034315623c695eeb62602ff609eaf","datavalue":{"value":"Turing Machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193429$7A9E8299-6423-4737-8DFD-14979C9C51F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ccb09c35c04f0bb42f95d1d255061a718279e41","datavalue":{"value":"Goedel's First Incompletness Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193429$FD5697E6-A0CB-47AB-A6B1-CDF0091F275A","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":"Q4193429$979F62CF-7C8D-4353-A685-4D93230AF8F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4193429","badges":[]}}}}}