{"entities":{"Q3334984":{"pageid":3345692,"ns":120,"title":"Item:Q3334984","lastrevid":45978520,"modified":"2025-12-21T05:51:44Z","type":"item","id":"Q3334984","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3868611"}},"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":"Q3334984$8EF92101-CFC7-476B-897F-FEBDFA791970","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e0d628a7b873712dd3564215065a93c947d5961","datavalue":{"value":"0545.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334984$2405248E-E5B5-43E0-A5EF-B9247F53C0F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3334984$16843B53-0A03-45D4-9697-01D722B4873A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334984$865D50DE-9E95-40EF-9319-6797C498218B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334984$3DC14362-BCCA-460C-A4A2-65AE9D7708EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334984$73B3C908-799B-4E52-BC9C-A75C6C8CD527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334984$D29EE8E1-1063-495D-9486-C767CCC0046F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334984$EEB646A3-2EF9-42A9-9BCE-9970FC525E8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc19bb0340fc1bbfc8b3cbf2d90a4f6ff45e207a","datavalue":{"value":"3868611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334984$46FC2A7B-25C6-455C-A0B1-6B80FE5F72B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4686ed264c7772029996f00911b53a217f05f2e0","datavalue":{"value":"computable operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334984$4C27E84E-A4A3-4619-A3A0-529EFE02D009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334984$BA7A7E0B-217D-47C5-B493-A5850797A3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de662af1767c28efe6845eaa63bc9f24a0169ab5","datavalue":{"value":"inductive inference of recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334984$04F378E0-99FA-4B63-A7F7-D40D119BED52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5fc3a56d6ce8c0a00b44a6ba5958a4dbe194811","datavalue":{"value":"synthesized programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334984$71618199-E629-456F-95D3-AF6FBFDC417E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f50aeab11b8c83e1e3962eba260563fbfe87f66d","datavalue":{"value":"fastest program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334984$FFA6ADF6-CFA4-4980-817C-0E5DAD4B473D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5710ae3d122eadf2e34158ad7eda191f540d598","datavalue":{"value":{"entity-type":"item","numeric-id":440005,"id":"Q440005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3334984$5298651E-FC88-435F-BDD4-DCC710405EB7","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":"Q3334984$4A236B30-D717-45A2-B309-B0A673F0EA05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c901b7e7f12a3791a0e2e4cc642e15474dbb0b6","datavalue":{"value":{"entity-type":"item","numeric-id":3706479,"id":"Q3706479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee7f251e0cabdfcfa48aae1ce7aeb4394f185d4a","datavalue":{"value":{"amount":"+0.89643747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3334984$EDB07D64-2AE3-4D24-A4EB-0B0CB3CD7799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55ed612ebaec6a26e767939e88b09fc851e84ee","datavalue":{"value":{"entity-type":"item","numeric-id":2933968,"id":"Q2933968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1272e7689760772ff27c546620a5e1471fcdd66","datavalue":{"value":{"amount":"+0.8919183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3334984$48F69FFA-8E6B-426D-AA5A-AED2FD7513B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b62968992eade6a7c6cb6f6f5a96377e8639f73d","datavalue":{"value":{"entity-type":"item","numeric-id":4282561,"id":"Q4282561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3f49310bb85021742d791349f6ad39fa0d6a01","datavalue":{"value":{"amount":"+0.88635963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3334984$BF66837D-1D09-428A-B972-CD70326800B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"833eeebd747502bd4108e2c26c7c3c27ee00f97a","datavalue":{"value":{"entity-type":"item","numeric-id":1183740,"id":"Q1183740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d893c56dec17b6efc60172d39fbbd849a379b2","datavalue":{"value":{"amount":"+0.88349783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3334984$ABB26122-E104-4697-9E1A-6D9EDEF00461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb03fb2cc88e1210f7b4f5598c7a8130a0878e5","datavalue":{"value":{"entity-type":"item","numeric-id":3312211,"id":"Q3312211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baae50e0b6b8b68661b8fe7957c7630aa754b549","datavalue":{"value":{"amount":"+0.88240206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3334984$F2B90E6D-AF54-4863-9754-149DAAC6B1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660caf47e1a640a93b5542c27268c5ad398186c4","datavalue":{"value":{"entity-type":"item","numeric-id":3746864,"id":"Q3746864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f4f524fc976dcad4aba40b7eb6d1cf5b19bb67f","datavalue":{"value":{"amount":"+0.8803129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3334984$C683A7BF-57F4-4E3B-9527-078159A98EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36e285e30b4c09659636e601b8aaee581ccf333","datavalue":{"value":{"entity-type":"item","numeric-id":4939536,"id":"Q4939536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bafecd15095ac6e7d62daf784527fc92c43f951","datavalue":{"value":{"amount":"+0.87738955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3334984$9B74531F-3808-4CF0-AE3E-418FB1C6E57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c384199b3c4b82b3c58914ccc8c7abe6b4bc4bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2936786,"id":"Q2936786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebd8316477bff3fdddf60a525f3929a38fcb5957","datavalue":{"value":{"amount":"+0.8720492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3334984$DCAA8143-943B-4A6F-B65C-5B43B0EC9301","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3334984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3334984"}}}}}