{"entities":{"Q4298571":{"pageid":6328172,"ns":120,"title":"Item:Q4298571","lastrevid":28506646,"modified":"2024-03-05T14:12:37Z","type":"item","id":"Q4298571","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 612169"}},"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":"Q4298571$1F0E2809-CC3B-4D3B-85EC-B4E2876F6E05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ed66a7389fbac14841ecb9f1b89d7c56ec861e2","datavalue":{"value":"0795.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4298571$32529876-9168-4D65-999A-9113CD930D9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5866f2312a96c68937ecd247ca8e2756e26159f0","datavalue":{"value":{"entity-type":"item","numeric-id":1201998,"id":"Q1201998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4298571$C9121476-FC5B-4B52-85DA-FDA2FA03CC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"533e6a2f2483a32398b8daadaa250165970e45d9","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4298571$349B13A3-8475-4448-9CEF-F270D1A3C020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4298571$1A311475-E484-401C-BAB5-DE4FC75496D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bae0a83b7a4957d894839ec0f21ae5de7c84c8c2","datavalue":{"value":{"time":"+1994-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4298571$BE32FFBE-C671-439F-B2AD-2E98B00ABB2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4298571$56F046DE-9102-4977-8F66-095D2664FA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4298571$D145B5BA-C960-43CE-9505-789F95E6E24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4298571$D3D3DA24-A177-47C5-ADA6-CB0EDF09FE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4298571$7301BE1C-AF10-4335-B4DB-F5D4B9C718B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42834a2bb8a2d9f45ef51e280dc45db246b3862c","datavalue":{"value":"612169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4298571$E6677806-3F06-4AB3-B674-6E9BC050D478","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4298571$3A01E9BF-3AC3-4D0B-8523-182990D498B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4298571$03EF7CA6-617B-42CC-A352-7CEB5A51C074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39021fca6ba198706e2baf4a838312c43eea2b99","datavalue":{"value":"compactness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4298571$F46E902C-FFE7-4453-B649-07266FF44C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ef6e533aa8cd4483d8785aa4fc5b0ac5c0d7ab4","datavalue":{"value":"L\u00f6wenheim- Skolem theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4298571$377D1C99-3F3D-41A0-B933-483DCE03ABC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a966af23592156087b1c150d4af3a65966a84a54","datavalue":{"value":"G\u00f6del's incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4298571$8A0B4ACB-049F-4C75-AF40-10F1E07F7201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39b51188ce6653d6c475b0f1160b256110fc7c68","datavalue":{"value":"first-order logic and its extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4298571$918BBE62-70B7-403A-91CC-8495CE9E0063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4298571$391FA470-C5A2-41CF-BA35-58E2435284C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4298571$71A7FAB2-0AAC-4A14-A7DE-D95DAD1D55EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4298571$8049FC54-EC14-4100-B7D2-40C36FD5110B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73aa4ffea3012fda927bf7bd8f03e1f55a43aea","datavalue":{"value":"free models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4298571$F389F639-D7AE-41F9-825F-181B7E771584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4298571$6BFA15E2-FB8E-4494-BDD4-D440658CD84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eb313d3005a5865e8a1b33f13a1c66f607feb6","datavalue":{"value":"elementary equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4298571$16671DF9-F3ED-4024-ADA5-1FCE3B1A8C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cd5149dc55f0effd39635869c596ffe608017e6","datavalue":{"value":"Lindstr\u00f6m's theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4298571$F4191111-C9A3-4382-83E7-3F93D7A39ADC","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":"Q4298571$C9F4337D-10FE-4259-A13F-DA72B10ABBB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4298571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4298571"}}}}}