{"entities":{"Q1891265":{"pageid":1902007,"ns":120,"title":"Item:Q1891265","lastrevid":73935111,"modified":"2026-04-14T17:47:07Z","type":"item","id":"Q1891265","labels":{"en":{"language":"en","value":"Modality and interrupts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 759364"}},"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":"Q1891265$CAD86275-797C-40F6-A7FD-B01D643D46F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0cec742f15d99ae977791b605f1390aa2cc431c","datavalue":{"value":{"text":"Modality and interrupts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1891265$0C33E9EF-D930-4384-82E1-FD69F6CC51A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f2de00599f55e291252c9c75d079b38d7de806d","datavalue":{"value":"0829.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891265$4E16059D-A7AF-43E7-A820-F695A41AF189","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"612039f3c951f306b6081564e9bb6eaef2a1f3b4","datavalue":{"value":"10.1007/BF00883930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891265$C69728AA-421D-49AD-8F48-C180D80A56B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d3583419f5ad55a16aa796d6fdd95eefdadd749","datavalue":{"value":{"entity-type":"item","numeric-id":1891264,"id":"Q1891264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891265$3F4A6B0F-D897-415D-88F4-348C669E7083","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":"Q1891265$189CCF92-868D-4BBA-8F71-4FE9974CFD8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48f675f2e6eb2017d9ed14e1dceba137ce412126","datavalue":{"value":{"time":"+1995-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1891265$3A0C373D-AAA0-4D26-8FA8-B838AC2FD114","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d15a93056b40b4b2c5fcb7aa668408d9750b7cb1","datavalue":{"value":"Conventional declarative systems are inappropriate for use in real time or other systems that provide only limited computational resources because of the unpredictable amount of time needed for them to respond to queries. With the purpose of to get over these difficulties the declarative language Prolog is expanded by the modal operator of necessity, serving in terms of anytime reasoning to indicate the mark points (it is the points of negation) at which inference can be interrupted and an approximate answer computed and returned. The latter is computed quickly and can be gradually refined if time permits. A truth functional semantics over distributive bilattices is used for modality, not the Kripke's possible worlds semantics. The modal system \\(S5\\) comes out in the simplest case of four truth values only. A distributive bilattice is a sextuple \\((B, \\wedge, \\vee, \\cdot, +, \\neg)\\) such that 1) \\(B\\) is the finite nonempty set of truth values; 2) \\((B, \\wedge, \\vee)\\) and \\((B, \\cdot, +)\\) are both complete lattices; 3) \\(\\neg \\) is a mapping \\(B \\to B\\) such that \\(\\neg \\neg A = A\\) and \\(\\neg\\) is a lattice homomorphism from \\((B, \\wedge, \\vee)\\) to \\((B, \\vee, \\wedge)\\) and from \\((B, \\cdot, +)\\) to itself; 4) each of the bilattice operation distributes with respect to the others, so that \\(x \\wedge (y + z) = x \\wedge y + x \\wedge z\\) and so on. A truth assignement is a function \\(\\varphi : L \\to B\\), where \\(L\\) is the set of Prolog's clauses (with modality), such that if \\(\\varphi\\) labels both \\(q\\) and \\(q \\to r\\) as true, then \\(r\\) is labeled as true too. The method of truth assignment is sufficiently powerful to describe nonmonotonic reasoning based on autoepistemic logic. Prolog's negation-as-failure operator, and Kripke-style possible worlds semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891265$090842C6-B161-48F5-86CF-D1737213C317","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891265$17865B59-8590-4C2B-A3EF-2A2CC7955AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891265$6FBE3DE3-2282-42E2-A130-F01D190FD40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891265$15A59C45-CE59-4025-9931-B1A27F9D8C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891265$C4A8445C-20F9-4688-9DF1-847176FEC34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891265$5A908DD4-3710-42A1-BCE5-51A0145729EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891265$99B550CF-0CB7-4341-8E9A-C7FA2494D4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891265$63CD6FD6-670A-4495-8B2E-8B5F161A0BF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22d40ed922f78b6ae3b4106d18516287b0cba6ac","datavalue":{"value":"759364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891265$E60AAD01-80CB-41AE-96E9-BB24F0D497BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891265$EBD2B8EB-2BBC-427E-A7E5-C4431EB02D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"138d00f372c8ac96daff7f1464d1e7e759ea115e","datavalue":{"value":"functional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891265$FB684F78-23DC-4D76-999E-DDBB6B0395CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93bcd40cecb832d3577a8c84a0d4d42fafae2708","datavalue":{"value":"modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891265$CE6573EA-042A-48B5-AECA-EC330165F170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891265$C91F6401-574D-4349-B64B-6EEEE218ECE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc913dc049d8fe32d243e3587c27898ea3ba624","datavalue":{"value":"autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891265$E3EC5C05-1FA6-4F8A-9D11-F085FEE2B998","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":"Q1891265$7F8A6CF1-6B32-4922-8CFE-6496C3497F3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b213284362fd1e60bca0c733df0d74647d5092","datavalue":{"value":{"entity-type":"item","numeric-id":1101262,"id":"Q1101262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891265$EE4B2F50-054B-4637-9C3D-4747AC4C43FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ab7885723475716c9ccdbd5131608082a43cde","datavalue":{"value":{"entity-type":"item","numeric-id":3493258,"id":"Q3493258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891265$D52F6992-77A6-4607-A140-786447879447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0646c1e0a8d4322deff719f678f754b058190d56","datavalue":{"value":{"entity-type":"item","numeric-id":4934647,"id":"Q4934647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891265$2CCA4D37-4444-413E-AEC8-3C96966B6EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69a1b0696d3d19ee0dc3aad945f1b6fcdf0a0b7","datavalue":{"value":{"entity-type":"item","numeric-id":3792274,"id":"Q3792274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891265$A53D7252-F42F-4DD4-A075-EA6C32AFEC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f927a92bfb7361a8954519f1790a19e0db351e9","datavalue":{"value":{"entity-type":"item","numeric-id":1123640,"id":"Q1123640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891265$73B453B9-3628-4B7C-B309-2EE4D17A3667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"646e1fd3cdad8584cd1ca422de8b462098fe0d69","datavalue":{"value":{"entity-type":"item","numeric-id":3971113,"id":"Q3971113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891265$15993031-706A-4BCD-890C-205C52742F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391eac17e3acefa2d1e03bac46fdd5be6fa91953","datavalue":{"value":{"entity-type":"item","numeric-id":4028797,"id":"Q4028797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891265$FE10F05E-839D-415E-A2E7-716E1FF72510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0e220d505f8eef9c3894ce61af5fce58668e72","datavalue":{"value":{"entity-type":"item","numeric-id":3988798,"id":"Q3988798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891265$2EDD2FFB-C676-4622-9F8C-F60775E723ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b29b668775855ccdc2e0d734cd71bc0b1b25fa67","datavalue":{"value":{"entity-type":"item","numeric-id":1855231,"id":"Q1855231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891265$6935466E-B982-4E09-9BCF-73904238150A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c999a03128137cbeac2feffe55e854e8d5a76471","datavalue":{"value":{"entity-type":"item","numeric-id":1108819,"id":"Q1108819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891265$3FE974C8-4C2F-434F-9AAF-FE703C446C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262e0fc0c9acc0bb64d9975fe151b6db2ee24cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1104771,"id":"Q1104771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891265$CBD93422-2D9E-4CB4-8443-6CE433BBAD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891265$109529F9-66A6-437F-8C23-E61A36ADB1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891265$43AD8CD7-8925-4800-AC9D-E55980E7541B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891265$CDD1ADA2-DC17-461E-BD30-7BDCD0C9BE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d58245da881f3cdb86d99b65a47aa10bf7772d3","datavalue":{"value":{"entity-type":"item","numeric-id":4016561,"id":"Q4016561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891265$D99FCFFC-F521-4463-B1DD-D25F1279B22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4398c26783e439e6e945ebf6ab55ce9cf687034f","datavalue":{"value":{"entity-type":"item","numeric-id":3821633,"id":"Q3821633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891265$B1BC582B-D28B-4520-9442-FF1BAE2C9D57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c93d83bedb055c4f37d7902417154b1f1a6d9e","datavalue":{"value":{"entity-type":"item","numeric-id":4733441,"id":"Q4733441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ac9b9ceb0a52785bd39cec02ea53e99efac3a7","datavalue":{"value":{"amount":"+0.7579370141029358","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":"Q1891265$B54C2A01-613A-4A2B-9C87-C47295C5D46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a300121fa4cc9cf58c0d1046b730117cb2003de7","datavalue":{"value":{"entity-type":"item","numeric-id":4295816,"id":"Q4295816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5953c4cede0a4ea749c88fb05ab57acd66b36ca","datavalue":{"value":{"amount":"+0.748497486114502","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":"Q1891265$371D0925-C3DE-4FB3-86EF-4F7B55C59448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4200ebfa4f1f91bad240865826b5557c025dc92d","datavalue":{"value":{"entity-type":"item","numeric-id":4004424,"id":"Q4004424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49c0cb0d3fc27676aac70d408b8fad399678d20","datavalue":{"value":{"amount":"+0.747044563293457","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":"Q1891265$2FFFC48B-A17B-4C9F-B19B-D574E786A3D9","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":"67e7f95d91223fc0dce2a00606062f12b32170c2","datavalue":{"value":{"amount":"+0.7427546977996826","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":"Q1891265$1C80373B-185E-4DBE-8C0F-5EF1ED38643A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6750b6b63a4cd501d187c1dea8c64ba175b3388","datavalue":{"value":{"entity-type":"item","numeric-id":3774999,"id":"Q3774999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"149e9f8e2129f95489e93ed585679dffce06cf97","datavalue":{"value":{"amount":"+0.7369091510772705","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":"Q1891265$66365DD9-B207-4A17-834F-5EE260CFED61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modality and interrupts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modality_and_interrupts"}}}}}