{"entities":{"Q1118577":{"pageid":1129326,"ns":120,"title":"Item:Q1118577","lastrevid":49264210,"modified":"2026-01-06T21:11:22Z","type":"item","id":"Q1118577","labels":{"en":{"language":"en","value":"Modal resolution in clausal form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4095428"}},"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":"Q1118577$E73EB140-5407-49C8-96D1-C5B60F6593D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"001716bb81dd936bcd3b721cadcd6811b25752d7","datavalue":{"value":{"text":"Modal resolution in clausal form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1118577$DB71644C-7439-43E3-8DA8-DD5CBFEAFAD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79ad3747b40cd9fedca768dfec9edde9102ed733","datavalue":{"value":"0669.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118577$99152522-4B76-4DEE-A473-726AC65F1BD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02451c076aa890434d454829f1c7ed33ef4a4f98","datavalue":{"value":"10.1016/0304-3975(89)90137-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118577$5C2FED6E-12CD-46E7-B96E-620386505DF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"646719c8036b1307f835e0bf21b70451a2cfe024","datavalue":{"value":{"entity-type":"item","numeric-id":920969,"id":"Q920969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118577$D5A385E2-666A-409D-9AD1-B68FF1FB2FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d81225bab06711ff25835b9a7685484694bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":266879,"id":"Q266879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118577$F33E64A3-991E-483F-9C3A-F9E25C2D27A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118577$A50BB027-4CDA-45FD-9753-7D8282C3D45B","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":"Q1118577$B22CB509-C232-4B80-B57B-9A44A46D36C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118577$6EC8C8BE-5DE8-460B-BBF5-CBF840FD46CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118577$3AC526C0-C194-4448-BD8A-B6456197478F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca0843c147eb4735199560ca208e3116fb0017b6","datavalue":{"value":"4095428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118577$E8FAC290-10A5-4F65-B6AA-669FEBB03E9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8139f090aeea88313305c725654b58aa9302c683","datavalue":{"value":"multimodal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118577$4531F4A0-5439-40F5-8C40-CA4770EE1E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50aa0edf4d3ce071a230ffd32ca6137e122f5b5d","datavalue":{"value":"resolution systems for propositional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118577$33C03CA2-E07F-4317-A1E1-7CCC1653ECCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118577$7CCA9127-04E3-4801-9F9C-270FE7363A3C","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":"Q1118577$2979DFE9-A062-4709-8BC1-749D4A44C974","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8a0e3749fd97f97998920a1425173886285f5f1","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90137-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1118577$679C4472-1715-45FD-A673-505B28FA7679","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b9d1b5da84e44014017f03a5c779ff7f2b270d3","datavalue":{"value":"W2017094488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118577$B972468A-2100-4143-8549-B84009F9DDA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8604220f0faeddc925050a4b84461fa4317e71f4","datavalue":{"value":{"entity-type":"item","numeric-id":3682464,"id":"Q3682464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118577$64A52043-DD3A-4972-BB19-C7109F9CC9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118577$3AF7D9B1-B1BD-4A94-B8D7-4EC146246DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef4100c19f58a69356c3826b3f771e6c157c13a","datavalue":{"value":{"entity-type":"item","numeric-id":3717022,"id":"Q3717022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118577$2EDAD529-3450-428B-9475-6019A06AD23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5988b361ca37ecfb14673b33ef0fc3f5aaff39c","datavalue":{"value":{"entity-type":"item","numeric-id":3767322,"id":"Q3767322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118577$3327AF69-4B81-45D4-A208-F3F6DE74C0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c975ae90a4763199c30a8e67e2f030e9206a8178","datavalue":{"value":{"entity-type":"item","numeric-id":1051628,"id":"Q1051628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118577$11A1E999-43A2-418C-99FF-77FB86DB8A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b38e00f9ec1f1ad95bd5a593d1dbecc11889a11","datavalue":{"value":{"entity-type":"item","numeric-id":1079962,"id":"Q1079962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118577$1D1D78C8-F640-4846-821A-F1F8A1ED6FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118577$8404B192-C092-4FC4-BEBA-3676CDA5FB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118577$359030C4-561D-49BA-9F90-788711E5EC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c417924a46f5e00f10bb7b003d8951d6cdf42c1","datavalue":{"value":{"entity-type":"item","numeric-id":5596237,"id":"Q5596237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118577$CE2F319F-A928-4022-8312-6D1BFA933EAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4897d4b1954ac91ae95528226939bdfd467b5c45","datavalue":{"value":{"entity-type":"item","numeric-id":4207883,"id":"Q4207883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c2dff1f507b58264165e309a14f52517295227","datavalue":{"value":{"amount":"+0.874663233757019","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":"Q1118577$C03781F9-045E-4215-82B3-234F064111C8","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":"e49b90fe6e3048205f6916d32b467bdc91695859","datavalue":{"value":{"amount":"+0.871204674243927","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":"Q1118577$6BB4CF8E-5876-4CBF-ACA8-8B7D18B62CA4","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":"f229d8f6408241381257209decdce03619f354a9","datavalue":{"value":{"amount":"+0.8619644641876221","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":"Q1118577$A19FED7D-A0E1-4CCA-B5BE-A6B8DB180A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625175a9e6fa85f98769452b1e0dafbf68739440","datavalue":{"value":{"entity-type":"item","numeric-id":5429559,"id":"Q5429559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc11c9c2cb3c92402a398191713ebb50581a34c","datavalue":{"value":{"amount":"+0.8394182920455933","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":"Q1118577$40E26EAA-2A31-4735-BA65-6695184C3C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f104792b223736a01f2dede804bd80df3f430f5e","datavalue":{"value":{"entity-type":"item","numeric-id":1284704,"id":"Q1284704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f0e7a630985c97e4888404c20fa1111f902594","datavalue":{"value":{"amount":"+0.8312187194824219","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":"Q1118577$7BEDABEB-5392-45B3-A8D6-85104949C029","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1118577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1118577"}}}}}