{"entities":{"Q1178699":{"pageid":1189448,"ns":120,"title":"Item:Q1178699","lastrevid":66511857,"modified":"2026-04-12T10:34:36Z","type":"item","id":"Q1178699","labels":{"en":{"language":"en","value":"Resolution for some first-order modal systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 22287"}},"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":"Q1178699$D624CCEB-6041-4C69-A20B-E67D5AD619DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4830d569f2e85873199c464908f04a8c32bbe23","datavalue":{"value":{"text":"Resolution for some first-order modal systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1178699$1163CDC5-C680-4404-AED1-6F088FBF774E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9492c0b9c8244616b23c707a10e88f67ba5955b4","datavalue":{"value":"0739.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178699$CC9B5C8B-97CA-4A67-949C-8C8A8E05A4C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5625a9cada139eae791e7758e72de66b5089dce5","datavalue":{"value":"10.1016/0304-3975(91)90181-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178699$89C0D2A6-C77F-4C28-8341-897B5E7BF18D","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":"Q1178699$B8195E17-7B9C-4F5D-9A1D-793DA4B657F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-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":"Q1178699$3D851C54-2043-4387-875A-4B95763B2149","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c4ed6fe033edefca8024756c9895bc019564496","datavalue":{"value":"In the wake of growing interest among computer scientists in intensional logics one of the problem fields is to make such logics accessible for automated deduction methods. Building on earlier approaches toward the propositional case the author develops the resolution method for the first-order modal logics \\(D\\) (the ``denotic \\(T\\)''), \\(T\\), and \\(S4\\) up to an outline of the completeness and soundness proof of that method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178699$F92E07DA-6414-47DC-9495-E9CFE200D528","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178699$1B612AEF-D8F1-4B42-B4BF-C9045F9B69B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178699$29768725-5C4B-4C90-A3E5-41E37761A121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178699$FD005A09-1DEF-4BAC-A71F-5F220019AF90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e97cf7a4be922775ba098958617ba415a5e03c7","datavalue":{"value":"22287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178699$97103806-7CE1-4981-99F0-346D909F5421","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9977afeaac4d053aef4e5b5c50df2441a2faf8","datavalue":{"value":"resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178699$43594629-7EEB-4948-9C94-A87C0D0DD8E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e85c5db1a6961ef0897daa8abccf0b647303a8","datavalue":{"value":{"entity-type":"item","numeric-id":229749,"id":"Q229749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178699$37B323D7-66F9-46D6-9359-9CCD92418366","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178699$4B0B8ED2-6362-4FCF-87F0-1AD61CAB6CDE","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":"Q1178699$7DAE0C25-FA8B-4E8E-BD69-CE0FED0FDB6A","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":"Q1178699$E379EAAA-27E1-4FBA-B48E-1814A6337AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2747d10da3351289d1b17c903ad4959bea6af896","datavalue":{"value":{"entity-type":"item","numeric-id":3030268,"id":"Q3030268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178699$DA408768-78B4-4E3C-95FB-ED59DB5984AE","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":"Q1178699$CE5699FD-46A9-46E4-9B1B-901809C5C1C2","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":"Q1178699$59B89A21-B9A9-4616-B5F6-994488771480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758996f141f0e4fff0d52176e516e385f5dda0c2","datavalue":{"value":{"entity-type":"item","numeric-id":1118577,"id":"Q1118577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178699$83245B80-3C0B-4DB1-A013-F5907AB8EA54","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":"Q1178699$23CE80B5-82F5-4189-9CC8-E03724D37691","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":"Q1178699$5F2AAED0-4C7F-4283-A071-145DCCCDD496","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":"Q1178699$CBD82121-1858-4687-A285-68AAA65D1661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f71c78fa37d89de9f639230f926e61413cb8289","datavalue":{"value":{"entity-type":"item","numeric-id":3800001,"id":"Q3800001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178699$9D5B4B03-E22F-4D96-96B8-1C71E9222CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26397b126545fbfece88c979577fd04b9673081d","datavalue":{"value":{"entity-type":"item","numeric-id":1058847,"id":"Q1058847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178699$AA805CD7-1DBE-4AD0-9957-06100374A142","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":"Q1178699$6E29ED42-FE5A-46D8-B852-1CF278E8954C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5490edff7e86b453cd1c3cbf6a6a3668c1ee3881","datavalue":{"value":{"entity-type":"item","numeric-id":3992823,"id":"Q3992823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178699$778E7812-62F6-49CE-BD73-6917F55DA2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce0e7b92e2dd7189877c09d710424762dfb9960","datavalue":{"value":{"entity-type":"item","numeric-id":3030269,"id":"Q3030269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178699$32815387-456F-495B-A3F1-8817B98F0028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b5e466b1c925a5865453f6a7c6c7fb3f401401","datavalue":{"value":{"entity-type":"item","numeric-id":5606281,"id":"Q5606281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178699$B631E9AA-036D-481C-A9A8-788053BEB858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6e0bfbd7e8ce7f5b89d10be4ea3c5fe4ffddf5","datavalue":{"value":{"entity-type":"item","numeric-id":3673090,"id":"Q3673090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178699$45E64048-7246-45DE-A4A7-72479525C569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178699$940B7FAF-58EE-4085-AF65-C5DAB046C252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178699$05CCE07A-5233-43BB-BF09-CF0D70960614","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":"087316e0bd5833093a2bbc63a739004dc5285a55","datavalue":{"value":{"amount":"+0.8629551529884338","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":"Q1178699$A220BA7F-E4BF-4199-9B99-DDDB8B2B46A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d50e1c0df666fa91adb1a99dc10e55d393c6d9","datavalue":{"value":{"entity-type":"item","numeric-id":4916086,"id":"Q4916086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10fa429bfec9bea8344b0805e7b46e5f553e074e","datavalue":{"value":{"amount":"+0.8573542237281799","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":"Q1178699$65D03A64-D958-4EDD-8FB6-25231E2E9875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d1d80adb4ab2194e4452b04d533da571ab5ea96","datavalue":{"value":{"entity-type":"item","numeric-id":4539149,"id":"Q4539149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"919eb03f9f78d135559df26bb7cea49a6abef29d","datavalue":{"value":{"amount":"+0.8380614519119263","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":"Q1178699$D927AFE9-EB61-4262-84D8-EB1DEA0AB8B9","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":"56aa1e6ef12cabd207be1c09544f652abfa31c10","datavalue":{"value":{"amount":"+0.833022952079773","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":"Q1178699$C2B814A4-393F-4A9D-B549-1308614A777C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Resolution for some first-order modal systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Resolution_for_some_first-order_modal_systems"}}}}}