{"entities":{"Q2864222":{"pageid":2874942,"ns":120,"title":"Item:Q2864222","lastrevid":51885803,"modified":"2026-01-20T11:40:53Z","type":"item","id":"Q2864222","labels":{"en":{"language":"en","value":"Reactive Kripke semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236172"}},"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":"Q2864222$0769A3BF-8561-4CD7-8D0B-8B2B6FA3CB92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c4a34c46a2cce6976205adfc1ab065f6c4b100a","datavalue":{"value":{"text":"Reactive Kripke Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864222$1BB1FB97-C36D-4D68-BDDA-DF0CAB9F7833","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73f0c7cee2f8b658dc446f09192f0c7f9a664cee","datavalue":{"value":"1298.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864222$A1A73E9C-BE7F-48E6-A313-67BA2747F65E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fcd8507c18f18a0c7297558689b1d9e0290ec0e","datavalue":{"value":"10.1007/978-3-642-41389-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864222$4F50FFA6-A17C-4068-BD3F-21B6B9D2F268","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebaa90a181c4766cfaf40e091f44182ca768f86f","datavalue":{"value":{"entity-type":"item","numeric-id":2785997,"id":"Q2785997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864222$35083BDA-9056-4AF3-A249-B700B91D30DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864222$F6B06FAF-AD42-4304-B0C0-33714BCD7F54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864222$D1947E08-3713-40F9-BA74-38961A00FFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864222$5F0DD44D-8CD9-425C-B297-8B160D6EA462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864222$B82E0AA2-DCAE-4EF3-9818-349C82F72416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864222$CB120E90-1B38-4B9C-BA3B-2E19E0119BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864222$BFE4E95B-7DC6-4C9E-B59B-14D323823899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864222$E0B871ED-36AE-4348-9F6A-CF176F3E7125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864222$4E342594-B0B3-45A4-94A7-343D70EF352A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864222$84CE8D48-768B-409C-8196-6D17A4F669F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864222$8D2DE6FF-4420-43B8-A5F0-25E7CC84E65E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccdb510bc6a61a3105129005f05e9b6e4683f90a","datavalue":{"value":"6236172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864222$32692DA7-FFC6-44E4-879D-FFC10BA3FF00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864222$01233C6C-473B-4006-BD48-EB17C634A68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c4531129334e9dd14037a17f4d492f52c6668d4","datavalue":{"value":"hypermodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864222$4805C6B2-6F7C-4B2A-9611-7DB8EC2A4A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49585bb08c26c011996b5cf39c9d78ad6c2d766d","datavalue":{"value":"reactive Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864222$8ED49EE2-185F-4462-9694-2360BFCC4AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3175819702025d844d18c26d5cec211186302f9d","datavalue":{"value":"switch graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864222$DC99C057-1FBF-414B-A35A-DB128E9D6DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864222$8D28761C-D5AC-4185-B5CC-357E4444ACC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df4c66614c2a6b0ebe43d83f3849fd3f37737f0","datavalue":{"value":"reactive structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864222$698F3E6E-1942-408A-8BBE-7FB57ADEEFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b403728a64368acc39a2f1962bdd5c70980a503f","datavalue":{"value":"reactive flow products","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864222$F057E8BD-E3AB-465D-82F8-86FA986E2667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864222$9099A419-AC1E-458A-804E-0DA09D156227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864222$A603DFD1-298D-4F7A-B5EF-8153B9E1A29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c83fa72049394073a4774fb178019d291a714d","datavalue":{"value":"reactive grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864222$8722CED2-C6A7-4F50-86B5-A682A04388C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de68beb848dd6d9e938fc6b258efca68d880b37b","datavalue":{"value":"reactive automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864222$4C33BEB3-6D00-4E5C-845C-88311859229A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a55a95ef16c50e1ef84123c1f8a37b427fe99ced","datavalue":{"value":"information-bearing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864222$AC6F9602-E807-430F-AB93-46DD2FE5CF7C","rank":"normal"}],"P16":[{"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":"Q2864222$A2B5F6EC-D563-4921-9574-1A02E1464F84","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":"Q2864222$5069C9EB-EBBE-401A-9F53-DE25B8824370","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92d681916e6992bd405f83a4d690780c94e65965","datavalue":{"value":"https://doi.org/10.1007/978-3-642-41389-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864222$9C5F997B-DE70-4746-8EF3-16A581923A2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d61ded8847bf4a4fecce4be633cbf467b6d76fae","datavalue":{"value":"W895341031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864222$53926C7B-92C0-46F1-8C73-449EA39455A1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db84199d80dbf2c0a4d63f3de0a427688a2d4b1c","datavalue":{"value":{"entity-type":"item","numeric-id":254003,"id":"Q254003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864222$C163BD48-18EC-45FD-89C5-2600DEA89BE2","rank":"normal"}],"P1643":[{"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":"8201b0e31d2fd775c4ad40ff25f430f2dfdc5f40","datavalue":{"value":{"amount":"+0.7454481720924377","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":"Q2864222$40D2BE84-DDB9-4E33-8D79-AA1A42B475A4","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":"d3c38c0a012279a17d91bb695962276a7fc18531","datavalue":{"value":{"amount":"+0.7410740256309509","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":"Q2864222$23A3C543-4D46-405B-8967-CCF00061EEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d7c69e03594779f7d3652be4be879ce98d9c349","datavalue":{"value":{"entity-type":"item","numeric-id":3599059,"id":"Q3599059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12b393ab3e0b093baa1f7341b36964efced5b11","datavalue":{"value":{"amount":"+0.7403864860534668","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":"Q2864222$9E0CD324-91A5-40B7-B59A-D2359E58460C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01a85047a34284172117e575bd142407a506d7b4","datavalue":{"value":{"entity-type":"item","numeric-id":1632052,"id":"Q1632052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e5083dffc13dfd3595c473fce95160f39dc7e6","datavalue":{"value":{"amount":"+0.7347822785377502","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":"Q2864222$88452174-8DA7-444B-90B2-A005A1F7AD17","rank":"normal"},{"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":"78b525613da83dc6d85e29a0c9e7741ea7565b08","datavalue":{"value":{"amount":"+0.7067251801490784","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":"Q2864222$213D94B7-81E4-4B8A-BF5D-26BEA416F3C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864222"}}}}}