{"entities":{"Q2844809":{"pageid":2855529,"ns":120,"title":"Item:Q2844809","lastrevid":51802718,"modified":"2026-01-20T03:08:52Z","type":"item","id":"Q2844809","labels":{"en":{"language":"en","value":"Eliminating proofs from programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199472"}},"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":"Q2844809$E2C65DC1-572C-4C3C-96A8-51B2800781A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbe1251ac8ab139d7c89be0b0c57b4b55738ffdf","datavalue":{"value":"1270.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844809$0B47E06F-9BDB-4D79-BDA8-68212430F2B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"855d9499abac34a90da7360f1b9ea1166812e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":1286371,"id":"Q1286371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844809$278A91A1-5BCA-4B87-835D-8B936EB3B1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"930ad2c9a29fb2b416d1cd3ed624b6b9cfe42908","datavalue":{"value":{"entity-type":"item","numeric-id":1840459,"id":"Q1840459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844809$06BA3637-35D7-41CB-9266-643E05D186BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108ede7b32300394ff9a1f5dd35fef9c8cf60c54","datavalue":{"value":{"time":"+2013-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2844809$B3865181-C914-4D3E-8BB7-B0F523B4B925","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf67d47a9a1979dc68cf728e1a524ec2dbc58dbb","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610480505X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2844809$5CA89A24-D58F-4F69-89B9-58DB2776CB67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844809$E6CED113-075D-4D5C-87F3-F33EFAF7843E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844809$1E3DAE0C-DFC2-4AC0-88F7-3F3F9800D05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844809$157C4747-81B3-4EAF-ADE8-115662A08E10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6acde180abf1a279bb7921dafddbf944f5a10839","datavalue":{"value":"6199472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844809$6EE79315-3235-4BD3-BC6F-EACE6E0805F1","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":"Q2844809$A17F274A-5832-4457-BCCC-A93226DD7EEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75be0d4c8cdcf7396ec08c5bb9320c0f523875f6","datavalue":{"value":{"text":"Eliminating proofs from programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2844809$C8FD748F-17B8-4241-995D-025A8B52DD2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8c39ff1703fa649627f769e20a60cac8c6f394b","datavalue":{"value":{"entity-type":"item","numeric-id":4281467,"id":"Q4281467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e39ffe9b05312e478ebaa26604c0921d8f15fe7c","datavalue":{"value":{"amount":"+0.8196606040000916","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":"Q2844809$56794123-66BD-4490-A3F2-D02311E9CCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bddae59653a1d3ed8fd5fe3ab91bd959e5efd41","datavalue":{"value":{"entity-type":"item","numeric-id":2852349,"id":"Q2852349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313e2bbe955dc97b1e22116c34029fc58d23c538","datavalue":{"value":{"amount":"+0.8154297471046448","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":"Q2844809$CE99FBD2-FCD9-41D5-93E3-959A3B075993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11a1210fbc388975d2c306dcac20ebc18d71c5a","datavalue":{"value":{"entity-type":"item","numeric-id":817701,"id":"Q817701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc5e60a9945c062cc03ce2c861343435a4fa4e09","datavalue":{"value":{"amount":"+0.8065148591995239","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":"Q2844809$2665305D-BA5C-40D3-9E52-76718E93366D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81235c4d3f4c66b6911717e8cbf43cd34a5bdfea","datavalue":{"value":{"entity-type":"item","numeric-id":912594,"id":"Q912594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4624f8b71afab78572cdb22c0176c8d560eebef1","datavalue":{"value":{"amount":"+0.7840705513954163","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":"Q2844809$BD2E903C-776C-4D5C-AFDC-2D5282C0AFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc18ee63967d27b68bef5b3a1749be5e3c0935e","datavalue":{"value":{"entity-type":"item","numeric-id":4435458,"id":"Q4435458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79545940f1a394688d5aedce1496c46812d14cdd","datavalue":{"value":{"amount":"+0.7816308736801147","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":"Q2844809$1029AB23-0C30-4A7F-8669-5D62E9971182","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2844809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2844809"}}}}}