{"entities":{"Q2752052":{"pageid":2762791,"ns":120,"title":"Item:Q2752052","lastrevid":47695351,"modified":"2026-01-02T11:17:13Z","type":"item","id":"Q2752052","labels":{"en":{"language":"en","value":"Refined program extraction from classical proofs: Some case studies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1665358"}},"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":"Q2752052$52DD3846-6ED2-4A87-A11C-2F9A2E3BC946","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81a83134f6c3047017a791721443f673ef56767a","datavalue":{"value":"0995.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752052$23AB5503-AF0E-4471-81BB-127E8627DC1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752052$4C6CDCCF-FEBF-4318-B240-258669F6399B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2c37c3249990a784c17752a81c2a2ad74923736","datavalue":{"value":{"time":"+2001-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2752052$9FA78239-EEB3-4F35-B723-7F8899B5C466","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752052$98031C1A-69BD-4586-95CC-436F8C441340","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40632e2a705071078b1cda2b7c3a34acb4f0dbfd","datavalue":{"value":"1665358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752052$27BBC520-57FC-4B21-A838-64F278ACCE0A","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":"Q2752052$AF733ED5-38AA-4242-9F00-D2CE6A6AE8E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47b6e95aafc19c8291d23c2db7a873466ba596f5","datavalue":{"value":{"text":"Refined program extraction from classical proofs: Some case studies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2752052$BD14B627-0081-4CFD-9C90-287902B0E20E","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":"db5c554e5da22df9cac3796fe069007e1550e937","datavalue":{"value":{"amount":"+0.9098197817802428","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":"Q2752052$2AF61A29-0E65-4EEB-9445-09BA1FFD9BCE","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":"f1e2cf0dffdcd26131d6513d46364d94da609e04","datavalue":{"value":{"amount":"+0.8547223210334778","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":"Q2752052$005D2A68-EFAF-4B26-86E6-04C7E3D388D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4de2f674dc67d9ed71923062e0cb417a719c83","datavalue":{"value":{"entity-type":"item","numeric-id":1882897,"id":"Q1882897"},"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":"Q2752052$F7850A5E-7636-4698-B2A3-0458B8406762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0037b042d10908455dbd830bb139aacf188ace7","datavalue":{"value":{"entity-type":"item","numeric-id":2482844,"id":"Q2482844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b76c7055cd3a72c7ee84951ecf3ab011f2d92c","datavalue":{"value":{"amount":"+0.8190707564353943","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":"Q2752052$909D5B5F-8E04-4703-BC3A-E7710E7CFD21","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":"8fc6bf498564792c58b09e90b4580c3b06a53008","datavalue":{"value":{"amount":"+0.8163813948631287","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":"Q2752052$71682FC9-8D10-4DF6-B7B9-5A17C204677C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2752052","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2752052"}}}}}