{"entities":{"Q2873669":{"pageid":2884389,"ns":120,"title":"Item:Q2873669","lastrevid":83618450,"modified":"2026-05-07T09:20:45Z","type":"item","id":"Q2873669","labels":{"en":{"language":"en","value":"Predicate liftings versus nabla modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250405"}},"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":"Q2873669$A042D922-7E1F-4D8D-8BA1-0F1D1957347C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b33ddd6f6ebce277fd73cc447816b32a6e229a0","datavalue":{"value":"1279.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873669$8351BBEE-D5F9-458D-941C-520944265147","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afb35b709ca1ea95e7f84778f438b2a0268b04a","datavalue":{"value":{"entity-type":"item","numeric-id":418819,"id":"Q418819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873669$585DEA76-573B-40BA-9261-C404248B0A29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873669$7839E89B-A470-401B-9C83-5DCA2DF8F06A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873669$4553A900-DE73-424D-96B6-6BE702ECAD63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873669$E27CA2D7-5335-48F7-9DC5-9F9A380651F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873669$9E32AC55-1FA8-4A28-8CAC-4EAD78CF7F04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad5cf4838f1c09c5c6f529d7a7e3410ad70df6d3","datavalue":{"value":"6250405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873669$3FA65E7C-D4E9-4D65-8531-35D6AFADF9D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873669$6E538AD7-69F0-44B1-8415-7FDC6FA5B87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873669$AC1D3CE0-27B3-4F08-9AE1-248243C29B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f141db866c0409d400adb38dc458444ee92b40d5","datavalue":{"value":"predicate lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873669$024B3B13-F375-462A-A789-752E7B9F1F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8450396b71578d79374c875e756a59afed44497d","datavalue":{"value":"singleton lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873669$B54B3EBC-4973-4B18-9A02-D84EBAEA07B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec1093c615a0b56331cacd493ecddee42b964166","datavalue":{"value":"Moss' modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873669$D1C6DAF2-028D-471F-91CC-38FE324A369D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9707239e82098193b68f81f16f6be8a919e54c5b","datavalue":{"value":"logical translator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873669$E9AE8FBA-A817-4F13-B3C9-F2EB76F81A1C","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":"Q2873669$A44E2979-4493-4ECC-AB91-C51AD58C9663","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7913608ee4d13b2b89641211f94f260d9a6c6970","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.05.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873669$577A74F0-6874-46D0-B145-F5B1C251DD13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c1b9293dae04b339f5150ce9184543225368e9e","datavalue":{"value":"W2050755555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873669$5ABAD3C1-B888-43E0-9611-A4AF1078EC0E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2c5a19776f984267f2bf3e2356f4a382f1a6f550","datavalue":{"value":"Q114182436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873669$01A148F8-3A9B-4A57-AF8D-63FBFE990A3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc708db8417b264ae5134e14d7f4436923047c5","datavalue":{"value":{"entity-type":"item","numeric-id":4044767,"id":"Q4044767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873669$E8AD4134-B69D-416C-8616-8DB5B046E85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c78df710fb68edf4f6f76a1c51c42296a1a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":3996444,"id":"Q3996444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873669$4CB5AFE7-B718-4A19-9847-3C444A7330BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873669$9CC99384-CF89-45ED-964B-1FA9847ADCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b108134cb018a15aad9c355259bc8f74fe48e92","datavalue":{"value":{"entity-type":"item","numeric-id":5900833,"id":"Q5900833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873669$B13FF887-6C29-4BEB-996D-8AC329826452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ebcde6f9acd989964b956b073cee90454efab1","datavalue":{"value":{"entity-type":"item","numeric-id":5705903,"id":"Q5705903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873669$4CC855CA-C765-4873-A4B1-F1B3B4CCAD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fcbf5caaa06d9b2136bcb161b6786ad2aedc9","datavalue":{"value":{"entity-type":"item","numeric-id":2495648,"id":"Q2495648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873669$77F51B3F-55FE-4EB6-B283-A7E9EC8B23B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f387bcb39b0c5a1df16a5bafaf9e9a9092a503f","datavalue":{"value":{"entity-type":"item","numeric-id":2847823,"id":"Q2847823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873669$6AF12CA4-4A67-46AD-958B-C887F47F7B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5ec7d8fe15d36eb40752b72a6a0baaf7999a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4256309,"id":"Q4256309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873669$1E1BA320-2BE3-4561-B890-1393BFC5651A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6eda1f8a2c74ac41b6b74f592e700b11ae56fa5f","datavalue":{"value":"10.1016/J.ENTCS.2008.05.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873669$4024702B-7775-491E-BFC6-314DBB6A4307","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a266bfc7a4c0db2524107caa4c995a0d95926fc6","datavalue":{"value":{"text":"Predicate liftings versus nabla modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873669$F7915C15-CD19-4FC9-BF0A-4F4C33727B0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1cc9c757adb74d7466d5015c73bca3cc5964a00","datavalue":{"value":{"entity-type":"item","numeric-id":1798785,"id":"Q1798785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7d6f28534bb72a9486038d8002cf7a0429be97","datavalue":{"value":{"amount":"+0.7715088725090027","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":"Q2873669$9E97D832-8381-475B-9BCE-AC5FE1372329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f456768a330b3f43a8015f2fca35c640a5aa33","datavalue":{"value":{"entity-type":"item","numeric-id":2848944,"id":"Q2848944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639bfb8a2f478d8c9210c45212569599b5adf081","datavalue":{"value":{"amount":"+0.7268051505088806","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":"Q2873669$D953E508-9D28-406D-9EA2-4BF7DFCCD548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c01c679692f5cda793b787521f8e35a00c8b236","datavalue":{"value":{"entity-type":"item","numeric-id":2848940,"id":"Q2848940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b77210f39b26202689fdc06e911177672080c924","datavalue":{"value":{"amount":"+0.7080203294754028","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":"Q2873669$F03A41A0-D0DC-4B44-B4CA-2854AF40D6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db36308d4189bb119849f435e5617cee21e358a3","datavalue":{"value":{"entity-type":"item","numeric-id":2856480,"id":"Q2856480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c56d7cd2a4a5efcd2846f3bc98dda2d5a66de65","datavalue":{"value":{"amount":"+0.699312150478363","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":"Q2873669$9013130B-5627-443A-BBF5-B9560CF9BAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef067971ef099832f5e56e6d7cc553eb4b797d66","datavalue":{"value":{"entity-type":"item","numeric-id":3612503,"id":"Q3612503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227fcf97be8675c43daad2a3fa47ad59020c860f","datavalue":{"value":{"amount":"+0.6993064880371094","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":"Q2873669$42B71F3B-CE7C-4880-AA06-8690D0F4BD11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Predicate liftings versus nabla modalities","badges":[]}}}}}