{"entities":{"Q5111891":{"pageid":7141465,"ns":120,"title":"Item:Q5111891","lastrevid":53742236,"modified":"2026-01-25T15:47:08Z","type":"item","id":"Q5111891","labels":{"en":{"language":"en","value":"An abstract factorization theorem for explicit substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205321"}},"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":"Q5111891$DE663303-048C-4AFD-82D8-D4C0D04E3A28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"137327886aa6469ba9928aca348f259ebf5cf8be","datavalue":{"value":"1437.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111891$3CD2384E-9294-40A6-A6B4-D948CA47D55B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a5fc175548a252094d9a283c297268d69f866a","datavalue":{"value":{"entity-type":"item","numeric-id":897927,"id":"Q897927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111891$6477ECCB-0FE3-4C70-8564-9B49A909CB16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111891$4B059425-AEB6-4EDD-8E82-B571867048E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111891$31FCB71D-D926-4F23-8845-45BABA0EED86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111891$1FE42C86-AC59-4E5D-BE3D-8355E0C63E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111891$87AB7A60-BACC-4187-9A8D-C5E0EE7B584F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111891$82844D0D-0E81-4A61-A189-4A1609EA88AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91e2fed7f23fe7b06f734407611fd6840c129b32","datavalue":{"value":"7205321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111891$9B90F275-1103-4AB2-B1AE-ED2810245958","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111891$57AC4263-1403-4227-B6E2-56925DFDFAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d18d613ca5d558d91e811df923cf208208ced9e8","datavalue":{"value":"standardization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111891$06205A09-4254-4CD5-BCC3-7609820F5AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111891$A2192FC9-8AB8-4BFD-AA5D-5095BE1CA4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2a49ff5454cd6d423d561ae5689d7d099421a49","datavalue":{"value":"abstract rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111891$5DF96DC3-DB77-4C43-A84E-E952C850579D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8003014c48dedf408addca3e7b5866c9dba3af1b","datavalue":{"value":"diagrammatic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111891$974FC0AB-D8BE-48D2-88DF-BBDE07FEF9B5","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":"Q5111891$8A95233A-A899-46C6-8B2E-5DD8D44896FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8eecac7eba77e8e8355973cac3f0377256a5c6b2","datavalue":{"value":"10.4230/LIPICS.RTA.2012.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111891$64664E27-2663-49C3-AB2D-23812F8E1B5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6edc08e59e04e1c95f0b27d424c7b17e46c185","datavalue":{"value":{"entity-type":"item","numeric-id":5408457,"id":"Q5408457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab7829ca9151d704722d412a780679ac4c983e8c","datavalue":{"value":{"amount":"+0.8036512136459351","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":"Q5111891$7D150F36-2582-42A1-90F8-8C7075399CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1381ba5e65d72f963524301b06e5959f3d3eac3c","datavalue":{"value":{"entity-type":"item","numeric-id":3395095,"id":"Q3395095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2536c100d0c7c721195654af4f84cda3f88d94","datavalue":{"value":{"amount":"+0.7747983336448669","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":"Q5111891$9014677D-25FA-4702-9F67-6B27215510E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e54c07ad29f12c4bdd75800e72942c910f887bb","datavalue":{"value":{"entity-type":"item","numeric-id":3608416,"id":"Q3608416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f37de17a50f639b82d07abc411d4335a3b51df6a","datavalue":{"value":{"amount":"+0.7661827206611633","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":"Q5111891$6F0F9E9D-BEA1-4E5E-BB18-FB85010EEE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de03afcd9e634828c884f8371c6924cf776aa37f","datavalue":{"value":{"entity-type":"item","numeric-id":1290510,"id":"Q1290510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56efed6702790895468a9db31572a8d05f7fd45e","datavalue":{"value":{"amount":"+0.760600209236145","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":"Q5111891$9BBBEF5E-2274-4188-B15F-FF18E7862827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a6d36976734bf2348405ecaa1b84400b5fc70e","datavalue":{"value":{"entity-type":"item","numeric-id":1274458,"id":"Q1274458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56efed6702790895468a9db31572a8d05f7fd45e","datavalue":{"value":{"amount":"+0.760600209236145","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":"Q5111891$C43CD30F-72DD-49F2-AD4E-12D90DF249DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111891","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111891"}}}}}