{"entities":{"Q1079962":{"pageid":1090714,"ns":120,"title":"Item:Q1079962","lastrevid":42860209,"modified":"2025-07-15T11:45:44Z","type":"item","id":"Q1079962","labels":{"en":{"language":"en","value":"MOLOG: A system that extends PROLOG with modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3965465"}},"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":"Q1079962$54CF44E6-4E2D-4443-9E08-9CF56351AF26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bec87242bd03ff8a92bbb253d9d9fb54cd7dfa53","datavalue":{"value":{"text":"MOLOG: A system that extends PROLOG with modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079962$A1793C83-AC4B-4273-BDCC-0D24620112A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74aeae3a7538b3ba33c9fa62b49e35ea198d2817","datavalue":{"value":"0598.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079962$7E739316-6CC1-4645-A87D-07199ABEBB50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fd7613408fc6f0118b869d77f73ca6b017b21ae","datavalue":{"value":"10.1007/BF03037381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079962$0607A985-08F8-488B-952A-CBF05D4177CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079962$E9226435-4506-4DC3-A15B-D548B7774EBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1079962$5794B3E7-043C-4D22-B59E-B7E0B3CE9FB6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fcafa96f1bb30644e7f52307a03c06da816c0028","datavalue":{"value":"The author's aim is to extend PROLOG with modal logic. The first step would be to use the corresponding resolution rule. A formulation for the propositional case was developed in the course of the correspondence between the reviewer and the author [cf.: \\textit{G. E. Mints}, Vsesoyuznogo simpoziuma po kibernetike 2, 34-36 (1981); \\textit{L. Fari\u00f1as del Cerro}, Inf. Process. Lett. 14, 49-51 (1982; Zbl 0515.03009)]. The author prefers here to use another formulation for (what he calls) modal Horn clauses. The proof of the (completeness) theorem 1 is only outlined and at least one of lemmas 1, 2 allowing to delete the necessity operator will probably be false under any reasonable definition of satisfiability. The paper is very difficult to read since many definitions are either absent or incomplete. No resolution-type formulation of the predicate S5 (with satisfactory completeness proof) is known to the reviewer, and it is not clear which one the author has in mind. At least his definition 11 (of resolution) does not take unifying substitution into account and no precise definition is given later. An obvious way to treat the completely modalised case (all atoms are preceded by the necessity sign) is simply to drop all modalities and use ordinary PROLOG. This can be justified by reference to the faithfulness and soundness of Tarski translation, but hardly can be called extension.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079962$3D44ACDE-6431-40C0-848C-510D8BACD795","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079962$F0B35718-00CC-4481-B29B-8B1A3877594B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079962$1045EC3B-0249-4451-ABA1-86660068EB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079962$F049F02B-FC25-493C-BB6F-EF41171EC474","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df72b6ea1299c30ec3d3b476898af148f5d45ef3","datavalue":{"value":"3965465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079962$0CF2BAFD-AFD3-4B95-9F6B-40E09B6D50F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079962$09B56B4B-0F0E-4AFC-9EEA-4ECF2023F097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079962$7A22E4A8-2BA6-4976-8457-B4CCB5C4240D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83437a3273a94036163c3ca3f21430b5258497e5","datavalue":{"value":"modal Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079962$1DA24FCA-81D4-4B28-8A28-7E95BFF401E8","rank":"normal"}],"P16":[{"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":"Q1079962$7865B550-7D28-426D-822C-B6C7F852BE56","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079962$FF15AA7B-E6F7-458F-BDDA-14B7458734CE","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":"Q1079962$B95C3A87-7632-420F-92A1-DEF316F22E7C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bbf4aa5aeba972dc793d327c6aa060de19e1e12","datavalue":{"value":{"entity-type":"item","numeric-id":3880305,"id":"Q3880305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079962$D997EC2A-9D92-4878-8021-08CB2D10B6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69f37522343abd35ed025cc512dd2a67e21c314","datavalue":{"value":{"entity-type":"item","numeric-id":5842291,"id":"Q5842291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079962$C3CE1DD7-BA95-41D9-9DD5-882B3DDBE6F6","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":"Q1079962$645CF07D-FC18-4334-BAFD-85882A6ED8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbeab0533f5be6acf6473f0a8a37d4e50fbb9fa","datavalue":{"value":{"entity-type":"item","numeric-id":3704917,"id":"Q3704917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079962$33B28303-31DA-445F-AD49-131374625619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5caae54559776415a2ad5202e81ba505f1f0765","datavalue":{"value":{"entity-type":"item","numeric-id":3696485,"id":"Q3696485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079962$AACD579C-7A81-4C39-AA78-008DAD7B7648","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":"Q1079962$C1C241F1-98F5-499C-9D79-7B03292EED04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28dc7df3166e70cade3a9ca1ab31eb58fa2a10d4","datavalue":{"value":{"entity-type":"item","numeric-id":3925897,"id":"Q3925897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079962$6B064A11-9329-46AC-9656-E09C3B04CF02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"132d5ac076e90045a395c629339949fffc3bc787","datavalue":{"value":"https://doi.org/10.1007/bf03037381","type":"string"},"datatype":"url"},"type":"statement","id":"Q1079962$84DABD49-ECF1-4B18-BF64-79C449116EE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4209e56895b07ebb84628880c7cf463aef12dd32","datavalue":{"value":"W2134592706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079962$8CE33E41-6B0B-43AF-A980-7177DDEBDB7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6993ce1320b9277f3ea9530de0a68da1ff80b5f2","datavalue":{"value":{"entity-type":"item","numeric-id":3800001,"id":"Q3800001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5771a30a81e94a83ddd729ea5dc6df6ff09449","datavalue":{"value":{"amount":"+0.8515792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079962$F29F8C73-D784-4B89-883C-29CF0A12D63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51c90c970deaba0916d13f5725a284ff456bece","datavalue":{"value":{"entity-type":"item","numeric-id":4018068,"id":"Q4018068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de757129a37512cd77acbffa36d34db58f61d58","datavalue":{"value":{"amount":"+0.83591807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079962$E34DC80B-0B42-45E4-82EC-978FC49AE37F","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":"99cf6ae5b4deae7fba82709ac9b12042084c1b87","datavalue":{"value":{"amount":"+0.8341452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079962$12169E0E-EE2D-4C0A-9F4B-15079EEE8EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c920ed85419125dfdb595a601c3e525a0405742d","datavalue":{"value":{"entity-type":"item","numeric-id":4924965,"id":"Q4924965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cfb88fe8ee9f307c0c72069b0df7ce43fc4948","datavalue":{"value":{"amount":"+0.8318336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079962$8C19075E-05CE-4718-A2A5-3EE84704E0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f79b5a81aea1c129afaa571f8fc3ba807fc812d","datavalue":{"value":{"entity-type":"item","numeric-id":5313209,"id":"Q5313209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65127b726bd70b567dc1face59fdbe530d81ea2a","datavalue":{"value":{"amount":"+0.830948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079962$54D08837-0DCE-4EE0-BC0B-18026DF7D19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5582b7d7402a47da3a89fab8d6854b384ecdf630","datavalue":{"value":{"entity-type":"item","numeric-id":920970,"id":"Q920970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8142b9d00d31221c5f30adcfcc2b39fe348caac","datavalue":{"value":{"amount":"+0.82565093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079962$679BE123-F535-4321-BE74-6E68656A649C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9774873cfb9ed4af71675a1383940d5b587a9703","datavalue":{"value":{"entity-type":"item","numeric-id":5394130,"id":"Q5394130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0bde1f35e0ff4222cdb9b10aad6707e6ab781f7","datavalue":{"value":{"amount":"+0.8200982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079962$13493A24-6895-436B-88B3-70665E8C656C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2dd2b290cbb206425a778d1cd4f6b2687006ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1104915,"id":"Q1104915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ae2b0aeb805ea25bc4c7d9109ac814c0c5d2ef","datavalue":{"value":{"amount":"+0.8189776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079962$72C6D5E9-3CBA-473E-BBA3-53B8D11DA0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541007d2412be365e1f6a48884b590f77aaaf612","datavalue":{"value":{"entity-type":"item","numeric-id":5053008,"id":"Q5053008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"903d607f77d431ead2ee2b82b7aeffa5319439f7","datavalue":{"value":{"amount":"+0.81631863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079962$8DEC1B20-EAC9-4F1C-A7B7-A68FC78D7B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e349ead2c8723fc6d85a2ed0948a2af5ddefb804","datavalue":{"value":{"entity-type":"item","numeric-id":3768868,"id":"Q3768868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45fc27d73295a344ce16040b98c8d0f5288987a","datavalue":{"value":{"amount":"+0.8157591","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079962$455E145C-D71C-44CF-9C71-F83393A6F851","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1079962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1079962"}}}}}