{"entities":{"Q4802384":{"pageid":6831964,"ns":120,"title":"Item:Q4802384","lastrevid":74666655,"modified":"2026-04-14T23:49:44Z","type":"item","id":"Q4802384","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1897216"}},"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":"Q4802384$15B7A273-39DD-4554-8BE7-6EF248A7048E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"168716697cbb270b586dd0ebb7c6b09f510e6f02","datavalue":{"value":"1013.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4802384$FFAA0D4F-9922-469A-BEDA-9EE8CCA41F70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d42ddbfd42bdeaa54bf2a4f4abf771fdacf89579","datavalue":{"value":{"entity-type":"item","numeric-id":4551640,"id":"Q4551640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4802384$40CA66C3-2413-426C-BDB7-2B8887CE927D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89d92139913a293583639fc1d3a6e0bf3c33ee92","datavalue":{"value":{"entity-type":"item","numeric-id":1193838,"id":"Q1193838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4802384$F8E27975-2573-43C4-97F1-46F6DB6A6E88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38b0ccd4c7ccf111c4e765e08a3d095f44a7543f","datavalue":{"value":{"time":"+2003-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4802384$F4B8114B-49DB-4EA1-B1E9-04D5AB4DB0AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4802384$CD359AE7-62EF-435E-9320-F8D50DFCAFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4802384$D58C2FB8-CAFE-43CF-8385-0450F58545B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ed809f4d8dd191cd937209f5f018963b09ac573","datavalue":{"value":"1897216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4802384$8CE5827A-C154-4761-AEDE-D7816E99B9C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e81442b689861c0a851a259d0c248400cfef810b","datavalue":{"value":"formal verification techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4802384$CD638F2C-3C87-4AD8-82D3-C62A37712AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75bc5799262300ad2179b35563909793978321de","datavalue":{"value":"high-assurance software systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4802384$DCCAEFF9-D485-4736-A21B-51D3BC8ABA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4802384$44D5F238-F25A-4023-8400-A8D7F22CB201","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":"Q4802384$1890F75C-CFFD-4C7C-AB9D-38357DA3CF67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e548b7711055240762a00db92496a8a3ecfcdd","datavalue":{"value":{"entity-type":"item","numeric-id":4935948,"id":"Q4935948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e943530521d80a8accf31aa7ba137ae488dc76c","datavalue":{"value":{"amount":"+0.7847141027450562","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":"Q4802384$3D3E1F8F-FB44-4E97-A7B6-8D307438F820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63d148d1cdd2114dfcc43253e38bae22ac75faa3","datavalue":{"value":{"entity-type":"item","numeric-id":5187984,"id":"Q5187984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf924da6dc93559a2870902f97c5e2d6e3eae97","datavalue":{"value":{"amount":"+0.784713864326477","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":"Q4802384$15631D86-40C4-4D53-BE51-C9E525317E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ee0161eda379d508f03734ede606fe00296992","datavalue":{"value":{"entity-type":"item","numeric-id":4610434,"id":"Q4610434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749c8b1adc769938ee1e2e6ae87cf3c502a9e80d","datavalue":{"value":{"amount":"+0.7665060758590698","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":"Q4802384$58984142-0ABC-4807-8BCE-909ACFFD530F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf451fe5a9a21a85e65d5ccb534cf4e2bf3375b","datavalue":{"value":{"entity-type":"item","numeric-id":4554783,"id":"Q4554783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e54353f0e4b020b0f80734c43b669a67a2d127","datavalue":{"value":{"amount":"+0.7569372057914734","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":"Q4802384$675BF719-C1AD-422D-AE81-3829D6262999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a14d21ab10836264c15d51494a3c642a02b4eb0","datavalue":{"value":{"entity-type":"item","numeric-id":3128862,"id":"Q3128862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b39853941a7c23e6162a9eb6ea098f4629b309c","datavalue":{"value":{"amount":"+0.7529098391532898","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":"Q4802384$B8600645-F92C-42CC-88AD-221748EB4A60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1897216","badges":[]}}}}}