{"entities":{"Q5960012":{"pageid":8136814,"ns":120,"title":"Item:Q5960012","lastrevid":47767465,"modified":"2026-01-02T15:40:56Z","type":"item","id":"Q5960012","labels":{"en":{"language":"en","value":"First-order expressivity for S5-models: Modal vs. two-sorted languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1727128"}},"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":"Q5960012$0F49204C-DB4E-48CB-94E4-AA4B75BF0A7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1d56044fb9a569bfe790ae7fa5f79ef0d6582a5","datavalue":{"value":{"text":"First-order expressivity for S5-models: Modal vs. two-sorted languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5960012$8773A1AA-D5D6-444E-A1E7-EE7BB95D8CCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fc2daa57855395863bedb49e32a35fc2788d0d3","datavalue":{"value":"0990.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960012$31AD8D4E-60C2-41B9-9B13-1F3A113B30A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0580570332903bcaac680301766549aa371794a6","datavalue":{"value":"10.1023/A:1013360121031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960012$5F43FCA3-C5E1-4AF3-B66F-6B7849674571","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25cb264ec82897eba90e88f15318fdb79ce2db8f","datavalue":{"value":{"entity-type":"item","numeric-id":190269,"id":"Q190269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$772EC628-F263-41AE-902E-A0602ECCF8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$30721E0B-9C3E-4C3A-A9EE-A56C0E457E95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$CAA6B147-79B6-41CE-93FC-49CFDB085611","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d18439a648c68971434e67c4d3438eb872bd034f","datavalue":{"value":{"time":"+2002-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5960012$2EF169B7-1C5B-4BD2-996B-CE68426A119D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960012$F373989A-2526-4B45-ABCE-FAA2C6AFE21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960012$EA658D21-4480-4459-961D-6B1D8AD2AD49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95cbae8c1333dca44c7135225c64e5e4a45d6fc1","datavalue":{"value":"1727128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960012$68B296AA-0330-49A1-A802-5C4E19A19453","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960012$518CB0A5-E890-4CAA-925A-001542B48ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960012$297D12BE-D4E6-452A-90C8-72B4F2039B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4675a74524331a8e00fee8d0a123bcb4e843ca78","datavalue":{"value":"modal predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960012$D3C99B29-89F9-4D15-A237-419C9C4020EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960012$4D0FD440-72CD-408E-93D9-DFD443F164D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb45a366c5f73694d4193741149731f4b28dce52","datavalue":{"value":"relational structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960012$36282E3B-96FF-4F7E-9FD8-6CA45403FA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71518ccc97681d23a46d5a4713de974c101f2a3f","datavalue":{"value":"two-sorted predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960012$09AC6275-31E9-4A24-8D6F-3B28E5A421B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70f5b9a72352813886c2d3109abe393975fbf408","datavalue":{"value":"modal definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960012$028A4731-8277-4598-8E46-5106A68FC8CA","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":"Q5960012$BD72596F-1FCB-4793-B283-3E4BCC87BDCF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d362b3b95bed6eb4d2fd22053537869e735cae59","datavalue":{"value":{"entity-type":"item","numeric-id":1305921,"id":"Q1305921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$8945EAE6-D079-46F7-8CF0-EDCBA1EE3555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27171c45081d17a491640c9d376b6b836e297fe","datavalue":{"value":{"entity-type":"item","numeric-id":689193,"id":"Q689193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$DF6F7D8C-84AA-4827-8321-B39F343A6415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f331b826143af7e0225a5880040a336519fe894","datavalue":{"value":{"entity-type":"item","numeric-id":1252850,"id":"Q1252850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$8AC23786-6434-4B9C-9C55-2D684C24FC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3df91ad0db33e11e89328e7da89d29cfe9365e","datavalue":{"value":{"entity-type":"item","numeric-id":2735834,"id":"Q2735834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$889665A8-1BF8-4CD2-9472-43506DBFEB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37772bc8a9ab069bf1b2842d6e80861b80209223","datavalue":{"value":{"entity-type":"item","numeric-id":4032643,"id":"Q4032643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$24759E3F-E854-4A9A-A51B-0EBA0258767D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d95fd08b286c2d75935da3bf6ece957a863d65","datavalue":{"value":{"entity-type":"item","numeric-id":1245107,"id":"Q1245107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$DDACD28B-5FA6-48C6-BF75-5B8A9D087CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d501daa7fe5d15611bb528422c7f5b6313390c72","datavalue":{"value":{"entity-type":"item","numeric-id":1258725,"id":"Q1258725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$42084F41-1A70-4E4B-8B3D-96B895BC0BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f92892db9b11937295f3d02c4d8db370f4d397","datavalue":{"value":{"entity-type":"item","numeric-id":1153891,"id":"Q1153891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$1D11A1B0-5966-4927-ACEE-0C6AC4431516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204f2846aa5f6dcc7929ed3391d28e2c9bd41326","datavalue":{"value":{"entity-type":"item","numeric-id":4342097,"id":"Q4342097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$3A77B7FF-E042-4707-8F71-6B251B86678A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ee4ebee9996e0e65a2825268a79270ff5cef2","datavalue":{"value":{"entity-type":"item","numeric-id":3984427,"id":"Q3984427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$855E5C35-A608-494D-B2CE-AA305E85C2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45e17441fe1475c2ed95fb2159c5225af60448d","datavalue":{"value":{"entity-type":"item","numeric-id":1233866,"id":"Q1233866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$E908C924-1AC0-41E8-8AE7-ABE0C6B2D8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c504991d27ae697993f2c56bd48af63e21d465f","datavalue":{"value":{"entity-type":"item","numeric-id":792997,"id":"Q792997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$8985BF95-33E0-4CF2-8AAE-36167A7F8E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$9DB513F1-D849-4165-96C2-F77560A43F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$BA0C518F-A911-4752-96A0-1B979FD7962A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21fa5de0d73a595263919baeb922c8253d20f01a","datavalue":{"value":{"entity-type":"item","numeric-id":1368754,"id":"Q1368754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$D3380CF0-1438-4FF6-BC2B-2D4F3DBA3993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a73cb08d2241c15801016c9f2e93aa3828b1dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5686019,"id":"Q5686019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$72BC4210-E861-40FD-B761-35BA95B81A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07be17a47b8932e3c742bc872bd64dd1b30bbb45","datavalue":{"value":{"entity-type":"item","numeric-id":688796,"id":"Q688796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$40E7F2F7-CE61-4599-A4DD-35F8B1B5D922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960012$7CDDD04B-C455-4DA1-8979-FE0D0DCA7EF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789533f0d21b6baa5a5f1a3b29c676f9bb3be91f","datavalue":{"value":{"entity-type":"item","numeric-id":4783312,"id":"Q4783312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1dc84c8b71fc73490c522d31e748f5833c92d40","datavalue":{"value":{"amount":"+0.7790477871894836","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":"Q5960012$A7F67A88-9277-4AD4-B787-669700CA848F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349492e9c21bab20124b8ce8043cf3770ae0a2f4","datavalue":{"value":{"entity-type":"item","numeric-id":801894,"id":"Q801894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c789ee8701c1c15f77e414dee7020973b850d69e","datavalue":{"value":{"amount":"+0.7480965256690979","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":"Q5960012$2584CCD1-CB61-4D9F-B81E-BAFEDA7B7C1C","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":"a1159dc8c3f534904314f977bd53ac48e0d03cb3","datavalue":{"value":{"amount":"+0.7470662593841553","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":"Q5960012$DDFFE2C8-C581-4EDB-91C0-C634E35BF5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a3feb8f6d08aee0d7562b18d1bd8dbc899c347b","datavalue":{"value":{"entity-type":"item","numeric-id":1023054,"id":"Q1023054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1159dc8c3f534904314f977bd53ac48e0d03cb3","datavalue":{"value":{"amount":"+0.7470662593841553","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":"Q5960012$686BCDAE-7847-4DB3-9C2D-AFD7389D6E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d84da3a2186f75ed2c935628f34917096f0d148","datavalue":{"value":{"entity-type":"item","numeric-id":792997,"id":"Q792997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57ed32f50c0f18017e1c9cf6fb33e88324f455a1","datavalue":{"value":{"amount":"+0.737442672252655","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":"Q5960012$AE0CE0B7-7DA1-4E60-8594-8C1BC6BD96EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5960012","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5960012"}}}}}