{"entities":{"Q5437004":{"pageid":7466568,"ns":120,"title":"Item:Q5437004","lastrevid":50255081,"modified":"2026-01-13T16:10:40Z","type":"item","id":"Q5437004","labels":{"en":{"language":"en","value":"Natural Deduction for 'Generally'"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5227994"}},"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":"Q5437004$9D16E546-1D12-4947-9F3D-1FA2996246CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed85f476c42470605e58ed5b85b7b1220ac824aa","datavalue":{"value":{"text":"Natural Deduction for 'Generally'","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5437004$C80E2431-BFAA-4AB3-8FC7-0AF48AC62880","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ada6c37358bdffabdbf39bb02cef543944712c3","datavalue":{"value":"1132.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437004$DF6BF1B3-67E0-4211-85EE-18C32CFBFB94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00f5ddde19826bcf2c65e92f6efac4182dc21d5","datavalue":{"value":{"entity-type":"item","numeric-id":2866736,"id":"Q2866736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437004$94FA13F2-5D13-4C03-A67B-4CD0CF0AD8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51beb2a92bc32d80e5ddef4ffe8bea1acd44a330","datavalue":{"value":{"entity-type":"item","numeric-id":281161,"id":"Q281161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437004$D1D80E3B-1FD6-4D70-8877-0984298D82A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28f368ceba13f379acac343070a56af24adeb81","datavalue":{"value":{"entity-type":"item","numeric-id":281162,"id":"Q281162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437004$8544DA5E-7069-4DE4-857C-7436A198E838","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bf5ae4c4f38a4e50ac194230d4567cace8e4006","datavalue":{"value":{"time":"+2008-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5437004$EF5886B3-D44E-49E1-B41C-85C8E3012F0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437004$BC7B470C-600E-483D-8B67-E3EECAA34063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437004$E57DABE4-AB88-43C1-9AF6-A1BEB58FE48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437004$989CBBFA-7A08-4FBE-8F6A-1F7F6C293C78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d3ef4d0ec1352f5ba3528ad33376c99dbd8602a","datavalue":{"value":"5227994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437004$B6705847-E7A1-47B3-ACDC-EAB36AA36D04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ef50a967c383d1969ad58c1ff29a905de85bc87","datavalue":{"value":"logics of `generally'","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437004$143E5E8D-E728-47C2-9FFD-C0D829112782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437004$93CD96EF-6CAD-4766-BFB1-2D73A3E2DF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437004$938A32BE-3FB0-4BE9-BA6A-24C70EBD652B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb669f092bdb01d5dcfc844ac5c1d03cf9431016","datavalue":{"value":"generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437004$624602FE-A6E5-4419-947E-463AAA539B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6411554bf2b9ec3ce83a90717c3c8b2a8883eba","datavalue":{"value":"vague notions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437004$43D59E82-DF5C-46FB-ABDB-64F6E661955B","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":"Q5437004$04F272D8-F50C-4D62-A3DD-E6DD07348A4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3e9f34fc67c927a4984fd7a397b65cdb0784d9b","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzm049","type":"string"},"datatype":"url"},"type":"statement","id":"Q5437004$81547868-11B4-4CCF-BC49-42C2AFEF4ECA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dafe5e1bed8de8a29e94f0f47c62a816d5792fbd","datavalue":{"value":"W1974801760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437004$DA6451C3-F678-41B1-899A-8E80E3162B92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"349338f5228025c13f9d1234458b03124629e2cc","datavalue":{"value":"10.1093/JIGPAL/JZM049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437004$36EF1AA9-A737-4329-BB7D-E723AFA9657A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437004$AE0EEC74-2385-4144-8F7F-F2D3196A5D9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68d365cfcafff774f561529efbf823056060f703","datavalue":{"value":{"entity-type":"item","numeric-id":2866737,"id":"Q2866737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2deee4ebe9897206febabed2522f32d515ec77b3","datavalue":{"value":{"amount":"+0.9084133505821228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437004$59BB981B-0A1F-4673-99D7-354A662EE283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8be7c1b8b14e1bd34c81c5e9b1de62a9930187","datavalue":{"value":{"entity-type":"item","numeric-id":3119359,"id":"Q3119359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef4bd13c378895a3c2a13f9bea6b90e66973584","datavalue":{"value":{"amount":"+0.9002947807312012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437004$DD80A0E9-FB26-4248-AC61-6CE689626B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"700ef6753ba9695c7f54b0911cd75cae2a1fffbe","datavalue":{"value":{"entity-type":"item","numeric-id":5251189,"id":"Q5251189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdec9832415d1ddd521cbef7e50dd89dd4b54961","datavalue":{"value":{"amount":"+0.8669049739837646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437004$855712FD-0872-4D91-9C41-19C0D045BA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c936e2210fdd6f0616d5dc901b06ff15a7f7eab","datavalue":{"value":{"entity-type":"item","numeric-id":3367290,"id":"Q3367290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4b2825322f3f6dc22170915f0ebeaf23ec314f","datavalue":{"value":{"amount":"+0.8261786103248596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437004$F7E66571-C5AE-443D-B94D-5BAE526AF1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea58d43ce509639d14055b16808ca9d435ff27b","datavalue":{"value":{"entity-type":"item","numeric-id":4656556,"id":"Q4656556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebcfeacb3766136cb9b70b396240267252ced541","datavalue":{"value":{"amount":"+0.813122570514679","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437004$A82FFE1F-4AC8-4D16-9673-39316A2901E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5437004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5437004"}}}}}