{"entities":{"Q3748264":{"pageid":5778170,"ns":120,"title":"Item:Q3748264","lastrevid":51669791,"modified":"2026-01-19T09:32:24Z","type":"item","id":"Q3748264","labels":{"en":{"language":"en","value":"The metatheory of the classical propositional calculus is not axiomatizable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3983139"}},"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":"Q3748264$6660199D-8177-4BB5-B7D2-756D77B22823","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bc749099329939fba2b0446e17e6ff97d4667a6","datavalue":{"value":{"text":"The metatheory of the classical propositional calculus is not axiomatizable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3748264$A2C59F07-4ECC-4717-A11D-F5E4B86C00DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3da57a0ec68192a9e69ee69458e35c74ca646ed8","datavalue":{"value":"0608.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3748264$5231D4F4-D3AD-4913-BBC5-1081BA8B5F54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0482aa491a83eb0ed23c7f0baed6ee67c109dd48","datavalue":{"value":"10.2307/2274233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3748264$D8770E39-BFEF-48B6-B361-AAC0C495FAA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e92b917b4b1f15c6d190a36e7f0ba33b1c478458","datavalue":{"value":{"entity-type":"item","numeric-id":688569,"id":"Q688569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3748264$37636E04-906A-4A45-89DE-6781827CA5F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3748264$3DCE1C2D-4304-43EB-B8A7-6060C3D53462","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3748264$953A4BC9-15C5-48CC-9CB8-FA47B64D064B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3748264$16CB9E83-7AE3-4239-9EAC-2F67E884CFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3748264$7EC377AA-4E84-434C-9F22-F0417F4B035C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3748264$FE3D31E8-87C9-43E8-A80C-43D0FAB9DACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3748264$3F95A719-3BEE-430B-91EE-7C47F46AB325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3748264$D3AE9280-1CB5-4559-A438-AB96E13101CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3748264$001F2858-1E69-41E2-988B-7CFDBAC8CAD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fd0e83ba05b787b6d4de9854b4eb4a8522df691","datavalue":{"value":"3983139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3748264$2D854FA4-B769-47A1-9EFB-5C43DDFCD49E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3748264$2A0ED054-C55D-4966-8D20-EA663C14302F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9248e17cc9c9a1eb8dd69f3794c59d14740761a1","datavalue":{"value":"complete theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3748264$8D53255C-B2B1-49CA-AEC5-B94686F645F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76589d751a314182f4bfee8861f4e2b5bd6cf1f","datavalue":{"value":"hereditarily undecidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q3748264$1A39D36D-F566-42B1-8364-19DD8D7F2334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3748264$4623B07D-0F13-45E7-B598-10B623DFA15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3748264$2FBFE665-222A-4059-B428-19057E76F666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b63c2d028780658861e31a2ec9e452eafe0c8c5b","datavalue":{"value":"two-sorted structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3748264$38639493-23A4-4DFA-ACA1-EBCB1FD5DBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3748264$8D207EED-32DD-4CE3-A691-5680EB38E1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6f7049d05f0e8bd69a05e421d87ad82fbf6615d","datavalue":{"value":"infinitary propositional calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3748264$34B77E75-A9A2-440A-A609-E9545A045A47","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":"Q3748264$54A0D137-F107-4B96-92AE-70658250B1E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"761d5cb473b4611dc1e01907bfed74a9f8363c8c","datavalue":{"value":"https://doi.org/10.2307/2274233","type":"string"},"datatype":"url"},"type":"statement","id":"Q3748264$688D2A9B-9FAE-4313-99A3-0EDAB889313B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ac24f2d6d45b7c6430358e1fa06226835bf8f3b","datavalue":{"value":"W1994261599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3748264$A3876707-34A0-4813-83F5-FD13C7930CBC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3748264$AB05D701-F9EB-4799-97D6-19DC6B17BB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae6f9c4bae423d3121fbd641589330337008fb5","datavalue":{"value":{"entity-type":"item","numeric-id":4115128,"id":"Q4115128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3748264$C9180CFA-3A48-4717-B9EB-A752633922F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd42a826bffc6fffaa60101085339a5ec3a9de9","datavalue":{"value":{"entity-type":"item","numeric-id":3916560,"id":"Q3916560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3748264$87FCAD1E-C2A7-4722-B6AA-C74FF1CA6D62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16d2ee0384adde2b477e48e189c2416a99e4645","datavalue":{"value":{"entity-type":"item","numeric-id":4644571,"id":"Q4644571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef5fe28b672415b4198b304e8b22f7fd13290a7","datavalue":{"value":{"amount":"+0.7596359848976135","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":"Q3748264$6DB9D005-7BFF-408E-80C4-A905D9E3FA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ea692c8b39b39036700bd12b02210c733e8444","datavalue":{"value":{"entity-type":"item","numeric-id":4644516,"id":"Q4644516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6a29b9a97bcfc61b9bd509a3605d805092f93a","datavalue":{"value":{"amount":"+0.7514608502388","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":"Q3748264$63948009-09C7-4870-8245-514DEE2C29C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb762ae3bbc65e5590a06cac76013aaf2d0868f","datavalue":{"value":{"entity-type":"item","numeric-id":4729773,"id":"Q4729773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c6f6d60e9ef5afd6030d25443ad80b72403a56","datavalue":{"value":{"amount":"+0.7504876852035522","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":"Q3748264$1D0AB551-1B37-41CF-B736-29EE5DF5A7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f312afd6628f63e151df6dcd2b686bd7105c8ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4023306,"id":"Q4023306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dee5add5fb3bc90554a8d4f2c2616274d5e68a1d","datavalue":{"value":{"amount":"+0.7370330095291138","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":"Q3748264$4D964BEB-6147-48CE-9871-D243821312A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c18afeaeea352885a6741509c4ac8b71c1a0717","datavalue":{"value":{"entity-type":"item","numeric-id":2259003,"id":"Q2259003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce720d0b960b0d62a8d8c85277de9c151289acec","datavalue":{"value":{"amount":"+0.7368797063827515","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":"Q3748264$2B65A991-4F90-4508-BF05-ED81625EBFC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3748264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3748264"}}}}}