{"entities":{"Q1284704":{"pageid":1295454,"ns":120,"title":"Item:Q1284704","lastrevid":46747932,"modified":"2025-12-25T12:39:42Z","type":"item","id":"Q1284704","labels":{"en":{"language":"en","value":"Decidability by resolution for propositional modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1279222"}},"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":"Q1284704$1E6129B1-A4E2-409C-923A-37BBF65C3604","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69080e9346f33566ccc2c727208290bde15cbf78","datavalue":{"value":{"text":"Decidability by resolution for propositional modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1284704$2AB2D57F-7007-4C00-A1B0-5E52415A29A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb4043ed306f553c58f1a2e7f1f2ac6d79e25224","datavalue":{"value":"0924.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284704$882ACF62-95C7-4931-A4E0-8A4234D14847","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd8c8f705a698ca893ecd9bc0ce9f7d4c4ecda5e","datavalue":{"value":"10.1023/A:1006043519663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284704$47975584-582E-4D73-A719-CDDB13DAC6F4","rank":"normal"}],"P16":[{"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":"Q1284704$FD39441C-5E0B-4B04-AE97-8B19B487C5DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284704$0E6B0B11-69E7-4396-8A9D-E1B100B8F9B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa2e5e35d3f24c6f7bef23b8c15234f371e216b0","datavalue":{"value":{"time":"+1999-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1284704$96D66A5E-B771-4C0E-8500-5629AB2698D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284704$98B96A81-E1D3-4953-B5A3-459C3EABDFE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b04ee844f0e756cb23b4fcd3fc06e743772a65ad","datavalue":{"value":"1279222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284704$EBA7E707-EDB5-4289-9AE8-ECB020D0D585","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"736f778aa726936c55a2747b9e78774543421043","datavalue":{"value":"resolution procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284704$EFD2877B-61ED-48F6-AB4B-C0EAD9DC656D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284704$933D06CD-1A33-4FE9-9FAF-3D83A959C918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10ae480047257bc0786c9b8c1a06832efd602f93","datavalue":{"value":"modal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284704$DD36DA6A-A4F0-4989-AA6B-26E0D0FD13EB","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":"Q1284704$22F443EF-AC71-4E15-841A-B4ED67276DFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"588597922c70d0be936d8a4fb9ac82086f22414e","datavalue":{"value":{"entity-type":"item","numeric-id":4215602,"id":"Q4215602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06000c647482a733d9c777daf2fcd9ae7937966e","datavalue":{"value":{"amount":"+0.9270621538162231","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":"Q1284704$0F7EDE9C-19D9-451F-891B-2D674AEA23D6","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":"644dde94070afa2b258e7062bb246cbce523a1be","datavalue":{"value":{"amount":"+0.8600362539291382","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":"Q1284704$53A2E676-9794-428D-8504-A1FB30D7E2DA","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":"9facde2743291f492e2705280a1cd2f83668d157","datavalue":{"value":{"amount":"+0.8492792844772339","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":"Q1284704$E2E0DD1E-4484-47FD-8E9A-5450CA04CA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020c54d6c6bb01cf77a353201542ebcfc84eabce","datavalue":{"value":{"entity-type":"item","numeric-id":5256336,"id":"Q5256336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1707293fc39990179a17eb4c218fc3c6469aa40d","datavalue":{"value":{"amount":"+0.831784725189209","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":"Q1284704$6C2869A3-1A37-4024-92A1-D19FC96D271A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1284704","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1284704"}}}}}