{"entities":{"Q2702240":{"pageid":2712985,"ns":120,"title":"Item:Q2702240","lastrevid":47584075,"modified":"2026-01-02T03:45:28Z","type":"item","id":"Q2702240","labels":{"en":{"language":"en","value":"Natural deduction for generalized quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1574685"}},"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":"Q2702240$8C7C9317-8247-4C77-BD2F-3E09EEC2ED30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0b79c736043f18f787e2c8c82ea08f30f189de8","datavalue":{"value":"0968.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702240$B399525D-A3FB-4354-804D-6D7FC1D5E808","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af22c54118a69f4324bd2bfa43c2edc40af04cff","datavalue":{"value":{"time":"+2001-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2702240$B011A160-B307-462C-8EFF-3167B47F8167","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702240$1A357C77-8D8D-425C-B7C5-B3BB5B05CD1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43d56dc293d3637db6268a093bffcf45386d2ae0","datavalue":{"value":"1574685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702240$86C47146-D993-4128-9F9B-7167D00CC6A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e29c1e69df0b6d1827b21cf5575217093f886f","datavalue":{"value":"generalized quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702240$CAA5D8AE-50CC-49C6-AC16-B4A5018D6441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702240$29218BAF-E001-403C-AD01-CF6A89C63903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702240$CE8D91C5-AA89-4BF1-A3C6-581E020C7563","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82145f2c509f6818bbc22e441922b002b74d6125","datavalue":{"value":{"entity-type":"item","numeric-id":1006506,"id":"Q1006506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702240$5EDE8517-23FD-4DF3-A635-8DCB0B11CB92","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":"Q2702240$9D9D86B9-9C03-43C5-B9C4-44928471C30F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c9cbba81730951ac0ce7aef9c35b6dad95174d4","datavalue":{"value":{"text":"Natural deduction for generalized quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2702240$508F3954-CA3B-4807-A795-7378E9F9FAA4","rank":"normal"}],"P1643":[{"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":"f4ec5eea500772979cf72b2b640442cdb271564d","datavalue":{"value":{"amount":"+0.8340280055999756","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":"Q2702240$EFA2F011-0E68-4D14-8AEF-62CD6CB3E10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1e63c419b1401ded6d9cb4a3f95efa8ec11166","datavalue":{"value":{"entity-type":"item","numeric-id":3621449,"id":"Q3621449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46306ef4342cfd62d7dc3fd3a28f3524d4378957","datavalue":{"value":{"amount":"+0.7981796264648438","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":"Q2702240$C01BFDE4-3CDB-4C65-9D0C-8511955D93E1","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":"ef8596ba49961a990c2975cbc7c08eecf5f163bf","datavalue":{"value":{"amount":"+0.7893540859222412","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":"Q2702240$53CB34F9-20A8-44F1-8F31-545AB634A90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ca845eab521e433c6d4afe342d73488fb06500","datavalue":{"value":{"entity-type":"item","numeric-id":1314283,"id":"Q1314283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de671eb001f8b09331ad28b0000a4e118e1791f","datavalue":{"value":{"amount":"+0.7857556939125061","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":"Q2702240$1DEE2711-543D-45CC-A4E1-71B315DBE3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a250f58dc0f656665d313b815db051873eb71de","datavalue":{"value":{"entity-type":"item","numeric-id":3717024,"id":"Q3717024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e26e7813b8fb085eafcfad4ab00127f3ef62435e","datavalue":{"value":{"amount":"+0.7806740403175354","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":"Q2702240$679B34AF-C60F-49F6-B875-76C8651CB193","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2702240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2702240"}}}}}