{"entities":{"Q1285864":{"pageid":1296614,"ns":120,"title":"Item:Q1285864","lastrevid":67244556,"modified":"2026-04-12T16:19:42Z","type":"item","id":"Q1285864","labels":{"en":{"language":"en","value":"Recursive program optimization through inductive synthesis proof transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1282778"}},"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":"Q1285864$58F1CBBF-1885-4F90-BA3A-BA676BB6F92F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d489a97d5bb0294c270393114360effa681d55a","datavalue":{"value":{"text":"Recursive program optimization through inductive synthesis proof transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1285864$702A121B-D65B-4F50-BB12-8B7DFE7F8BF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d90317d89c6d0ea030066faa01ead0179b371bc0","datavalue":{"value":"0926.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285864$AA60CF21-6A74-4FE2-BC5A-BB00896932D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d60042bd6a82d0b136ad5fe56c571c80a6e4523","datavalue":{"value":"10.1023/A:1005969312327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285864$8CC72302-3429-473C-94C1-B727FAFAB00D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a3d6bd9a0b44736f3bc6a6985f44383a95724","datavalue":{"value":{"entity-type":"item","numeric-id":438542,"id":"Q438542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285864$72EDBC2E-DED4-4081-80F3-AF7F495B80F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6df844f896d888573d76c54cedfde12049f28d2a","datavalue":{"value":{"entity-type":"item","numeric-id":540693,"id":"Q540693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285864$F3203425-B886-47CF-8BE3-435D6FE56F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d5c9904fa54520ebb39636f9089080381d2dcbf","datavalue":{"value":{"entity-type":"item","numeric-id":760272,"id":"Q760272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285864$C26C3D5D-6884-4001-98CF-38B69C06055C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285864$0A5642D8-3A06-49B2-9E3B-64ADDF9733CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22737279f53eeb863c717bce2ae48af7f33b2ab1","datavalue":{"value":{"time":"+1999-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1285864$37E3035F-F6A4-4C0B-9EEF-1C851F8622DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285864$6856F8EA-D55C-4AE4-ABD0-E2B798DC522D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7742b3e70b8cb393627f142f2646239f33fe7ea","datavalue":{"value":"1282778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285864$1369E2F3-057B-40CC-A298-6B4755C9F840","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc19ae4848574f29dfb332286b8a408735cf3b80","datavalue":{"value":"synthesis proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285864$6ED64F7E-12A1-44A1-BE5A-BB845E9D02CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f433faf1279cdb38aabf045f18de6325cc7395db","datavalue":{"value":"proof transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285864$92B59366-41E0-4F4F-91E8-6E6D330F6778","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":"Q1285864$D06DD99A-7C7A-4950-929A-3FDBAAE45ED3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e56c1209c4b60861637809c36c749956a65ae36","datavalue":{"value":{"entity-type":"item","numeric-id":3491002,"id":"Q3491002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e228984473b93e5af3e225153ff4fe031bf47b","datavalue":{"value":{"amount":"+0.7539146542549133","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":"Q1285864$24960B98-F28C-42A3-A1D2-0FAE5A431637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b355f67d62f0c016283b917343b24205c472f275","datavalue":{"value":{"entity-type":"item","numeric-id":3303897,"id":"Q3303897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da68c02873c27694f429d7ce5e48149f705c975","datavalue":{"value":{"amount":"+0.7072227597236633","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":"Q1285864$A3C7C334-BE57-47AC-9D64-242A6753B0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"043864543ceb1e5c98187ddd1ab12fe09a6286df","datavalue":{"value":{"entity-type":"item","numeric-id":5096758,"id":"Q5096758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6a23f30e950445457e15888f5d67ba0f0ef654","datavalue":{"value":{"amount":"+0.6946890354156494","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":"Q1285864$44A671E0-D020-44DA-A61A-E0096CEB863A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0498392e58a4be01e08d437fa20944327eb683","datavalue":{"value":{"entity-type":"item","numeric-id":5210798,"id":"Q5210798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a20b4f5ccaf7a98d35c853975843cfbcf827ef3","datavalue":{"value":{"amount":"+0.6926664113998413","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":"Q1285864$34E857D7-2582-4B49-8B40-A30EB0E8DF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e7d7a6d5754b4f41bf2457f5351dcb8dabc718e","datavalue":{"value":{"entity-type":"item","numeric-id":5957059,"id":"Q5957059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1133a00f2e030b89057d6271d93f9388e9bf1a42","datavalue":{"value":{"amount":"+0.6911250948905945","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":"Q1285864$CAA197FB-6CD7-4A43-AD92-55AA521D6B87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursive program optimization through inductive synthesis proof transformation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recursive_program_optimization_through_inductive_synthesis_proof_transformation"}}}}}