{"entities":{"Q2531279":{"pageid":2542022,"ns":120,"title":"Item:Q2531279","lastrevid":73534458,"modified":"2026-04-14T16:22:21Z","type":"item","id":"Q2531279","labels":{"en":{"language":"en","value":"Completeness of the generalized propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3271480"}},"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":"Q2531279$1AC55EFF-0AD8-427F-9D39-AD1521DEE9FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76645071726b8dde2a017136405ad40f68db1c1a","datavalue":{"value":{"text":"Completeness of the generalized propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2531279$A64CD0F8-D4A0-48F1-B7EF-35833AC2DB12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e89efb6e29489c08534383fade38a6acb412c39","datavalue":{"value":"0169.30501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2531279$739394F4-8183-490B-80DF-63E72E6FD696","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67f3e4aa0f1827b5b781f727f905625496938f26","datavalue":{"value":{"entity-type":"item","numeric-id":582305,"id":"Q582305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2531279$625AC235-1CF6-4D58-8034-C71333BF0B5B","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":"Q2531279$101420E9-8764-4798-991A-98F6C8AC83EF","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":"Q2531279$6054A2CA-4616-4CA9-BAA9-0A4B7B098A3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2531279$65E783EF-CF4E-4E93-8097-5A5E9E0541AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1adbdfaf12b56f0d24934f28c86c034cfad52a0","datavalue":{"value":"3271480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2531279$D1691C02-88B1-45FA-8870-0DA8E5D460A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2531279$AF5D837D-B179-48F6-9C5F-6E79ADBF4302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2531279$5D5EBD3E-0939-4C6C-A8A5-E9D33E7899F3","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":"Q2531279$FF533017-D2C3-4A97-8B5C-57D63CA0591D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db2892d5b30b4d4bf9470548e75ffcf0d9aaefb2","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093894075","type":"string"},"datatype":"url"},"type":"statement","id":"Q2531279$2DA0033A-BA82-4D4A-A085-9064797B5FDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7a6808ec76e99ed2596f7d611b50e64dc92db4d","datavalue":{"value":"W1969496630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2531279$63A794C3-6A9E-4233-9CB1-F66BCF79E027","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd13f7569f00c3e5546e9df66783cf9bf61cf12d","datavalue":{"value":"10.1305/NDJFL/1093894075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2531279$212AC844-3057-45D1-938F-ABAB44500836","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of the generalized propositional calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_of_the_generalized_propositional_calculus"}}}}}