{"entities":{"Q2537600":{"pageid":2548343,"ns":120,"title":"Item:Q2537600","lastrevid":73784325,"modified":"2026-04-14T17:15:19Z","type":"item","id":"Q2537600","labels":{"en":{"language":"en","value":"Some systems of natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3302256"}},"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":"Q2537600$DE5DE794-876F-46F3-B31C-412CDF48F660","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f165a9754391bea4dc73770e220588eecf7d1b3","datavalue":{"value":{"text":"Some systems of natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2537600$93D603DD-C6E0-429B-9A7B-E097F7803795","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00eaff2792156cb4da83ffd025c5e481c23d7a1e","datavalue":{"value":"0189.28102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537600$46F15C33-D1B2-414C-B964-ADC89A9EEFC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6594c856eb4cc158cb2c8d63f584a738d7e9fd97","datavalue":{"value":{"entity-type":"item","numeric-id":762481,"id":"Q762481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2537600$8AD81244-7A62-45FE-B575-E5FFBA55C485","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":"Q2537600$41B2E8B0-9FC7-4AF9-B7F1-09BBC69344DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7d628e8c937a22d7d86104d43d6122808f1e938","datavalue":{"value":{"time":"+1967-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":"Q2537600$D8BA3008-1316-4D78-AAF0-978BD67B61FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b403c2b10c2ccb6236ad41279077031872cd2c5","datavalue":{"value":"3302256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537600$4412DC59-59DE-497F-AFE6-CAB423A37D66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db9eec9f8678adc5795d2749c1b35b75bb9eac3","datavalue":{"value":"general logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2537600$A1C4F081-557D-4E17-A8C3-5C1EF8EE2795","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":"Q2537600$D70DEF1A-B460-4B4F-A371-55BDB766DC5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7993eb36681b2c6bda0ac66fb0727582f46c9d5a","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1094068840","type":"string"},"datatype":"url"},"type":"statement","id":"Q2537600$C2A310C3-8448-4679-A944-F33E4FF614BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5ff4f80f7d0b505e7a56a3cb512b2764de85fc1","datavalue":{"value":"W2015703335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537600$7C0FCBF6-285B-4267-AD68-D08C24FFFEA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4a152d4f23451a4707fa9e25872286c3783f24a","datavalue":{"value":"10.1305/NDJFL/1094068840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537600$24EAA674-D7AA-4712-911A-37CF4070155A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some systems of natural deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_systems_of_natural_deduction"}}}}}