{"entities":{"Q3515180":{"pageid":5545084,"ns":120,"title":"Item:Q3515180","lastrevid":87291158,"modified":"2026-06-04T11:18:56Z","type":"item","id":"Q3515180","labels":{"en":{"language":"en","value":"Introduction to mathematical logic. A textbook"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5304682"}},"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":"Q3515180$83ADB6FD-89B3-4641-B077-BD39B9DCE5F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39f63e9931ca224315cf110dc9349bdec18a0d10","datavalue":{"value":"1152.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515180$5E30D6C9-D976-42EB-B321-52F869B4D660","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"448d08f14247b14b2b79e27dc3578a82c360110c","datavalue":{"value":{"time":"+2008-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3515180$F08691EF-CDA3-49BD-8A39-6488907249F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515180$D6E2E141-3FED-4739-AC68-F034F83B0702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515180$2549AF90-10DC-4D3A-88B2-73297B8A51BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef7432810f06a9547c1fdfcc93ae2e857fe0fd40","datavalue":{"value":"5304682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515180$E1D4DD79-B475-4A92-8E0D-C6F62F8D2D98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515180$E568EA64-947E-4C23-BC9F-F61E00870EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"792f296eedc97965710bbacfe57bbb42fc020ca1","datavalue":{"value":"logic calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515180$564C5F21-D680-457D-BDB2-EBF4C48CF25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515180$979F94F4-C1AD-44A8-A2EB-CE39956043E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515180$DE3AC2F6-7A60-4F07-9B33-8EA08BE93C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515180$CA2592EE-2997-4753-B101-090094496F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515180$F2324F12-58CB-401F-A662-DE4A7AE0D340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515180$1E361040-4AFA-42E6-8FE4-6D5A2580029A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515180$0CBAA252-D18D-44C4-BB6A-51F9E90E3D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c75eea8d43707120a587300f6ffcab84a74589c0","datavalue":{"value":"self-referentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515180$F134EED6-794F-4410-BBC8-D395408FE718","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c338f93c2a1a4ab7dfbb04101583cd552335e1b6","datavalue":{"value":{"entity-type":"item","numeric-id":798646,"id":"Q798646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515180$94AA2016-C54B-43D2-98BB-C6D1B32C63DD","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":"Q3515180$DC91FBEB-B912-43EA-85AF-83030019E208","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7128f980692594088325ca79378436bdbb637c79","datavalue":{"value":{"entity-type":"item","numeric-id":5902234,"id":"Q5902234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23ef2f4e929f9072cefb736fe37d8c1a61b54a7a","datavalue":{"value":{"amount":"+0.8681769967079163","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":"Q3515180$AE7DBED1-F028-4C88-A4B4-6600BB537C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5643f18ca2f3c2cdbf82e07df32696da63e6deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5422334,"id":"Q5422334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01734e460f87f8bd91151ebba4275f60b40e64c1","datavalue":{"value":{"amount":"+0.8412091732025146","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":"Q3515180$B287A403-F245-4157-A61B-EC6F85E228AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c4d0e97a36689a111b96b7f1fff85e4e09faa72","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a028e8fe5eccdaa5f31fbc3ff5a8fbdf0b336e","datavalue":{"value":{"amount":"+0.8283298015594482","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":"Q3515180$0BA377BB-4009-4D8A-8C3F-CB0DE90DA5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf025a03788ff544567b6078287ee4dbf748d505","datavalue":{"value":{"entity-type":"item","numeric-id":4040429,"id":"Q4040429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6872e3e174f4a3313c45bcf3fb8ef7732b24b4b3","datavalue":{"value":{"amount":"+0.8243570327758789","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":"Q3515180$B252E185-5D3F-4D2C-9F76-69157DF53816","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":"ab9d04da0999aeed4da66d525bac9bc86327db55","datavalue":{"value":{"amount":"+0.815272867679596","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":"Q3515180$F3634367-54A3-424B-899A-02F51B6FEFBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Introduction to mathematical logic. A textbook","badges":[]}}}}}