{"entities":{"Q1260029":{"pageid":1270779,"ns":120,"title":"Item:Q1260029","lastrevid":67140789,"modified":"2026-04-12T15:33:46Z","type":"item","id":"Q1260029","labels":{"en":{"language":"en","value":"Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3641418"}},"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":"Q1260029$F26A7EE9-658A-43E4-AC24-B5F31B4D2B5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03c2d00e53916a33f812b6878079907d005ba50d","datavalue":{"value":{"text":"Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1260029$9D040438-EB2B-4C33-9E25-EC3D395D828F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7d3afbd290d73300906007e8abc5228161e3ebe","datavalue":{"value":"0413.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260029$A8D2BC20-8EBA-4A13-BD02-207B1FE51EA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7555ecf410b3511ff81e9613655a69503a3b320","datavalue":{"value":"10.1007/BF01670006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260029$3B671677-24FB-47F4-A6F4-FD03B62E6C33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260029$456AB02D-CB2B-42E9-8362-6F5004C05B29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q1260029$5F272E6F-0175-4050-A9DA-907D768A5998","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260029$423F89DE-9007-4219-A40E-E365B138B8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260029$BCFFA9E3-0D33-4D9B-BD69-8D5E8852516C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260029$CDEDEB99-43F2-49E8-A03E-9344AE85E391","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa10cb2a003376044cb5364141ea7e2259786bde","datavalue":{"value":"3641418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260029$03003F52-A1F8-4643-B992-5182CAD739CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38cf68a5879dc0699cc660450d7bce2437ecb0ae","datavalue":{"value":"superintuitionistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260029$906BDDDC-A8D2-4FB3-B703-C13CC42EAAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c5d37e37653b9aed1b70c7737665e0a6bd06b8","datavalue":{"value":"amalgamable varieties of pseudo-Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260029$CC86FCDA-AA70-4C42-907B-6762C5E16A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1093f6950436e6545be25dd909b86fbd17fd071e","datavalue":{"value":"Craig's interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260029$5A6B4627-A3AF-4460-8929-01FC2F53530A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260029$85877C25-F22B-4847-A3FC-6E9D52F5CB6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260029$6F7BD694-A535-4503-ABFE-18C9B9AC222D","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":"Q1260029$EA0B65C9-EE1E-4051-A676-06EE22A67A87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260029$5B12614B-52E3-4BA1-B197-9546CFA00B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8a99ddd1a42985fec7f60dc1306460fd6182155","datavalue":{"value":{"entity-type":"item","numeric-id":1224578,"id":"Q1224578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260029$08D0CB06-0C06-468A-B3EF-9DCFECA0C5BF","rank":"normal"},{"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":"Q1260029$B754E00C-1D5D-4EB3-AB5F-9E02A7EBE14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260029$D3EA2401-C52D-49F9-9446-027C51A67363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e746d596ec0a02ea78c508dbfd871837e35f1ffc","datavalue":{"value":{"entity-type":"item","numeric-id":5641128,"id":"Q5641128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260029$282E380C-FE8B-49E7-B1C7-A82994D28DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182f0ef5fcef2fd09e92a43d4f0372d9355c6437","datavalue":{"value":{"entity-type":"item","numeric-id":5655398,"id":"Q5655398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260029$89054277-4FB0-4E23-B091-0D1C81C98167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22c3b651f72d97a46a69e1d0d665c768f4d038e","datavalue":{"value":{"entity-type":"item","numeric-id":2561613,"id":"Q2561613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260029$2C6A1F8B-B84B-4814-942B-3B20FAFAEE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7cb09f637070aede8e9289020b0227488b411a","datavalue":{"value":{"entity-type":"item","numeric-id":5532530,"id":"Q5532530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260029$B08DD011-3AD1-40CA-9E00-C5AB8033B911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2351a3fb3d2327ece7cc2eab0e4dfd38b55e7a29","datavalue":{"value":{"entity-type":"item","numeric-id":2552131,"id":"Q2552131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260029$3F1E264A-7253-4CB4-A650-98124D265939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b63c30abd02d9b9a7f4fa488c7d548a350a4fab6","datavalue":{"value":{"entity-type":"item","numeric-id":1237797,"id":"Q1237797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260029$7548CC96-76A6-463D-A877-05DD5AAA4350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb21bca2a7ce7c1abe5391046e050b78e2fb7a3","datavalue":{"value":{"entity-type":"item","numeric-id":5654015,"id":"Q5654015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260029$BDE390D9-2D0C-4589-B2F1-005CE8702135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1f13a93fee8fa0116dab5726b338ac5fe99d63","datavalue":{"value":{"entity-type":"item","numeric-id":4110980,"id":"Q4110980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260029$D58486C2-2145-48A6-9E0B-C6AF8635A09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f992f3801d3cae773733c4d91154660a944ed992","datavalue":{"value":{"entity-type":"item","numeric-id":1130509,"id":"Q1130509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260029$2CDF8CC0-331C-4549-8E68-7B6CAD3683D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Craig%27s_theorem_in_superintuitionistic_logics_and_amalgamable_varieties_of_pseudo-Boolean_algebras"}}}}}