{"entities":{"Q5209963":{"pageid":7239534,"ns":120,"title":"Item:Q5209963","lastrevid":53643401,"modified":"2026-01-25T11:57:13Z","type":"item","id":"Q5209963","labels":{"en":{"language":"en","value":"Modelling and verification of high-order typed software architecture and case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7156372"}},"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":"Q5209963$0E498A8B-0E5B-4EA2-ABAE-A14220F772FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89e3fdd44c2ef1a09549a8183f5de4379a5b1a90","datavalue":{"value":"1449.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209963$CA8728BA-291B-4363-BFFF-CB5E60196184","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c512a3578d7e35142a4a7608e0a93d1068849d45","datavalue":{"value":{"entity-type":"item","numeric-id":4624674,"id":"Q4624674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5209963$7AECFFA4-074C-4024-9B99-31545C2CFD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e2acab81daf6a7e289b35a9b92d20f8412a44d3","datavalue":{"value":{"entity-type":"item","numeric-id":848261,"id":"Q848261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5209963$46DD7F92-B51A-48C8-BD77-33818B247263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"344715d4492c48df3a7cbe12ae2611e307347c29","datavalue":{"value":{"entity-type":"item","numeric-id":4624675,"id":"Q4624675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5209963$EF236116-884B-4F78-A798-7C0892C328A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5baa9965dc53c864fb4b03aad373b25997fc357","datavalue":{"value":{"entity-type":"item","numeric-id":2131773,"id":"Q2131773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5209963$AA2DF727-6F06-402B-8CDC-23D266BB9AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c07dc3be16541328a911ee3eba6c57d57f38750","datavalue":{"value":{"entity-type":"item","numeric-id":1718295,"id":"Q1718295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5209963$CBB55147-8C6B-4AF0-BF51-922EF61DEC1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db0c076b272b350be02382ed0bfa3a4836080ec5","datavalue":{"value":{"time":"+2020-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5209963$DDB26FDA-353D-42E1-BFBF-E257E3B8E12A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209963$C720A108-9D8A-4E8A-A048-E831DC659A57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"779489d1665c03eab90d4553f71ea9ea1e767a55","datavalue":{"value":"7156372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209963$6D949D4E-B8CF-4ED5-86DD-69F3F76A7547","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdbbb3335efa9ecfc3156c7962d1cc2567f782b","datavalue":{"value":"typing rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209963$8919925A-D131-4D76-A4B3-52E72A354D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209963$AA56DC67-0FB8-42C3-ABBF-7F8DAD15F667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d88ab1b30928f1d8bcedeeb0baaeafd45b2afca","datavalue":{"value":"software architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209963$43F6C1B4-D1AC-472D-A2D6-F4458DA69EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209963$F2E04AEB-585C-4695-BE5D-E679DA1F91B9","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":"Q5209963$836F10B9-0D33-4527-9CC6-168C8992D57A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09088c76e009b611511e1920aff263e1ff4dc2ff","datavalue":{"value":"10.13328/J.CNKI.JOS.005749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209963$E3176265-5D33-48EA-A44E-C91ABA9444FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac40be4c0216ca48fdbbd018b40d48d20e04c780","datavalue":{"value":{"entity-type":"item","numeric-id":4329555,"id":"Q4329555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9926575d5d646967124cc40adab8ec21727ea24a","datavalue":{"value":{"amount":"+0.6988446116447449","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":"Q5209963$EDF6C114-53EC-4BF9-AB9B-30B5B0E1C400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc9984e95bd07ea9716c21d54670935ef143f7d","datavalue":{"value":{"entity-type":"item","numeric-id":3516460,"id":"Q3516460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809363ac8a4664262a10039f3cf0891103523b84","datavalue":{"value":{"amount":"+0.6856433153152466","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":"Q5209963$90024A55-019E-471D-83A3-9098B6C0061A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9e67fe9643af385a11c8161e55802ba0c5a379","datavalue":{"value":{"entity-type":"item","numeric-id":4471718,"id":"Q4471718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9064c5f3b343b287d826144b6ffaaf2b3bb6bf58","datavalue":{"value":{"amount":"+0.6667779684066772","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":"Q5209963$7662F9BE-A8F8-4090-8144-663F3C896ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe754d483eb7fbf9c412f3bff6d683833997b041","datavalue":{"value":{"entity-type":"item","numeric-id":2767990,"id":"Q2767990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faae49e96b2bcc5b96b47a999b48e9dce0998d0d","datavalue":{"value":{"amount":"+0.6632251739501953","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":"Q5209963$8EC76142-D564-40A6-B6EC-49C21CCB9748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7553dae9518a2e18a87c15ab412c943f1700d12","datavalue":{"value":{"entity-type":"item","numeric-id":4453049,"id":"Q4453049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6713c024dca36fe2d8b06db674a21d619b7149a","datavalue":{"value":{"amount":"+0.6632249355316162","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":"Q5209963$6DEEF1CD-3060-4AEC-959F-4CFEA968F774","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5209963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5209963"}}}}}