{"entities":{"Q4716047":{"pageid":6745624,"ns":120,"title":"Item:Q4716047","lastrevid":98093372,"modified":"2026-06-05T16:27:14Z","type":"item","id":"Q4716047","labels":{"en":{"language":"en","value":"Pruning simply typed \u00a0-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 947545"}},"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":"Q4716047$0C920AF8-53FD-4B4A-BF01-2FFCED3B363A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89891709c13f0591147bddd88eb02e9d9065d6cb","datavalue":{"value":{"text":"Pruning simply typed \u00a0-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4716047$AD03DBA4-30EC-4516-924F-069A137C44F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ffd6956bbb935747c636fb235aad4892b78ed89","datavalue":{"value":"0863.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716047$0F1DBA0E-7C60-4623-A852-64C3877B7727","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4716047$D9BEB564-1AB3-4BFC-956F-5A2E3BC8DD3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb8cca7aff509b0b212f6238d3457390f886754c","datavalue":{"value":{"time":"+1997-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4716047$1F44998E-E06F-41DC-A9B7-F9CD7FBA12AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716047$93C76F24-9433-48C1-A75A-B18A81482A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716047$260E3822-C20D-4CBA-941A-00F1529BD575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716047$ED668E9F-270B-4C6D-B276-28A0DE9D25AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b86e800119691c39b5b26a54f3b1fd7167929481","datavalue":{"value":"947545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716047$5D4D6B41-3AFE-4FAC-9539-9E317FC23F12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716047$4F73E8F3-E27A-4960-9A69-457973DE4EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716047$D1A26001-E913-4575-9B22-B6706BB9EE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716047$F5B93963-37DF-42BC-9F25-5980616D9523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fa9e9f264ee7ab1c475a20dc9291a3b2cdad343","datavalue":{"value":"pruning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716047$67E87D5C-0517-427A-B932-3B0D402E81BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716047$2C84280D-F247-4A6B-96A7-2356FB2D8BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716047$C38ECB02-3270-4C6E-AAE0-AFF858F4BAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716047$E619BE14-1271-4D5D-B37B-6B634D6B52CD","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":"Q4716047$BE7D384F-73B1-40F2-BDEC-0CEB7E12DD50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8441f5269c74fa823169f2965b3eca829c96618f","datavalue":{"value":"https://doi.org/10.1093/logcom/6.5.663","type":"string"},"datatype":"url"},"type":"statement","id":"Q4716047$5BAF56FE-4019-4E02-AFEC-B39BCF4E935D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5efefb7db6999ed74805fe21e7388cc000d92c89","datavalue":{"value":"W2131558630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716047$18AEA6C3-1C2E-40AF-AFE8-88F0FC908211","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9b7e198aa3a6e1ea59603171cbfbacc4edb6fb4","datavalue":{"value":"10.1093/LOGCOM/6.5.663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716047$BF23CEBB-7656-4EA0-9BD5-CAFEE36EAF76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4716047$ACBD924D-CB64-4907-9417-7CE9FE3B8F3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c272fab39923236d7ca2c0f33e274cea9181ff6","datavalue":{"value":{"entity-type":"item","numeric-id":3138540,"id":"Q3138540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354f20538e800760825379aac1ea185d1dc1e6a3","datavalue":{"value":{"amount":"+0.8543729","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":"Q4716047$22DC04AE-11B3-49F5-ADE8-8A856B9E465E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a11d7e82184de5d5a63a9c2578cd22dae9b4a76","datavalue":{"value":{"entity-type":"item","numeric-id":4794072,"id":"Q4794072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f36b32ca1c511d95fe581447f3db226394f9fa","datavalue":{"value":{"amount":"+0.852304","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":"Q4716047$9AF5EDF1-A621-428F-98CC-7BC5CF48D927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716097ce76445ff5dae18ad8efe9b23276673ab5","datavalue":{"value":{"entity-type":"item","numeric-id":3804171,"id":"Q3804171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ecbc9d3d530a63e5fbb576b51f9fbc17e543498","datavalue":{"value":{"amount":"+0.85143894","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":"Q4716047$DCB8E5A0-D8A2-44F3-88BC-D31AA8F71A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d85e4f94e218438e309349857cdaff3bd3959d","datavalue":{"value":{"entity-type":"item","numeric-id":4263831,"id":"Q4263831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d11e446e5f3c4a370b5c16b04344c435d56ea2d","datavalue":{"value":{"amount":"+0.8501865","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":"Q4716047$9DEFBCF0-27AA-43FA-B616-3320ECEF6A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6bac766ed14dedbcde87a911f826321c62fc99d","datavalue":{"value":{"entity-type":"item","numeric-id":4499281,"id":"Q4499281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e1aea50c44f13406eeb1fa6a92898ccac288a76","datavalue":{"value":{"amount":"+0.84997225","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":"Q4716047$CE74F8F0-3C94-4D0E-8CFB-44BC36F8F5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9357b9b4033b4103c90dc5651d96d94e519e2dc","datavalue":{"value":{"entity-type":"item","numeric-id":2778817,"id":"Q2778817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6762908df84bd6960f83cb42270243e1cdf1f20d","datavalue":{"value":{"amount":"+0.84851664","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":"Q4716047$E3A3DE14-D3C2-42B1-AF8E-92EA855F3C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fb8b47b33458b3d19808d42e46e8b503c211fd","datavalue":{"value":{"entity-type":"item","numeric-id":1763159,"id":"Q1763159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f5d520408b60821e01bf126a12d0e9d3dea9e8","datavalue":{"value":{"amount":"+0.8458789","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":"Q4716047$A9BDB253-DA47-4E8A-A90C-7B7F735F750E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81a9fe63180760e6a1dd7af101b6668fad4b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":4948037,"id":"Q4948037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e5743dbb815e397aef871068291b5ff2cbbeefe","datavalue":{"value":{"amount":"+0.844931","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":"Q4716047$5C76998C-107A-445A-AC12-3D9467FF69DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"445381da379a450b86b30c93cbfbdf130834c42b","datavalue":{"value":{"entity-type":"item","numeric-id":5881182,"id":"Q5881182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711cbcc61ffbce2794ac575e400e0764e24a6031","datavalue":{"value":{"amount":"+0.84028596","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":"Q4716047$B1695D50-7C15-4775-B556-9684A6A0FFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddcce6bdfc9d0d633b210e40c940274f3bb3978","datavalue":{"value":{"entity-type":"item","numeric-id":1981989,"id":"Q1981989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166fa4abd9eaea33bd137dafb70db41acd31f48f","datavalue":{"value":{"amount":"+0.83916926","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":"Q4716047$98956C2E-E6F3-4382-8596-03E11136AA15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pruning simply typed -terms","badges":[]}}}}}