{"entities":{"Q2841956":{"pageid":2852676,"ns":120,"title":"Item:Q2841956","lastrevid":83483267,"modified":"2026-05-07T08:13:54Z","type":"item","id":"Q2841956","labels":{"en":{"language":"en","value":"On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6192807"}},"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":"Q2841956$8023C102-494E-4732-99A6-4C3677295026","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c59ab7b7915f93186d1e1865f28b7ee02c007a7","datavalue":{"value":"1432.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841956$DDF16479-E1D6-4AB5-9E32-F2F2EC5FDAC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60b9beaf3e59e5f4c95b1467e6426f44a407d0ef","datavalue":{"value":"10.3233/FI-2013-842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841956$3653F47A-767B-436D-8A92-DFAC878AD71A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841956$A4DD42FB-CABB-4598-B826-80265B402B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9cd3dd7f2fdc487d61a2d3b36f6537d88acf6b","datavalue":{"value":{"entity-type":"item","numeric-id":737086,"id":"Q737086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841956$57B7CABE-6A55-4D03-896D-17E9346459C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841956$1EC0EDFA-F1EB-4BB9-94DE-8CE26E9F04E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c86eeb1cf1b5bc0e7bda48e7a87fbb18b6ccc2d0","datavalue":{"value":{"time":"+2013-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841956$7494293B-F015-4614-A31B-08CEFFFDC065","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841956$FE1D9A93-1F3B-420F-A0C2-997C4F299AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841956$34E5D21A-FAF5-48AD-BD95-6DADF9445C26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02d38ed8c266b5ff4946d6f540326cdf7764ad54","datavalue":{"value":"6192807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841956$ED8F024F-11DB-4C3C-84AB-1CDFFA4066D4","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":"Q2841956$292FEF6A-A851-4971-95B0-5EBB93866F53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"676688855e9dcc3e79b44e7e33e9e71c15de0cd7","datavalue":{"value":"https://doi.org/10.3233/fi-2013-842","type":"string"},"datatype":"url"},"type":"statement","id":"Q2841956$FBA48365-362D-4244-8F35-3757FB956C0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf11f1c5c6b46a49db2945b081b7458f4badd6f4","datavalue":{"value":"W1585127735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841956$571CFD94-06D6-49E5-8830-EAF34D15EFD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7edf5053d2f7086802f565a5c6f800e4362c9943","datavalue":{"value":{"entity-type":"item","numeric-id":5169613,"id":"Q5169613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"052f6c8ca6dcda5d95b134edf17dab805aaa7224","datavalue":{"value":{"amount":"+0.884091","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":"Q2841956$2447F7FD-AAE8-4B37-B9C3-BE549FB3557B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfef2d4b3a38528ae2893a2dd9fff499870a311e","datavalue":{"value":{"entity-type":"item","numeric-id":3018991,"id":"Q3018991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9a7e28090857b86cc11a7d2deeb6e946ce0388","datavalue":{"value":{"amount":"+0.8803612","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":"Q2841956$B79C4E2A-550E-447A-9875-46164C9F416B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f9bec9707cb53f2e71347f1296911adc5e5abab","datavalue":{"value":{"entity-type":"item","numeric-id":752686,"id":"Q752686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7181dfa7ba2bfe3e6a099e2c3619f6680307ddd1","datavalue":{"value":{"amount":"+0.8790435","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":"Q2841956$9E1F22F4-20BC-4435-846F-CF4AAB869787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a791f7386848fdb80ce8b033cdff7f9e78e252","datavalue":{"value":{"entity-type":"item","numeric-id":4204132,"id":"Q4204132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7181dfa7ba2bfe3e6a099e2c3619f6680307ddd1","datavalue":{"value":{"amount":"+0.8790435","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":"Q2841956$7AC6F089-9780-40E7-A46C-99219591DBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ef847eda2dfdcb41a4ebc03c37ffd6493c194da","datavalue":{"value":{"entity-type":"item","numeric-id":3105690,"id":"Q3105690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbae990ff64c65ffb57ae5f2488a1d2091969745","datavalue":{"value":{"amount":"+0.8757529","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":"Q2841956$983D6AED-B8D4-4270-9EB1-E45E28FF920B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6571df5775ae6a38ab7a16f7e1d980a1713e4755","datavalue":{"value":{"entity-type":"item","numeric-id":2804044,"id":"Q2804044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a99a8026e3ad8946fe28c500471671238dec34e","datavalue":{"value":{"amount":"+0.8739685","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":"Q2841956$B299722C-A8F1-4D94-951F-6537E417B397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0346cb07c892f61a7f5b431ff4ebc45d81b80c","datavalue":{"value":{"entity-type":"item","numeric-id":3410675,"id":"Q3410675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ae5ee400e37bb9e037e1e26bd7ce32fec481d2","datavalue":{"value":{"amount":"+0.87166053","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":"Q2841956$BC4367D3-54C7-4994-89E7-A24E00C7C43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966a31c801e93ceb344544bd9134806de981b021","datavalue":{"value":{"entity-type":"item","numeric-id":4798640,"id":"Q4798640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8923eab9cc8c78d8ae0fd8800f8434af17af3f1","datavalue":{"value":{"amount":"+0.86978185","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":"Q2841956$823561D0-AF07-44F3-AF7D-44B8CCF02836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99bb4429076f709e552cbc6891afdcde20370fad","datavalue":{"value":{"entity-type":"item","numeric-id":895828,"id":"Q895828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eaa833e33eb5d6198707780c6d3920d72d40348","datavalue":{"value":{"amount":"+0.868798","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":"Q2841956$F0FCA1CA-F5C7-43E4-B833-9FD4BC374AE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"805d027fe36bc4cc08245138a71f82f12ba58d24","datavalue":{"value":{"text":"On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841956$DA63C55D-C8C4-4A68-AB53-E7E07289A223","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_satisfiability_problem_for_a_4-level_quantified_syllogistic_and_some_applications_to_modal_logic"}}}}}