{"entities":{"Q2841282":{"pageid":2852002,"ns":120,"title":"Item:Q2841282","lastrevid":83818748,"modified":"2026-05-07T12:03:56Z","type":"item","id":"Q2841282","labels":{"en":{"language":"en","value":"Specifying and verifying reactive systems in a multi-language environment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190979"}},"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":"Q2841282$8412BED4-83A0-412E-84F9-36C7185240E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a65bcf5a78ef894dc3ae2d71751e799624c467c2","datavalue":{"value":{"text":"Specifying and verifying reactive systems in a multi-language environment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841282$9B4B7D1E-98B3-424D-86D0-E8F8F8F4CD31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d9fa0de1a1e034d120bc2424ea96869b2122cb6","datavalue":{"value":"1268.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841282$394D0527-6B35-47FF-8BFA-0066D0457793","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34a82c61753a67b30a7ed34e5a4a26988cac51fa","datavalue":{"value":"10.1016/S1571-0661(04)00330-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841282$313DDB0C-4DFA-4D4C-9FFC-655C10BBAE90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15fb6ad8d83e48eeae31d72ebd549f78bdbcafa1","datavalue":{"value":{"entity-type":"item","numeric-id":1263990,"id":"Q1263990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841282$E4591BF8-FFEA-4775-99D5-1561BCB2322F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e2a58c2c7f26dd10fad4fabdfc4297db751dbf2","datavalue":{"value":{"entity-type":"item","numeric-id":2841281,"id":"Q2841281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841282$219FB687-29CD-45EE-9CD1-B00D2DFB4E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc31d8ba926152915a2d85bf90621c795d9f87c","datavalue":{"value":{"entity-type":"item","numeric-id":272304,"id":"Q272304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841282$4FA29C4F-2E6F-419F-AE92-A245A47BDFD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841282$D7FBC66E-794C-422A-B345-D7AFD704B27A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841282$185E9225-7540-404E-990D-2C803A9B07DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841282$5BDFEF06-E6F6-4C6E-89EC-3D02B20BB4E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26e2e99b6ce85c8656db452c497c2b1b72ed0119","datavalue":{"value":"6190979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841282$44B579D4-3F04-4F4E-8663-EAEFC6B66634","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc062e2d311aa84366365333d09c3a4e32b41bc","datavalue":{"value":{"entity-type":"item","numeric-id":20934,"id":"Q20934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841282$653EAD0E-6AB4-49C8-9553-F20CE959AE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841282$AE61E901-CC03-4D24-A740-ABB36E6D370C","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":"Q2841282$AF3C94D7-DCF0-4F55-A163-2B778FADC2D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841282$38B98850-44E8-4928-8CFA-8E7E409A7135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841282$7D40BD71-084B-4D8A-B91D-8F3DE5024292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7daeb403dc6eb02b2b3d98538b63790ac31827c","datavalue":{"value":{"entity-type":"item","numeric-id":4284985,"id":"Q4284985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841282$3721FE46-9301-4E63-879D-70DB0917672E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841282$A0B05FF5-57D5-4075-B207-EF7CF4DF4178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5e6136b90b5e6f92c6f3d8da25ea954a2e6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":4494116,"id":"Q4494116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841282$8A103F47-3FAF-4A84-BC46-5496C496A7BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f3f79243d69b5badbfb8cc4d08881effa345f64","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)00330-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2841282$35773A39-0977-4818-B0E3-12FDF530A732","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbdd6997073bb8d5a659ae1b514a59c26014ce38","datavalue":{"value":"W2096230567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841282$59CA36CB-A82D-4D2A-B21B-70E10B8EFCDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead8334941f0cf3bf9d5e0796619bbc961c474dc","datavalue":{"value":{"entity-type":"item","numeric-id":4270076,"id":"Q4270076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd13a732f07c15012562aba37f0f8842bc66c0e","datavalue":{"value":{"amount":"+0.7675537467002869","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":"Q2841282$9A4685B0-E787-472F-BC5B-D0C096AFE419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b67a7ccc465c1b75415cfa506990e3fad8730ed5","datavalue":{"value":{"entity-type":"item","numeric-id":1974481,"id":"Q1974481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e1e956bfe5be3abf4b02b8379c9ba7c8cb080a","datavalue":{"value":{"amount":"+0.7616154551506042","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":"Q2841282$4BF35519-99A5-4CB1-A5F4-7D930D3C6285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e88955d91680e6d765da8c1b8b08c87afc0248","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e1e956bfe5be3abf4b02b8379c9ba7c8cb080a","datavalue":{"value":{"amount":"+0.7616154551506042","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":"Q2841282$2A212709-93C4-4385-A036-61B9C476204B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca65fc484428009938f32e7729bb0106f7c651e","datavalue":{"value":{"entity-type":"item","numeric-id":4494116,"id":"Q4494116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0e4ed5119825314e1bcae2786875b59c673aa03","datavalue":{"value":{"amount":"+0.7507482171058655","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":"Q2841282$63CA34C1-9064-4AE9-BADA-97536F406936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8924a7e1cad26dcec4f3c208c4c327c56ab1db72","datavalue":{"value":{"entity-type":"item","numeric-id":4284985,"id":"Q4284985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670fb4307b1c1c14c3393bd0ebe832bd1c6f6893","datavalue":{"value":{"amount":"+0.745568573474884","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":"Q2841282$B7CAE55A-B671-49A0-A4B2-C87AAC3B3DDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specifying and verifying reactive systems in a multi-language environment","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specifying_and_verifying_reactive_systems_in_a_multi-language_environment"}}}}}