{"entities":{"Q4032643":{"pageid":6062377,"ns":120,"title":"Item:Q4032643","lastrevid":55238098,"modified":"2026-02-05T04:45:26Z","type":"item","id":"Q4032643","labels":{"en":{"language":"en","value":"The modal logic of inequality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150000"}},"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":"Q4032643$FDAFBFE6-5486-447E-A6DC-600B1192AA01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7508818cd30d60bc7e5b2ff90c4037c6bffe9e5f","datavalue":{"value":{"text":"The modal logic of inequality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032643$3E371EC5-378A-4E54-892F-A3940C8600AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fb6238f0360fe43e9f4ea252e21f904858eb61b","datavalue":{"value":"0788.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032643$129BC42B-6004-4E43-8C60-4AEDA1B06DA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8771a0733ea78f412c42d121a1553d70aeaf8cf","datavalue":{"value":"10.2307/2275293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032643$BECAB231-9CA7-404C-92AD-33697FA714B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f6a8e79876d53be79377b2bab6c14057cb3235","datavalue":{"value":{"entity-type":"item","numeric-id":676175,"id":"Q676175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032643$0284BACD-945C-40D0-84BC-5E7EFB751373","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":"Q4032643$E4BD11D5-671F-45F4-9F5E-0820203CE7DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032643$382DA97D-505E-4CD3-8B40-B54ED5518771","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d01bd107a5993ec7cb557bdaa00a8ab5f23a9b7d","datavalue":{"value":"https://pure.uva.nl/ws/files/2199730/27857_125514y.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032643$952833BF-A68F-473A-917F-C553CD7648E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032643$C0471171-9A9B-4E71-986C-573683131DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032643$2974B008-B09E-4DCD-AAE9-8783D5750C69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a62c9d8a80dc667fcc0b01d4efcb2fffabc22759","datavalue":{"value":"150000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032643$B8082AFF-0F14-4B16-BFF5-C3BED5B34239","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032643$32C6D982-5E3F-4A40-9AF0-585476E0FF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc8fef606e413a117e77f645640fcf309cb72aea","datavalue":{"value":"\\(\\omega\\)-categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032643$6F2EE842-6560-4F30-9D18-96836E1F4757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7302b4c640f4dcb8f94886101a932da1599d9d50","datavalue":{"value":"sequential definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032643$FCD150AE-45CB-4E1F-B611-FAED62DBD5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf62870eca55d86dd453a2d1ccf239970f8b97cb","datavalue":{"value":"general frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032643$FDB90D60-A977-4EF3-B06D-041B3FA130CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74a2ac8e40c91f72d8fe13b5b9cb8f104bea5e0d","datavalue":{"value":"canonical frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032643$B327F3A9-A234-470C-B292-DCE20B41B305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1374aa2014f164ec1db700cfa8db5643757447","datavalue":{"value":"Kripke-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032643$A8193ADF-3F01-4858-90C3-7E694FDC3335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82bc784fa2a0fac98549606e6d22b349215e22ef","datavalue":{"value":"Sahlqvist formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032643$8B6E1585-04D6-4BCD-BC2C-BB891B38AE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49eaaa4b2e6ed9f9b44775a03c427ad0b40416d7","datavalue":{"value":"\\(p\\)-relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032643$9EB82A4B-868A-440A-945A-56B59350F16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07c3d5b754955b6bf65477291574088546d50e2","datavalue":{"value":"ultraproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032643$E3205DDB-BE04-453B-8D66-97E42EE6E10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8ec52d8376574200c9af62a3a2a2d4ad4e6d04e","datavalue":{"value":"propositional modal logics with \\(D\\)-operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032643$37DBBB28-352B-43C2-BC3C-4B0E176F66F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032643$7A34773B-FBE7-43F0-A797-43E2505027C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c71ea0a54982ef351f7981d7952b275f5753d5","datavalue":{"value":"expressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032643$FAB06A59-D644-4C4D-B634-F24236B91FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032643$0DADFEE3-B790-4866-9628-0B9AC734BCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032643$FDCF1BC1-E506-4818-A115-6A26B724F8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29222044917aa77d1f44d866acbbb1baf289f34","datavalue":{"value":"bimodal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032643$90BC47BF-194A-41DF-889F-37277545AC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032643$21AA266A-2B11-41F3-9B81-915CF61D121E","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":"Q4032643$8246F4A2-CA8C-43F2-BABA-721154564D2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"589d8236fbf899d1c6c144504ff5bd8c0d42282c","datavalue":{"value":"W2153417525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032643$07F0E86F-9D58-4153-8906-6CEB551265EB","rank":"normal"}],"P223":[{"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":"Q4032643$2ABF5448-6CF4-454F-9E32-2B9F6C6703F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032643$149B367C-AA60-4680-A9AD-A55A4C10ADC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032643$FAE724E6-2BCF-4DB3-92F7-4D367370E6A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f5026f750aaf7268d89ad8b7a90f6bd9c64ef2","datavalue":{"value":{"entity-type":"item","numeric-id":918533,"id":"Q918533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74279c3bd21bee90f53075d0805b63a98fb79538","datavalue":{"value":{"amount":"+0.7871825695037842","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":"Q4032643$817CE7A3-3AB2-4DAB-987F-E977168A9BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adeda085ef2249749b9d5d0025e4220400742f81","datavalue":{"value":{"entity-type":"item","numeric-id":4694251,"id":"Q4694251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f628892faa4f904dd64e9dacb21ddb5cae7ce9cf","datavalue":{"value":{"amount":"+0.7867665886878967","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":"Q4032643$78988C44-15D9-4FB0-8445-03757A4585FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f556ceba7f8323c08165da8cdd4f0a442f1ce98c","datavalue":{"value":{"entity-type":"item","numeric-id":4501147,"id":"Q4501147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962b85c0b0b6e06d2715ce750c673fd9f2fd6ae1","datavalue":{"value":{"amount":"+0.7829372882843018","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":"Q4032643$43D971CB-24B2-49BA-AE37-2C418986F9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6cf94b72a4caad7ef6989fe362ffe92a08897f","datavalue":{"value":{"entity-type":"item","numeric-id":3600787,"id":"Q3600787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b49c1afac98479e686ce0181e0817e54b26c966","datavalue":{"value":{"amount":"+0.7667480707168579","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":"Q4032643$E6F62CE0-FCB2-4606-B097-92A74BDD658D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0b0ce6ef3bb346ac15cbb17532a398c57a7108","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51fc37922a1afb68b314d96e01269872666b7c80","datavalue":{"value":{"amount":"+0.7623164653778076","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":"Q4032643$F2658DDD-27C6-4556-A59C-2086E182B49A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032643"}}}}}