{"entities":{"Q1211488":{"pageid":1222237,"ns":120,"title":"Item:Q1211488","lastrevid":66309072,"modified":"2026-04-12T09:06:39Z","type":"item","id":"Q1211488","labels":{"en":{"language":"en","value":"The deduction theorem for Lukasiewicz many-valued propositional calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3456894"}},"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":"Q1211488$49C7BE51-DB52-43F3-BB76-EBCB4A147A50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa4e9683307aaf80e8507674974d5083fcecc214","datavalue":{"value":{"text":"The deduction theorem for Lukasiewicz many-valued propositional calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1211488$AA40A6C6-9B1E-48FE-A9EA-698C408F7E7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d51528939125b50f6e9efb2e308fc8e90790bd7","datavalue":{"value":"0292.02014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1211488$C7F8539D-AEB6-4FBA-8C8F-6D14F35A9577","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d65fb1007c4eb688adab10e8e19090a805ea7c6c","datavalue":{"value":"10.1007/BF02125899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1211488$E5E84E38-8E04-4DD0-879C-25B82C991AEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"577c92f88fe60cd1e98012f369f965b4bb1d1748","datavalue":{"value":{"entity-type":"item","numeric-id":195356,"id":"Q195356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211488$E24CF3EB-8069-4AA5-AB53-DE338668DA9D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211488$DCBE8196-5581-4BE4-9F93-399F95B8C059","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"804e23327f0ab182053e3ef9eb82baf008dc7187","datavalue":{"value":{"time":"+1964-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":"Q1211488$502BDF89-AECE-4F39-A58D-FF10C4AE419E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1211488$C4A6D9BD-C74A-43AF-86B8-DF22D53C028A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cc8969c270794aa5a40a0846f0225210beea6cf","datavalue":{"value":"3456894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1211488$8B135E4D-D3E2-43CF-BC5B-93AC1E839EB9","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":"Q1211488$A089E283-C7AC-4E8D-9D6D-1ADB45F65FA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ac3b92dc129bdfe56bad064b5964f97940e2bd","datavalue":{"value":{"entity-type":"item","numeric-id":5825229,"id":"Q5825229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211488$A4AF8835-AC83-4A7B-9E93-D06A3D823F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211488$67E5E3A5-8A5A-4FB1-B1B6-1BCD97417E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211488$140124D7-7CCC-4BBD-B880-AB3041D83958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83d2a94415626334b2162d5dd1a5ad82bd823c6","datavalue":{"value":{"entity-type":"item","numeric-id":2626580,"id":"Q2626580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211488$3E15C407-736C-429E-B824-91A64D87A135","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The deduction theorem for Lukasiewicz many-valued propositional calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_deduction_theorem_for_Lukasiewicz_many-valued_propositional_calculi"}}}}}