{"entities":{"Q2907337":{"pageid":2918062,"ns":120,"title":"Item:Q2907337","lastrevid":85025102,"modified":"2026-06-03T05:35:38Z","type":"item","id":"Q2907337","labels":{"en":{"language":"en","value":"A combinator language for theorem discovery"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6079509"}},"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":"Q2907337$F99C118F-AE6B-4F7F-BB91-3F35D701D655","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0801f032265e94d0564ff50cf9ca4af60fbeb9ac","datavalue":{"value":{"text":"A Combinator Language for Theorem Discovery","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2907337$F2388BBA-026E-464F-BC5A-FAE509C43A80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b71bbe4fd655473bf0a3cc8d3b6f236445e53d7","datavalue":{"value":"1360.68766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907337$A54C9947-5BED-45E0-BB7C-6861D10AA068","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8d310cb3af2a5f0ff3441fec5cbee636f49a220","datavalue":{"value":"10.1007/978-3-642-31374-5_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907337$B3D5CCC8-1306-48D3-8120-19404BCC0E90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cb07b0f36245cb0e201fcad66e2b3ffb9cccb83","datavalue":{"value":{"entity-type":"item","numeric-id":2907336,"id":"Q2907336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907337$EF815465-8B5A-4B3B-81D1-A4F251922F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d78e8b1fd2bada0896418639974db329feb4fe3","datavalue":{"value":{"entity-type":"item","numeric-id":2102945,"id":"Q2102945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907337$B9F34FCC-3381-43B3-9892-0A5DDD83E22B","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":"Q2907337$C506A1B2-0D92-4F77-B516-22143D811E5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0d54a7a192189275358732a85216bf3ce89224c","datavalue":{"value":{"time":"+2012-09-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":"Q2907337$97E9075B-32B3-45A7-8A17-2E0FEE6A7335","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907337$8D51D004-37B2-4588-9906-7DA0E6B8E510","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c05e4a71ac57fc13957b807e4d27ca0bd4d0df1","datavalue":{"value":"6079509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907337$A726CCDD-BCFE-4C36-9C7F-784B76CF7599","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":"Q2907337$ED5FAE37-2D57-43AE-ABA8-59B8717DE641","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cb0699fa251962c3cc342bb0defefd770041950","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31374-5_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2907337$A357EE61-267A-4248-843C-F04A848B4BCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1551aafb3b178b44c98a49a4146a35325d170548","datavalue":{"value":"W1689435873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907337$A0B22961-7C39-48B5-8550-D1BBDE4DD0F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4146f0cfdcecc45fd5d10fa2e2e933b3bed5258e","datavalue":{"value":{"entity-type":"item","numeric-id":3088022,"id":"Q3088022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92161fe2208d084af7b8e09805ab9fecb46e095","datavalue":{"value":{"amount":"+0.7953840494155884","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":"Q2907337$0CF2F8A9-9B39-4A16-A172-80624369EE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dfa61574fc575acc4cb7d0ca05a72ef1b08a526","datavalue":{"value":{"entity-type":"item","numeric-id":2287904,"id":"Q2287904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31bd32b5150aaa9152d2e3824c91e0684ea10cc1","datavalue":{"value":{"amount":"+0.7450650930404663","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":"Q2907337$F4C4E406-D17B-4CB1-8993-3D1CF1703956","rank":"normal"},{"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":"e0fc929fe28276c893d3293974b7440d42da2b4f","datavalue":{"value":{"amount":"+0.702222466468811","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":"Q2907337$75BBF737-AE70-456A-85F9-A53423ACB5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e02866bedcdddc38a6d5d0dc3312cefd57e45a","datavalue":{"value":{"entity-type":"item","numeric-id":2870142,"id":"Q2870142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad197ba59e4789a4e532f6d8654e6ec51036bc2","datavalue":{"value":{"amount":"+0.6987154483795166","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":"Q2907337$BAAF8F93-9890-4191-9FEE-D1626CE73C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b9f861c829e7305307918eb79d1b5527b57395e","datavalue":{"value":{"entity-type":"item","numeric-id":2912124,"id":"Q2912124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e1b5376ff2f409896fcaba864086109b863e6a7","datavalue":{"value":{"amount":"+0.6951317191123962","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":"Q2907337$7412AA42-32EA-4038-8B88-0E96CEFC1C8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A combinator language for theorem discovery","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_combinator_language_for_theorem_discovery"}}}}}