{"entities":{"Q1102937":{"pageid":1113689,"ns":120,"title":"Item:Q1102937","lastrevid":69646713,"modified":"2026-04-13T08:26:22Z","type":"item","id":"Q1102937","labels":{"en":{"language":"en","value":"A natural semantics for modal logic over databases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051570"}},"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":"Q1102937$777161EC-CC90-431A-A153-93082134B507","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1741b8415b648cfc6fd03e3f217e49e4dd96828","datavalue":{"value":{"text":"A natural semantics for modal logic over databases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102937$7F849315-2F5D-4F25-9A2B-499667EE5FB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d20b6ab8ecebaf72c746dc2f652585dd8450f577","datavalue":{"value":"0645.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102937$7948CC11-5BF0-4A2A-A55C-12A93D38CB5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fae920b2348318a0af0f71b0fa7df3ce14caadcd","datavalue":{"value":"10.1016/0304-3975(88)90077-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102937$4A1F9BBD-E6BA-48BF-99E0-F26AB418B872","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":"Q1102937$9541B58C-312E-44CF-A23F-776F48DB757D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1102937$74326EEE-4ADF-48C1-AE11-1B4A01D486CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"90a4b636a2c0e1988a71245a0f510388c195ca0f","datavalue":{"value":"Two interpretations of modal logic with nonmonotone, semantically defined consequence operations are given based on model theoretic forcing. A natural interpretation for the theory of database updates is also presented. Local and global versions of forcing consequences are both covered applying Robinson's and Kripke's techniques.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102937$FA49A8B9-2E94-489D-A084-B71166F0CC1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102937$0D9D21EA-35F3-4E32-9DDF-233D468FF56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102937$F0ADEAD4-3065-44A5-8998-4798EA503551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102937$A3A5B1B6-BB5B-4172-95EF-DDBD6A5E6214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102937$C430546B-75FE-4947-9B36-C92C57CB43DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102937$D2FA6F7E-437E-4D0A-AC70-DF2DE86AAF8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5691281de08e89d5bc80d5a487fd04bc71c46e5","datavalue":{"value":"4051570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102937$32487844-69BD-4035-8421-27A733552373","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e47b7fdc03cdd045c4f9dee14a8322d1876314bf","datavalue":{"value":"closed-world assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102937$3FC513DE-E7FE-43B9-905B-6D61D474A6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102937$9D72BE35-B1E7-44D2-89CC-83AC00ECBC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c9caf6d5a0b6510ff931d7ac6c7bfa6bd8cbd13","datavalue":{"value":"logic database","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102937$5A741869-C947-4D02-97A6-64329BCD360E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc8439e1e88637dae2103fac0f56fbd664d902e3","datavalue":{"value":"nonmonotone consequence operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102937$7C8309DC-A19E-49F6-97BD-507F5EE9AE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c28c91cf8f62777d3e41099827e5b96da83e870b","datavalue":{"value":"model theoretic forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102937$9263EF45-FE80-4443-8376-FDA323F25DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9226291de8f8cb2bf3cb6206df45c9986783e1f5","datavalue":{"value":"theory of database updates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102937$6EA897E6-C0B6-436A-B731-E0BF1C059D84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff666a2845ea1366016230a34f1ca97820fb5d6","datavalue":{"value":{"entity-type":"item","numeric-id":388663,"id":"Q388663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102937$60C3733D-64F9-478C-ACAB-29651679ACFD","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":"Q1102937$0A849916-B73D-4FC1-A8C2-055B3D14D13E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa8934ecc687f2471e8654da191adbeb3165f8db","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90077-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1102937$E050E098-76B9-4EC6-AF98-4FF3CCC94482","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72f2c4feca219f731d1e36eb071d518fc718ed8b","datavalue":{"value":"W2099248291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102937$E8831AEE-67D5-4883-9E22-4719CC1660CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40de328e4ef0bb002df5ae148f526335f6b1b92d","datavalue":{"value":{"entity-type":"item","numeric-id":4199525,"id":"Q4199525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102937$2EBE331B-0B91-41F4-97D9-027F2B9FFE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e987535b4cf569317f73e58b0e19113981066163","datavalue":{"value":{"entity-type":"item","numeric-id":1060864,"id":"Q1060864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102937$38B2F700-45A5-4325-8361-298B9CFB0CF5","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":"Q1102937$BF0B273F-CF29-4CA1-B5F5-CE7590463895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec95e0cc5f6be9ceb84b4471952fde3499dc8b7","datavalue":{"value":{"entity-type":"item","numeric-id":1140442,"id":"Q1140442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102937$DFE17199-F1E1-4E3B-BA2D-ACCC1DA13955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102937$2AB75D7E-84EC-483D-BAF9-AE0EE0835658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3badcfa6f48cf0c5c09d31758e7fa21f901b8cb6","datavalue":{"value":{"entity-type":"item","numeric-id":3969903,"id":"Q3969903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102937$A69FB992-41BA-44F5-86C9-0B8F01EBC9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102937$534AC080-AEA2-4BCE-8407-656EA08358B4","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":"Q1102937$6EECC64E-A4F7-4F12-8C5A-3766CE0D6811","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":"Q1102937$8305AA3B-C2B3-45E0-B474-0A95D3B94CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8793493983ef79387cdf9085bcee0c585bc4d0","datavalue":{"value":{"entity-type":"item","numeric-id":3347338,"id":"Q3347338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102937$47AD7C5E-20ED-4117-9366-979D797019C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102937$FBA225C3-262C-4972-BB22-2F3764A05296","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7409796a0e640a2ae84598c952d9c864c804098","datavalue":{"value":{"entity-type":"item","numeric-id":3707433,"id":"Q3707433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ea3a336693da37f3c2dce6b5ef6e97951e3011","datavalue":{"value":{"amount":"+0.8713269233703613","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":"Q1102937$CED42233-EF33-4D41-B26F-74AC25B80140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a857c0fdaef867c65c7d2ea5af4c2e9ab1beb04","datavalue":{"value":{"entity-type":"item","numeric-id":2721181,"id":"Q2721181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de93c894546a7862ee0de347804a397f34f8cbd9","datavalue":{"value":{"amount":"+0.7892267107963562","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":"Q1102937$0561B9BA-A17D-4F1C-A17B-E4212301C8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651ce9c1592108970bda4cf54ea3e983c9a13f8f","datavalue":{"value":{"entity-type":"item","numeric-id":2996198,"id":"Q2996198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d39606ac2edc13879770b20dcbcb7d24090efced","datavalue":{"value":{"amount":"+0.7779753804206848","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":"Q1102937$832F4F28-8FAA-4168-90A1-EE8CFC1E6F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62258c8a39de1c67919695806e98c1339c67049","datavalue":{"value":{"entity-type":"item","numeric-id":3992994,"id":"Q3992994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60afbeeedff1143ccdf8dcce78469a7ee27d6cc","datavalue":{"value":{"amount":"+0.7771021127700806","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":"Q1102937$019E3FBF-0276-443A-8A92-BF30AE007589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9abdc9f2a873f078da7dfd3e10eef1d7c8c5ebbf","datavalue":{"value":{"entity-type":"item","numeric-id":4273486,"id":"Q4273486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb125afe6592ed6abbbf0b0ddf278cf11fdd553","datavalue":{"value":{"amount":"+0.7726203799247742","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":"Q1102937$27241CF6-8798-4125-B9B9-930E10F40C6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A natural semantics for modal logic over databases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_natural_semantics_for_modal_logic_over_databases"}}}}}