{"entities":{"Q3594444":{"pageid":5624349,"ns":120,"title":"Item:Q3594444","lastrevid":50142989,"modified":"2026-01-13T06:36:27Z","type":"item","id":"Q3594444","labels":{"en":{"language":"en","value":"The mathematics of logic. A guide to completeness theorems and their applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5177922"}},"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":"Q3594444$9A80E678-B3CB-42D3-95C4-5B53D2897C33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee3dad4ae115fa9c5caf971921dd27ef6e76372f","datavalue":{"value":"1139.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3594444$4B1B99F0-5FEC-484D-B416-BD237F0B6D0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bad4c1ed22839c483148e58bd006f9d5afafaf57","datavalue":{"value":{"time":"+2007-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":"Q3594444$E3F362F7-762B-480E-AED6-9260230ECC52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3594444$74BCC219-1B81-4CA9-9B02-E472FD209B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3594444$1A103EAF-BF1A-4957-BF03-77ABC46DCA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3594444$B9DE708A-78D3-4654-B6DA-36244C51A85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3594444$D5C70484-E855-4B62-A220-2B464ECCBF81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f6b107f081f92bcdba3207d7b661a2ab27688c1","datavalue":{"value":"5177922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3594444$0D092908-3127-4BC2-A671-313475A14612","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3594444$5A9B72C9-C97C-4C22-9B1B-0E01790FF6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3594444$E3B220B4-8DC0-4808-9838-434ACE4C3345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f99b16facd6e000c6df5f71194c7fc9ab564413","datavalue":{"value":"Boolean logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3594444$6FF44F0E-2372-4B5F-BFD1-56F2E2BD2982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39021fca6ba198706e2baf4a838312c43eea2b99","datavalue":{"value":"compactness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3594444$741B0FF8-60F8-47E1-8750-A3177A56AD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3594444$5BA8ED9F-EF61-4F67-A95A-1C7BCFE714EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06cf9711c6390395a60b61ca8ecf0b9b2bef1aea","datavalue":{"value":"lattice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3594444$34C64DC0-8A19-42FD-B1C9-DD9291DAEFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b09386004529bb01e89a60bd36e0d1a6d865ee1","datavalue":{"value":"textbook","type":"string"},"datatype":"string"},"type":"statement","id":"Q3594444$FB585874-C68F-43BA-BB8A-0E200656DCD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e8d3a3341051dfd24b707ce385e6152c2c9cbd","datavalue":{"value":{"entity-type":"item","numeric-id":1762363,"id":"Q1762363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3594444$76E34525-8585-43EE-81BC-90B6BF2EC938","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":"Q3594444$66DCBC4D-6409-405E-A3E2-5416BEC18F5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a6b84e287fc1cfb48b6456f9fa9e9c611f45efc","datavalue":{"value":{"entity-type":"item","numeric-id":2949554,"id":"Q2949554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c7bd012c8ec6ba551f81680bcc0841383bd8f0","datavalue":{"value":{"amount":"+0.8310770988464355","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":"Q3594444$67BF1B55-716C-4FD7-9CE5-35B91B37F960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb8d549a04857835a019f4b4a8bcbb8ab44252d7","datavalue":{"value":{"entity-type":"item","numeric-id":3516027,"id":"Q3516027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7921398faef417480e1cfac77a5d1d92e5a10d4","datavalue":{"value":{"amount":"+0.8268741965293884","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":"Q3594444$B1B9E6E1-1A97-44E9-B912-12E4E8B84683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2586adcb76f1fc852d4117084f617e3500e2ca7b","datavalue":{"value":{"entity-type":"item","numeric-id":5920368,"id":"Q5920368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8333a56a8aa54f49efa7ba63f314fd2b8ef7910c","datavalue":{"value":{"amount":"+0.8265024423599243","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":"Q3594444$E4231A45-5D9C-4ED7-9238-9EEBAA566B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc7a07c6602f7951f67f5247347bead120d9ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4339021,"id":"Q4339021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0a1460966743ed51c308a1af46f61b16a3134b3","datavalue":{"value":{"amount":"+0.8246338963508606","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":"Q3594444$05EDA16A-10EA-4489-8022-6A34887565FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec60e8a02578f9d18cbede4e0419b4ac3a9152d","datavalue":{"value":{"entity-type":"item","numeric-id":5405106,"id":"Q5405106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0a1460966743ed51c308a1af46f61b16a3134b3","datavalue":{"value":{"amount":"+0.8246338963508606","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":"Q3594444$9393B5E3-F5C9-48F9-801E-AD3A578C5C13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3594444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3594444"}}}}}