{"entities":{"Q3967510":{"pageid":5997415,"ns":120,"title":"Item:Q3967510","lastrevid":55121998,"modified":"2026-02-03T21:19:08Z","type":"item","id":"Q3967510","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3790396"}},"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":"Q3967510$8B47CB4C-260A-47C1-A8F3-97DF9DD8057E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"386a23aea3f6aecaa941e0031320a71070a164b9","datavalue":{"value":"0502.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3967510$3B0A4839-5832-47EA-8762-194621D7316E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66029be16c472eb1e4d4ce92c265f3637cef78d5","datavalue":{"value":{"entity-type":"item","numeric-id":758984,"id":"Q758984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3967510$B3C6461A-A854-46EC-A2C5-A0B953F421BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3967510$6D7FD99F-0332-418B-8448-91470437F343","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3967510$5623FE95-B28D-4DCE-B580-DAC6C8716F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3967510$B4091A68-81B7-4A9E-80CA-EDB5F8F99771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3967510$60C092EC-D0EC-4AD6-84D1-3E5764C9BEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6d1ec52031732a7dc8db0752c0fcd99128394879","datavalue":{"value":"01A75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3967510$86B2064F-8D36-4776-A381-323AB6CDB5DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e65214143ad2ff9eb16ba7496beaa85abad9c3cc","datavalue":{"value":"3790396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3967510$F65F7CA3-EF4F-4750-AC75-0D86A0F9C985","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d2a69137098850450d1a17ddf83d6c1a1704d1f","datavalue":{"value":"existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3967510$6AC931CF-7A91-4A87-BB61-29513EB66E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76ec4c3ca5ea2786bb74ab23a71c3207f2b5eb0","datavalue":{"value":"truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q3967510$B83426B0-9AFC-427B-8AAC-82502BD11FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3967510$0FBE0C28-F977-4CB0-B2CD-4D9A541FDD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a44fc6bcac318b22c0565a1c4982c2069a3fc87c","datavalue":{"value":"first order quantification calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3967510$71B50657-C18A-41CE-AE15-A4A5C0674FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec7d8d2dbb03fe9d412d0339e9588ce84ad6736","datavalue":{"value":"truth- value semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3967510$9A010E6D-81F1-471A-95EE-BE8C328FDA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c81385ff52cb3d8db1adb7094fca91a69b5f9503","datavalue":{"value":"second-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3967510$E4FF38C4-EE49-475E-BC9C-699EA7DCCF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c832fd36653a01df782683261ba9cb6ea11e9e0","datavalue":{"value":"Gentzen's sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3967510$F70580C9-441A-4C3F-8434-73AA680E354D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01da05b858bca0dee31df746ac2f97795c0d83d7","datavalue":{"value":"intuitionist and classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3967510$CAE9FDC3-7CD3-43FC-9D7D-5EED68CF2B41","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":"Q3967510$778C6272-CA8C-43C9-A66D-15BE03535C4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3967510","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3967510"}}}}}