{"entities":{"Q3457704":{"pageid":5237104,"ns":120,"title":"Item:Q3457704","lastrevid":52417214,"modified":"2026-01-22T14:43:04Z","type":"item","id":"Q3457704","labels":{"en":{"language":"en","value":"On the expressivity of first-order modal logic with ``actually''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521579"}},"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":"Q3457704$3F772443-DF70-4010-8B9D-513E107472F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e18ff5ae0f31a5953e9a0100995f0e0fae8ec161","datavalue":{"value":{"text":"On the Expressivity of First-Order Modal Logic with \u201cActually\u201d","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457704$1050ED2A-4F1D-4387-A96B-D78CA39C56D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6339fac9b1b18cc3b4456a1b220edd05dc25e9d","datavalue":{"value":"1471.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457704$F4E072EC-1C36-4EFB-8807-572301B9C4D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"248c5ceeee885d01c1c11733df37cb18da653b7e","datavalue":{"value":"10.1007/978-3-662-48561-3_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457704$7AE5DECB-0CC3-47A0-9ACC-DE2FE075CFC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa37fdb76d2bec8f69e59ea727a261d9df62828a","datavalue":{"value":{"entity-type":"item","numeric-id":1679766,"id":"Q1679766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457704$50BC73CE-6EFD-473E-92AA-E5874B152462","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0efa7a10c57655b63387a94a7a3559817cfe126b","datavalue":{"value":{"entity-type":"item","numeric-id":2859088,"id":"Q2859088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457704$CACD30B8-6797-4AD9-B910-826B573CC6A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c8c48ef6ed00faaf912c712c5311b1d94846d86","datavalue":{"value":{"time":"+2015-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457704$45745A41-F934-4A1F-9911-3096C0BB20DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457704$5F8663B4-04FF-4DB1-819C-2907B4D47C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457704$C589FE7B-1D23-4B60-AC37-A4769DE072F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53bb646e71a19dd57140903bfea7dbeb81c3ab8d","datavalue":{"value":"6521579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457704$0D086663-4392-4EFA-B0FE-35271F0B7F59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457704$2643741E-C980-4F7D-BD57-FCEAD2D26F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56fd9ae46ab3f008129e2f70e134541ed24d6ca4","datavalue":{"value":"actually","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457704$0BD1F2EF-0C50-463C-B164-B0CCB93762FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0febc5bf00d5d09a6aa624105a2bb37a0e138e9c","datavalue":{"value":"two-dimensional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457704$2200D5F0-2E7A-4478-9031-388E7F04F57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c72746d96fce1a18437ff64b0e06566ea2c0cd9d","datavalue":{"value":"actualist and possibilist quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457704$88E24D01-D60A-437E-B2B2-99AE5749F23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457704$C425E22F-3456-4FEB-BDA9-39FF82BCB8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457704$6635914E-9217-419A-8D04-310B53B61431","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":"Q3457704$B8DABB5E-C674-445A-A02A-96640465634F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c16423e770188efa120742aaeecf77a598a4e7d","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48561-3_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457704$94E6010C-0C06-43EA-ACD2-A83F8C0AA341","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29e1547c9b85db8d92c2965d4eaffc694ff8ab8b","datavalue":{"value":"W2293416696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457704$AF1EEBBD-09FB-46A9-8150-F49B4A7660B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"783ee6687ffe435136370973dc09320cd53ac37e","datavalue":{"value":{"entity-type":"item","numeric-id":4173346,"id":"Q4173346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457704$4CFC20E0-86AE-417A-AEFA-1AB6C240D152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457704$BF23C1F5-C61C-45A4-A571-87A7F3D936D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1886aeef73dd47a8ce559c63bf9a63ee355478","datavalue":{"value":{"entity-type":"item","numeric-id":4170702,"id":"Q4170702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457704$9A174660-D61A-436E-B905-37B3D5C73A09","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":"Q3457704$62C6E468-2911-4AB2-8821-1545170598E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b4d384854c2e13796ad2c51119423fa143380d","datavalue":{"value":{"entity-type":"item","numeric-id":4789451,"id":"Q4789451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457704$3F62B61F-9ECC-4577-A801-6C86C9F146E7","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":"Q3457704$FDEF53DE-7DA4-4403-A136-9A8D4B6EA10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a606328f86a01a097b1385283c6e8d5b974854","datavalue":{"value":{"entity-type":"item","numeric-id":2640589,"id":"Q2640589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457704$73D25DE9-AC13-4B5E-94B3-249232BF7959","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":"Q3457704$4A68DECD-154A-45FA-A37E-BCFC75C83CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1936dfe58ac4dbeedb68575048186e40fd3a40","datavalue":{"value":{"entity-type":"item","numeric-id":792998,"id":"Q792998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457704$B05C823D-2CC9-4F9B-BCD7-18A6608748C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26dac1ac82fb19259013ee89b449272ed7e251f","datavalue":{"value":{"entity-type":"item","numeric-id":3456412,"id":"Q3456412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457704$77BC77F9-4421-449B-93E6-70EA8FDB7064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d53b4d0b65edc05fb0be75134b1388f4c6f47e2","datavalue":{"value":{"entity-type":"item","numeric-id":759003,"id":"Q759003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457704$910C4A2D-CEAA-4D86-8C2B-CD0027323DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb00b5321eb335d5574c645b61db2f44eb7fb8e","datavalue":{"value":{"entity-type":"item","numeric-id":5960012,"id":"Q5960012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457704$44247139-A32C-49E3-A93D-25495919712E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff6885c2720ea703b05a04707e242e58fda59a5","datavalue":{"value":{"entity-type":"item","numeric-id":4440552,"id":"Q4440552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457704$1716F941-4A8F-426E-A294-23BCE6E5C63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6befc3afa92ecc7904c609e7087edf646ec02cc","datavalue":{"value":{"entity-type":"item","numeric-id":302173,"id":"Q302173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457704$BAD935AB-3333-49AD-B70E-6965EDAFFF53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2dd322cc81e46630f6885d266721455dd7bf193","datavalue":{"value":{"entity-type":"item","numeric-id":2218707,"id":"Q2218707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9306cd4c32fdef75468e179f0376d0f130d72df5","datavalue":{"value":{"amount":"+0.8578159809112549","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":"Q3457704$FD2A6AFA-B31A-49BB-B358-85D47828D228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9fd2749004290535eea0b011e737b4ddb2d04c","datavalue":{"value":{"entity-type":"item","numeric-id":817958,"id":"Q817958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10457469dec3b2df576675d757155bbe0c02e05","datavalue":{"value":{"amount":"+0.8420524001121521","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":"Q3457704$6D1C67DD-133B-4EB8-AA9F-FC33CB4D1936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25be28888ad4ab7a310c3d3e6ed2db17d4bf4ee9","datavalue":{"value":{"entity-type":"item","numeric-id":2642477,"id":"Q2642477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4294d0ea5eb700abdf9a9b5885aa5253f4bc8510","datavalue":{"value":{"amount":"+0.784808337688446","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":"Q3457704$3D83C5E4-4E1A-4168-B1AD-F1947CAA5B5D","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":"c7391d0ff4f257b7756c4b3b4e062247804da0ea","datavalue":{"value":{"amount":"+0.7826732993125916","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":"Q3457704$5EB7E25C-E635-4BAC-AA9A-184345AADE9D","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":"f930ad393c1fb5acfcb75aaa419cbb3cce5138d3","datavalue":{"value":{"amount":"+0.7735300660133362","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":"Q3457704$EAB0F3A8-8C16-448A-973B-82E6DC6BD663","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3457704","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3457704"}}}}}