{"entities":{"Q4652794":{"pageid":6682375,"ns":120,"title":"Item:Q4652794","lastrevid":48424309,"modified":"2026-01-04T16:58:21Z","type":"item","id":"Q4652794","labels":{"en":{"language":"en","value":"INDUCTIVE COMPOSITION OF NUMBERS WITH MAXIMUM, MINIMUM, AND ADDITION: A New Theory for Program Execution-Time Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2139442"}},"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":"Q4652794$F874078F-4430-4089-8E0F-66E7B2204CD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb87a7ca6ea7deced8951fa09368fcf3492f51e0","datavalue":{"value":{"text":"INDUCTIVE COMPOSITION OF NUMBERS WITH MAXIMUM, MINIMUM, AND ADDITION: A New Theory for Program Execution-Time Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4652794$5B1C668A-C173-479C-BAEE-8E37C8F2E6E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af40701e18ae81e30ac0d91f2118fdca9d7e5eae","datavalue":{"value":"1136.68429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4652794$15729FF3-6882-4058-BF9D-249801F4779C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04b1447e44855902121ea974367e1353de634742","datavalue":{"value":"10.1142/S0129054104002790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4652794$7045D607-AD6D-412E-AF8A-F5E3282DB635","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"678323d8c357eaf7e7bc2f1d5d96711bb3955f10","datavalue":{"value":{"entity-type":"item","numeric-id":656079,"id":"Q656079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652794$7A402E5D-ACCC-441C-8466-6F6E0A8227AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652794$AF1853C3-0D8F-444A-AC9A-F37BA34734D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5dabce90ff5340c0b0fd5844437bb5a756de645","datavalue":{"value":{"time":"+2005-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4652794$13416D9A-8C01-4EC9-95AB-EE7CC5F2A1F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4652794$87F568E3-3022-4DDA-9C40-12592E0C1A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4652794$C9D856AD-5DC2-4EE1-9E33-26859A821F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4652794$83A0E886-622C-473E-A930-4F20853778AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4652794$FA2E660B-BFC3-4278-B9A8-867BC4D320C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4652794$6070D898-6265-4C46-9F93-6D251BA2BFDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03698bd4e138b0a1745ea59ca2e162bbd9965cc3","datavalue":{"value":"2139442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4652794$F013D353-7960-4340-A009-D53C0BC9B1C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4652794$62083C4F-22E5-4A72-AB42-BC80BD25CB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4652794$22C6CC73-B9D7-40D0-B80E-2A5765C6031D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e0ae24e8601ee04481fa650f9706e10b90109ae","datavalue":{"value":"software recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4652794$5C5F982F-5AB7-4396-AC95-1D906C31B5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4652794$E468123B-471C-4E30-B28E-DA79C7C5514D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d6685115c031ccd3c1c0f6cc8f7bdd41f1daf41","datavalue":{"value":"context-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q4652794$6C29C624-346B-453D-9800-674262B36F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c1d0a65284944886ae5ccb61bee46721becc963","datavalue":{"value":"semilinear form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4652794$75779A4B-A5BC-4330-ABF6-CB7B481AF8F0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652794$D936FB78-5601-45E5-B5EC-A93D44B599CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652794$C937C680-8CF6-420F-94B3-8EC5DBB8C4B5","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":"Q4652794$FF8F0B42-05E1-412C-9EB4-26F75FABA765","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652794$B8D66402-675C-4AE6-8E74-F39F4C0428FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652794$EE9CAEE7-7DD9-43F3-A88A-A0D45A38E92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf0e41b78de21ea3bb50e6ae49709b5465d5777","datavalue":{"value":{"entity-type":"item","numeric-id":3260847,"id":"Q3260847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652794$E1B0545E-ED0F-4247-8586-FD02573FF8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35bd704b075417b2637eca6cb9290b476257114","datavalue":{"value":{"entity-type":"item","numeric-id":4858072,"id":"Q4858072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652794$E20748B4-F7E0-4BB7-A3EF-F52B054014A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63eaa65dded2fbed140aa1af8387e96ddb93771d","datavalue":{"value":{"entity-type":"item","numeric-id":5521477,"id":"Q5521477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652794$0D418AC4-7A39-4A08-A22E-AC3FCF7BEF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4350892d7df19387ec0804bd15d8a9dc062b47c","datavalue":{"value":{"entity-type":"item","numeric-id":1151753,"id":"Q1151753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652794$E459302C-932D-4C59-9F06-07D85D6A1DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0bee193721e59efc8b207bd3414d59b88eaf710","datavalue":{"value":{"entity-type":"item","numeric-id":4692387,"id":"Q4692387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652794$7744A9D6-A202-4353-B39A-A4ADE5BCE65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145bddecf65aa7bef9fc660d99d7932692fd61f6","datavalue":{"value":{"entity-type":"item","numeric-id":5249293,"id":"Q5249293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652794$EF6D9386-9DC7-4584-9486-DFA2C618A65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a62ee007fa1f64d5babc60eadd631fa1cc434a","datavalue":{"value":{"entity-type":"item","numeric-id":4484511,"id":"Q4484511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652794$1F697189-2780-4950-874A-C38C523166A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ddbb4fcd9c9cba37d92d53ba5f3777558f1e82","datavalue":{"value":{"entity-type":"item","numeric-id":3039035,"id":"Q3039035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652794$62CF7D60-FCF9-4457-A4A8-FBEC5A12EA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04cf012d2af7c6df0817d794aaa8ee2b76ac3804","datavalue":{"value":{"entity-type":"item","numeric-id":4419740,"id":"Q4419740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652794$104DEA28-1BF7-497A-BA3D-1008E2FA0464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eb33fcfa4dcf8f3cb224015a88a380e338a35f","datavalue":{"value":{"entity-type":"item","numeric-id":675050,"id":"Q675050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652794$6718DA14-DCF6-4165-87E9-7A3264229C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eee5079953efaccd90bb54243867bd25cba0945","datavalue":{"value":{"entity-type":"item","numeric-id":3559774,"id":"Q3559774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652794$ACC79C13-114B-489F-9439-B9E0A7EB952E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"182f4ba5516fd8c3f546baf3e470c9c5f219382a","datavalue":{"value":"https://doi.org/10.1142/s0129054104002790","type":"string"},"datatype":"url"},"type":"statement","id":"Q4652794$D33954D8-3D92-4982-AFCF-C0ED339ED16B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"394bdfb5309d9a4caaa53fbf2310a627747e98cf","datavalue":{"value":"W2093153050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4652794$7E13E6C4-8EDF-4E0E-8E14-5EC11F456424","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea014f54513a84638b4d51392fb9efd0b5f062fc","datavalue":{"value":{"entity-type":"item","numeric-id":2922015,"id":"Q2922015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9225dd476aa31d41f4ab5cae360a6e25c3644b78","datavalue":{"value":{"amount":"+0.6832811832427979","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":"Q4652794$712AE2B9-7A52-410A-BEE9-B4AD5900EFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929ca2349da082aef6c3273d82c2b7c20c3472a6","datavalue":{"value":{"entity-type":"item","numeric-id":1894000,"id":"Q1894000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df535069c762301cd8056c8d762a5e2fbfd0b68c","datavalue":{"value":{"amount":"+0.671997606754303","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":"Q4652794$5B671525-1AAC-432C-ACDE-378C3E6E0CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea2dd4d03b0019bb683fe7556dd1eb7c34740e5","datavalue":{"value":{"entity-type":"item","numeric-id":2348374,"id":"Q2348374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf3d867390bce3db429e7477490ad9fba879822","datavalue":{"value":{"amount":"+0.6652711629867554","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":"Q4652794$600E63CB-787F-4091-B3BF-DEDD7F21B5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3044d6219db65bf1e7c061161116d87a6d5ba136","datavalue":{"value":{"entity-type":"item","numeric-id":1575245,"id":"Q1575245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57ba96019e16172ed413a97c18b7e66fcac16d93","datavalue":{"value":{"amount":"+0.6519317030906677","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":"Q4652794$85C9C899-A9C7-4063-B5D1-028702F373BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31310b7d1ca810aee1bdb1252ae00ea3189dfcdf","datavalue":{"value":{"entity-type":"item","numeric-id":817577,"id":"Q817577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6377e1d4b679b4cab2a02a93b2ce6c23da2f6858","datavalue":{"value":{"amount":"+0.646266520023346","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":"Q4652794$CC3D5E04-8EF1-48CA-8B26-F880A677FD28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4652794","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4652794"}}}}}