{"entities":{"Q2394548":{"pageid":2405291,"ns":120,"title":"Item:Q2394548","lastrevid":44015889,"modified":"2025-11-19T01:09:05Z","type":"item","id":"Q2394548","labels":{"en":{"language":"en","value":"An axiom-system for \\((K;N)\\)-propositional calculus related to Simons' axiomatization of S3"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3208242"}},"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":"Q2394548$259EA369-58EE-43F5-A9FC-A0882D8365F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b107d2ef652f789c6139c6027ac73af64d9ee67","datavalue":{"value":{"text":"An axiom-system for \\((K;N)\\)-propositional calculus related to Simons' axiomatization of S3","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2394548$A11F2426-1C04-49DC-9925-09DB71D33246","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"617651cb78d0161fc914f76ffc11f8c88fff0257","datavalue":{"value":"0128.01202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2394548$510A1097-267F-4E55-A9F1-33365F0093A2","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":"Q2394548$20A7C0CB-70C6-449E-95E0-0FEEDE080C92","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":"Q2394548$E159DC13-7D77-49C7-9B46-A8B4BE87ADD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1151d44c801a909256f62362ee2b01f3c904af1","datavalue":{"value":{"time":"+1962-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":"Q2394548$36B0870F-ED7C-49D8-A8E8-28A541A68959","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f005868cee26df104d7fb8fbb07b0fee3bc000c0","datavalue":{"value":"3208242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2394548$CCB3E844-8697-4297-AB17-A89172DE141F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2394548$8C4119FB-2530-4250-B70E-16256C0C5E66","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":"Q2394548$718B73DB-3712-41E3-8DE6-D9CB417316AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"629a10f35ffb6a450d7dc03624d34353383eea9c","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093957242","type":"string"},"datatype":"url"},"type":"statement","id":"Q2394548$96DCE933-B0ED-40E6-8FD6-80C92F7C9363","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1781bfdb2e491841d8c6bfb611373de4e10b99ae","datavalue":{"value":"W2092776509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2394548$C3D666A2-0B73-4451-8DDA-859618626576","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"469b151fa32dd97c90dfde704957f0a3328876ac","datavalue":{"value":"Q114598194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2394548$A2DC3D5A-153F-45CA-A37B-2C1945CCAF1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2d9d3768cc7cd6c13d81db09b88cd6691a8a71b","datavalue":{"value":"10.1305/NDJFL/1093957242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2394548$2B1EFFE3-4059-4757-BCDC-BFD3FCD7B381","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2394548","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2394548"}}}}}