{"entities":{"Q1917084":{"pageid":1927826,"ns":120,"title":"Item:Q1917084","lastrevid":69086652,"modified":"2026-04-13T04:37:56Z","type":"item","id":"Q1917084","labels":{"en":{"language":"en","value":"A symmetric lambda calculus for classical program extraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 896640"}},"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":"Q1917084$A6C7D1D0-7223-48BC-8B5B-A14AF295E263","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22d6cad42b30c5439b62217df9685fc1b4d6d2bc","datavalue":{"value":{"text":"A symmetric lambda calculus for classical program extraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1917084$07A7E28D-3D12-4FCE-B7A1-61A6945A969B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eecabff272c155eeacabb03f26b9b57cc28ace25","datavalue":{"value":"0853.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917084$C5B415EC-5436-48B7-934B-78F9EE3B8B33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc9ea3edf0950b7709b905c390f4109373f089e","datavalue":{"value":{"entity-type":"item","numeric-id":235594,"id":"Q235594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917084$C1BF8600-07C3-4A94-8AAB-314BD9AC38E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917084$DB655DCA-69C9-430E-A8CA-E944A77AABA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917084$6A51DDE2-816F-4EB2-831C-D6E701B1BA03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c5efe12b4b796cabf569169f3743c01b2ffb72e0","datavalue":{"value":{"time":"+1997-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1917084$27596292-4D6B-4D70-A1BD-414022A972B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917084$EA864F27-CD24-4E13-8239-76C1622425FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917084$DEE1908B-A6EC-4C87-A869-F7B7BD2C01AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43d0792918ca909204f02b0d733f957b4bbf468f","datavalue":{"value":"896640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917084$579768C0-8A21-45E7-A6CF-86BC97C63C44","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":"Q1917084$927D7EEF-CAA8-49A9-9959-3514F1A7E560","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f58a4db2a333bce8a6b7a5469ffe4cd3241ac06","datavalue":{"value":"https://doi.org/10.1006/inco.1996.0025","type":"string"},"datatype":"url"},"type":"statement","id":"Q1917084$4978D8F0-58E1-489B-87FD-8F7F75807041","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"433d109edb3f9beb4611fa684c6ba95e94cc2c72","datavalue":{"value":"W2177357765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917084$CA98728A-D0CC-43EF-A8B1-557343CC8290","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"daffb2146e404e325428d7630645bc6fa72785b2","datavalue":{"value":"10.1006/INCO.1996.0025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917084$A1DD2A71-D414-412F-9A29-F43DA263D52F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54c5429376725a7f0fea24266881664bfa46b8d","datavalue":{"value":{"entity-type":"item","numeric-id":4490745,"id":"Q4490745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f083a40ca661a0dd55edf8890c53d544c0446b58","datavalue":{"value":{"amount":"+0.9925531148910522","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":"Q1917084$8F0E4F43-30B9-459E-88E4-5C46AE47F583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac440234bc7126bd1963a74389d5ddb43e6c842","datavalue":{"value":{"entity-type":"item","numeric-id":3608421,"id":"Q3608421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d9b994971f68c716ccee13ec437ddcfb83416b0","datavalue":{"value":{"amount":"+0.8469901084899902","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":"Q1917084$EA2E80F3-E083-43E9-B82B-FA7CB0AB10E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9e9ec6b2cede43c610c23b53e50d77f5e52021","datavalue":{"value":{"entity-type":"item","numeric-id":4472466,"id":"Q4472466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdacaf448a3ad34cf24199f4819818431b3acd13","datavalue":{"value":{"amount":"+0.8353666663169861","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":"Q1917084$17EE1D1D-9EA4-4507-932B-8C44E323E2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2378f33955b6e304d54ef59f2d34fc42eeae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":1407527,"id":"Q1407527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565c1c70d95f05220b4215108b96bf0e5cc6286c","datavalue":{"value":{"amount":"+0.8315925598144531","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":"Q1917084$ECFF55AB-7FE5-4BF8-8EDA-A2B143F49577","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A symmetric lambda calculus for classical program extraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_symmetric_lambda_calculus_for_classical_program_extraction"}}}}}