{"entities":{"Q3189791":{"pageid":3200499,"ns":120,"title":"Item:Q3189791","lastrevid":86629583,"modified":"2026-06-04T03:12:33Z","type":"item","id":"Q3189791","labels":{"en":{"language":"en","value":"Context logic as modal logic, completeness and parametric inexpressivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344186"}},"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":"Q3189791$80C9E05B-5CD9-41FF-B3EC-E797FF74A232","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ea1002f58995dc0342999cb6343ab7e70ddada2","datavalue":{"value":{"text":"Context logic as modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3189791$CA0FFE6D-5052-4E87-AEA3-34F01169FEBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40e038da502afbfea1f7d19747cefea51ddb2bb0","datavalue":{"value":"1295.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189791$B4FBFCF4-8AC0-4EC0-A582-86326FAF3927","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85b4666b7392b054cbed86ba2bf4a677b9bf729d","datavalue":{"value":"10.1145/1190216.1190236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189791$9426F07C-0EA1-432D-BD36-0AC1E0A63615","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a7aa3b44f4693179521a8497c029ed5d3d49964","datavalue":{"value":{"entity-type":"item","numeric-id":964497,"id":"Q964497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189791$B09E4EEA-1E64-447E-8E01-44336419885B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0eb51f415e5d6830c006f29bf0f051478fa880","datavalue":{"value":{"entity-type":"item","numeric-id":283752,"id":"Q283752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189791$9588B8C4-FCE0-4821-984B-57BCD0E0E333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea672298c6592c0cec2ba66bc931617d6af361bd","datavalue":{"value":{"entity-type":"item","numeric-id":2851334,"id":"Q2851334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189791$B7CCA2B9-80C6-45D5-A40F-D5B2F8F341D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"42ff8c7ed004bb20c7b1a2b6084e38122d4ab0d8","datavalue":{"value":{"entity-type":"item","numeric-id":3189774,"id":"Q3189774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189791$EFB39AC2-F8D9-4BA8-BCA6-67883D26FD76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad0e577f2be69493b55b974834cf6fd5cd3ca834","datavalue":{"value":{"time":"+2014-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3189791$40586FD0-FA47-449D-B034-79A18733AC8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189791$46C6D461-CD9F-44CE-BA27-CE5010D76E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189791$9A72609F-5DD1-41F0-806B-C75A8670DBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189791$3D1E4782-9F2D-4C9E-B060-2FDF61BBCFF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26deb64dcde9c9f1078c87df2a32d5cea1e83249","datavalue":{"value":"6344186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189791$9D7473AB-F898-4793-B766-2A721ECF7ECA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9861faf71d75e670ad59c78d80c345890d32978","datavalue":{"value":"context logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189791$7F6F13A8-9722-4051-972B-7C4CC1312362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189791$F0A1527F-251E-4883-B600-F309D28D41E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189791$62F90350-FF53-407C-8B62-CC7E4954D8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17b91e0ee8696de475c88c22038eac0a191a1940","datavalue":{"value":"structured data","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189791$B714E115-AA89-47CC-B5FC-D8B57811D698","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9082493959d9446d6273076839fd23e7b597ffbf","datavalue":{"value":{"entity-type":"item","numeric-id":24364,"id":"Q24364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189791$0A481F94-2CA7-439F-A668-E00D958E35AB","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":"Q3189791$AD77CD99-6DAA-44DF-B3DE-6597B3A62CE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8a579da97c524eccedcea6efdfe296f84f6004f","datavalue":{"value":"https://doi.org/10.1145/1190216.1190236","type":"string"},"datatype":"url"},"type":"statement","id":"Q3189791$75CE1094-425C-43B4-A73E-FF331F6C2C68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ad3fbadff572d785a291ec1d06046cbe0d8dfc3","datavalue":{"value":"W4248244173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189791$34DF2E6E-ED2D-42E2-8072-30211ED2A128","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7c59c677b2ca4ee5c177d9fe097835948d11c03c","datavalue":{"value":"Q130863296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189791$C7B96F81-5C5E-4D35-94BD-9882C3412FA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334c71848fcc1f2f65f491b1253cdc548d3e5a3e","datavalue":{"value":{"entity-type":"item","numeric-id":5276152,"id":"Q5276152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a50126b66ae0efc21e1479d2ca578b6ab3665e4","datavalue":{"value":{"amount":"+0.735539436340332","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":"Q3189791$30C67F08-59E8-4992-9792-39DED9A8C690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee29d87520527b12543e3f589127463a8519538","datavalue":{"value":{"entity-type":"item","numeric-id":3612662,"id":"Q3612662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4cb471e5013533bdc7449ff6641daeeb6108651","datavalue":{"value":{"amount":"+0.7197942137718201","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":"Q3189791$E1052214-05F3-4807-87DE-F824E9FE152B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e15fef631af27afda6c342f2631a2923f234ac4","datavalue":{"value":{"entity-type":"item","numeric-id":5758059,"id":"Q5758059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c73f76a428b3b01714c0111d51c65899127ccb29","datavalue":{"value":{"amount":"+0.7085652351379395","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":"Q3189791$C149CA69-70F1-4641-ACDF-4922446866DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197a8fbbadbaf6089c71317e8b619f67ab7caf6c","datavalue":{"value":{"entity-type":"item","numeric-id":3518282,"id":"Q3518282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581a0d6c8a35d6d75ce57caf99e627eb1b0f1c98","datavalue":{"value":{"amount":"+0.7085650563240051","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":"Q3189791$DF60B480-A1A4-4AA7-AED1-E02DCAB98428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63aed8375b2e8a57d23df48d5899eb7e133d9764","datavalue":{"value":{"entity-type":"item","numeric-id":3498442,"id":"Q3498442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f969c815b8d67383e5bfa47d4e830f8bad02cb2","datavalue":{"value":{"amount":"+0.7059915661811829","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":"Q3189791$C586DF4F-58FF-4228-AEA0-2B79F0D88039","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Context logic as modal logic, completeness and parametric inexpressivity","badges":[]}}}}}