{"entities":{"Q4731170":{"pageid":6760747,"ns":120,"title":"Item:Q4731170","lastrevid":90724892,"modified":"2026-06-04T21:11:04Z","type":"item","id":"Q4731170","labels":{"en":{"language":"en","value":"A new proof of Sahlqvist's theorem on modal definability and completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4116499"}},"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":"Q4731170$C9CDD367-BD50-4E27-AB96-6F10C647A822","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"492a3e9aefdf5d50d262b41813628c208a88a54d","datavalue":{"value":{"text":"A new proof of Sahlqvist's theorem on modal definability and completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4731170$BBE0E4A2-9C33-4B36-83CB-57642BD544DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98b050867167aa3fb36bd384fcd6f44cb96804e6","datavalue":{"value":"0682.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4731170$243E1B1C-AEB6-4F9F-984C-B660A8481D3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29bab7bd106b1514300fb32fe2151675bbc22eba","datavalue":{"value":"10.2307/2274758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4731170$22800811-8967-4DF6-B5E4-25ACCA16BB76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65528b725fe74a698d1c6a1b19d0e94ff56ea02b","datavalue":{"value":{"entity-type":"item","numeric-id":887822,"id":"Q887822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4731170$C1024157-5D60-454D-98F7-D18C12ABF232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55bd8560c8a1403ab47662a5cdd1fd2019a57873","datavalue":{"value":{"entity-type":"item","numeric-id":1080410,"id":"Q1080410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4731170$035DE48D-263E-4788-B3C7-C07F6BF2365C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4731170$9A71A5E0-3E9A-4D06-BE74-12AFF0881CFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q4731170$48090E80-37BE-412D-BDD1-B8AE9F82BDB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4731170$159BC5DE-EA79-468E-8EF1-6873D311AB3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f741d6e3139827ec6c8b9e37e05043626a24ba1","datavalue":{"value":"4116499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4731170$5FE8EE12-7FCE-4F91-9EFB-B03CBA82B317","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4731170$E8850952-B6CA-4D55-9F67-7EC2BA025B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc7cd7539f8539b53ad709245824afd92f976ea7","datavalue":{"value":"canonical Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q4731170$D89EF281-C3AF-41FF-8567-D5084FF4BFF7","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":"Q4731170$B1A5C890-0967-492A-856F-F2B93FE455CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28f9c76f74e43c69a9f24789d59ef8e7357e4e97","datavalue":{"value":"https://doi.org/10.2307/2274758","type":"string"},"datatype":"url"},"type":"statement","id":"Q4731170$0450AB44-B4FC-4A5B-8366-E5C3ADF74DAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab0067caaf9ccfd607af5ec496849dc42d4d16d6","datavalue":{"value":"W2111082593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4731170$531F4808-DEEA-4C17-90E7-D55D2A3A92FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"951ab841fc2d6409fd3ef21cbd438d82955c369c","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4731170$3027EFDF-7C5F-42B0-99FD-B71AC2ADC925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4731170$72C42AA5-4B7E-4B8A-BDFC-D8768C510C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4731170$FECA41B0-3A18-4113-B01C-E7168C84B069","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2946ed693a4de12e24483b8079b992d210bfce4e","datavalue":{"value":{"entity-type":"item","numeric-id":4833774,"id":"Q4833774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b6ff0dc50e07eaca5867cb726f9adf4ac830153","datavalue":{"value":{"amount":"+0.8135704398155212","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":"Q4731170$E1D688F2-F589-43DD-9496-CC1BBDB99D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22986b1a23beb9bec00c75bc2033b8eedc90fe2b","datavalue":{"value":{"entity-type":"item","numeric-id":3999881,"id":"Q3999881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c611c560d1ed7b08195b1563b6ad2066a810396","datavalue":{"value":{"amount":"+0.8079439401626587","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":"Q4731170$BA07CD12-C561-4C73-8398-34E74EE3D4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1449106cfed8f1e3cca3f8c48857b82fd72775bd","datavalue":{"value":{"entity-type":"item","numeric-id":1810815,"id":"Q1810815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62fd54e21de14edaa063f6899b37438209c766ce","datavalue":{"value":{"amount":"+0.7887215614318848","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":"Q4731170$CFE23FCB-1AFB-4D89-BCCA-E508437E82B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2a2f5c505164bd6836dfd7e2d113fbbaa28ace","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de792640b92000748c813230f27200043180c218","datavalue":{"value":{"amount":"+0.7878521084785461","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":"Q4731170$5FF62589-B566-4EF5-A16C-C093EEA3DBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"928d7122dbf1d433766d79c8609543dd9fd2958e","datavalue":{"value":{"entity-type":"item","numeric-id":3647298,"id":"Q3647298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab600c3fda81637c72e8f003ab837acfe56bb56","datavalue":{"value":{"amount":"+0.7829096913337708","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":"Q4731170$EA0B22E0-98C2-4A4F-AAD5-DC5E9635C0A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new proof of Sahlqvist's theorem on modal definability and completeness","badges":[]}}}}}