{"entities":{"Q4934812":{"pageid":6964394,"ns":120,"title":"Item:Q4934812","lastrevid":41593946,"modified":"2025-05-06T04:54:02Z","type":"item","id":"Q4934812","labels":{"en":{"language":"en","value":"Formalizing action and change in modal logic I: the frame problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1394592"}},"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":"Q4934812$AACF36D8-11C4-4129-9462-A255680FC63C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e56b2815b0be6e8d28f91cc596dc34da92ec2bd","datavalue":{"value":{"text":"Formalizing action and change in modal logic I: the frame problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4934812$7BFB3F69-527B-4F7C-9DB6-6B908ED89B6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cc95642b048b2082f473a21da2f7503390f3f47","datavalue":{"value":"0941.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934812$E364A1F8-D031-4B2A-8EA0-4972F21095A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c6e0568a5f41264a721c4db23ffd816f1c49313","datavalue":{"value":{"entity-type":"item","numeric-id":4235431,"id":"Q4235431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934812$4BC3680C-309A-4B57-B571-BC63BE2465AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90e7b9a4e94ee55525cd8b7f19d653fb814d5f09","datavalue":{"value":{"entity-type":"item","numeric-id":371437,"id":"Q371437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934812$C058EE6A-C3B4-43A8-A006-0472B788122B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb34c0f0dfb2eb4c6f3a6a5df96c0159936e52c2","datavalue":{"value":{"entity-type":"item","numeric-id":302221,"id":"Q302221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934812$4855D809-1A53-4486-A97B-7953A8E3417F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a55f3aff8e421376e6a53544327002c7c786556","datavalue":{"value":{"time":"+2000-01-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":"Q4934812$A43060E4-D3AB-47FC-A26C-21D2EAFA3AC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06e322e936b4c2879bd6b5b31607c30aa32e230b","datavalue":{"value":"https://semanticscholar.org/paper/e9cfc5b4f4fe953f1d1281b73deba0a5c80e368c","type":"string"},"datatype":"url"},"type":"statement","id":"Q4934812$431DAF69-4810-4C9B-BBC2-D9C23B7CE9FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934812$92921FC4-C338-4BF6-8E79-E7D75EEAB029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934812$FEFD1897-7774-4652-B909-F2A41ECAD1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934812$DDABA3AF-9F4C-470D-9211-72ED30C34E26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bac0bc56ad43894c9b4ac1c898ce79216fd0e1d0","datavalue":{"value":"1394592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934812$5977928C-3DDB-44F6-8E8B-102D2E100A6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d72f87071c033a7fc6394dc8a7c682569d4313","datavalue":{"value":"reasoning about actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934812$57A2D90D-2C84-4CCB-9AD2-8A2C70B5F565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934812$D2403430-F6AC-4CA2-8CD1-0D300C257CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5e15a352a72c74374a7c76cf9bf5f24f0f1ec04","datavalue":{"value":"logic of actions and plans","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934812$6E490BE0-6890-456D-84DD-267630AF9125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934812$173C5A8A-99CA-4293-A0D8-289A52470228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f11623e8bdd574efe0f1231b6fc5a6ec4e26cba","datavalue":{"value":"dependence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934812$806A56E6-3B98-4F58-AD7F-A11D7EDCD2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f83b1aa5c3c73185ab130c51100d98b8269b368","datavalue":{"value":"frame problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934812$FD2F588B-779D-42EC-A1DE-615F6DBF97BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934812$6A445DAF-D1BA-4190-8048-8A1E75548E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642507c0abd1221e0d27a586106b3e2c75d006a3","datavalue":{"value":"axiomatics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934812$B1C876A0-4C1A-45E5-9418-95CA5D3F275C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934812$09AFD32A-1279-476C-8E39-EFF106D19C66","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"043f286811bd7e3b25c26d8138a3f84c5097b5d8","datavalue":{"value":{"entity-type":"item","numeric-id":14703,"id":"Q14703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934812$290FA9FF-252E-48A6-86F0-0D51745AA5EF","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":"Q4934812$6CA3EDDA-7A24-4B1C-B0EC-4561C146DA75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc899258994366e89625d5ae9406c0247e257681","datavalue":{"value":"W2013766526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934812$5BCD2833-B8B4-41FF-AB8F-306EA010D26F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20d736860830750518427fc99e2835d7402b8195","datavalue":{"value":"10.1093/LOGCOM/9.5.701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934812$45FD8D43-6F30-48C3-971F-B9A8340E66D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934812$3AD79231-0A0C-4BEE-9C01-48D784DD87F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7b975ef49797eec899528f66d9f1231d9decae","datavalue":{"value":{"entity-type":"item","numeric-id":4430405,"id":"Q4430405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8534d5c4607674b23e9faf49780d540cb865d31","datavalue":{"value":{"amount":"+0.8876671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934812$1984A76C-57D0-465E-927C-6EE39E3CB71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"156aa46d401ab823871423ac3b33e4e71380af6e","datavalue":{"value":{"entity-type":"item","numeric-id":3001111,"id":"Q3001111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484cd502cc62f5e55237f42073b1bbb5fa4e0956","datavalue":{"value":{"amount":"+0.8847413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934812$0C57B807-2CBE-405A-B1C8-D4B79B159389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f846f8b84a24dd2b5e8b5f7d7e17cd5c668057fa","datavalue":{"value":{"entity-type":"item","numeric-id":5271078,"id":"Q5271078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2e6bd707089426990ce7c6241ff5d02e91378e4","datavalue":{"value":{"amount":"+0.8759832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934812$60C34EE2-01A5-44F3-BDCA-C7A2ED2F3CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02957054d3fb9f6c94b6a74f0aa590ff95ce8451","datavalue":{"value":{"entity-type":"item","numeric-id":2269510,"id":"Q2269510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6a44fb1083f2434f541b42a1f2b713cc960654","datavalue":{"value":{"amount":"+0.8738685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934812$F6ED372D-B7CE-45BF-B086-50D1E4595DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7c3cf4207c24c1d268a34bc39509dd707073b5","datavalue":{"value":{"entity-type":"item","numeric-id":1923832,"id":"Q1923832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89f1768ecf239445b4bdfd658afae0e525543bd","datavalue":{"value":{"amount":"+0.8681154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934812$D0BC5A9B-25D0-43AE-B9FA-0CEBDEE7A3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebb638adc3dd24baaf5bebd588c7d4ac869a9a8","datavalue":{"value":{"entity-type":"item","numeric-id":4632321,"id":"Q4632321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd5dbb09840a09d35722c75650f2b906046c555","datavalue":{"value":{"amount":"+0.8678355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934812$C7C15DB0-137D-4194-8F99-98CD1D65B1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748cbca1695a8e0bcaee8b59e5e08079eef747cd","datavalue":{"value":{"entity-type":"item","numeric-id":558732,"id":"Q558732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a451d060aa5f3e809b58da49cd6ae4bac521e238","datavalue":{"value":{"amount":"+0.86615545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934812$C0B83A49-1ED8-4C0F-A80C-8FEFE7EE43AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37cab58f532447187de94e43b4b683a575e7e60a","datavalue":{"value":{"entity-type":"item","numeric-id":4708931,"id":"Q4708931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c552321c29b45c1ae402253875ef1ee2851277","datavalue":{"value":{"amount":"+0.86502326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934812$B73B0CCE-C74D-4886-B764-2D2F662916BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d16f7f84fdb874834302b7f9bce18f15196f0bc","datavalue":{"value":{"entity-type":"item","numeric-id":2317513,"id":"Q2317513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cf752b16b7667b83a5afd48e141f8a5301d4bc6","datavalue":{"value":{"amount":"+0.86399734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934812$E6543DAA-8BFC-45AE-BBF3-470C1B1A9CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17b3ef6d3337c7dcde1757b1696c81139adf350","datavalue":{"value":{"entity-type":"item","numeric-id":5375871,"id":"Q5375871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5894d4271a6062d9cca3622fc9bf5c1b992d32e8","datavalue":{"value":{"amount":"+0.8635025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4934812$DB8E9CE4-44A6-4D28-8981-80FDA70C772F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934812","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934812"}}}}}