{"entities":{"Q1698339":{"pageid":1709080,"ns":120,"title":"Item:Q1698339","lastrevid":43283510,"modified":"2025-07-23T12:46:37Z","type":"item","id":"Q1698339","labels":{"en":{"language":"en","value":"Natural deduction for modal logic of judgment aggregation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6839530"}},"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":"Q1698339$FF6A278D-F2F5-4563-BC77-EBD2019A5F32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d335a994b8c809e9889ea579ea5b8c9815a163e2","datavalue":{"value":{"text":"Natural deduction for modal logic of judgment aggregation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1698339$806A50C2-DE7C-46F5-9621-A68DB0CFA6CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3787f66c018ce22afac060f7875128fe47466654","datavalue":{"value":"1396.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698339$864BCF40-B54D-487D-BE64-55CA88CE902D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b84d8f0372e932b2f1e8b5d8340f5af45dac789","datavalue":{"value":{"entity-type":"item","numeric-id":714725,"id":"Q714725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1698339$6FD02CA1-9C15-4E07-B29E-CAC9C3AEDA20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1698339$BDAB1EC5-EAAC-4269-BFE9-43EB423048CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4c6e94e4207d62ceaab1dfe6120b87902418bcb","datavalue":{"value":{"time":"+2018-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1698339$14E72D33-AF28-4666-B78A-44856E980539","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698339$98759EEA-576E-4126-9BD4-88A21DB63EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824cfdf2b129d72f7287008060b5bf497f3b4f34","datavalue":{"value":"91B14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698339$4C547051-CD6F-4CFD-ACA0-96D6E9D06996","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0d48e5993f4077a5afb3b3a492f4475a43d4375","datavalue":{"value":"6839530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698339$D3C59AF9-9E76-4C5A-8EE5-0212A833C505","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1698339$91FD04D9-0A0C-42A0-B253-68044320E3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1698339$723F38A5-D4A4-4C39-BE25-15D2618A8067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e87e0992d75a40440383bc6a6c71401734a817","datavalue":{"value":"judgment aggregation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1698339$00871C40-E583-4AC5-A4B7-953F945077A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5494d58460aef85e8f460b0c5aaf1d29f7eb569f","datavalue":{"value":"social choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1698339$F46BA2E4-D7C0-463B-84B3-D107027692D8","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":"Q1698339$C1DB3F7C-A079-42A3-8747-AB0D1F8646F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"170f88b5e41cb7f8faac0d8b4c660f88900f180f","datavalue":{"value":"https://doi.org/10.1007/s10849-016-9235-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1698339$2291C5AB-E9C8-486D-BEC4-2B2D1B453B9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74714bb3aaaa73633556e5ed31550c9257ba70e5","datavalue":{"value":"W2339892231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698339$C2628627-98CC-4A31-80D7-A40E5423E65D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d093787d669b091c2e3a9dd916b22f1be82962","datavalue":{"value":{"entity-type":"item","numeric-id":2783476,"id":"Q2783476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1698339$2C9D8DDF-2922-4CF8-825C-99EB96169845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be25459aca028a155b0e72cf97f2d9bba7d75dc7","datavalue":{"value":{"entity-type":"item","numeric-id":987464,"id":"Q987464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1698339$C306D925-189C-4C98-B85F-315C285252E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f6ff49992bd596671d8d451e6c7bd3f052df63","datavalue":{"value":{"entity-type":"item","numeric-id":2460083,"id":"Q2460083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1698339$C9CE94B2-E1F8-49F1-AEE9-B3A68F95B69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a536e3fdc586b6475412739923c49dcf1fab43","datavalue":{"value":{"entity-type":"item","numeric-id":969116,"id":"Q969116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1698339$E1F2F2D8-20C1-4074-BE70-F9585774D70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce4090e549831bfb440059339b2bc8ef9934b13","datavalue":{"value":{"entity-type":"item","numeric-id":1780915,"id":"Q1780915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1698339$DDB7A937-2D86-415F-8EDD-9814EC918D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794a0faf3f1015a0e0b45040ae3a3e04e267da66","datavalue":{"value":{"entity-type":"item","numeric-id":2446586,"id":"Q2446586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1698339$FA5CD1CB-387D-424D-98E1-DE09754ACD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b09db7974041a998f5a061a06fb9163f22472d8","datavalue":{"value":{"entity-type":"item","numeric-id":373021,"id":"Q373021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1698339$7EFC1FDD-67EF-4E6E-A573-135907FD006C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b46ee53e6f5f943afa04d39d7b4896658d3b98","datavalue":{"value":{"entity-type":"item","numeric-id":652734,"id":"Q652734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1698339$9BFAD47B-E203-41D6-9611-7FE160670CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f5d9f42345f036e934a06d2f592fc579e347c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3741337,"id":"Q3741337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1698339$25835164-AF6F-4BF0-B1CE-7E82C970090D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"239cf1d15ce0d22872e0712010fd4ff5cb3809fc","datavalue":{"value":{"entity-type":"item","numeric-id":840816,"id":"Q840816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1698339$A5CC21AA-8694-44BC-8286-CC531E605AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d5d256276d328bfed9e58a96bba8696060fe2b","datavalue":{"value":{"entity-type":"item","numeric-id":652736,"id":"Q652736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1698339$08E51BF8-2C21-4BB1-91E6-08BA0259FF27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe7d9d13a6df153c9309b24b1e1714345538a2dc","datavalue":{"value":"10.1007/S10849-016-9235-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698339$7058FB11-9CF7-41F8-8BFE-1190A2143F51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849ca33231c4feda7d3112ba6036c47e5d9eba02","datavalue":{"value":{"entity-type":"item","numeric-id":1813231,"id":"Q1813231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"854f00a82562cee0dd8636ed332c19b7084a03e4","datavalue":{"value":{"amount":"+0.92098117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1698339$13DED0E0-01D7-4B11-B8A2-CC9DFB98B0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce256adef124d09eb756ed038608701398011fab","datavalue":{"value":{"entity-type":"item","numeric-id":4294473,"id":"Q4294473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae3b4fa323e9e6d44db53df19fe524c234f74ed","datavalue":{"value":{"amount":"+0.9202731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1698339$6FCEA92D-236B-4070-98AD-7CFFBA6FE841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24c0a2d0a8faf7e005d2b893339ed612ee0cfcc9","datavalue":{"value":{"entity-type":"item","numeric-id":1903127,"id":"Q1903127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d13a293dc19e328f31301006be9911aecdaab05","datavalue":{"value":{"amount":"+0.91322196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1698339$8ED957FA-4BC5-4A95-A65C-7CDCC408F7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9373fd7b8a9dd06d5693cc9dbe9cc0f12dd60821","datavalue":{"value":{"entity-type":"item","numeric-id":4943267,"id":"Q4943267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af62689dbc13e59db8f4a84d953a0bb291e9419","datavalue":{"value":{"amount":"+0.9113863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1698339$2C290520-5157-42A4-8564-8318E4880C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670e534e0734308496cf4891636d157d96384dc8","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed21f74fd37938111c948a3d3fa64e2a8c2c8af","datavalue":{"value":{"amount":"+0.9105625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1698339$76BFF86E-3287-4360-B2EB-D43F0E14049D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b994e8d0c268ef50f80de07a97940db98d609a","datavalue":{"value":{"entity-type":"item","numeric-id":4820470,"id":"Q4820470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"144e9168fca66398acf706503a1dc7a59739989d","datavalue":{"value":{"amount":"+0.9079691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1698339$CE4BD158-0F64-4AD4-873D-860AE9967D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66ac5ff790815dc83eb94307506f5ec7e50c243d","datavalue":{"value":{"entity-type":"item","numeric-id":1097870,"id":"Q1097870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"993078be75a398068e45e1eea505c7b06120f5fb","datavalue":{"value":{"amount":"+0.90335083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1698339$442034BF-12AD-44DE-BC32-37F6C2127286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0243f4d23771544088dce9ece1c4730ffdede91","datavalue":{"value":{"entity-type":"item","numeric-id":1577342,"id":"Q1577342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27cfb467cd34ab8e4821b771d416c62096b6fac8","datavalue":{"value":{"amount":"+0.9023516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1698339$CABB99DB-BEC6-4253-9357-24E7DF9A5926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e6e7a1fe189e42816a8f633061159bb0aa6f36","datavalue":{"value":{"entity-type":"item","numeric-id":3550858,"id":"Q3550858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba8cfed0ce6b9f31cf937135f77657315686c05","datavalue":{"value":{"amount":"+0.9016544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1698339$C6EC2DAD-5D45-4665-B1FE-424CC91CC06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00208d8e95432131ada27b43b8097d607ab26759","datavalue":{"value":{"entity-type":"item","numeric-id":2746598,"id":"Q2746598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"388c439d0c061432b714028ce503ff13c37c71fc","datavalue":{"value":{"amount":"+0.9008604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1698339$40467FD8-7F62-445B-AA8D-B43698108C38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1698339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1698339"}}}}}