{"entities":{"Q4282806":{"pageid":6312407,"ns":120,"title":"Item:Q4282806","lastrevid":46304922,"modified":"2025-12-24T13:03:15Z","type":"item","id":"Q4282806","labels":{"en":{"language":"en","value":"An application of PER models to program extraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 519733"}},"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":"Q4282806$E603CB98-BBAA-420C-B9FE-8AFE9B5AE179","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3835195da7fd31d46bac8184898f91cbfd1eb38a","datavalue":{"value":{"text":"An application of PER models to program extraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4282806$92B4AC92-9FDE-4CB3-B475-C1C2697F0649","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7623cae0ba175bfea02e279eaefae97a7a52311","datavalue":{"value":"0797.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282806$67FE4178-DA1A-4D1C-B9BF-E9E1EFC6332E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"585d2fda6260ed31eeb45e1f048a7a32d637d168","datavalue":{"value":"10.1017/S0960129500000244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282806$47643094-94A4-4C58-8C63-E1EB56F1A94D","rank":"normal"}],"P16":[{"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":"Q4282806$8CBCA343-64FA-4AD4-915A-5B7F0422414D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4282806$71F73BD5-C329-46BE-955D-FDA6683E8493","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"317eaebc7c2ea09eab0a73a5680a298ab3c3f449","datavalue":{"value":{"time":"+1994-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4282806$7050215B-AAB4-41AD-BBDC-B8268497FC8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282806$F90CF6B1-6785-4D8C-AEF9-E6BA33CFB443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282806$1C7B4FDA-9020-4E03-AC5B-EA4A8F264141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282806$3F097B64-E01F-4DF1-A427-A676F215B8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282806$A0D24DF9-20F2-4AF1-9673-1A03215B09AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282806$83FF41D5-513C-48CD-A39D-4848649AFD0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8c91a7af8ef66f2fd2b5806f0fb36fb699e4a52","datavalue":{"value":"519733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282806$70BCCBDB-0EA2-46F4-9D7F-044B1C665ACB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282806$A82A2E06-25E4-4788-A1C9-73B6F65AC819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282806$EEDC6F31-35C3-4260-981A-71DC78B9323A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"236cba05e776be03c0bda6aac05e2e1cf25a45b8","datavalue":{"value":"programs from proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282806$46DB8121-1B2E-44A3-957C-46ADAB1F814A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282806$6BAFD502-E90A-4C5D-B436-325E0C597AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4171ea3452ad77694350646997bc347c9ac7adee","datavalue":{"value":"program optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282806$0DBB8FE7-8B02-4456-AEB1-F3C4B9E14520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282806$71048355-EEBF-4FB5-921F-533329A54E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b9e845c63de380fbe9b5d8cb474665a297153b3","datavalue":{"value":"higher order lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282806$D32F1DA3-11D4-4C0B-BC85-8A8B1A12277E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282806$C9C42E58-ABF8-4BEC-B0EB-17B81B4B7C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282806$DAD0D5D3-5A90-4C06-85B1-F3DE22BBCFE0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4282806$5C7DE50E-37B0-46BA-A1B6-3F21D152CB8D","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":"Q4282806$60A6FCCD-F705-438E-AAE0-6219E201458D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4282806$74608A3F-A942-4C3A-897D-089C2676DA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4282806$1E881118-9F2D-4E93-AA1B-A5D03BB296A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1463bc9145dde1ffd210d6809ebbc8df1d1a40d3","datavalue":{"value":{"entity-type":"item","numeric-id":1079357,"id":"Q1079357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4282806$860C2F89-A651-460E-9DC5-86FB031AB8FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f803b1a29ed7c99d27002e10c554671f6bf215e","datavalue":{"value":"https://doi.org/10.1017/s0960129500000244","type":"string"},"datatype":"url"},"type":"statement","id":"Q4282806$CBFE7A79-BA52-4E02-A5E4-11EA83F3232B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"971bc29590e3baa5cff127009b83cab04aabb766","datavalue":{"value":"W2142721976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282806$460417B0-E852-4778-AF65-0BECB9AFF157","rank":"normal"}],"P1643":[{"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":"6a9f0cdee1d74fdd96158843fbf8367762beafe3","datavalue":{"value":{"amount":"+0.8146376013755798","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":"Q4282806$401FE541-5294-428D-AA67-67581C49C178","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":"6f9050409ca1b92350f350e9316a5383d5005c2f","datavalue":{"value":{"amount":"+0.7886095643043518","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":"Q4282806$868A4B3C-39A9-4FF6-B7D7-B740DB29A161","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":"3d5318e110878b23d71f8563a43b078e75420175","datavalue":{"value":{"amount":"+0.7831406593322754","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":"Q4282806$457DBE8F-25F1-4618-81F6-FA52626199F8","rank":"normal"},{"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":"8e8380ac7d73fe490b127a3ede41f2da3749930f","datavalue":{"value":{"amount":"+0.7828556895256042","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":"Q4282806$8D892DC8-74C7-4232-9F44-27540C6C6D62","rank":"normal"},{"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":"827e7b9e6adab7fb13509e17fa27d80e17440016","datavalue":{"value":{"amount":"+0.7731447815895081","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":"Q4282806$E8E54DB2-25B0-4167-95C7-64EA8F2F57B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4282806","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4282806"}}}}}