{"entities":{"Q4344087":{"pageid":6373686,"ns":120,"title":"Item:Q4344087","lastrevid":28548552,"modified":"2024-03-05T14:25:39Z","type":"item","id":"Q4344087","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1033026"}},"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":"Q4344087$3D9171C8-5BC2-4379-93CF-A019DA1F8B10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc3a6a3d89720d35ff2f2d64c3b918446a04bf74","datavalue":{"value":"0871.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344087$E957E933-BF36-4EBF-8CF1-71195CDFABD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18cb2ca2beecdcf5622b843ccd1097fe1ce75d51","datavalue":{"value":{"entity-type":"item","numeric-id":4344086,"id":"Q4344086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4344087$26258CA3-ED34-4A87-B223-E9C626563BAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8ccf20674f32dd159453ab548cc9c25d2c24bda","datavalue":{"value":{"time":"+1997-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4344087$9FEF26A9-DBC0-4CDD-8182-2DECB8531643","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344087$F2A22595-5364-47B8-8352-1758311BEFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344087$46F9F21F-7B8C-4F93-A176-A3EE86D339BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344087$4627EF5B-ECA4-41EF-A4F0-D58D686BA973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344087$EF68C3A8-E3EF-4B1F-9FCF-5744D9D8E242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344087$E47B06F9-031B-4CE3-8757-8DA3E5318B3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d12596d573f19209878c6a56354f6bfe6910f893","datavalue":{"value":"1033026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344087$6DE9AE42-E9BD-4261-BF61-36DBC8264BAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4344087$6DBE9765-A31C-4771-867E-2B3826B6BDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4344087$5D7C632A-49C5-4456-A674-C2BA3623B06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4344087$9D7C103B-1EA6-4644-93B5-C2A980A6300A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6c3de2f79aa44b98e74bebfd1943a49545e800f","datavalue":{"value":"natural deduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4344087$9F675755-C547-46B4-A59F-2481E4C3498D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4344087$43E17AD4-64D9-43C1-964F-B2ED1BCDFB81","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":"Q4344087$C023CD56-250F-4FBE-A555-EF9FE8ACC8EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4344087","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4344087"}}}}}