{"entities":{"Q5224587":{"pageid":7254156,"ns":120,"title":"Item:Q5224587","lastrevid":91627187,"modified":"2026-06-04T23:39:29Z","type":"item","id":"Q5224587","labels":{"en":{"language":"en","value":"On Kripke completeness of some modal predicate logics with the density axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084853"}},"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":"Q5224587$A29202D5-6F0A-48E7-B60D-12B63D20DAB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb06b1ba6597dc28c8fc75aff672cce7ac51df2f","datavalue":{"value":"1418.03102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224587$7E3A9F5F-70F9-4202-864B-F7F214B68E09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b54eb6f24cdec251693dac073683f53f8dacf64c","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224587$43E68E1B-ACFD-4D5E-A439-4144D7AA4AAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-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":"Q5224587$7EBE65F0-8218-4E9C-A427-F8C014297453","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224587$D6E76C3E-9920-44AE-8BD3-3650AA436DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224587$A5F65C24-3498-443A-ACE7-B685B1657B71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55c173161a93634dd86ce2ccf5cd07a9a4785f67","datavalue":{"value":"7084853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224587$C4F4103A-6754-44D0-8E48-FA7BD6D8BCFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4675a74524331a8e00fee8d0a123bcb4e843ca78","datavalue":{"value":"modal predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224587$E486E024-D326-44EC-B5B7-BE0248462D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224587$E6D0592E-055A-4DB2-AC51-99B160ED84D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810500790c3bf4aae7a430c18a31e7af9ae3ecad","datavalue":{"value":"Kripke completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224587$0C30E284-306C-4BD3-94C1-EDDBE07F2746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9a595a4b125ce1fa50908c629a08fcabd3e593","datavalue":{"value":"canonical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224587$3B4A921D-5AD2-4F56-9C4B-21B00FE3ADD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9bf33f4ce5167beb85533780515caef4c72ad42","datavalue":{"value":"model construction games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224587$FED568D0-567A-4E5A-9100-58B8C80BC49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5523e6c3cbba1e015b21e31338b3a8f83cde28a1","datavalue":{"value":"density axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224587$70DA219E-7272-4E71-A355-198B810D9CB9","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":"Q5224587$19F73A4A-9193-405C-B60E-78D1D31E3203","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2eb0c66507e60f7c8b5ecd843790ecc80d91a91","datavalue":{"value":{"entity-type":"item","numeric-id":4853321,"id":"Q4853321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7b1046740d5c426c71ac6f00b0b96dfa987f23","datavalue":{"value":{"amount":"+0.8052276372909546","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":"Q5224587$DA0A22C0-B27A-4907-9DC4-D26E3584CB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f81e7a7f2ecddf23a83f6408429ea49d538f2b","datavalue":{"value":{"entity-type":"item","numeric-id":2105091,"id":"Q2105091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516694a5f39fa1e026dc65f90b584845c6ab545d","datavalue":{"value":{"amount":"+0.8029330968856812","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":"Q5224587$F54BCD2E-1285-4141-8000-1F9DD8A1FFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcaf5dcbbc41b337e20d7a68e812ee7476d08ba1","datavalue":{"value":{"entity-type":"item","numeric-id":701294,"id":"Q701294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905824e6de931e9827d2ecf19ba9ed2230195d89","datavalue":{"value":{"amount":"+0.7924144268035889","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":"Q5224587$5304ABC4-E4A1-4143-8232-10A9E65F5581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e558745ba3f58730f1b53110e00f383b7ee9acc","datavalue":{"value":{"entity-type":"item","numeric-id":1712937,"id":"Q1712937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c25eeaabe4d7e705782272029fd75978c03f920","datavalue":{"value":{"amount":"+0.7859252691268921","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":"Q5224587$9B2F7983-3511-4F41-ACC8-C51CF8CA6820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab63c5076c9d4f93a5121b9a9ad68047086c5e29","datavalue":{"value":{"entity-type":"item","numeric-id":4329237,"id":"Q4329237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec4503f8699d138f0cd95c8eda05bc520f90be1","datavalue":{"value":{"amount":"+0.7842890024185181","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":"Q5224587$3C8480B2-3621-4103-BFAB-0C739D93B563","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Kripke completeness of some modal predicate logics with the density axiom","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Kripke_completeness_of_some_modal_predicate_logics_with_the_density_axiom"}}}}}