{"entities":{"Q1882897":{"pageid":1893639,"ns":120,"title":"Item:Q1882897","lastrevid":73927956,"modified":"2026-04-14T17:45:31Z","type":"item","id":"Q1882897","labels":{"en":{"language":"en","value":"Getting results from programs extracted from classical proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2105255"}},"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":"Q1882897$66A13EBC-564A-4064-87BD-7A8B00CEEBA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8697a8491ea624a9b628b3b31bef8db182d6b6ae","datavalue":{"value":{"text":"Getting results from programs extracted from classical proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1882897$1670F18E-E085-4A74-BA68-8EBC0A569F43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e72b644a46ab2f800297e180c02d8d7703660a4a","datavalue":{"value":"1105.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882897$86410C00-905B-4FAF-BBE4-C3088A3405E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882897$78CD0D0F-A201-4096-B13C-178133335CDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"221b8cdf103f88fa9a30fbc31f4b00396bad2596","datavalue":{"value":{"time":"+2004-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1882897$64ACDD8D-4DB1-4CC5-99EA-942702D75A05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882897$883ED734-5CDF-42CD-9E19-0318FC68C6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882897$58461B04-AC4D-4BFB-A043-E2B5EC6EA3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882897$473A661F-65C0-4400-B509-20ECE115BDF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60b900ae2b2e11190cdf230524b8b66f0ec755cc","datavalue":{"value":"2105255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882897$801E5A84-5ABF-4D32-A017-E641A342A39C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d839fd7cc47e26695d7e86daac1e29277216273","datavalue":{"value":{"entity-type":"item","numeric-id":1382181,"id":"Q1382181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882897$86719A50-6EE1-47EB-80F4-FEF2BAD1E9AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aef42c0ba3ebb76b2efad2df262c05b22e73e922","datavalue":{"value":{"entity-type":"item","numeric-id":21953,"id":"Q21953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882897$D6A539C1-D9DA-4DDF-BE14-2B4EE4CC4E52","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":"Q1882897$F7E077A9-3FE0-48B2-BA97-38A1BEDA9F7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05796c695822c200bc4a2f1250f5e846b3c6d95f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.03.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1882897$725B3293-A02B-444D-A601-B18F55276FA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7a7c4df174974d88e2a869e4d048cc351f7a722","datavalue":{"value":"W1989920000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882897$1F30DDDB-5FB3-483A-8110-DFE0077E5254","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"119267ed68389aaeccebc8352b7d7f817ac1f40b","datavalue":{"value":{"entity-type":"item","numeric-id":4716047,"id":"Q4716047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882897$0882816A-3B17-4217-952F-581A542BF339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ea8498461ad98c2c25d2d3ae72c43b05174e53","datavalue":{"value":{"entity-type":"item","numeric-id":5957850,"id":"Q5957850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882897$B188F79E-209A-45AD-8F64-4ECE86893113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d569ab003e4a3e84d1bb8ff03bcd65c8c355c84","datavalue":{"value":{"entity-type":"item","numeric-id":1595930,"id":"Q1595930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882897$83947693-89F0-4E5A-B6FB-9F2DED532AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d2399f50a6aebcc2fc70e10f9c3ee27554be0","datavalue":{"value":{"entity-type":"item","numeric-id":4836058,"id":"Q4836058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882897$DB59A079-CFB3-4C30-AD20-A4A770253DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882897$1FCF6F8A-6159-4F57-B697-6EBC258052F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce42f54bdfef08bd435c92bb6ed780dad4891a10","datavalue":{"value":{"entity-type":"item","numeric-id":1329740,"id":"Q1329740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882897$4216FACE-87A2-4416-B9B6-043B7BF43B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc492aae6606d7fc7e30022e1b80faa51ce6ed9","datavalue":{"value":{"entity-type":"item","numeric-id":1884884,"id":"Q1884884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882897$88325D95-97A4-4D95-97C7-8379970B5389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"accd841049d6141a29dc0f203781fb03555bee48","datavalue":{"value":{"entity-type":"item","numeric-id":1570018,"id":"Q1570018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882897$BD358B54-59E0-4BC6-9334-AABA4E5068DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882897$359888AC-A784-4F67-B3B9-5D4373B7CB34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c6c2bedcf544d3eb09d8134629af9d17cce601e","datavalue":{"value":"10.1016/J.TCS.2004.03.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882897$A0B9E49A-136E-4D0F-9B63-1AC40F2A1998","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd717f4b364c057469372f99f8840236b942a9db","datavalue":{"value":{"entity-type":"item","numeric-id":5957850,"id":"Q5957850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70db07731b37c94e58bc71bb506ccaf4507b97e8","datavalue":{"value":{"amount":"+0.8802618384361267","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":"Q1882897$0BE21551-0B8A-4CC5-8345-617A55B7FD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c64f6636386f48a39eb167327ecb52b30231284","datavalue":{"value":{"entity-type":"item","numeric-id":2752052,"id":"Q2752052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9263acf104d30c61dde278ddfafb4d5ef9caed","datavalue":{"value":{"amount":"+0.8539612293243408","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":"Q1882897$A9140B8D-DE0D-45E0-9BBD-6588C0C31A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3729b0e8c4dddb325f1b0df9df0be3d5efa45e","datavalue":{"value":{"entity-type":"item","numeric-id":4883280,"id":"Q4883280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4efe8e33fc36633e7df87b24823e593bbff159de","datavalue":{"value":{"amount":"+0.829142153263092","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":"Q1882897$BE484B95-B2FC-404D-9DEA-6871F7156FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e06b4fe6c983bb3ab4de626b40fdcb19de88e0","datavalue":{"value":{"entity-type":"item","numeric-id":1823656,"id":"Q1823656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9389b9694dfb5011bcb0d3ef7a852353e51e45f7","datavalue":{"value":{"amount":"+0.8196197152137756","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":"Q1882897$5AB8921C-5D63-48DE-989E-74CD42A79AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096d21890c1496138948b96dc35d29ed108a275c","datavalue":{"value":{"entity-type":"item","numeric-id":2852367,"id":"Q2852367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6471bc269ccc84a12b56d4eb7de562eb22c4c3","datavalue":{"value":{"amount":"+0.8108084797859192","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":"Q1882897$16CD1972-899F-4FF1-8323-27BCE124A0C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Getting results from programs extracted from classical proofs","badges":[]}}}}}