{"entities":{"Q5055836":{"pageid":7085413,"ns":120,"title":"Item:Q5055836","lastrevid":47785996,"modified":"2026-01-02T16:51:32Z","type":"item","id":"Q5055836","labels":{"en":{"language":"en","value":"Proving the genericity lemma by leftmost reduction is simple"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631256"}},"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":"Q5055836$B96663FC-21D3-41AB-BC54-DE23885CC35A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6b308c81e73b45827a3f886eef5708d59b9c879","datavalue":{"value":{"text":"Proving the genericity lemma by leftmost reduction is simple","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055836$EDDDC5D9-96B9-4E19-92C4-A85DFE9432EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35863b10b6d5c1f1c8e36dfae6a2fa777739e776","datavalue":{"value":"1503.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055836$813647AC-CE43-4539-8088-464A46AAC36A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8536f40b4fe40ee7e7f1b1c60c77be5ef7efada","datavalue":{"value":"10.1007/3-540-59200-8_63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055836$AA8DCA1D-0A41-45CF-B44A-0FF314312C24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91833f8dc29f9c653801466e75c8a8ccc8f73c9f","datavalue":{"value":{"entity-type":"item","numeric-id":1317436,"id":"Q1317436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055836$68AECFCD-D75B-481C-9658-7FF4F9105757","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055836$03359018-9FFF-4F2E-9046-4CC192E4BA17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055836$811FF8A1-4130-4B87-B323-710BD15E3AF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055836$F655A871-436C-4B9E-988F-29275A5FF477","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24174550c644cff13ecd12d5678a94a322c6a72f","datavalue":{"value":"7631256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055836$37AB22D7-975A-48D8-B34A-1ECA32B685B8","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":"Q5055836$12B6BD67-2D29-4748-A3A9-FFD2969C067B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"065f5ccd532f1fdd66ebcae3d8f8672f03d26146","datavalue":{"value":"https://doi.org/10.1007/3-540-59200-8_63","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055836$EEDF1698-8B1C-474F-B8FE-F11255A6ECBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9b9d475668f4963fbbcbb8cbb562b58b4b3cf87","datavalue":{"value":"W1551154663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055836$6B139895-55EF-419F-9DFF-A4BCB2D178BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055836$18935B33-C0F0-4E6C-8BD2-FF0FBFA107FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055836$58FDE957-85E7-43FD-919C-EE57ADC04E9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d201b9310c76f1844f1b62e90e86bbfbdd457af5","datavalue":{"value":{"entity-type":"item","numeric-id":4474831,"id":"Q4474831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0883e61421c584fd23f7c043bc07b6f6346dd997","datavalue":{"value":{"amount":"+0.766916811466217","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":"Q5055836$ED04338D-DA62-483D-B08F-68B84AB5F94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8140e4aa1c1a8dc055880ce56e045c53fc6fd956","datavalue":{"value":{"entity-type":"item","numeric-id":4501144,"id":"Q4501144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c8d8efae130470bdec64da12c598c8378f71ad","datavalue":{"value":{"amount":"+0.757254421710968","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":"Q5055836$146B5E5D-A382-4B66-92A4-69504B2CC623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f900978b735a1191d1bd5813b0fb20efd481e48","datavalue":{"value":{"entity-type":"item","numeric-id":4448356,"id":"Q4448356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9792f80feea1056725bb9c063e83665cbf754f5","datavalue":{"value":{"amount":"+0.7572539448738098","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":"Q5055836$A3ADC3B7-4A64-4E80-A1FC-19FCF423439D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef278cfd45479b9e3aab3fabd321b20aaed82232","datavalue":{"value":{"entity-type":"item","numeric-id":1786610,"id":"Q1786610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1453cea4f5c4cf053f60023c78664f0a3d450c78","datavalue":{"value":{"amount":"+0.7470372319221497","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":"Q5055836$2F581693-C442-4BC6-943E-015EF2AB65CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cf4ffae6f3566de2132b572b8cb1a809631e056","datavalue":{"value":{"entity-type":"item","numeric-id":5739897,"id":"Q5739897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243c67537b5e1827525262b716b680947981bed4","datavalue":{"value":{"amount":"+0.7463161945343018","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":"Q5055836$9A40233F-F4F8-46B1-B757-C470838793C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055836","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055836"}}}}}