{"entities":{"Q3882442":{"pageid":5912347,"ns":120,"title":"Item:Q3882442","lastrevid":54602462,"modified":"2026-01-29T07:19:30Z","type":"item","id":"Q3882442","labels":{"en":{"language":"en","value":"A Note on the Compactness Theorem in First Order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3687362"}},"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":"Q3882442$D6FF84FB-74FB-47BD-868F-DD8D14672C18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82e72e698ebc98dab46d7313f4d91c4319b7cf37","datavalue":{"value":{"text":"A Note on the Compactness Theorem in First Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3882442$A35E92DA-98A9-4A25-B84F-6332D9DF344A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91fe0bb0c5c28040bca4f637a4d045f692d678d7","datavalue":{"value":"0441.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3882442$FB9C69DA-C01E-436F-A78A-46D6FCDA4AD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3882442$8D5CB184-073A-4559-9D96-83563D34D251","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3882442$0BD8C966-6979-4F02-91EA-AEF9EB7F37D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3882442$3F28A254-BA8D-4F1D-BB32-38A21A12D71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3882442$32DC8030-10C1-47AA-923E-75BA4D054AE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca5a9c422eb4a9075dd0a7b027a7978181cc0a39","datavalue":{"value":"3687362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3882442$7E935871-C9C3-4DED-AD99-C2C070A6349B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2204efedd85f7b0ca457ab200e3cb82a7b01f6ab","datavalue":{"value":"consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3882442$7612752B-1844-41F3-954D-0D9114312609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39021fca6ba198706e2baf4a838312c43eea2b99","datavalue":{"value":"compactness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3882442$8DAE7107-FE26-431E-BE87-B40F9102E74B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fb22934de46582f1d34874e34f371e1c38ac742","datavalue":{"value":{"entity-type":"item","numeric-id":1327487,"id":"Q1327487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3882442$A5704F22-2B31-4A1A-8631-BDDE2757747F","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":"Q3882442$2D4ECE17-E969-4DBC-AAC4-8F9B4283EB62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7cbd99ce56efa51ead79ac09ac9de6d9a87f42a","datavalue":{"value":"https://doi.org/10.1002/malq.19800260704","type":"string"},"datatype":"url"},"type":"statement","id":"Q3882442$E51BDD46-BF8B-4646-B08B-59E33D83B16E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2dc1a4fce21d2bfd9f8b38bd15a0d29d0452924","datavalue":{"value":"W2078930175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3882442$6598FA1F-C7C0-44EC-A3DB-F1F02917333F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb08cc78fe77388cf60952feeaa1d282f05b2355","datavalue":{"value":"10.1002/MALQ.19800260704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3882442$82120752-2296-4E27-A084-4F1800AA52A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3882442","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3882442"}}}}}