{"entities":{"Q5907067":{"pageid":8020049,"ns":120,"title":"Item:Q5907067","lastrevid":41048426,"modified":"2025-04-18T00:13:54Z","type":"item","id":"Q5907067","labels":{"en":{"language":"en","value":"Logic and structure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2061738"}},"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":"Q5907067$D16C10FD-2E63-4F51-A316-37E3068F6260","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"610c62c1275aeed632765080bbd3a1850b8e9ad9","datavalue":{"value":{"text":"Logic and structure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5907067$33C45EE8-2EA2-4E32-916A-B843EDE7C201","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39be115718f402b2b652863f993eb086aeb3670e","datavalue":{"value":"1048.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907067$8AB2433F-FBD7-47E2-B0ED-E25CA1CDB9D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32703013e48b6fca4d8376e11e20595364f600e2","datavalue":{"value":{"entity-type":"item","numeric-id":451976,"id":"Q451976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5907067$6253CBA2-2D39-45CD-A61E-4BB2A0F269FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8add31f26cdbf28161a196bae4082822a85ebe4b","datavalue":{"value":{"entity-type":"item","numeric-id":166422,"id":"Q166422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5907067$6EFA8375-CFDD-45B7-AF74-2E6E351D46E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a8266cba97a5fa38fec6f45ce8cd9417edb8aef","datavalue":{"value":{"time":"+2004-03-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":"Q5907067$606324A0-2481-41C3-B16D-273E270BCCAE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7a7ef58362d3ec3055a74befe90e3c71c1756f22","datavalue":{"value":"This is the fourth edition of an authoritative and well-written textbook of mathematical logic. The most significant improvement on the third edition [(1994; Zbl 0807.03001)] consists of a new chapter devoted to G\u00f6del's First Incompleteness Theorem. The approach in that chapter is fairly standard, by way of primitive recursive and partial recursive functions, recursively enumerable sets, representability, arithmetization, and the Fixed Point Theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5907067$1D459DFF-B1F7-40AD-AFCF-9E692F1D087A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26f302fffad60805a47395a27a6584ad8a15a6e0","datavalue":{"value":{"entity-type":"item","numeric-id":587231,"id":"Q587231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5907067$EF419ADE-9818-4A02-9043-F3CDCF92E544","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907067$38AF5C16-4624-4E28-BD46-8F3B094B0823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907067$16F78EED-30C0-49F2-86CB-B95BB6120F6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28f44118df631c8dd8ab3eec5c4b5f015cfc380b","datavalue":{"value":"2061738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907067$FDED0F05-71AE-469C-B26A-DC37B652FFE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5907067$14FD2496-9BF5-4FC9-98B3-88A7F254C60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5907067$89EE4D69-A2EF-4C8C-B5C1-B1ADCCE6829E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5907067$4EDDF244-4619-48E1-B77A-309F90FCD17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5907067$DA527005-49E5-41E6-B5D6-9C4ED04672D6","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":"Q5907067$9C345599-09E4-4386-86E4-1A32D56407AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6460db5d040225e953d1893311f127c7fa879d4","datavalue":{"value":{"entity-type":"item","numeric-id":5891768,"id":"Q5891768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5907067$99D705C8-93F4-46C9-ABC4-BEA99D2C9C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64481d16e196e786520b69706f976836e424f40a","datavalue":{"value":{"entity-type":"item","numeric-id":5906606,"id":"Q5906606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c691c4f5dbc2830ba53e0893722c52fee4925222","datavalue":{"value":{"amount":"+0.941583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5907067$823BC147-1525-47B6-ABB8-0DBDB45075F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd887275692ff0624cc12311ea88a931e59918ad","datavalue":{"value":{"entity-type":"item","numeric-id":5916300,"id":"Q5916300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed03c9ae68153d4c61aa3cb4eac2eddd403004ba","datavalue":{"value":{"amount":"+0.9415829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5907067$D242C21F-E884-4853-A156-0FA7430A14AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6952e8772a79811b50347f14f5e59c4268a7fd2","datavalue":{"value":{"entity-type":"item","numeric-id":1196790,"id":"Q1196790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a358bed015b54a22581536fa9676c1b4231eda5b","datavalue":{"value":{"amount":"+0.9383858","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5907067$3AE7E2FD-2201-4B30-8D90-F2598321F66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cedb9f967bb71f24400506412b28ed395221ce1","datavalue":{"value":{"entity-type":"item","numeric-id":4698609,"id":"Q4698609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e695b796365bf780b62fe9f7bec6f46927e1f87","datavalue":{"value":{"amount":"+0.927201","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5907067$1A7B6C24-0858-4235-BD63-CC559F21630D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c289978c1c236e928ff4b1e3547b0103b1570fd1","datavalue":{"value":{"entity-type":"item","numeric-id":4013802,"id":"Q4013802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877e37387eb47d007f8fc0ed682266ff01515023","datavalue":{"value":{"amount":"+0.9210911","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5907067$3E9CCDA6-3FA2-41A0-8E29-10D85FF4B314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258af323aaa21ca4360e77bd703600e0691b9757","datavalue":{"value":{"entity-type":"item","numeric-id":4230739,"id":"Q4230739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f82cff3c9197ffb3d85aa7c9ca3af17b83ff87f","datavalue":{"value":{"amount":"+0.9183017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5907067$37461DB3-523C-4CF1-BFBE-852BD7BE6313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a465ff2123013caeb030d04dcb6a63cd05f74d55","datavalue":{"value":{"entity-type":"item","numeric-id":2782584,"id":"Q2782584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f82cff3c9197ffb3d85aa7c9ca3af17b83ff87f","datavalue":{"value":{"amount":"+0.9183017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5907067$FD8092B5-5F98-404D-9233-C47C2120F897","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5907067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5907067"}}}}}