{"entities":{"Q2883012":{"pageid":2893737,"ns":120,"title":"Item:Q2883012","lastrevid":51463634,"modified":"2026-01-18T09:01:53Z","type":"item","id":"Q2883012","labels":{"en":{"language":"en","value":"Quality assurance of computing systems by formal development methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033085"}},"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":"Q2883012$6EA123E5-7F7C-43F1-AED6-A51C5C6D7A1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57ebb9edc9f4d7b39ea9a33cfb3158f2aa1fbd93","datavalue":{"value":"1249.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883012$4AE082DB-3ACA-495B-9BE0-2958DAA92EC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7204f7436391b208dc410b09b4e4490576582e21","datavalue":{"value":{"entity-type":"item","numeric-id":256706,"id":"Q256706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883012$5FF6B407-A736-494D-97D8-6E03492405E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883012$8AE76313-961B-4DAC-B1CC-7DDD38DD8AC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883012$6C49E8E2-8784-48DC-BADB-7B9D2D922926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883012$C5E713C7-F501-404E-BADD-5441A205A89B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f6bedfba0e06213a6a6981b7d237671598d1c71","datavalue":{"value":"6033085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883012$EB862BCE-9064-4062-B189-03A5AC3D4B0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a614d7352478fb85a8fa357acf91a3c81c80aad","datavalue":{"value":"architectural connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883012$FB94620A-03E8-40F0-9C47-9EC5297D7C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a2334df3bf6d3e1f4f86dff28df8564bc1f0d","datavalue":{"value":"formal method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883012$6764293B-373A-4E95-A471-A96152EC43AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71f1d599f49ee2a898b49354be24d722870d4dbf","datavalue":{"value":"architecture description language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883012$54023189-75E0-4729-A2D9-7BCF468FC2FA","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":"Q2883012$82D6A0C9-574D-44B1-A39B-1644715909C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49845926f1aa76f7b58ec78d080ce793fe46b241","datavalue":{"value":{"text":"Quality assurance of computing systems by formal development methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883012$0FF4034F-4EAF-4CF3-8168-92C63BA91411","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a759a6aa711e0f4b33e673c6ad25e33676785b47","datavalue":{"value":{"entity-type":"item","numeric-id":6773955,"id":"Q6773955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883012$C5A4CBBE-1718-4BB0-B828-31204D0D6B97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf50ce1657f51e3cd73edaa4988411a27b0c00b","datavalue":{"value":{"entity-type":"item","numeric-id":3526924,"id":"Q3526924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1174ac693f7135790998cb760257473a24b3f0ea","datavalue":{"value":{"amount":"+0.7434360980987549","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":"Q2883012$F248044F-4C0B-445F-9EAD-0D7418997E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56099eef0fc21a239b3ff1ddfe426e2b339c20a1","datavalue":{"value":{"entity-type":"item","numeric-id":4412469,"id":"Q4412469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3444f5eaf7ca8b1bbb8218e361b970bbad4c0e","datavalue":{"value":{"amount":"+0.7303484082221985","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":"Q2883012$EC52016F-9211-47C1-ABD0-6FF758523F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb74eb51fc4e08f9ff2236d0723886d6f837b04","datavalue":{"value":{"entity-type":"item","numeric-id":5196885,"id":"Q5196885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e744f88dd92d551f0971ff6abe265b1b5f1f8a","datavalue":{"value":{"amount":"+0.7290092706680298","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":"Q2883012$B27F7E24-367D-493F-99A2-3A5DC684AF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fec3988802ad7c4e64a97c572bd1e2298716f31","datavalue":{"value":{"entity-type":"item","numeric-id":5476866,"id":"Q5476866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d94f3d3aa6c0af2cd73dddf928e2fe3db8109d","datavalue":{"value":{"amount":"+0.7202692627906799","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":"Q2883012$86EBB787-C3E3-4ED1-87ED-0225C33B3B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce7cd6ce3fca5084278ecab7284d2a7e529e97ae","datavalue":{"value":{"entity-type":"item","numeric-id":1066658,"id":"Q1066658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb3de54802aefc4b99147289f73d1b5d3f6be8b1","datavalue":{"value":{"amount":"+0.7147625088691711","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":"Q2883012$65B4D90B-D530-43FF-BA21-928CBFFA0591","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2883012","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2883012"}}}}}