{"entities":{"Q5309950":{"pageid":7339524,"ns":120,"title":"Item:Q5309950","lastrevid":41741733,"modified":"2025-05-07T19:36:09Z","type":"item","id":"Q5309950","labels":{"en":{"language":"en","value":"Reactive Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5197541"}},"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":"Q5309950$045502BB-FC7A-4E16-AFF2-6416B1178B84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5d14d80d76005ef236e0eea6be0298edb57903f","datavalue":{"value":{"text":"Reactive Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5309950$D6DF343F-214D-4A49-B7D8-4F0E9CAB786B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1502bc576d20a86e3a2023fc6d165de913fc1e45","datavalue":{"value":"1141.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309950$DFF8186E-BA9F-428B-9BA6-61D614AAA346","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd5970e2e63405ffbc5fa9d9ad2b5b2f1a521f11","datavalue":{"value":"10.1017/CBO9780511814105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309950$E9260A5E-65D1-4EAD-B757-DA7C82E1BF8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309950$4E729EE9-9BA5-43DA-85FA-A79C9BE462D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309950$70F33C62-9EF3-406C-B46A-74AA1B65A8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309950$8F0CE37A-B3CF-447B-870C-D024E47AADEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309950$7679EFFA-D2D2-48F7-B660-33CE7546BD90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45d04653f9f4581c46a9e8cb6478aae0c3a9217d","datavalue":{"value":{"time":"+2007-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5309950$60B87FF6-9086-4297-B616-301B17D8FAF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309950$C0E3FA8B-9DAF-423B-BAEE-AE997FB0013E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309950$F5984979-D1EA-4906-AA7E-0D4DAB89E8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309950$6A4B8CEE-B85C-4CF1-BC8D-1EAD3F43DB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309950$C74940E3-CA1E-4E67-81CA-5945317E3461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309950$C32DF027-B62A-49EC-9FB2-33099A1AEB11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38f180a880b89e94897d6d5b1bf9409c6f90ac28","datavalue":{"value":"5197541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309950$CE5919A8-7D20-4597-8837-4BEB3F48492C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309950$AF7CB022-D08C-4D23-9F04-D12361738E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309950$B730ABFE-BAC3-411C-954B-34C086FBF15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d5a420b9713f1ea37325f47827f32e8fad978b5","datavalue":{"value":"algorithmic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309950$F049E98E-D355-4449-B683-7C94F367C7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309950$EC1A9D7D-A154-4012-8F7A-B804A33BB32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309950$C4D20DC5-CC23-4049-BB52-C4B4FBA90AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309950$64B29AD4-C70D-4E4E-9FA2-C40FF401204E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2f77aa6e8074009b02dc31c18e5b381de19a4a","datavalue":{"value":"Henessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309950$8753F926-317C-4B2B-835C-08601D7F33A0","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":"Q5309950$D96F4929-717B-40FE-A0D5-344E8B79FC11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c6ba0ff82750fcb94742c0d872e27ec823283c1","datavalue":{"value":"https://doi.org/10.1017/cbo9780511814105","type":"string"},"datatype":"url"},"type":"statement","id":"Q5309950$F6A3C3CD-7373-4F0A-ABED-94A442357B44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcd62cc62c63a0d9852b743f4b65d7da16e7f1da","datavalue":{"value":"W4252542281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309950$45BD48CA-7EA6-42C0-B951-508776F06EEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17f0ba7b077b303fc84a00df3777974c472bd09","datavalue":{"value":{"entity-type":"item","numeric-id":1395897,"id":"Q1395897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a5d5da351df1e753a431a1ddf1688bcbb2b4a5f","datavalue":{"value":{"amount":"+0.92245936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5309950$E08D1C62-8665-4C4E-BD5D-1740E11B5FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5540b7f65af7b728fa00a3c0416eb26b0f3b65","datavalue":{"value":{"entity-type":"item","numeric-id":4681459,"id":"Q4681459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c81be200a2d2d798f12d09d95731aaa006e1f3e0","datavalue":{"value":{"amount":"+0.9087773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5309950$20351EA1-4598-44C8-8348-B17DA7006E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce02ebf4bf8f0302f3fed4e3d2803f62c8dc1fe2","datavalue":{"value":{"entity-type":"item","numeric-id":5468879,"id":"Q5468879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"896738650813b74447b8023691f6df4cc5098bbe","datavalue":{"value":{"amount":"+0.898856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5309950$91F6754F-AFCA-402B-8B3B-F4295CB12645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"474ae5e3ed684a08068c890bb6f361ad8fd8b847","datavalue":{"value":{"entity-type":"item","numeric-id":2763546,"id":"Q2763546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"668d3c2336a19e5e2902860257c1b62acaef3dd6","datavalue":{"value":{"amount":"+0.8947853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5309950$DBCE9DB7-726B-4FF3-BC92-8B3CC574ECC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0657a1160e5de4ee7c269ded027f976c1aca8fc7","datavalue":{"value":{"entity-type":"item","numeric-id":1868165,"id":"Q1868165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe6870cfd74e5cf9c9b9b34d5c092dbb481e79a7","datavalue":{"value":{"amount":"+0.8937565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5309950$1D019B06-711F-4001-8B0B-1215FA4F785B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5309950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5309950"}}}}}