{"entities":{"Q5243399":{"pageid":7272966,"ns":120,"title":"Item:Q5243399","lastrevid":40776198,"modified":"2025-04-04T16:01:36Z","type":"item","id":"Q5243399","labels":{"en":{"language":"en","value":"Polynomial semantics for modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7131028"}},"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":"Q5243399$C85F54B3-96D6-416D-9865-4CCD4B2FE99E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffa701163d5223aec2e0375e1187b43f9c39006b","datavalue":{"value":{"text":"Polynomial semantics for modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5243399$7F70E9A5-051A-4815-83C3-C9D2CDA6A1EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c11de35e5b105330d3e33cccfa1e086d301e108","datavalue":{"value":"1444.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5243399$4C229A53-A90C-4E0E-B727-9A507B76CB5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b9c152bd9494cf2ec28e4c2241c27532c8d4a6d","datavalue":{"value":"10.1080/11663081.2019.1676004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5243399$506CD3F3-AD6E-4530-B2EA-D0D948AACA6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb56cedfc1b0b7fa8d41bde60a2d0fb3dcfbe79","datavalue":{"value":{"entity-type":"item","numeric-id":2399602,"id":"Q2399602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243399$70B7854F-5F03-447F-B5B5-1DFF5344FE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39c13087bb4c1874f288b3261c32bf1320dd78eb","datavalue":{"value":{"entity-type":"item","numeric-id":5088283,"id":"Q5088283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243399$A7CE5E9D-D238-49BC-B386-DB420E8AF0C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243399$690F2BE7-C590-4A53-9958-A7033EC56022","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"744ff5ba1d34b10b10a5d42b057822c6d7abb013","datavalue":{"value":{"time":"+2019-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5243399$C304B055-B895-4E0D-A2DA-C4F78D101496","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5243399$32337F90-0C3A-42C9-B3B6-6A06BF6D124B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5243399$994BCAC9-62DA-4913-93D0-561562BCB087","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31322e3d9884200f9186445c616166825aa1c3e0","datavalue":{"value":"7131028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5243399$9F6A605B-861F-40F5-ABF8-25DFF9ACA8FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db69c84fb2b6a718f7f9157f85fc0d7e1d35bf18","datavalue":{"value":"polynomial semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5243399$205F0BB3-7960-4FD4-9785-0409C39838D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5243399$D98478B0-177D-4052-A046-1EA57848E4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccdf8a2b382e340baa82f9ce29b5da699d636d18","datavalue":{"value":"modal polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q5243399$9C86025A-EA96-46A8-9A2F-DCE07FA5D274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5243399$F59A5DCA-EF22-42AA-834D-D3C00B6DB3C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af9f80e527ec777308252c7863176bcae5262c53","datavalue":{"value":{"entity-type":"item","numeric-id":13477,"id":"Q13477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243399$9AAE8E97-69B1-4B49-A84B-E880B1670CAB","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":"Q5243399$3A7DA6C7-7D55-4537-B35D-9BFED7FF3321","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8734363e9fcd3e776327bf88238eb4e322d445d","datavalue":{"value":"https://doi.org/10.1080/11663081.2019.1676004","type":"string"},"datatype":"url"},"type":"statement","id":"Q5243399$F18D32B9-88B6-447B-BDEF-A81872A76C1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c52965b520b4bea1bcb7f72e95a69686555a912","datavalue":{"value":"W2980859210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5243399$507A81C3-BC3B-4490-B86F-42BAB6F44BED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de464f4aafb4e9508ba256e2980a33d9d5749fdf","datavalue":{"value":{"entity-type":"item","numeric-id":4305609,"id":"Q4305609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243399$7A8A3C32-330F-4E14-B5E6-19DE8452166C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3a3b4f6eeed06a9a9c972b5ca4608b5b696bfd","datavalue":{"value":{"entity-type":"item","numeric-id":4586158,"id":"Q4586158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243399$5EEAB14E-1FEF-409D-9190-30EA18EA2C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d09fcbefc5cf5639eb295fbe0362e8107fa28e","datavalue":{"value":{"entity-type":"item","numeric-id":3133185,"id":"Q3133185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243399$5E9C0C32-82C5-4573-9211-DF86F4906A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397cde7f6d86ed3026a4b3d79258b37d59f56a23","datavalue":{"value":{"entity-type":"item","numeric-id":3006006,"id":"Q3006006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243399$74578DE7-1643-4F46-8DA1-B1A3775E6E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"649b7e74dfebe3b487b5b0875a58be0db4fc8916","datavalue":{"value":{"entity-type":"item","numeric-id":1030264,"id":"Q1030264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243399$2C58479E-FFDA-441F-AEAE-933D30EDA87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deecd76567778abc53cd8bb3a1e3cbe925dcf95f","datavalue":{"value":{"entity-type":"item","numeric-id":897932,"id":"Q897932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243399$58A2D229-62B4-4658-A68E-3498C5632060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c91697c4a6e1538be05427b6b9da3db93f68d8","datavalue":{"value":{"entity-type":"item","numeric-id":804567,"id":"Q804567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243399$628EA64F-78CB-46A5-B4B4-3900F296B6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180dcdcd70e7dd722922a02e19e8df3d14ff3abb","datavalue":{"value":{"entity-type":"item","numeric-id":3413659,"id":"Q3413659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243399$EE7D7113-DF8E-4A4F-9B7A-09EDFCC55894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"134e89cefb5775fb785c6b07414f8038713c5b92","datavalue":{"value":{"entity-type":"item","numeric-id":2429988,"id":"Q2429988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243399$6B5B643B-0163-4199-BD76-D4F068039498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b48882744e425b1d2722eedd65a0e0dbc1c1ac","datavalue":{"value":{"entity-type":"item","numeric-id":1404692,"id":"Q1404692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243399$4DC85874-F416-4A72-ACF7-D2EB9DE420C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb13ef1e94b4223ff3de2d01fe7f8572fed319e3","datavalue":{"value":{"entity-type":"item","numeric-id":633095,"id":"Q633095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243399$7E402F9F-D875-4873-98E6-19ED24ADD1D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6d60bbb00644245d238d42cf2cfb85aae05177","datavalue":{"value":{"entity-type":"item","numeric-id":4586158,"id":"Q4586158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe89f5ae74190b211c89efee49e46e71df1c8fa","datavalue":{"value":{"amount":"+0.9596516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5243399$FF4FCD19-AC53-43F1-88A9-00940A4AEA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccfea20517a1e3e94bd41d9cab08d095289d8471","datavalue":{"value":{"entity-type":"item","numeric-id":3006006,"id":"Q3006006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb8049618dafc05f30cae7c31ddfbef08f77b0b9","datavalue":{"value":{"amount":"+0.93660474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5243399$D8060D5A-9F94-4BFB-8FDF-2DD39084D56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b23f562fb031484f67fae9fd420fa5b7137505","datavalue":{"value":{"entity-type":"item","numeric-id":5202654,"id":"Q5202654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9faf4006eaee8ca1f77684d0e260eb6df6041d02","datavalue":{"value":{"amount":"+0.9348049","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5243399$F68748DB-1AAA-47AD-9AAA-81BF60D85542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec239d8502081891c5094ed767871bd4d59bdae","datavalue":{"value":{"entity-type":"item","numeric-id":4879200,"id":"Q4879200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13a668a5efeabec35503695a2853736ee8ba3c5","datavalue":{"value":{"amount":"+0.9235636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5243399$9EDCF100-FBBF-4D8E-B10D-AAE4E710A791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de26c0f51afc7634fbcda8c43ebad54af186e95","datavalue":{"value":{"entity-type":"item","numeric-id":5884953,"id":"Q5884953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a1e349522709df7a4028237b8ecb4fea098375","datavalue":{"value":{"amount":"+0.9174501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5243399$4BA892CD-3FD4-42A6-924E-503DA53B623D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41db16d5f6ca3486a67b5d0b6e9bef2f4763b722","datavalue":{"value":{"entity-type":"item","numeric-id":4511600,"id":"Q4511600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f1f2cd4a2fecf291f4ccf77ee75850bded1c6ab","datavalue":{"value":{"amount":"+0.9167453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5243399$D5261F1F-44EC-4307-B527-C969C9D6391E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3319c34b420568098d230dd2b1696c7a3e6b84f","datavalue":{"value":{"entity-type":"item","numeric-id":4240676,"id":"Q4240676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c12067a8f31bbdf1091ce3960a022dfdb3394656","datavalue":{"value":{"amount":"+0.91120434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5243399$781B7CD1-1C5B-4DAA-AA62-4F70D67131D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a040adbe77a147499cb6425b899b2acaa44d3aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5692429,"id":"Q5692429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d59cb50505a4c237dbfba2e41577346ae7dda80","datavalue":{"value":{"amount":"+0.9083791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5243399$B74D160E-4162-418F-B231-CD0E20E9F1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a2a57703ae552ed2ff2f15c22a95725fe4c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3478387,"id":"Q3478387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b898a9bd9e8b14dea92d85f62aac24cd89b9ccde","datavalue":{"value":{"amount":"+0.9031526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5243399$4F0AF815-77FE-48A2-A519-8622BE7AA204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e36cf7652fa28f8beb277cc6b63b66df1c97b45","datavalue":{"value":{"entity-type":"item","numeric-id":5134276,"id":"Q5134276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de45372f29be96042e03bc417f4994dfa7f4bb51","datavalue":{"value":{"amount":"+0.9021627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5243399$FDDE5485-913D-4ABD-9B35-B612A22DBD59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5243399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5243399"}}}}}