{"entities":{"Q4842542":{"pageid":6872122,"ns":120,"title":"Item:Q4842542","lastrevid":47341390,"modified":"2026-01-01T10:47:52Z","type":"item","id":"Q4842542","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 785053"}},"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":"Q4842542$11EBC7F9-D4FF-478A-8108-C963474F865D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc87a1c4a108769bdde83eebceb11e8ac02900a3","datavalue":{"value":"0827.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842542$42789E25-6D69-414A-A87E-F74E58511E97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8d91eb383cd112a6f423cf65f9ae246ca32dde7","datavalue":{"value":{"entity-type":"item","numeric-id":1084099,"id":"Q1084099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842542$4B4AF4AB-9E51-461E-B33F-D8C2D92352EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2c5a0478135439b51e1336eb30896ff68f823dd","datavalue":{"value":{"time":"+1995-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4842542$2AD1840A-D2FC-4817-BC95-5355BF966C34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842542$049710AD-3EFD-4E07-83B9-3131D091AA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842542$469C20F4-58DB-436A-8734-1F0B00411DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842542$0FA267AD-6428-48BC-9FF6-0D910184CDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842542$E51640CE-896E-4E2E-A6CA-A2632EC94986","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f29bc67da1683ed4cf6f3d81c11a4cb5042bbde","datavalue":{"value":"785053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842542$3ABE4AC1-DB38-4384-BF26-B9712C9560EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842542$95C43775-8CD8-4A83-8BD4-165ABE1EA54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5950369e3296ba8752027da07ec6b3ab18326cee","datavalue":{"value":"recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842542$5ECC853C-EAFD-4EC1-BBB7-4072BFD6F2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2691a1749309ded89bc4f366cc717a06c62de03","datavalue":{"value":"termination proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842542$F0A0F6D3-E856-4C55-AFC7-5F7020C3841C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842542$B36E484A-21F2-4BE0-9D6D-69575C65E277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f433faf1279cdb38aabf045f18de6325cc7395db","datavalue":{"value":"proof transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842542$A6E65FC9-EF20-444C-BEDC-BE9E207454C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05b19b6aad27c82c3c29c094f3e13b81068382be","datavalue":{"value":"recursive-to-tail-recursive transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842542$FA705AE5-F458-4FAD-945A-D968ED4787B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4312af9c721a4ad32e5ef475d8c4fa89990361fe","datavalue":{"value":"logical cost","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842542$97B8C423-A1E8-4DF0-830E-7F98935561CE","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":"Q4842542$3F0208F0-31D2-4489-BB57-2E321A791C64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63f5027884db90b3b56d66c308be753437c9d64","datavalue":{"value":{"entity-type":"item","numeric-id":4525292,"id":"Q4525292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"053c756b577606012fca206c82d656cad6c6beb2","datavalue":{"value":{"amount":"+0.8585290908813477","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":"Q4842542$CE3C79CC-3BEB-4453-AB4D-A322BC1E00A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e6b97beab6b9c0e4899c288c9d56b6ae605b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4036572,"id":"Q4036572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789e3712e5855231449b6e27306b271dc75bdd71","datavalue":{"value":{"amount":"+0.7893416285514832","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":"Q4842542$D6BB945B-5171-4EB7-BEFF-44B5BF218DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19077c4a91a76f2b9613650b2b5d1c2d1487498a","datavalue":{"value":{"entity-type":"item","numeric-id":3841095,"id":"Q3841095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789e3712e5855231449b6e27306b271dc75bdd71","datavalue":{"value":{"amount":"+0.7893416285514832","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":"Q4842542$A659F4A3-A4B7-4514-B5D8-A275B35DFD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca588ad41d19ce5e54033d07a947da3938fba43e","datavalue":{"value":{"entity-type":"item","numeric-id":3195706,"id":"Q3195706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bded5362b5e5db7151eba39e9ffe0078fa6c200d","datavalue":{"value":{"amount":"+0.7775523662567139","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":"Q4842542$65FBF4E2-BDF2-4EFB-B9AD-623BD0462AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"370660d831f4fc575191f490e9add44acc79d1bf","datavalue":{"value":{"entity-type":"item","numeric-id":5216340,"id":"Q5216340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4278bc5fca43dd144834e488442a80a7876b00","datavalue":{"value":{"amount":"+0.7707962989807129","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":"Q4842542$78DFD679-EABF-4FC2-92DD-FB04DBC304B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4842542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4842542"}}}}}