{"entities":{"Q3079924":{"pageid":3090639,"ns":120,"title":"Item:Q3079924","lastrevid":86159246,"modified":"2026-06-03T15:40:52Z","type":"item","id":"Q3079924","labels":{"en":{"language":"en","value":"An operational approach to program extraction in the calculus of constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5860265"}},"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":"Q3079924$A4C60821-7FF0-4103-8E4A-083FFB7DB04A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6abb5907937c4dce21937cc61a5a9ae876a739cd","datavalue":{"value":{"text":"An Operational Approach to Program Extraction in the Calculus of Constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3079924$9FBDCAE0-1A0B-42A2-82B3-282777F26E6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a821cb34150ae82854403d57d9d5b4512ee2853","datavalue":{"value":"1278.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079924$975C5723-9610-49E4-A7A9-7930AC18F5EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96a4d7e539c342922debbeb8152a0ea0745351a9","datavalue":{"value":"10.1007/3-540-45013-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079924$2771012B-72EC-48D4-B149-FFDBE9044D1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079924$7AA3F2A0-C7EA-41A5-AE2D-0523A4637ED6","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":"Q3079924$B0B4BC0D-73C6-4309-9640-7AC4CE44816A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b30e253b497c9ae83eb323a9f6b0623853ce927","datavalue":{"value":{"entity-type":"item","numeric-id":3079910,"id":"Q3079910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079924$9F741555-026E-4B5F-B3C6-FE5C1401C0AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaeaed951fddecc25ccb3e6e454be3a7c14119bf","datavalue":{"value":{"time":"+2011-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3079924$EE5EC2D2-B878-4A22-AA71-09F2F7FF8C8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f677187af27c9fb733c8b7c4c3aafda7d67654b","datavalue":{"value":"http://hdl.handle.net/20.500.12008/3482","type":"string"},"datatype":"url"},"type":"statement","id":"Q3079924$763BF789-25E2-4FF9-8537-8C8487873CC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079924$E458BB62-EE54-4CF1-B2BD-0C6317BB4D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079924$A0FEDD58-FE6E-4518-A5D0-5B2BDC2C7FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079924$B8B0445B-A838-4ED4-9F2B-800B2CD91EA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9c4a02e10c64c351945a8a78af8e96810b45e89","datavalue":{"value":"5860265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079924$3004C776-297A-44BC-B0C3-DBD11F118B55","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":"Q3079924$DD302150-A50C-4FCA-BC12-082BE53AC44A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"449a1ffbf408f1b3eec55a1f934859376a2d6f01","datavalue":{"value":"W1529016461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079924$8F32C813-1990-4E63-A36F-498B1A7B26DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7adb91e372d96708dbca2b941b10119e0da2b63","datavalue":{"value":{"entity-type":"item","numeric-id":5951523,"id":"Q5951523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"affbc303ad7ca6d083177b2e76b3a3e36c3d2702","datavalue":{"value":{"amount":"+0.8456999659538269","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":"Q3079924$4815648D-D696-4C4D-ACBE-8629C7175A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f59cfc1a0633b01260c3c05ad30aa1c6482bd35","datavalue":{"value":{"entity-type":"item","numeric-id":2722042,"id":"Q2722042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d1d78abaad08b8e153197db9b495c396f990a6","datavalue":{"value":{"amount":"+0.788903534412384","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":"Q3079924$97DBEA3E-8418-4878-AEBD-E499461D50FF","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":"4af9da6cc968318becc56b6bfcb1b6eb0c35c718","datavalue":{"value":{"amount":"+0.7830917239189148","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":"Q3079924$DFC53A6A-06D8-4820-AC2C-30CA84277C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714e15e5a2ba4fff06e9121fed38d3236869a4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1267035,"id":"Q1267035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5906e362b30a5d56da35cff920e5776bfad95e6b","datavalue":{"value":{"amount":"+0.7830299139022827","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":"Q3079924$2605F381-CD78-406F-9A62-84CBC3555A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73311121b3c8f4ba9b82f27416e15f4893fbbc45","datavalue":{"value":{"entity-type":"item","numeric-id":2844809,"id":"Q2844809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0414c0cebb2ef0ff032670e9735724c89031e695","datavalue":{"value":{"amount":"+0.7749624252319336","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":"Q3079924$38149226-2C0C-4222-B0D0-597EDAA36E05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An operational approach to program extraction in the calculus of constructions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_operational_approach_to_program_extraction_in_the_calculus_of_constructions"}}}}}