{"entities":{"Q1218834":{"pageid":1229583,"ns":120,"title":"Item:Q1218834","lastrevid":69921270,"modified":"2026-04-13T11:14:32Z","type":"item","id":"Q1218834","labels":{"en":{"language":"en","value":"Interpretations of classical implicational sentential calculus in nonclassical implicational calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3483997"}},"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":"Q1218834$CB22F27C-5EF5-428D-BFCA-6AA08F3F9B40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df70c0a0d1c7ebef1ff55f3551495ba9af31def5","datavalue":{"value":{"text":"Interpretations of classical implicational sentential calculus in nonclassical implicational calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1218834$F12FC335-B9D6-47F7-81EF-0D981AF3450F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81b45e2ac5ab9f79a36e0ba1ba6cd1d6bd24b5d1","datavalue":{"value":"0309.02008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1218834$FDBB2417-560B-4067-9678-2524362B9981","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67d5183b9c606f6165b6ede49caadfd56a0bfc1b","datavalue":{"value":"10.1007/BF02120866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1218834$ACFBB4F0-6B65-49E9-B829-41FAFC3A48EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29cc63dfea9ef7bb420fe3e5ca2f392db64ee7d8","datavalue":{"value":{"entity-type":"item","numeric-id":1140628,"id":"Q1140628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1218834$37A6D0D7-C9C3-4D84-AA62-F82FE4140978","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":"Q1218834$27943C67-1D05-4789-A57D-DB21D8EE63ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q1218834$E37891CE-6BBD-4C45-A434-7CA4F266FA3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1218834$F9125757-5F6D-4235-9038-EC7EF4226407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1218834$8251F2FB-98E4-4E73-A78A-40FCDD28CA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1218834$508C90E3-84E1-4A20-A17A-99DD2CDE8AA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"892fd281dddcaace0bca04444b4f81407dfb669b","datavalue":{"value":"3483997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1218834$331C56AC-46B8-4AE8-9BDD-D3908D6A9559","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":"Q1218834$3E6B2428-4C59-435A-950A-EFC2AB3E05A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df1b8e72cb9e947fdc75375ea0bb779ef5fff8a6","datavalue":{"value":{"entity-type":"item","numeric-id":1211488,"id":"Q1211488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1218834$625C375E-4AD8-4DBB-9B9C-F08899A4D0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e149938ae8cd404bd31f05264485c13e118e33e6","datavalue":{"value":{"entity-type":"item","numeric-id":2559462,"id":"Q2559462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1218834$6589295C-93B7-4FCB-AC0C-E03E714F7938","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cfa2c1c8df59704ec0f946c85831a068e0eef40","datavalue":{"value":"https://doi.org/10.1007/bf02120866","type":"string"},"datatype":"url"},"type":"statement","id":"Q1218834$73E70014-17BB-444F-9036-CCC23BD32ADD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39d9235b05a41664e3cd9922f24b1de4e474b42e","datavalue":{"value":"W2009924438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1218834$4A764801-054C-4D11-A1D9-D02B11BEDC61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpretations of classical implicational sentential calculus in nonclassical implicational calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpretations_of_classical_implicational_sentential_calculus_in_nonclassical_implicational_calculi"}}}}}