{"entities":{"Q5429559":{"pageid":7459133,"ns":120,"title":"Item:Q5429559","lastrevid":96190469,"modified":"2026-06-05T10:38:19Z","type":"item","id":"Q5429559","labels":{"en":{"language":"en","value":"Clausal resolution for normal modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216478"}},"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":"Q5429559$DA4C9C3E-F683-486B-940C-BE5201685F83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e77f0507eaad83cf6cfba70a9970695d0645805","datavalue":{"value":{"text":"Clausal resolution for normal modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429559$32179F82-1491-4AF5-A719-7A652B93AEE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71c1dfdcf74fd65b69427b28a2c466295977aff3","datavalue":{"value":"1131.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429559$AE77EB97-2696-4A94-AFB3-33A63310D0F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6ab1fbf106e496a88446f2b3bd6d2be3544b1a6","datavalue":{"value":{"entity-type":"item","numeric-id":281155,"id":"Q281155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429559$F57CF650-8DEC-426D-9B10-41C134FBA746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c764ac21e0f0934969acd440140a93a6d4c985","datavalue":{"value":{"entity-type":"item","numeric-id":1383356,"id":"Q1383356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429559$3B15A324-62F0-4667-BE0A-56DCDC2F280C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9bcfebe9d23b7752651008b0d843e08ec7c57a37","datavalue":{"value":{"entity-type":"item","numeric-id":2709787,"id":"Q2709787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429559$9751F341-D078-4A83-9801-6EC03E8207B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"010c4d093ca2609306a3c907c440788c4ad84899","datavalue":{"value":{"time":"+2007-11-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":"Q5429559$D51EB282-13AB-4167-93A4-E1F8961C0A30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429559$D38F6D00-3857-4D39-A2D3-F635C1F384A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429559$ED7BE203-0FCF-413E-B1E8-0EDC4B6D2F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429559$403B24F5-3BE5-45E0-A690-B02EBA40281B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b149bd4b1c40f8a44dc84cc2efd1147d5156f84","datavalue":{"value":"5216478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429559$7F170AD0-E3AA-4A8E-963B-90E3CA7730CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf02195d7c3ea39d1ca241139afc48251cb25cb","datavalue":{"value":"normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429559$96F59F83-06D1-4D3D-93D0-CD91EA299651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429559$CE2A9312-3D1B-4929-BA37-C8023BDF9874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429559$CCF1244E-AE17-419E-8F0C-2634FAD0C7ED","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":"Q5429559$15374ACB-5A15-4E3A-9017-42991EB69FFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fab5058edef836c7d789be3a9974a8fe43c561cb","datavalue":{"value":"https://doi.org/10.1016/j.jalgor.2007.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429559$A372B628-0195-4ECF-8A6B-8B593DE8E8DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e9936e0649c8be8b845922c9d982670c40cf993","datavalue":{"value":"W2016570675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429559$25E9F428-0012-422B-A695-4D46FAF108C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe20adceb949bedb7fce8b722c6ff4ccf2f88623","datavalue":{"value":"10.1016/J.JALGOR.2007.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429559$4120C47F-C3F3-4175-B0F8-E5495642721A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5969d260ed273a4e7e205284010dc180181d5b","datavalue":{"value":{"entity-type":"item","numeric-id":3192202,"id":"Q3192202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1dab3e40ce0389df178c123bb3a1e6ca530f25","datavalue":{"value":{"amount":"+0.9053356051445008","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":"Q5429559$24909EED-23B4-40F2-B8B2-22EEBDCD276D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f7b269e781d4aa3c4ace2f7c3de9f877cc3c90","datavalue":{"value":{"entity-type":"item","numeric-id":4487263,"id":"Q4487263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf4d1fe931e3f1e11db6fc82590cbb2d7e11e93","datavalue":{"value":{"amount":"+0.8656168580055237","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":"Q5429559$023DCFE4-855F-4A24-9204-12F492A31E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26638a2dc1847797d44ccec79ea0876ae21cf485","datavalue":{"value":{"entity-type":"item","numeric-id":4972162,"id":"Q4972162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f552feafeecd2fccb904651ae6878399fb3627ae","datavalue":{"value":{"amount":"+0.8474172949790955","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":"Q5429559$4E13C1B3-329E-430E-8551-3C60D0A088F6","rank":"normal"},{"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":"15c2c02c21c360fecdb724470b6a4068d5e2642b","datavalue":{"value":{"amount":"+0.8462573289871216","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":"Q5429559$37E79E94-8B9D-420B-B8D6-86A2135626D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa95b29332657f3434f87150235e83c1199fef6","datavalue":{"value":{"entity-type":"item","numeric-id":3455770,"id":"Q3455770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c3d2b289c68f7fdec060af28de0a2fbc0a13511","datavalue":{"value":{"amount":"+0.8426328897476196","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":"Q5429559$E40521F9-7683-41D4-BAA1-32AFD8BC8415","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Clausal resolution for normal modal logics","badges":[]}}}}}