{"entities":{"Q2530300":{"pageid":2541043,"ns":120,"title":"Item:Q2530300","lastrevid":73532955,"modified":"2026-04-14T16:22:01Z","type":"item","id":"Q2530300","labels":{"en":{"language":"en","value":"A new proof of the compactness theorem for propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3267338"}},"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":"Q2530300$CC14A51E-DC72-4CC5-A40C-FB1128D71AA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfc056f5e48133863a51b839f3e47c5aed83fe6e","datavalue":{"value":{"text":"A new proof of the compactness theorem for propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2530300$788D617B-1F2E-4EA1-934B-CD937BA98977","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44db8b207c60cbc5157078a95642c9293f34b9af","datavalue":{"value":"0167.01202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2530300$F76507A8-2A94-422A-9777-A82C1D6D9971","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2530300$D5EB9A24-9DD5-4F1E-81E5-5E4154383DA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e293d9e9c8dba13b0feb4b9b16887fc748f70c6f","datavalue":{"value":{"time":"+1970-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2530300$302E200B-EF5C-48DC-ADEB-CAD5B66B0349","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6480c8849b834bff55ce53b3ac80c0a285dbac54","datavalue":{"value":"3267338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2530300$B61B29B7-1508-46B0-806E-47182D2AA59B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c246fcf4677bd1d7953725a68fc2c0ec1f5c0f5","datavalue":{"value":"algebraic logic, model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2530300$A310B81F-55CA-44DA-9736-22A0A815A3EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd44f8afaafd597582884a2d4bfffe0e6fb40c04","datavalue":{"value":{"entity-type":"item","numeric-id":920086,"id":"Q920086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2530300$7910C0D7-C59A-45B1-9DF4-4EDAC0503557","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":"Q2530300$8084EDFF-ABF6-41C4-8E9B-DCD376C69817","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9695c8cf5d61e67e1b3cff8e410e6b4f753d939","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093893860","type":"string"},"datatype":"url"},"type":"statement","id":"Q2530300$EC2FD1AF-4760-49AC-91DB-4BB1D6FE869E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b50212507b8894f55ae45a9a320e2376b59902e7","datavalue":{"value":"W2021653569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2530300$E648424E-BEA5-4EB0-A3A8-5A9F0D6357CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e720b3d43d43e4442c37d823f46be934bea605b","datavalue":{"value":"10.1305/NDJFL/1093893860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2530300$21EEC518-3B27-4E77-9782-97BF379AE9B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new proof of the compactness theorem for propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_proof_of_the_compactness_theorem_for_propositional_logic"}}}}}