{"entities":{"Q1242884":{"pageid":1253634,"ns":120,"title":"Item:Q1242884","lastrevid":70428798,"modified":"2026-04-13T14:42:04Z","type":"item","id":"Q1242884","labels":{"en":{"language":"en","value":"Note about Lukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3573818"}},"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":"Q1242884$3146F749-DA3A-4881-8F00-59DD29C0AA39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0b0981158e5485e404cc9f250e897bc9522aa64","datavalue":{"value":{"text":"Note about Lukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1242884$01543B69-2276-428B-8D31-2E5F0F1D6D81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"536e8cb385a4fc53e05b392eec6b55d16edad202","datavalue":{"value":"0368.02010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242884$44B5534D-C208-4573-8670-FA41EEA53C5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ea26df8b8a0a503ffcd35a6f10f5983c38f8abb","datavalue":{"value":{"entity-type":"item","numeric-id":758990,"id":"Q758990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242884$FB17E5E5-9950-416A-8961-6942E4893A44","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":"Q1242884$07AB9CFF-2423-474E-A359-540D8359AA27","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":"Q1242884$B2C53ED4-0782-4419-BA5C-BE903F6E691E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242884$16AED636-B306-43CE-A587-1A5A8B49FC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242884$8C7F2FE9-CA83-4448-AF29-9FC19CDBE758","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"037fe527ed2abcc283fa05c0316517b8d96d3625","datavalue":{"value":"3573818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242884$B5AF5D55-B343-4E90-895F-0D38D6F2D5B7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fbd37296ed800c682a4c19a531cc4f55d2471c39","datavalue":{"value":"Q114598251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242884$4AF59D81-632B-4E06-800B-4F914466C235","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":"Q1242884$D63D8F47-AB4E-453E-95F4-1AB0B76397BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a92d96a2a9c2fb3f4c98e423860b347e3da2e59","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093888407","type":"string"},"datatype":"url"},"type":"statement","id":"Q1242884$7327F283-113D-4421-B758-366E5586DCBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdcd90229a771498ad63b8fe0d9ced78253f95a8","datavalue":{"value":"W2044228390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242884$E9BE99FB-F7C6-44BD-B723-03DC101E30F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2ae6c2df150c4cd91ce6d8b3357dfb3a15ccf22","datavalue":{"value":"10.1305/NDJFL/1093888407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242884$25A41E1E-7387-4A67-9C86-DC706BB4D209","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Note about Lukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Note_about_Lukasiewicz%27s_theorem_concerning_the_system_of_axioms_of_the_implicational_propositional_calculus"}}}}}