{"entities":{"Q3533135":{"pageid":5563039,"ns":120,"title":"Item:Q3533135","lastrevid":88482497,"modified":"2026-06-04T14:38:36Z","type":"item","id":"Q3533135","labels":{"en":{"language":"en","value":"Automatic Deductive Synthesis of Lisp Programs in the System ALISA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5359305"}},"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":"Q3533135$0D7F4B97-6A50-47AD-B6E9-740BFC77FD22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05ce88f8f122cee91afdd4a1f684508264573e0a","datavalue":{"value":{"text":"Automatic Deductive Synthesis of Lisp Programs in the System ALISA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3533135$02604F2B-8A6D-4D3E-8203-0316ED80639B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c52a5a30fceee7ff907179d118cbe07965845fc","datavalue":{"value":"1152.68421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533135$727005F6-DB18-4AE6-906A-D29B62DB1EC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45ac68abc05511f96ee87d552ebb740cb8957d31","datavalue":{"value":"10.1007/11853886_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533135$898F4A53-B9CC-4DBE-8C3A-2A0A28ED3084","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fe5f63258a18443c9eec1fb93f6fd41138b2da5","datavalue":{"value":{"entity-type":"item","numeric-id":2457801,"id":"Q2457801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533135$19E2800B-6372-44E2-A529-C492D46BE155","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533135$36B89555-8B22-439A-82D9-B6BC1838E2DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a314951617bacafcd051bc028a7f73602f45eed","datavalue":{"value":{"time":"+2008-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3533135$F408C47D-F5FA-4A16-AAD8-ABFF39D29A48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533135$E7C51956-809C-4F5B-AA5E-1382E0FC7E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533135$5566B2BC-0F64-489C-9748-643294536116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533135$96DB09BA-8925-46FB-97E4-735569A24AFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb1490e3920502e89d238d24e443f27b8cec1d3b","datavalue":{"value":"5359305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533135$BC40F5EF-A27D-46DC-A9D6-8BD11A0DDCDF","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":"Q3533135$417BF3C9-FEBE-40DC-B0B2-A2DA22CB8D32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"615ea7e1a13ebd3da1963fb56e7194258a19d140","datavalue":{"value":"https://doi.org/10.1007/11853886_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3533135$28F6CA2D-D2C3-4C8E-9165-ADE1DC079B0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4f45c1910692bf530875a43a0fc1294c41c6d3f","datavalue":{"value":"W1538870145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533135$E7C715B9-8A50-435E-83DC-B3F22F631ECA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501e79661272d7a83a5edc30fb1b6007948c14bf","datavalue":{"value":{"entity-type":"item","numeric-id":2457802,"id":"Q2457802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25a60b185d0c81a52cb933cd392687b655572a1","datavalue":{"value":{"amount":"+0.95465087890625","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":"Q3533135$2C02EF97-E892-4A9C-BB0D-DF5DEF59CFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf0f16f9bd2a779f2f0fde3110857be40584aed","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"777e86ff1d63773c100d69323f5d938851ad1120","datavalue":{"value":{"amount":"+0.7861980199813843","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":"Q3533135$6BD7A856-803E-47AC-9DA6-6799AB7F6595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2ef1dfb8450e1a64b77276d877120e7c94cd7d","datavalue":{"value":{"entity-type":"item","numeric-id":4023948,"id":"Q4023948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da32496da20fb9fdfda462f44b897dde2dba081","datavalue":{"value":{"amount":"+0.7803236246109009","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":"Q3533135$01BE35EB-702C-4F09-BD1B-F42A991452B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b94f7cfa64d6abc31e9b501a0aaba7f2aa261f10","datavalue":{"value":{"entity-type":"item","numeric-id":1272617,"id":"Q1272617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f82f9d66f9fd10638760cc2d020667c721fef0d8","datavalue":{"value":{"amount":"+0.7787063121795654","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":"Q3533135$01F3D97F-359E-4F12-AD86-BBD9C0D7E696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"296a00e5fa69516b721a0d01a0f0eb591eb00931","datavalue":{"value":{"entity-type":"item","numeric-id":5938542,"id":"Q5938542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0688c7c065301da703995a14dbc665894c8d36","datavalue":{"value":{"amount":"+0.7745164036750793","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":"Q3533135$EC0D065E-B57E-4B6F-8C13-BC56C46DA0F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic Deductive Synthesis of Lisp Programs in the System ALISA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_Deductive_Synthesis_of_Lisp_Programs_in_the_System_ALISA"}}}}}