{"entities":{"Q1217092":{"pageid":1227841,"ns":120,"title":"Item:Q1217092","lastrevid":70327575,"modified":"2026-04-13T14:01:58Z","type":"item","id":"Q1217092","labels":{"en":{"language":"en","value":"A Henkin-style completeness proof for the pure implicational calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3477114"}},"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":"Q1217092$A928C348-6071-4E6A-99F7-AB9196250BB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"585fce271ae5cef23b7e5f664b5616360d58eb6f","datavalue":{"value":{"text":"A Henkin-style completeness proof for the pure implicational calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1217092$CA903523-7E0B-4666-9D74-CED1A0B21C90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a53ac75c6448d1f92a2992c18b29d2d0099097ba","datavalue":{"value":"0305.02017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1217092$4E681B37-0F27-4182-B7EA-DA9F98E1CF27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c9b0ee9a7c9f7f78c90198c3367b9811fdcdd7f","datavalue":{"value":{"entity-type":"item","numeric-id":758988,"id":"Q758988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1217092$F25F6909-6BA4-425F-A115-E8CBE73A2338","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":"Q1217092$1E3CDD7C-344B-48EC-87F7-A7D3BF12979D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-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":"Q1217092$5C55F772-7C22-435A-A2AA-DF1E0517E821","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1217092$DA12E4FF-BEA3-4BDC-B19C-223E992D8A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1217092$D15153D7-EB68-4D0B-88EA-86CE817649F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd4768a25d28d36e18c3f023909f0ec21a8ef59f","datavalue":{"value":"3477114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1217092$8AF9A8FA-DB4D-49E1-9344-6BA828535736","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":"Q1217092$29C1B835-0AF3-4FE8-ABA3-8B2E888C05AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5aef60321ba6b56b5aae1d2bb26906e224c1c8dd","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093891803","type":"string"},"datatype":"url"},"type":"statement","id":"Q1217092$FC79B925-BB8A-49FC-87AC-ECEB00D5BBAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a70409d44c7359a64f4c20b1baebec400a2fd44","datavalue":{"value":"W1987645821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1217092$7CBA46D4-E010-4819-AECC-9B0B56016D40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cab08691ecd79d8493a592f2b8845b8861298737","datavalue":{"value":"10.1305/NDJFL/1093891803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1217092$D726783C-D4CA-4247-B161-2044D2C1BF81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Henkin-style completeness proof for the pure implicational calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Henkin-style_completeness_proof_for_the_pure_implicational_calculus"}}}}}