{"entities":{"Q3559764":{"pageid":5589668,"ns":120,"title":"Item:Q3559764","lastrevid":87365894,"modified":"2026-06-04T11:30:11Z","type":"item","id":"Q3559764","labels":{"en":{"language":"en","value":"Automatic generation of generalization lemmas for proving properties of tail-recursive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5705575"}},"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":"Q3559764$1D1D5778-CD3A-4051-B4DC-5B635B25FDF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1712779c97ebce78d4b34d8599d2252e8b885410","datavalue":{"value":{"text":"Automatic Generation of Generalization Lemmas for Proving Properties of Tail-Recursive Definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3559764$4082584F-E667-44CD-98E8-24BF5C9DA88D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a58cadaf6cd78a11ef83c72e6ec1d228d638cb39","datavalue":{"value":"1279.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559764$7424A3E1-ED80-4924-B5F5-9530A556EBDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23c0c777417ec828049077307a42d111c780e6fd","datavalue":{"value":"10.1007/10930755_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559764$355B6705-3002-47FC-84FB-C39E7E2FFF97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559764$03B41BF2-6F83-4EF6-884D-A79A720F0B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f32dede5ba5bfca03ff1bde427c72a52f2888fba","datavalue":{"value":{"entity-type":"item","numeric-id":3430076,"id":"Q3430076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559764$CBCE108A-ACB4-47F6-A487-D15C37E34224","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559764$EF4E18CF-3CA9-43BA-8DE0-278106A4A32E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17e143d5b33c80948b67548d47c63ee6df7c9f0a","datavalue":{"value":{"time":"+2010-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3559764$392AD05C-B10D-4528-A586-AD9729F5E741","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559764$F606657A-D736-43D4-B5E9-141F3A171238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559764$D58CEF6C-8C4C-4CA2-94A0-BDABA262FF9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93c0ead16d4856db49e829c64790fbbcd12093db","datavalue":{"value":"5705575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559764$84C89B7F-B4C7-4DE7-815E-344B8773033C","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":"Q3559764$FC104A7C-C118-468D-A55B-DA410D9EADD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc968fea020eeab457ca5971bb56cd8dbbe89d7e","datavalue":{"value":"https://doi.org/10.1007/10930755_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3559764$2015CE06-AB6D-4CC6-A1BA-33DF767D8C1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f54432a2af65a73801e07952839c001a8497f10d","datavalue":{"value":"W2119454075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559764$6F087BB9-6899-4275-8D0C-56EC971647D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17802d305d3db83bd7136472648ed8b3852e01c0","datavalue":{"value":{"entity-type":"item","numeric-id":4647546,"id":"Q4647546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"059048823e593410ca43f9ccbc8637c932a654bf","datavalue":{"value":{"amount":"+0.7711222171783447","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":"Q3559764$DD4F65EF-78A2-4F71-8A0F-680A36BF7C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7d735419626eb1f77676addd2c45daf5ec44a7","datavalue":{"value":{"entity-type":"item","numeric-id":5896944,"id":"Q5896944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"837ae871a32913fea0c0507b1d82453bd71cff17","datavalue":{"value":{"amount":"+0.7578542232513428","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":"Q3559764$1D958A00-680D-4E68-83D2-7447B7A4F70C","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":"fce1f5d8db2e74f5c45b4b83654003f52c5739f4","datavalue":{"value":{"amount":"+0.699076771736145","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":"Q3559764$920D4A67-7585-4552-999A-4B3AB776153C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a8b2e437e8c85bf109db0bf808ee8f45a4ad4d","datavalue":{"value":{"entity-type":"item","numeric-id":4267724,"id":"Q4267724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9971525c91cb72abce84415596c5cd71754a53f9","datavalue":{"value":{"amount":"+0.6981231570243835","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":"Q3559764$D92EA86B-60C3-4D19-A615-236D74432077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83887b0753e0ca8b97b34474ba56808bb7906364","datavalue":{"value":{"entity-type":"item","numeric-id":1827320,"id":"Q1827320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50784c9948a3fbfde2a93a0842cfa182d5de7c25","datavalue":{"value":{"amount":"+0.6973357796669006","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":"Q3559764$67D85403-E96E-4488-899D-69CFDA7080C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic generation of generalization lemmas for proving properties of tail-recursive definitions","badges":[]}}}}}