{"entities":{"Q5422334":{"pageid":7451908,"ns":120,"title":"Item:Q5422334","lastrevid":50187179,"modified":"2026-01-13T11:00:19Z","type":"item","id":"Q5422334","labels":{"en":{"language":"en","value":"Introduction to mathematical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5201824"}},"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":"Q5422334$8FA2A49C-F275-48F8-9EC1-DA43653E34DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"665d0b11a3c53192901ce9189f4ecd35b00e71cb","datavalue":{"value":"1139.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422334$089D0A4A-3CF3-443F-8F38-820552DE9E19","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":"Q5422334$87F3A6F3-60EC-4B79-BA41-CC0A91DE4B64","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":"Q5422334$1B61D5F3-86C4-41DF-9316-E8A9293083C6","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":"Q5422334$6C3D0726-D066-4819-A00E-05EEC4C826B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"243baf0e3d067a64e90f601cf4c8f4e9e8a79259","datavalue":{"value":{"time":"+2007-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5422334$352BA4A4-95ED-4FCC-8913-3118499010B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422334$57A3D702-40B1-4A2D-A560-BE34FAD2C548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422334$0D021A51-B96F-43F9-AEBA-5999E71BBFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422334$5CA8ACB7-3D4C-4596-AB6B-F4D958471FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422334$BFF545D7-F0D5-4599-ADD4-5284AD913A72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d89e8036de3ed876fefb29ff7d1abf78d553e84","datavalue":{"value":"5201824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422334$474C19C1-D5FA-4B14-8DB9-1D1938A89D5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d6efcbfbe86b85ffd4ced23972771b8438ff975","datavalue":{"value":"classical first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422334$6369A129-3643-44CD-A179-21C199FD88E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ac86f8923e2486f0c3b8f1f92472210e62a2c6d","datavalue":{"value":"syntax and semantics of classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422334$2D790EC6-D0EE-41B3-B4B4-167C4D82763C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6301e7c56a120cc32976cc6b309aec4007e6544","datavalue":{"value":"logic with identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422334$8E0F1247-3BE0-49D4-A0DB-5302D73E75FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422334$1D059176-4A03-45C2-B144-E3E1699BC221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"520258b9889bd3663eb9b8c0174c75ed754d195c","datavalue":{"value":"logics with infinitary languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422334$85158B09-6253-4623-9093-E973CB2DEB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf159a8f08b33f65cdc58b33b95156c9004c761e","datavalue":{"value":"logical foundations of logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422334$81A30A5C-1B58-424C-8556-B9D5CFBD0426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eb313d3005a5865e8a1b33f13a1c66f607feb6","datavalue":{"value":"elementary equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422334$78F0B52C-C3DA-419E-8143-F0DC82A45DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44f544db6c5e836dd1e1b4b00329d909cb3beace","datavalue":{"value":"syntactic interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422334$AA136FE7-E1D0-46B5-B0D5-388F64D0703E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cd5149dc55f0effd39635869c596ffe608017e6","datavalue":{"value":"Lindstr\u00f6m's theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422334$AF9B491B-ECB6-41C9-BC84-5F3260A6494F","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":"Q5422334$19CD3953-C893-41B3-99B4-5CD21FA9E461","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16adb5ba00b26fda1cf4e343bfc9bcc9ebfeb0f3","datavalue":{"value":{"entity-type":"item","numeric-id":4634842,"id":"Q4634842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b7e3b551d79eaa27efdc07263987ceca2f1e4b","datavalue":{"value":{"amount":"+0.779651939868927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5422334$DD16666A-2CE9-465F-BE1A-876326A68270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7a0125d56a0e3481c44d004718b2cb59a51503","datavalue":{"value":{"entity-type":"item","numeric-id":5320764,"id":"Q5320764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7d840ec02f84efbea76a24f049b407d7243bc6","datavalue":{"value":{"amount":"+0.7782800197601318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5422334$F365935F-A2E2-4925-BEF6-673BB9FB507C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93724a8dcfd74b67b3eed65dd1797e8f8f3ae89b","datavalue":{"value":{"entity-type":"item","numeric-id":4039934,"id":"Q4039934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f3a341bcae57e579769c14bc61b35551589246","datavalue":{"value":{"amount":"+0.7774338126182556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5422334$68BFA188-AE39-41BA-8D77-F4F15CCF1DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a985fb1e48701fec418420e0d9b95598b68e0907","datavalue":{"value":{"entity-type":"item","numeric-id":2782580,"id":"Q2782580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8877b18a5ea21318ff8a587f8c420478fc6f2aa","datavalue":{"value":{"amount":"+0.7739204168319702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5422334$17477BEF-A158-4E02-AFF4-2A2B6C18749F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e91a817f7031d039e5fff34848c4f48eedfbfa4","datavalue":{"value":{"entity-type":"item","numeric-id":3444707,"id":"Q3444707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6a4d235a3761a3da29fa5d87827bc3bc6e1e6d1","datavalue":{"value":{"amount":"+0.7724760174751282","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5422334$65D48833-C89C-4F25-8519-CA04E6C6AC55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5422334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5422334"}}}}}