{"entities":{"Q4989028":{"pageid":7018605,"ns":120,"title":"Item:Q4989028","lastrevid":54004118,"modified":"2026-01-26T01:51:30Z","type":"item","id":"Q4989028","labels":{"en":{"language":"en","value":"Tracing integration analysis in component-based formal specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350200"}},"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":"Q4989028$E7D394A9-2157-49C8-9660-709247DF7690","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d51d77842b85f73851df815b34ef9d3d6ed5f19f","datavalue":{"value":{"text":"Tracing Integration Analysis in Component-Based Formal Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4989028$6DE87B26-6461-4578-AC9D-58D2A83BA83C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1aa3c1ed99c1bbbc8cd7fea5f06d6f189ab981e","datavalue":{"value":"1461.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989028$8A87E2B5-303D-4CBE-BC63-5C2BEDC09F82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"630cc2f58545e1c9046aa1922fee52a3a87c1201","datavalue":{"value":"10.1007/11494881_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989028$398811A3-678E-4646-A12D-10E7098ABB92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"006eb3e31159638982edaf88767acc8669f59cba","datavalue":{"value":{"entity-type":"item","numeric-id":4989025,"id":"Q4989025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989028$CAF9B3F4-0F44-439C-BA2B-268E4C48BF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e01d97b44e67a371a7364f731c86570940f7a1a9","datavalue":{"value":{"entity-type":"item","numeric-id":216270,"id":"Q216270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989028$959BF616-D0F4-418F-96E9-8EA044FA073F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6eab0c4efb3908c89fc8b9a8b788a665bc64cb8","datavalue":{"value":{"entity-type":"item","numeric-id":216271,"id":"Q216271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989028$2BB80DF4-01EC-428F-B894-00B38BC8CB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64bf6b648c9f6a901eb4d67f3d41f6153664d03a","datavalue":{"value":{"entity-type":"item","numeric-id":4989026,"id":"Q4989026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989028$19D38537-A0E7-4E63-ADF3-BEF53C190714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d29c0bda4b39598f9bb256e9d47a2292fcaa6abe","datavalue":{"value":{"entity-type":"item","numeric-id":3625032,"id":"Q3625032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989028$18B7927B-1B7F-4D2D-A318-73DF62665B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c402286261d69e1c8cce04c7b139bbb906490473","datavalue":{"value":{"entity-type":"item","numeric-id":3625031,"id":"Q3625031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989028$EBCF1CD8-1F64-49C0-A46B-E02FC0558A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44fb4b4d39690fa5885870739699ee9c259bb6d9","datavalue":{"value":{"entity-type":"item","numeric-id":3625033,"id":"Q3625033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989028$CEC4EED5-5C5E-4F98-B06B-F04E8C6887BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c16e7508cac3ca130936fe19e90ccf74495d48c","datavalue":{"value":{"entity-type":"item","numeric-id":4989027,"id":"Q4989027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989028$4BCD571E-D869-4B2F-BF91-2616FDF76392","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989028$83CE38B4-C62F-46DF-9125-B9EEFE531756","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"211031a52806337129a1eef00df007a6622a5387","datavalue":{"value":{"time":"+2021-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4989028$189B4D19-6BEA-439F-B216-EBD17D3D6A38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989028$F46B11AC-15E0-49A2-831F-586394AB55C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989028$3A4D54E6-B824-4A32-8126-83E131C95A59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74a8a82f520f8adf11bd5741e22fcc498c8aca73","datavalue":{"value":"7350200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989028$2B411C0E-0AC1-4C24-8020-3458ADFB5CF4","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":"Q4989028$DB02CFD7-6EC5-4B55-8087-21B1035DF923","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"731b66290df4ae222af12059691e4a786f1b52b5","datavalue":{"value":"https://doi.org/10.1007/11494881_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989028$992962B1-0BA3-4AF7-8949-8622D1B51AE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a44ec557bd0587d2e54595cbcfb3d04c3bfe679","datavalue":{"value":"W1562848779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989028$BD231227-0E93-49E1-B67A-94B264F182EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e738b1d921d739ee4119b3689c1daaabdcab22","datavalue":{"value":{"entity-type":"item","numeric-id":5309502,"id":"Q5309502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbdc6d9da6d07f231dac56f5f366d24be7bfc913","datavalue":{"value":{"amount":"+0.7131281495094299","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":"Q4989028$DB914D91-CD59-4DA1-9A23-19A6A20F59C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74abf8584670ab2f6a4c397dfe13f69f1592c45f","datavalue":{"value":{"entity-type":"item","numeric-id":2863885,"id":"Q2863885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11180fb9ffb632dfe83321f2af60800d8bf9e3c5","datavalue":{"value":{"amount":"+0.7115802764892578","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":"Q4989028$FD474CBA-3B37-44D1-B11F-B0905734A013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e6ed9b6150393d9cbfbf68dc2937d7b9880460","datavalue":{"value":{"entity-type":"item","numeric-id":5314107,"id":"Q5314107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8069d1422b12b02f9bc4359f501af5ab19204bb2","datavalue":{"value":{"amount":"+0.7111234664916992","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":"Q4989028$70A7E167-AD68-4E57-AE27-26F6D996F290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11b13bb7e81f76c0a82549de326154c15f0c475","datavalue":{"value":{"entity-type":"item","numeric-id":4790391,"id":"Q4790391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f8d1b1b0488fa70a3e1dc16edb08796779bec5","datavalue":{"value":{"amount":"+0.6994478106498718","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":"Q4989028$90914B6B-9F45-4F9E-B44A-320064421228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ff72b5c7a00444da8bc7330d8dc806a0832f06","datavalue":{"value":{"entity-type":"item","numeric-id":3427361,"id":"Q3427361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ad4671d4576ba10c4e24df6cef7a6beb21a5a9","datavalue":{"value":{"amount":"+0.6990290284156799","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":"Q4989028$E1AA49E8-BDFD-43C0-B576-2F8B77936A26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4989028","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4989028"}}}}}