{"entities":{"Q674399":{"pageid":676248,"ns":120,"title":"Item:Q674399","lastrevid":63625236,"modified":"2026-04-11T14:26:35Z","type":"item","id":"Q674399","labels":{"en":{"language":"en","value":"A typed \\(\\lambda\\)-calculus for proving-by-example and bottom-up generalization procedure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 986102"}},"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":"Q674399$506CCF2E-0154-457E-8AF1-5C778A18F0DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44f3f4cb4f13a13a4d35c44fc3ee1aaee2dd0f98","datavalue":{"value":{"text":"A typed \\(\\lambda\\)-calculus for proving-by-example and bottom-up generalization procedure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674399$9681678E-9F89-41EF-9952-090BB567D3C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13491cbbee36f30b0319f2778b88b4df3c75c9a5","datavalue":{"value":"0873.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674399$D941C07C-923C-4BBC-9185-17A6DE1BE728","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c7bcb390a7c222f0d9d18b67332a045502657fd","datavalue":{"value":"10.1016/0304-3975(94)00159-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674399$D6DAC8C9-9381-47AD-B685-D5C5F9A649D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfa0ec8338f039e787f9ac71fa1d8f9e5f336cc8","datavalue":{"value":{"entity-type":"item","numeric-id":288805,"id":"Q288805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674399$0B61197C-8115-4CBA-B3AF-CB9D9252595A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674399$1F118CEC-E314-4765-ADCF-2F6D243AF196","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674399$81F759D2-DD27-427D-AD48-65CA16072CA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674399$CA70F9B6-761F-494F-85CE-835C66FA8616","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f07fcd9b3497b34803e438338df1870b0dd53696","datavalue":{"value":"986102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674399$8BAB411A-27A5-4ABC-A0D2-A4C02584C540","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":"Q674399$F679FC9F-206D-4C1F-A1CD-B7D5A1646097","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ae6da7145ea199094071cba279497a7d945050","datavalue":{"value":{"entity-type":"item","numeric-id":4255511,"id":"Q4255511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674399$57429F5C-247F-46BD-875A-47CBEEF464D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63e1d2c1097bf56f38b3464089e43c611b33ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674399$4626B34D-F2DE-4605-AE09-0A699643E44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b99027e4439600fc57f181fbc1e2914067c504","datavalue":{"value":{"entity-type":"item","numeric-id":3490929,"id":"Q3490929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674399$94066F63-F340-472F-9700-8460F7678C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674399$A4B984B3-45C5-4E7F-90EF-67CFDD8575A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e31b151b8d22be2aa79bf2dfac73aa834ed045","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674399$C4E21F11-9FEF-428A-889E-248DB568C700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe18db699a30fd853a98d51907b3a889c34e1ed3","datavalue":{"value":{"entity-type":"item","numeric-id":5096230,"id":"Q5096230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674399$A86F7E2F-8B87-4728-977A-9464404C5A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbfa73ac9df18013941340d21a3347d9c36dd18","datavalue":{"value":{"entity-type":"item","numeric-id":3857732,"id":"Q3857732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674399$6DCEE019-EE46-492D-9FFB-95B0AAC72B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5e8926cf4c76489d22094514896f7168cc77887","datavalue":{"value":{"entity-type":"item","numeric-id":5903814,"id":"Q5903814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674399$1A44F4A8-F1AD-4686-B438-C796819C26F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f54a0d0c9ff5cea6ccbda9f194cd9ae3faa1f72d","datavalue":{"value":{"entity-type":"item","numeric-id":6488562,"id":"Q6488562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674399$DA178FE1-1040-487D-9675-3E98CB980E84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd36c4ef364df121f76ddcb51fef9f536c27ced","datavalue":{"value":{"entity-type":"item","numeric-id":3793765,"id":"Q3793765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f13634dfbbfb51ba970d9b692c25a70730419c8d","datavalue":{"value":{"amount":"+0.7540187239646912","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":"Q674399$EB98235C-05C6-4777-8376-D190AC77C7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55811afa0a472bc8d33eb54267edaf9db4e852f7","datavalue":{"value":{"entity-type":"item","numeric-id":6488562,"id":"Q6488562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea7b0bca6c5e0f6195b80a77b4aa157508209123","datavalue":{"value":{"amount":"+0.7426571846008301","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":"Q674399$66CA652E-A7BC-4EBF-B18A-7F3722709E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ddbcd8f36ac8329e7d87c043b5d48d130e94f5","datavalue":{"value":{"entity-type":"item","numeric-id":751646,"id":"Q751646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d8c1e4bcf1551b862c65815d95d15175edbc96","datavalue":{"value":{"amount":"+0.7350808382034302","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":"Q674399$256E34CB-F5E0-4E53-BDF3-6CA8C543665D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77388ed30caccd94e4d02e8a9238eb44a48da01a","datavalue":{"value":{"entity-type":"item","numeric-id":1882908,"id":"Q1882908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e69b9c90f6d8e3fbc5b4d783dc265872af27c302","datavalue":{"value":{"amount":"+0.7282328009605408","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":"Q674399$EB3F21E1-5BB8-433C-8241-009A1FE8D559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95c2137d6381329ae78b51e4d140fb377f91e1d","datavalue":{"value":{"entity-type":"item","numeric-id":861715,"id":"Q861715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c06d7c5e6decd95e1fb72224433ffae7f3795920","datavalue":{"value":{"amount":"+0.7239866852760315","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":"Q674399$BB3CEA83-33FA-4B26-8959-B3CE18A06FF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A typed \\(\\lambda\\)-calculus for proving-by-example and bottom-up generalization procedure","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_typed_%5C(%5Clambda%5C)-calculus_for_proving-by-example_and_bottom-up_generalization_procedure"}}}}}