{"entities":{"Q439960":{"pageid":441727,"ns":120,"title":"Item:Q439960","lastrevid":61888602,"modified":"2026-04-11T02:20:33Z","type":"item","id":"Q439960","labels":{"en":{"language":"en","value":"Synthesis from scenario-based specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6067712"}},"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":"Q439960$99B179C1-9683-4387-AAC2-74A7225C34EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba45af43726b0578f0679f02e08fe32d08a41e4f","datavalue":{"value":{"text":"Synthesis from scenario-based specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q439960$E559E222-4AF4-40FE-A082-5284AADB8479","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9312add2d51e56b4c853125594f34d038c60306","datavalue":{"value":"1246.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439960$2F424138-6A14-4E77-8A86-49AB9091DC32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d86d555bd6cd1001c3d6ecad72fc1ab67c5fdce1","datavalue":{"value":{"entity-type":"item","numeric-id":209473,"id":"Q209473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439960$3954DB34-36F7-4180-BA5E-9EC780F96935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3e63c1a934192f97bbcb2f0c98cbc80c299bb38","datavalue":{"value":{"entity-type":"item","numeric-id":439959,"id":"Q439959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439960$A3E11286-EE8C-442C-B553-CAC5C7979D4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439960$6BD79C64-0481-46C7-8067-1C4242988806","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b603f6512fef6ae8133f8f1ff885bde2efd37af6","datavalue":{"value":{"time":"+2012-08-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":"Q439960$72C37B10-D08F-447D-B8EC-0704F8FD9965","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439960$BA5D711C-5DF3-4359-94DF-BBA763A9EAA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83eabf3a33edaab5ff55a409295d40e4d276ddc3","datavalue":{"value":"6067712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439960$B358C1B6-D088-4E64-8A31-45A70FA4A341","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q439960$8723852F-6C68-4A7A-A774-C90C539999E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b9cd0a1dc9df95871e5ddd964d62ccd7b15d241","datavalue":{"value":"live sequence charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q439960$5DD3E043-13BA-45E8-B8C7-5F8DAB2AAB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86b379c0f6f69430ce442e7bec40150684ad1f5c","datavalue":{"value":"LSC","type":"string"},"datatype":"string"},"type":"statement","id":"Q439960$41F4F8EF-7A39-44B5-B7E2-E5B576A828A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q439960$5C76DE43-FCBB-4F09-A21C-28DD4C744C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf259d6ea2d4c4e123f3ff47f976df5836197677","datavalue":{"value":"scenario-based programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q439960$B5BE15AA-ACD7-471A-B596-A8E8076C7E82","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d73dd1d2420347810145e9b0595b720ed4f2fd21","datavalue":{"value":{"entity-type":"item","numeric-id":20857,"id":"Q20857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439960$A1BD5E57-7820-4850-A8F6-DA8480C2650B","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":"Q439960$9832D6E1-D6F6-47EA-AC84-235AC10F579C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"772551f87eb7e1799ce6a7725fccc9c1b54959e3","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2011.08.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q439960$2D9A83DA-2A83-4792-9E12-B66093AD6782","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7da61aa3774b6aef388922672528513cf52e694","datavalue":{"value":"W2024101817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439960$C24774F3-5B91-44B0-AFF7-9FFC3D1CE68D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439960$8848E972-59AE-42A6-82F6-C75B99040C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead8421943a1be8110df254acca9ad1e8d64eb52","datavalue":{"value":{"entity-type":"item","numeric-id":5725991,"id":"Q5725991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439960$1EA5DF21-5E3E-442D-9E43-845EAF73D8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761764ab341e3c45ab12b1fd51baacfaf6590a95","datavalue":{"value":{"entity-type":"item","numeric-id":5946346,"id":"Q5946346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439960$352CBC3E-A8E3-47A4-ABDD-D9DFFC570C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439960$C406B108-175A-45BD-B82F-E56738370831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77db627e4c055fde77923dcac4fe333790c5c5c2","datavalue":{"value":{"entity-type":"item","numeric-id":5187830,"id":"Q5187830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439960$13E5EDA5-8F95-4B92-AA28-192B48DFB7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"957ca1b3f93af567f6152b6b43dd2b5768568d53","datavalue":{"value":{"entity-type":"item","numeric-id":3021937,"id":"Q3021937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439960$ED987F9E-FD1B-4DF6-B9C5-205AA193D135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5854c9ef8001a768e1a0af9fc2479bed9f84a667","datavalue":{"value":{"entity-type":"item","numeric-id":4427918,"id":"Q4427918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439960$0CDCD803-C87E-4AEF-B8A4-3227AC4DCD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77dc933c73e4695de7ff6375817b86b37737aa","datavalue":{"value":{"entity-type":"item","numeric-id":3922132,"id":"Q3922132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439960$D8827517-9DF8-47E3-9308-B7DFEA724392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439960$089059FB-95D4-47D1-A06D-87A68187A0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439960$88D66CBA-EE7C-44A5-96BF-F3FA35269BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cbc31e631ffbe365df2c4e20a8768d3c28e9147","datavalue":{"value":{"entity-type":"item","numeric-id":5716893,"id":"Q5716893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439960$50015AE7-ACE4-4648-AFDC-7931824D3A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"095efdfbd2542aaaed816805bd2968dcfd471f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4037392,"id":"Q4037392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439960$4A547326-A541-47A4-A986-DC83215DD191","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d8f38f07afe38e0237e476f8f535c3ea013eca5","datavalue":{"value":"10.1016/J.JCSS.2011.08.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439960$24709986-46E3-48C9-B93A-F3C25C6779FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551efb98891fed55871a9787dc147514da873af4","datavalue":{"value":{"entity-type":"item","numeric-id":4824478,"id":"Q4824478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9642b8f96c30e38e801081588ec0abecaee88b","datavalue":{"value":{"amount":"+0.8872689604759216","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":"Q439960$9B94E29A-3889-4F6B-B870-DA912326B99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"185267be574c1a2d16d9e0f3da78d13eb6ed647b","datavalue":{"value":{"entity-type":"item","numeric-id":5710415,"id":"Q5710415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22966dd49662251dba87306447ed27843e6b1ebe","datavalue":{"value":{"amount":"+0.8290770053863525","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":"Q439960$926B3181-7913-49E4-9214-CCAF4BC21A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea74535319b63e8d750c03e887392abc9185e031","datavalue":{"value":{"entity-type":"item","numeric-id":3021937,"id":"Q3021937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b86aebc352a7b1b5ad1246631c61d1a7ef709d","datavalue":{"value":{"amount":"+0.7933175563812256","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":"Q439960$44AFC9BB-1DDD-4A0E-ADD3-563A89103EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f57dc1eaf6107bfdf741b85b9243aa169ec6cab7","datavalue":{"value":{"entity-type":"item","numeric-id":4540954,"id":"Q4540954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef3f8f598a08676327423a85cd6598a733458697","datavalue":{"value":{"amount":"+0.792931854724884","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":"Q439960$FA4EC1F2-41B8-499D-9D30-55D16E330A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1499ad98aba4b821d50174bcfee1c6e7a31820f","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60677d319590e0a90352a1ce699437cdc5b9d043","datavalue":{"value":{"amount":"+0.7877233028411865","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":"Q439960$A921EA35-33DD-4674-94A8-9CCF646D9CB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis from scenario-based specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_from_scenario-based_specifications"}}}}}