{"entities":{"Q3824388":{"pageid":5854294,"ns":120,"title":"Item:Q3824388","lastrevid":87732941,"modified":"2026-06-04T12:29:40Z","type":"item","id":"Q3824388","labels":{"en":{"language":"en","value":"Resolution calculi for modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4097338"}},"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":"Q3824388$6FC33B22-F4B4-48A1-90E2-F0A9ABD454E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2efefd9149b09de011326bf7edf8e3dd9ea68e1d","datavalue":{"value":{"text":"Resolution calculi for modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3824388$0A41D810-6DE2-4327-AA89-3E7B698AB94F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4aa0716f17c986c039cd1e20e6656e9bee7c149f","datavalue":{"value":"0671.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824388$58A68747-AD02-4D2B-A6A5-FA9D207DA6E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f293d9277ea4ccebc3c19b3d1cde4d26e872eff9","datavalue":{"value":{"entity-type":"item","numeric-id":3472457,"id":"Q3472457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3824388$B82E6103-2BC8-4198-A39E-416978BBDBA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3824388$8F7A5029-3D84-4509-BE0E-87747F2854E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824388$28EFA00B-5D63-4B89-9DFA-049CD99ECB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824388$A8319E6E-C1A5-49D1-BC27-DDE9F180DAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824388$CCDBA858-32CA-42C7-B033-82CBB4A9750B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e28940c3cdd46b1631b0bfd08dbd50b97826e7d","datavalue":{"value":"4097338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824388$62C2781E-380A-4E43-82BF-6C6CD58EAA98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824388$D6E279FB-4272-403D-91C1-3DD172C0E5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9977afeaac4d053aef4e5b5c50df2441a2faf8","datavalue":{"value":"resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824388$E1DE533D-0B42-4E5A-B23D-3730749C453E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824388$24660B6E-AC0D-44B1-8AFC-370F358EA695","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3824388$DFD6A7C6-A6F8-47A2-9865-305CD6473972","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":"Q3824388$1C07BD16-0C31-4FD3-BE8D-8244E2520181","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67a7964b26feecd3aec78c9ab62c2d3a38ef0e4f","datavalue":{"value":"https://doi.org/10.1090/trans2/143/01","type":"string"},"datatype":"url"},"type":"statement","id":"Q3824388$C866BC8D-4242-489A-94CE-66C3B2519395","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"241bec99869eee4435330a2728a37a8ade6da714","datavalue":{"value":"W4236090957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824388$5C03DEA3-A996-40FF-BC5E-62F8A6696944","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67c670d0745924b9402d9aa78f439a7111eb2de5","datavalue":{"value":"10.1090/TRANS2/143/01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824388$CA3CF301-AFB3-48F3-9D8E-4FF2F66A2D69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Resolution calculi for modal logics","badges":[]}}}}}