{"entities":{"Q5503181":{"pageid":7532741,"ns":120,"title":"Item:Q5503181","lastrevid":96352838,"modified":"2026-06-05T11:01:01Z","type":"item","id":"Q5503181","labels":{"en":{"language":"en","value":"On a completely residual-based method for computer code verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5489280"}},"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":"Q5503181$BBDC13DC-CB39-44AC-80DE-7ABD2A74999D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0011261f4bc0345fb61fc23c8c0904d0c045ffea","datavalue":{"value":"1157.65368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503181$B46DA6C8-4707-45B3-9582-00D6FC56693D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c23f4b3f3a5aaea9953f9b5e3f3c4edb8cd6fc6d","datavalue":{"value":{"entity-type":"item","numeric-id":5503180,"id":"Q5503180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5503181$23705700-1015-4382-BCE1-6748D2604028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65341ac598846bd8a461b7523d23c6ba89125c46","datavalue":{"value":{"entity-type":"item","numeric-id":182238,"id":"Q182238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5503181$9FAA799B-13C8-41F2-A5EB-575D16B96907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc0f227dab9bbb1c1941949acd033a4be87ed120","datavalue":{"value":{"entity-type":"item","numeric-id":753191,"id":"Q753191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5503181$36156D83-62C3-4422-86AB-265D14F2DA54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"25e9b2ea2f5fac4fdcf72f8a96bafac3f8d82001","datavalue":{"value":{"time":"+2009-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5503181$730B762A-C1E6-4A73-9E90-2622189DC1F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7552bdbce121bf883055f4f08f72933da7729068","datavalue":{"value":"65G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503181$F4C442A9-2497-4C34-B302-15B1F4AB6591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42f523965fa39463bf557eb69b8f97016ac546ed","datavalue":{"value":"35K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503181$C2C3D60C-CFB5-4C4C-BFB5-662C3A94DFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d03906af9401d3cb0de9aae29b67fdc33cb30d53","datavalue":{"value":"65M06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503181$43B9C420-9BDA-43DA-94C7-ECEE966D1CD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3f05813ca81574d7673db58fbe83c5aa93bf538","datavalue":{"value":"5489280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503181$435BBD29-A2A7-4EF0-AB16-2438F46CDF56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"390e3c7c91863b465011295b43ef8b3cfafb9985","datavalue":{"value":"diffusion equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5503181$7942AFA4-2C54-44EE-8C4B-999DA9BEA961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48aa61d5933eeb16ac5ea82cbc26412f6e2bb4d3","datavalue":{"value":"finite difference method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5503181$6B0CC778-82F9-43A6-BEA4-A6F43967626A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"217b4f259c2e29badce2e9e0c794706f06cbb7dc","datavalue":{"value":"completely residual-based method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5503181$6FD1F311-145D-4646-B8EF-768CAA8E480C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1753cc78b0c7eae06741432d5b1d0d3fe5aad383","datavalue":{"value":"computer code verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5503181$DC3F4544-2FF1-40E4-A29D-A171E19CF6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d74cb5419439f42eb1ba8891c8722bd3702922d","datavalue":{"value":"numerical examples","type":"string"},"datatype":"string"},"type":"statement","id":"Q5503181$DA941485-B8B7-41B7-922F-DC3649191558","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":"Q5503181$71424D03-CA35-4041-A409-60202AB8B8EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c718ae6547ff98ad130e95fcf33879bc946ae600","datavalue":{"value":{"entity-type":"item","numeric-id":4786242,"id":"Q4786242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584b15f56713e326e8256ffceb88205af3d16bad","datavalue":{"value":{"amount":"+0.7666086554527283","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":"Q5503181$BEB6636A-69C6-4963-A42F-81EF3B4D4149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ccbb3bac0da1b03fe80973b19bf033cc4ca3e68","datavalue":{"value":{"entity-type":"item","numeric-id":2361985,"id":"Q2361985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584b15f56713e326e8256ffceb88205af3d16bad","datavalue":{"value":{"amount":"+0.7666086554527283","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":"Q5503181$6A9F010B-9785-4FAA-A547-BEA7FB3C160C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"033bedb5c192f48004bd409a9542d8d5a2a89311","datavalue":{"value":{"entity-type":"item","numeric-id":3500096,"id":"Q3500096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2359d9f0b3903ecea490e4438a70a8403855374a","datavalue":{"value":{"amount":"+0.7636467814445496","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":"Q5503181$9E89EBAC-4F60-4E3C-982F-A1DDD9CE0C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ddadcebac53149337a0a7dbef52b10c4da770e","datavalue":{"value":{"entity-type":"item","numeric-id":1780672,"id":"Q1780672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b82daf1f3fa6967dad20343b14229756505021cd","datavalue":{"value":{"amount":"+0.7621187567710876","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":"Q5503181$3C71DF58-F45C-4CA1-89B0-3EEC965B0982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83da2c1cdc5c7aff419888f52d2800b0f1d2ac54","datavalue":{"value":{"entity-type":"item","numeric-id":4530224,"id":"Q4530224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38cc438287c86b0ee7141462a47ab88dabeaa22d","datavalue":{"value":{"amount":"+0.7467448115348816","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":"Q5503181$896CDD06-8EF1-4167-8294-82CC572BA466","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a completely residual-based method for computer code verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_completely_residual-based_method_for_computer_code_verification"}}}}}