{"entities":{"Q2269510":{"pageid":2280253,"ns":120,"title":"Item:Q2269510","lastrevid":50931776,"modified":"2026-01-15T19:41:05Z","type":"item","id":"Q2269510","labels":{"en":{"language":"en","value":"Modal logics of reactive frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5682307"}},"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":"Q2269510$938580D0-1A1C-4963-9F61-7065CFF0CD8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a1b3717ab8def356095e1d28c79ab696d5cd39e","datavalue":{"value":{"text":"Modal logics of reactive frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2269510$0ABE19D8-56DB-4CF2-B34E-9964D39D4014","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e0a71ed138f136d5087fef2fcf6cc74967ca1db","datavalue":{"value":"1193.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2269510$47C1028C-60E2-4830-A3E2-356AFCEA817C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e113ce386cac873d0ff11625736ab0f6b4a20e5","datavalue":{"value":{"entity-type":"item","numeric-id":1682297,"id":"Q1682297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2269510$507E5E32-8CB9-4617-BBF7-99A2A6068D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2269510$DAE02DD8-44E6-49AB-A82B-B7F926FF91B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2269510$F2B04260-DB5C-4F59-8116-2A7FCCAB3957","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ad8c87d703502da08c2fc566ee03e5ea8994cd","datavalue":{"value":{"time":"+2010-03-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":"Q2269510$DB24E2AF-C1CB-4B22-9D3B-DA25A954D869","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2269510$FDEF7E20-33CF-46B3-B234-15AA80482F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2269510$AA817802-5779-48ED-AA87-78AB71C2EF7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6caa1ac0194b4d148a19532fa1856abd1f52d126","datavalue":{"value":"5682307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2269510$B7121483-EEDB-4D16-807E-DF44464ECC2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a9b3f0cb593e68b34c044a1f6fd15fd16d853b0","datavalue":{"value":"reactive graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2269510$CA138241-B5DF-4811-AEB9-020DA618CFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094979f9135388cab0e762a24df492583ef54ccd","datavalue":{"value":"reactive frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q2269510$7387B6FF-0977-4504-B827-9625465A3BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e5c9f11e0e8c8133647ca3ba0fa19e62d1836a1","datavalue":{"value":"bimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2269510$6F813A3F-42D4-44AF-AD42-C770DB970FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2269510$6D901AA5-BF29-419D-9D02-4E363317E5D6","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":"Q2269510$3915412C-A17D-47BA-B5F6-6741CDBD939D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9575c3b65d53dba31e9e8db0fd186b200674033","datavalue":{"value":"https://doi.org/10.1007/s11225-009-9214-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2269510$FE853F63-A076-4652-9C16-054973A8E9EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ecc5a083e422074ef88065ad8c5d747bee4a928","datavalue":{"value":"W2032215344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2269510$9BE94288-CEEB-4385-AA2A-EA2179896B8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2aa50fc3edaef586c5c786676f75a9383ff36a45","datavalue":{"value":{"entity-type":"item","numeric-id":5717463,"id":"Q5717463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2269510$15E9436D-77FB-421C-B941-DD36257B6D56","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":"Q2269510$8F88828A-6D3A-4262-9AEB-22999CA2A6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f899434f3c229cfed2b5959fce12292ba531305","datavalue":{"value":{"entity-type":"item","numeric-id":716325,"id":"Q716325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2269510$D07949D5-D4A4-488F-A8CD-42A234CAD0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47070801036683741e5036f761363e097b7ae06a","datavalue":{"value":{"entity-type":"item","numeric-id":3522048,"id":"Q3522048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2269510$0954FFA6-77CE-438B-BD7A-3CEFE3183606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e24daf7a3ff6bb98859ac00c5b8a448cd61d47","datavalue":{"value":{"entity-type":"item","numeric-id":3580677,"id":"Q3580677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2269510$5A62EE9A-1243-4D73-A890-EB0D955BC55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0647c7974b0976d5753f7f6932807446699fc6","datavalue":{"value":{"entity-type":"item","numeric-id":3395334,"id":"Q3395334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2269510$9C2FD95C-24C4-4BB6-B4AF-B25FD36EE094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0671f760022eb1f519d46026b5ecc1aab1b029cd","datavalue":{"value":{"entity-type":"item","numeric-id":3613171,"id":"Q3613171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2269510$3CDC4846-27D4-49EF-9228-455AFF9D7212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d42500cc5beed8143d70d93fa044ebe7145b89","datavalue":{"value":{"entity-type":"item","numeric-id":3395333,"id":"Q3395333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2269510$5E00202F-1D4F-4B08-B0F4-4EC5929E275C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2269510$621257B0-47A0-4258-A989-3C86AE47738B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c974e3da7cbb595105c3f92284202d13f6c27b","datavalue":{"value":{"entity-type":"item","numeric-id":4694251,"id":"Q4694251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2269510$C56F7C05-D6A3-435B-9A8D-B8F1A01E54AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23f171bc30983738075411dffece79d99d238732","datavalue":{"value":"10.1007/S11225-009-9214-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2269510$749D8D13-B2DB-4F3A-B1F0-D8CBAACE6108","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"985ef5f27449eb6e1fb817f823266f11548cfeec","datavalue":{"value":{"entity-type":"item","numeric-id":1935590,"id":"Q1935590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6146efa2ac8ac6d0897e9144c38d0a5773011de6","datavalue":{"value":{"amount":"+0.8355888724327087","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":"Q2269510$A0322429-1A0C-485B-92EB-6FA272D315F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe834c6783f738435e762d6ea92b2ff430014d1","datavalue":{"value":{"entity-type":"item","numeric-id":5452184,"id":"Q5452184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ddbbc1543f6119d41a02cabbeb519ddd4ef53d","datavalue":{"value":{"amount":"+0.8170779347419739","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":"Q2269510$693DF371-9F94-47DF-8C9D-47C1BAAEC125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b459cc67466028298d8d7386ae1ebaad3e16ad","datavalue":{"value":{"entity-type":"item","numeric-id":1935595,"id":"Q1935595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26f25e215085463e91831b7ec7a006c71c5023aa","datavalue":{"value":{"amount":"+0.8158066868782043","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":"Q2269510$A2B50ABF-297F-44A6-8DC3-4240C811C1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d284330515346d1ddd087fba33834b3e166870","datavalue":{"value":{"entity-type":"item","numeric-id":1935598,"id":"Q1935598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9342766b2ee136c5e5d6c786b4224478d9783fa7","datavalue":{"value":{"amount":"+0.8135806322097778","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":"Q2269510$D5507B59-BB89-4E4E-ACC2-F31F30C99F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5a6fd3d10f67e4baaa5feca78f91ca39ab04c9","datavalue":{"value":{"entity-type":"item","numeric-id":2864222,"id":"Q2864222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e017d0ca58caef972bd30e08e8cbe043d01d667f","datavalue":{"value":{"amount":"+0.8098057508468628","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":"Q2269510$CB21C458-B6BC-4F96-8AE9-390437D04575","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2269510","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2269510"}}}}}