{"entities":{"Q2895779":{"pageid":2906504,"ns":120,"title":"Item:Q2895779","lastrevid":51504356,"modified":"2026-01-18T13:21:55Z","type":"item","id":"Q2895779","labels":{"en":{"language":"en","value":"A modal interface theory for component-based design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6052768"}},"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":"Q2895779$17E1C298-273E-43BE-A80C-08E79F1D6B06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fc7928a60c86c0df93bf838029b3ff3194f4cab","datavalue":{"value":"1242.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895779$AC047F5A-D2E7-44C3-B457-68E0CF6D2ED1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d14fa60aad438a2903654ff96416760ce26b617","datavalue":{"value":"10.3233/FI-2011-416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895779$4C937BDC-675B-4BB0-93EE-A5A947F0C48B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2d175a48aa9c45f7e3ce2a18a3de1f29f3e61fa","datavalue":{"value":{"entity-type":"item","numeric-id":1951602,"id":"Q1951602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895779$3DBA5351-9642-4643-81E7-9E06D1DB0745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed178ee4dbe7edd42ae14431d57c31b4f5789882","datavalue":{"value":{"entity-type":"item","numeric-id":439950,"id":"Q439950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895779$04197CF1-352A-4F40-940F-0BDACCCC6798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895779$84A452E7-7ADB-43C4-AD3C-7C9AE42EA9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b21595f21f62505c422669266febef45c37adbb","datavalue":{"value":{"entity-type":"item","numeric-id":212523,"id":"Q212523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895779$C1917E0C-B11D-4F62-8C8D-39A0F6041574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"676bf375f547cb28c0bec5be0d58668c6af73045","datavalue":{"value":{"entity-type":"item","numeric-id":805245,"id":"Q805245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895779$B0C49FFF-F966-4BF8-A02F-6051ABF93989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"916aecd3cd454af215d34d6197a62a5e699a9f3d","datavalue":{"value":{"entity-type":"item","numeric-id":439949,"id":"Q439949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895779$135C74F1-2E3B-44D2-88A3-66F9ED4F52B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895779$045A03AB-335C-4C86-9826-4D7AAD82EE9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82fc1511bfc3f2a612f201b34398e09c3400170c","datavalue":{"value":{"time":"+2012-07-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":"Q2895779$8A353DB0-EBA1-4714-92E2-A4D181FD9A2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895779$4D6B090D-E093-448B-80FF-CD243F569D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895779$14D16144-AC7B-4ECA-BE47-AF59192DA61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895779$25923C35-E8B7-417B-9F1F-5B88E18E6ECB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"815a745fd0768fcc75351612eb634571e64a246b","datavalue":{"value":"6052768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895779$01A933E5-BB3F-4E9B-ADF4-179A9BD6BAD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a82e7c1c6a4c644465e777ed7f40c5272ed0c28","datavalue":{"value":"component-based system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895779$255EEEA1-8508-4912-92B7-AFE78EDB448D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895779$40815F23-255F-4063-AA55-FA1CD77DB0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e4289b32c7a0c0da8bf9f5d82648cc70b4a178c","datavalue":{"value":"interface theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895779$806B92F9-781D-4C7C-8C5D-96A63B99BBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1be68ca3b7d850a566f2d04f341616b9c992b9","datavalue":{"value":"interface automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895779$6876CDD0-1949-4451-8F86-7A7126D06ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f342e1aaae4b132e331a37e51179999b625ec74","datavalue":{"value":"modal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895779$10499CBC-65EC-4A6A-B023-DEA01334BAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895779$724E8B26-1323-4F62-8F89-F9706AD4070C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"186b33115856aa5e6840a782dd17b6926f51dbf6","datavalue":{"value":{"entity-type":"item","numeric-id":19489,"id":"Q19489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895779$A1812165-640F-446B-A306-FE02FBB6DD80","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":"Q2895779$50E45BE1-C150-40EA-97EA-A00C78D9AB43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"959f348207d6ad2843f4569329cdffb32ed5f4f9","datavalue":{"value":"https://doi.org/10.3233/fi-2011-416","type":"string"},"datatype":"url"},"type":"statement","id":"Q2895779$D11418AE-BB01-4BD2-8FD9-3D037F63A4E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a2a26f9df89a87838360f34a11d27493be26c5f","datavalue":{"value":"W1557653052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895779$F2218181-EB7A-49BD-9F36-A825C55CA6CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c6a4d5a163fc35a3d2bf0a7446dfad578a39ffa","datavalue":{"value":{"text":"A modal interface theory for component-based design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2895779$9B9FFDFC-9130-41C5-B04A-B9B56FE79F68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9086ff309d2aee54a565e9c6d8c03e2a22c87413","datavalue":{"value":{"entity-type":"item","numeric-id":5891780,"id":"Q5891780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b472bab456b6f1da7b06d6379572a96499fb0a8","datavalue":{"value":{"amount":"+0.8729518055915833","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":"Q2895779$6D924766-8254-4F18-8218-957A5BEDE414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434a4458627648def9563ea8a1af79385bfed551","datavalue":{"value":{"entity-type":"item","numeric-id":5891133,"id":"Q5891133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c95225a814abdb8aef999fa8c4ffe1c7cfcd4e1","datavalue":{"value":{"amount":"+0.8680360317230225","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":"Q2895779$0275A2DD-F3A2-4696-B01D-BCEFCCF9FA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e59883e8abcdf4b2a80288044d5208cebf7af6a","datavalue":{"value":{"entity-type":"item","numeric-id":2999311,"id":"Q2999311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba576006e3c5cf21a7c2739583148784b5b9f3ad","datavalue":{"value":{"amount":"+0.8656781911849976","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":"Q2895779$AE69981D-8D80-4DC6-995D-CBCB07CA9186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46a5d644e686f6ebfabc1055d61907a269a60f06","datavalue":{"value":{"entity-type":"item","numeric-id":5175101,"id":"Q5175101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00dc29da8b665dc1d8a624f8868e7e416ea7790","datavalue":{"value":{"amount":"+0.8386558890342712","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":"Q2895779$C2B69D3D-2147-43F7-9A65-D544A8FAAF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1033b0771c2295c4f6ece0903fb6662c2287ca2","datavalue":{"value":{"entity-type":"item","numeric-id":2629098,"id":"Q2629098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e1fa39aed5c64398e5f040cb9b82efd87efb60","datavalue":{"value":{"amount":"+0.8308959603309631","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":"Q2895779$1915AE40-70BC-4CAB-AA65-EB88D21D9AA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2895779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2895779"}}}}}