{"entities":{"Q5452184":{"pageid":7481743,"ns":120,"title":"Item:Q5452184","lastrevid":50314559,"modified":"2026-01-13T19:37:29Z","type":"item","id":"Q5452184","labels":{"en":{"language":"en","value":"Introducing Reactive Kripke Semantics and Arc Accessibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5252784"}},"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":"Q5452184$0CC6B2CB-26E8-4A73-91EA-82A800773BAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4669e76f0078dfb605592b149dec698f1ffbb95","datavalue":{"value":{"text":"Introducing Reactive Kripke Semantics and Arc Accessibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452184$BB4AF4AD-9A2C-4798-8B1F-9C6E821EEF38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df6f07e372a2e701ad56fce36265f0bce65a45bc","datavalue":{"value":"1134.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452184$ACBFFE5C-FFE4-4890-A117-5192A3CBA207","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96e955a94c3b42c36b26ffbc55453978ab4c6e75","datavalue":{"value":"10.1007/978-3-540-78127-1_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452184$2335C0A7-B79C-4FE4-8215-EFAC5686B73F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"22a2133d6ff5ba41f45d27ff340ca0b332523802","datavalue":{"value":{"entity-type":"item","numeric-id":5452170,"id":"Q5452170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452184$414D530A-C806-4007-B256-FBA2EBF8413A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"676cc1446d382c56905ed0fcaec27210a6a45798","datavalue":{"value":{"time":"+2008-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452184$B9A9830B-C2BF-4DB6-8492-5A52E0D0790B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1791ec745bd8a6b1b76fff97bdad6e9f6c052fee","datavalue":{"value":"http://orbilu.uni.lu/handle/10993/15853","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452184$4E1ED1D7-A049-49A8-9519-8C09F2E45EE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452184$77C7F1B8-8110-4143-B83A-CB4DD306B8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452184$3A639811-BEDE-4C6C-BC18-49A60FB84A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452184$6EC5A0F8-F12F-45AC-926C-B6108A8695A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a0d9ab42a8f8e6ab363b51944b1b4afda163b56","datavalue":{"value":"5252784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452184$5C312636-7ACF-46FE-9287-91C37580B794","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094979f9135388cab0e762a24df492583ef54ccd","datavalue":{"value":"reactive frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q5452184$451E1DD9-8209-41CC-885B-51731687E3CB","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":"Q5452184$9913313E-2588-4B04-97AD-92CDEBE3E659","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":"Q5452184$92C1C6FC-237D-4D87-ADDE-DE2C216D95A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"446c347e2b0f2879336f2610267626b7c52ac307","datavalue":{"value":"W4298198375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452184$AA3BCA9C-10EA-44DE-8EB4-ABC4D47BC248","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d853ad60931fa02460b597161b5a10b9b84ca5","datavalue":{"value":{"entity-type":"item","numeric-id":4225147,"id":"Q4225147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452184$1F6A40A7-9C16-416A-AD44-123BC75D90A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b414008edc6e5217d2462bd3a642573071406408","datavalue":{"value":{"entity-type":"item","numeric-id":5498743,"id":"Q5498743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452184$2D482513-E877-43FF-A96E-6BE22380D278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f393e897b6ca3ad190cc8e7030da66e28119b3f","datavalue":{"value":{"entity-type":"item","numeric-id":5717444,"id":"Q5717444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452184$6910BEBF-FBD1-447A-9C77-4908472519DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed9a3df0fe6e59184c7ec28a20fc3c19007e4d6","datavalue":{"value":{"entity-type":"item","numeric-id":859825,"id":"Q859825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452184$63560418-8682-4E56-B9B9-C4A225DF6DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326e802bee95ed2c822a5c7be798bb929636447e","datavalue":{"value":{"entity-type":"item","numeric-id":3669373,"id":"Q3669373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452184$1051BFBE-6AB3-4102-BC35-7C3D58099189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452184$2F047A32-A303-43E6-A5B9-15D214A6A9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97916738d9a473d34d5caa079f37cf4745515007","datavalue":{"value":{"entity-type":"item","numeric-id":1610618,"id":"Q1610618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452184$C35BB978-063A-495A-9120-7E72DC9F2543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1523a5b65a70aa8fa83c008b1e1cdd67f4087989","datavalue":{"value":{"entity-type":"item","numeric-id":1935595,"id":"Q1935595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452184$21F57695-AED2-4DEA-8FB6-EEDFC64DCAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfad2c27bdb4871d97a3d04d50b9691edd9e1875","datavalue":{"value":{"entity-type":"item","numeric-id":4796511,"id":"Q4796511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452184$3CCB27B7-627B-4B4A-9A44-6506FCCFE977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae835e4828c1156bc1d5b0ef1b47ebf017067c4","datavalue":{"value":{"entity-type":"item","numeric-id":5711861,"id":"Q5711861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452184$DF7E2461-E35B-4C94-84BE-5E8ACD2A1697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e4365ab3617f49a82656c2f347e9995151467","datavalue":{"value":{"entity-type":"item","numeric-id":4296748,"id":"Q4296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452184$0437FCD5-6BA1-4734-800D-D3F927D63442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452184$D572FAFD-070F-46B7-8E17-DF219EE841C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d580d739e5ebadf6acf6fd1b72630f128a7d1c4","datavalue":{"value":{"entity-type":"item","numeric-id":4952023,"id":"Q4952023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452184$FA5F3534-ED2B-494B-8C8C-29D37D2B8251","rank":"normal"}],"P1643":[{"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":"faf9f8e4b0ca8ae9c7eef37e40be93582a52bd53","datavalue":{"value":{"amount":"+0.9990150332450868","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":"Q5452184$7FDF9D93-927B-4C52-AA6C-312396D906CF","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":"aa50132ad4e894ca803371e8ec90e5a13ceaf1e5","datavalue":{"value":{"amount":"+0.8410054445266724","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":"Q5452184$853849A5-6A7B-4237-8B5A-46773DEF2DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02957054d3fb9f6c94b6a74f0aa590ff95ce8451","datavalue":{"value":{"entity-type":"item","numeric-id":2269510,"id":"Q2269510"},"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":"Q5452184$2D92A236-CCEB-42CF-8510-21534710537A","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":"0d16ec838a64081247abc29626d35881710410fa","datavalue":{"value":{"amount":"+0.8041214346885681","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":"Q5452184$1A6877CE-D06F-43A8-943E-6425064EDB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed3d579dfd876101ecff51a8dcdd49599448115","datavalue":{"value":{"entity-type":"item","numeric-id":1935589,"id":"Q1935589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32dfe9f3ef7bc8238b5175b0ee3f904598c753bb","datavalue":{"value":{"amount":"+0.7990933060646057","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":"Q5452184$A21D654D-7A34-4E7B-862C-DD87FD6DEE1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452184","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452184"}}}}}