{"entities":{"Q2845516":{"pageid":2856236,"ns":120,"title":"Item:Q2845516","lastrevid":83855636,"modified":"2026-05-07T13:00:57Z","type":"item","id":"Q2845516","labels":{"en":{"language":"en","value":"Formalising general correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203496"}},"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":"Q2845516$F6BA901B-93D1-4542-BA25-4E646969DCC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af8f11617a081bab17b5e388e9852e21c1ddb0b9","datavalue":{"value":"1271.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845516$DB3F1095-7943-4380-841E-E3290B239ECF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe91a82e9327cf79ad7ddd82bc8f3cac46bf53c","datavalue":{"value":{"time":"+2013-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845516$D76FD224-7213-41BB-9228-A0FF5DBEB0C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cb89b73db6a397c1ac664b2d6c63bb472b6c959","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066103000112","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845516$7289707E-270C-4140-A611-7905D6250222","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845516$AEA8A9A7-3704-42C5-8BDB-0F33FFEB7D37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f72efcf388bd280d8cdfb4e822a92e745cc84e38","datavalue":{"value":"6203496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845516$0145E279-407C-42E3-A1B4-640551F7F4CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459dc77e279bbc9b5ed625e678e226c3ba4ea28","datavalue":{"value":{"entity-type":"item","numeric-id":1051649,"id":"Q1051649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845516$4F010EBE-5C92-4B5F-8358-CF830D7545AE","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":"Q2845516$072CF8D4-2C0A-4B3E-ABBE-31E47AD5E9EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c2bcda6d6314b597b9377fccb474a019bab4b86","datavalue":{"value":{"text":"Formalising general correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845516$95FD971F-909D-4D3A-96CD-A42782FBA49D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dda3a58e38408e6d9c97b7dbbe26e742774eea1","datavalue":{"value":{"entity-type":"item","numeric-id":3523165,"id":"Q3523165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66dcca9e2e2bf3b0dbfdb01e47c0cabca349ba95","datavalue":{"value":{"amount":"+0.7775330543518066","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":"Q2845516$643F4534-5A12-4F00-A757-3650F9F93432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39df5459c55b92fe7dd3eb27319fd3e1c307d996","datavalue":{"value":{"entity-type":"item","numeric-id":2703746,"id":"Q2703746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c0238a1cb458b2cb8f04d1a6b5a5832a99f2c6","datavalue":{"value":{"amount":"+0.7588832378387451","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":"Q2845516$B3AA894C-1E27-4DF9-844B-18E09B899DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df2062477e400153324e8a42104b32141a25c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2265798,"id":"Q2265798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d66a941db166b917d232a8fe74b5784c6cbdf948","datavalue":{"value":{"amount":"+0.7515503168106079","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":"Q2845516$35746915-453E-4D8E-B876-A623954A0728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc34f59ed8e9f7b8abc3b304054cb60be3fbd4eb","datavalue":{"value":{"entity-type":"item","numeric-id":916409,"id":"Q916409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d1366a67b98c0bd9454f5ff9a6b685e78bea16","datavalue":{"value":{"amount":"+0.7404922246932983","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":"Q2845516$CEB11378-128D-437F-875E-1C604C73E082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fd5c2832aabbf4b304824c9b3020a0ed9253b4e","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e41dce79d2b436f8ce66f8ce8cf386f3d0e07a","datavalue":{"value":{"amount":"+0.7333412766456604","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":"Q2845516$0211BCE3-29EB-4DDB-A991-D066637FA92D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalising general correctness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalising_general_correctness"}}}}}