{"entities":{"Q4487263":{"pageid":6516862,"ns":120,"title":"Item:Q4487263","lastrevid":81875216,"modified":"2026-05-06T19:33:35Z","type":"item","id":"Q4487263","labels":{"en":{"language":"en","value":"Resolution-based methods for modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463111"}},"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":"Q4487263$737F0CD2-659A-4490-8935-A9F115AE7062","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11fb7bba4a3e1bcc93c45a5d06c7a95162eaab1b","datavalue":{"value":{"text":"Resolution-based methods for modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4487263$47CDF833-2694-4C70-B4C0-0347DC4AD9BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af8a2b88946e8d1f84893cec88e6eba4826e3c24","datavalue":{"value":"0947.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487263$0FA28FFA-A632-4136-94A2-0D5B42232222","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af7e025189305bad11f686c710fe3b187470eaf","datavalue":{"value":{"entity-type":"item","numeric-id":438567,"id":"Q438567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487263$33AA57B0-280F-4AA6-B47A-365C8A71AB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487263$A94ABB63-6638-42E0-B825-B4A17AD69530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"531bacf41fa7f19b08f4a713dec30b9d0307505b","datavalue":{"value":{"entity-type":"item","numeric-id":924722,"id":"Q924722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487263$C2D377F2-EFF0-4287-A47C-2467E8BC08A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"808321b5dbf4c939be439eeccdeece7a1f77a12f","datavalue":{"value":{"time":"+2000-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4487263$4C49A638-1C26-4D4C-852F-47552EE1839A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcc1099c9ae8d7944a4326f71d2d6764a5c40b29","datavalue":{"value":"https://semanticscholar.org/paper/bfd93c6e5f2e51892715f54d87df751816e30ef5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4487263$CD049EAC-92C8-4DBB-B7EA-621E3E0752E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487263$1BF802C8-CBA8-4B6D-A911-ADAD2EB461A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487263$91CC9C1D-967B-44D2-B79C-ECE44259B79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487263$09902C36-C84B-453F-9094-0E64F0E3F387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487263$314AF2C6-F44F-4E01-A7D9-B01BBA6FFE41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d64bd1f4eabc71f258e1f2fef0c312154c60024c","datavalue":{"value":"1463111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487263$34705F41-7726-4E05-A726-7FF77E32BA7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487263$331DF84D-5296-4CC0-9DE3-5E1F058A6FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa2a315f1e5bdb812c00f1614e7890bab1729fe","datavalue":{"value":"solvable classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487263$E06FBC0B-5A08-401E-B0C3-137A9057CBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cacea7dcf4d7bc803743d9b6041adf255334bb","datavalue":{"value":"guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487263$5125474C-0190-4BDB-9A54-6168C7CDDF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487263$65906F89-D28B-4606-81DC-7699BDACA499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"378f1574024ee74fc4e5003313aa31cdac31efe1","datavalue":{"value":"inference methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487263$08677DA9-B6DB-4603-AEE7-1D5CF9B84AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487263$D695217D-674D-4FE8-AC30-1CE2C500454D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57874edeb1a8d92efa1fa31b93fbd968ea8af7d7","datavalue":{"value":"model generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487263$DD325C8F-B367-4081-99D7-D7C4C5F2EBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae738b4e5bfc4058a7d249243e2032ea14dd6663","datavalue":{"value":"resolution methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487263$DF923B1E-BAF7-427B-879E-6440D449433E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6642387163ec067b78fb6acdc4a69ec363a2506e","datavalue":{"value":"extended propositional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487263$4057BB25-1C58-4611-894C-6B9D86CAA653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487263$FE07968D-08BF-4276-9005-13B5284FD311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5448aec3a6cd070e7e192935265c701de35c205","datavalue":{"value":"multi-modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487263$CD5E2A57-842C-4C27-8871-B62E39B3B8AB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487263$14B96B97-7A44-4F7D-843E-EF374E6A4EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a761178b05ceb8505a589f51ea41c7640322dd0","datavalue":{"value":{"entity-type":"item","numeric-id":33154,"id":"Q33154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487263$73321865-0936-45E2-87EE-E6A51734FA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487263$580E0E5D-9E32-4273-8B0C-E3A37018A603","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":"Q4487263$23AF0B21-4A0A-40AF-906D-A817DBA95345","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b5035cdd32ad704f76bb748239da3e59990954d","datavalue":{"value":"W2146427628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487263$C760C4BB-01A2-4A06-BB8B-EB89FC2A7BD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d75b7f2074fefd589eb8ca894479681cbf0f39ca","datavalue":{"value":"10.1093/JIGPAL/8.3.265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487263$BA88EFAB-3234-4567-B5E3-45F4E8BB72C7","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":"Q4487263$E3077578-9BA2-4F1F-9889-8D3C07A7573C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b6bb9dc551ba9a220b7a51f14cd07bdd3a25b7","datavalue":{"value":{"entity-type":"item","numeric-id":3704917,"id":"Q3704917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e112ca1df3180d397ac4b0b4108cbe025158b8","datavalue":{"value":{"amount":"+0.96777797","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":"Q4487263$24F29A04-B802-43E8-AACD-AAF62305C65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9104d6efaf18f96b4552d536a849788e51577e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3824388,"id":"Q3824388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33a049199221a4e21939a5f38e319887431021e","datavalue":{"value":{"amount":"+0.9658085","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":"Q4487263$6885FF56-FB99-4488-87F6-F8E9548E0E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226ca6b8563252dc602290f45d5a3188fbacf2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"280b775fcc1204bb1ccbaf195cdb9129fe5aea5a","datavalue":{"value":{"amount":"+0.96117604","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":"Q4487263$C6D6FF9E-3F1F-412A-ACC4-AB351D82C205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e349ead2c8723fc6d85a2ed0948a2af5ddefb804","datavalue":{"value":{"entity-type":"item","numeric-id":3768868,"id":"Q3768868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba043ac150fc9090d818b00e86ed2b842e3849e","datavalue":{"value":{"amount":"+0.9529913","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":"Q4487263$BEBA294C-0FD0-4DED-A733-AA64E107A8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5887dfb116757f13164aa5ddb1aab569b834a649","datavalue":{"value":{"entity-type":"item","numeric-id":2772883,"id":"Q2772883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b7a6b2cc739a6340be575f1d2fdb9a44e108473","datavalue":{"value":{"amount":"+0.9484472","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":"Q4487263$C2E150DC-5D44-4E8E-AFEC-DAEBA064C192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb90dd38751d34581c8b2c1854daff88f7148647","datavalue":{"value":{"entity-type":"item","numeric-id":1332644,"id":"Q1332644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3351274637b8d215c13a6eecc7e09943d7286b96","datavalue":{"value":{"amount":"+0.94800115","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":"Q4487263$749FDAA1-7E9E-43E0-B5FB-429027AB9E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2dd2b290cbb206425a778d1cd4f6b2687006ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1104915,"id":"Q1104915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b40cb0a77dc7ad2308063b932511c4072d258e0","datavalue":{"value":{"amount":"+0.9459058","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":"Q4487263$40B27318-8B71-4198-9A8F-526F8A7D2F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28674d17a39b773c5c5ffd0ff735beb0ca6f610a","datavalue":{"value":{"entity-type":"item","numeric-id":4945231,"id":"Q4945231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775f630909ce40b8c48e15aa566d9bf1a63c5d7f","datavalue":{"value":{"amount":"+0.94578266","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":"Q4487263$59339631-FAE5-4BA9-815E-AF9E2B33042E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c378675ffe377bc56267cf1f2a84bd5babfc8658","datavalue":{"value":{"entity-type":"item","numeric-id":4647550,"id":"Q4647550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61dbaadc18937d3886e72017fa77050eb5d9b663","datavalue":{"value":{"amount":"+0.9457378","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":"Q4487263$2F9757D6-2AFD-4B94-8720-9CF91728332F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb952c7e116badbce0317bc06862cc4a8f0a9e9c","datavalue":{"value":{"entity-type":"item","numeric-id":3767322,"id":"Q3767322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9050d8d6cef4bc4844a6768d0674af6520ed941a","datavalue":{"value":{"amount":"+0.944985","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":"Q4487263$BF8B5AE7-0672-4EE6-9DC7-90020C856BA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Resolution-based methods for modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Resolution-based_methods_for_modal_logics"}}}}}