{"entities":{"Q5198513":{"pageid":7228084,"ns":120,"title":"Item:Q5198513","lastrevid":91527989,"modified":"2026-06-04T23:24:04Z","type":"item","id":"Q5198513","labels":{"en":{"language":"en","value":"Computational logic and set theory. Applying formalized logic to analysis. Foreword by Martin Davis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5936849"}},"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":"Q5198513$A266C0B8-9C9F-4360-8970-845E985D4502","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"119cd0443029bb8e344b2d188ab7315d5a56284c","datavalue":{"value":{"text":"Computational Logic and Set Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5198513$CEB5DAD1-505D-4F89-8620-F5F20AC5C10F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10569b704466489cd0c4dc97f4daa09a88b99cb1","datavalue":{"value":"1246.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198513$19A045D5-1A56-472D-A6D9-063EADA83528","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1917c1378a925f2aa88b106ff41c92b765292a7d","datavalue":{"value":"10.1007/978-0-85729-808-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198513$3C448BDA-DD12-4CCC-BD26-C469D7487E17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5198513$6281A620-31AD-40EF-AF7C-7D717AD03608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faadbd22dd8b1da3be6dbb593d6df9253bd99cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248615,"id":"Q1248615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5198513$45D7D901-896D-495F-A6A1-D84765B42FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9508babbaae830189eafb34c9955abb3b05c5e9","datavalue":{"value":{"entity-type":"item","numeric-id":6482611,"id":"Q6482611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5198513$D4B18D7D-3629-4C5B-91FE-03B02B07FA43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1af8b53cbcad7e5d32c76c28dc9a5fb021a2faf9","datavalue":{"value":{"time":"+2011-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5198513$1AD045A5-A3B2-41CC-8829-660586877B5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198513$F0DC22AC-A8D3-4EE2-9652-EC8978E213D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198513$8747AEF9-F2B8-4807-BC54-10A8D0F045CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198513$591780C2-8197-48F4-BCCD-E1C929F3E17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198513$B3709C87-4293-41D9-B04A-89BF369E4C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a9d308887506d88cfd07e801497ed20a6150c36a","datavalue":{"value":"30E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198513$F4784AE2-68BF-42A5-9953-7ECAEE72CB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198513$B39A776B-50D9-4C74-96CA-D9B1C6A190A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cfaeb8c349e2240e7158c7e6d4a39ad636116cb","datavalue":{"value":"5936849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198513$B5E72828-96FD-4B8E-B7B6-0734E957C992","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbec5c2b93e66e86aa0d97f1c5c6e6aacaff7fc6","datavalue":{"value":"computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5198513$79F85A35-8BF2-440F-BBCC-47FBB296A025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5198513$52D8C138-DD3F-4978-B2CA-DC12B52BFBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d47b37acfeb9a955c9fee00dd32ad0ab32096bdd","datavalue":{"value":"proof verifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5198513$12B9C3ED-90B5-4FC2-B0B2-3441A88ECD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5198513$D15381EB-6463-457B-AB77-5473C2A52A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5198513$1CD7EAFC-767D-4E33-9C1C-17CCE3F504C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5198513$7AD55046-C214-41F1-9FC9-9D1A551F8B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5198513$66C3E6FA-84EE-483A-93DB-2B3F07BE67BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54d9de6499a9187e25e8189dec316bec96b816f","datavalue":{"value":"complex analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5198513$A6478266-9C28-4DB4-A780-8CE6F67D7A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ff76b5c4e1125aea0637215aeb0e2b8116fd257","datavalue":{"value":"verifier \\texttt{\u00c6tnaNova}","type":"string"},"datatype":"string"},"type":"statement","id":"Q5198513$774E163A-C620-44C4-90E3-7DFADD6408D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2797353a9caa7f4bac8dd4db3fb8012096ef92f1","datavalue":{"value":"Cauchy integral theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5198513$E2E89376-ADB6-4481-A967-79DBCCC0A82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d3d29f490bb3085d4245d6adbd4890431f9d11c","datavalue":{"value":"incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5198513$1727D4E6-3C3D-4484-9FAC-BF3F6D7DC2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5198513$C5E5DE9B-2C97-4832-8BDF-C8D2E5D200DD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"30744a9a552ea21e8a6d1afa2421d1ae2bfffd11","datavalue":{"value":{"entity-type":"item","numeric-id":18486,"id":"Q18486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5198513$8A17AF9E-AD10-4396-A1D2-BB288EDAECEB","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":"Q5198513$38E90905-7783-41A7-A4AA-321A4E5D141D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05dc5d6a919c8c841c95884bf9c5bd681b0f17b9","datavalue":{"value":"https://doi.org/10.1007/978-0-85729-808-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5198513$2AC54852-FAA6-4C3E-B761-B8E5A618A4DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b15ecd16a09fa8edbf7974cf5302a2948f1037bb","datavalue":{"value":"W2497601262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198513$D7A0066B-4168-4C98-9F2C-9B0B3684A1DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f910e5d01835760396bec66fa55d67356d2c2f48","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fffdb242715493705d7b9698b77a4d10f400b51","datavalue":{"value":{"amount":"+0.791925311088562","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":"Q5198513$F1DAD647-0F1E-418A-8A50-43542EDBFB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4477e180b771717860b6be03e98fe5bc4fbbeb31","datavalue":{"value":{"entity-type":"item","numeric-id":625290,"id":"Q625290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73227b2d9aaa7c04a83e96ee61c46446ff0060e0","datavalue":{"value":{"amount":"+0.7893712520599365","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":"Q5198513$640CE147-DBE8-4C39-8CDC-F38FFB49D38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d53e3269671c3b829332645636422f0534f2837","datavalue":{"value":{"entity-type":"item","numeric-id":4707766,"id":"Q4707766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9abee199a33159fdd8e7e26bd8b217db8d066df0","datavalue":{"value":{"amount":"+0.7842351198196411","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":"Q5198513$B4AE447B-C866-4CF3-AEBF-510B5BD6A8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db56176ee4dee66774417a89e47138b14121e45a","datavalue":{"value":{"entity-type":"item","numeric-id":2740887,"id":"Q2740887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c60f3a283b9d9c1eebe12fff76c6073819bbe8","datavalue":{"value":{"amount":"+0.7734459042549133","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":"Q5198513$77305A12-C64D-473B-8E68-AD4108299370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69e46479e47a407bee34b2b3b7222070ab8b3bb4","datavalue":{"value":{"entity-type":"item","numeric-id":3537709,"id":"Q3537709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c60f3a283b9d9c1eebe12fff76c6073819bbe8","datavalue":{"value":{"amount":"+0.7734459042549133","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":"Q5198513$B4766B0F-6214-40C3-858C-07C468F29054","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computational logic and set theory. Applying formalized logic to analysis. Foreword by Martin Davis","badges":[]}}}}}