{"entities":{"Q1044182":{"pageid":1046030,"ns":120,"title":"Item:Q1044182","lastrevid":66111114,"modified":"2026-04-12T07:37:46Z","type":"item","id":"Q1044182","labels":{"en":{"language":"en","value":"Mathematics for reasoning about loop functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5645354"}},"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":"Q1044182$9E12FE92-4393-4E43-9D00-310E3372629C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edeccd8ca4ff41e29b666f7fb58f45975f35617e","datavalue":{"value":{"text":"Mathematics for reasoning about loop functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1044182$DD099FC0-BE54-45D1-A88D-4E389A31F08F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96d220887fb0d0686f632ea336ac846280e27c4a","datavalue":{"value":"1192.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044182$E189A0A4-4736-4DA5-807B-6F297FCAB86C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6f06adb06197edecfbeac374d83b3545aaf1704","datavalue":{"value":{"entity-type":"item","numeric-id":604382,"id":"Q604382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$FDE44D35-13CC-4306-94D2-489B0FF7AC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f56373585d387328ff1d758b36d1ac435443671","datavalue":{"value":{"entity-type":"item","numeric-id":604383,"id":"Q604383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$EC7FDE88-6471-4533-960D-5D6B3B96F050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddc91625cf26d9f38636af1785664b029e077bed","datavalue":{"value":{"entity-type":"item","numeric-id":797984,"id":"Q797984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$24BEB063-8A7C-4200-8A3A-859FABFFECCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$4CB26261-5F39-4D0C-B1C2-681FA5775C3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60d299e7db113c73bf4e2404b159c8b142acf49f","datavalue":{"value":{"time":"+2009-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1044182$4E7091BB-3E5A-425A-A20F-0DCC1B7C7D43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044182$CA7406FB-5011-4D71-A465-0A0277759CB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e86d6e493ecc4272788087a2197e6d943bf38a4e","datavalue":{"value":"5645354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044182$3AA52802-8320-48F8-B7E0-52C93DE9D976","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3035215c61a84122ae0ee6bde459083c8e82c63d","datavalue":{"value":"functional extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044182$EADD3F1B-3131-405B-992F-0D6C01407690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f76c49d3800177a5661c9e5e458d43c852446b34","datavalue":{"value":"loop function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044182$902275AD-3FCA-4F37-B711-DCB20D8DBDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"217fd7449fd4cb2d3886b4cd1eb381bb170d8bc6","datavalue":{"value":"sub-goal induction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044182$B1386696-DC10-4540-979C-FD49093D2329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8535f6ca079b6bd9943f6bdbf02c917ec96c1f08","datavalue":{"value":"Mills' theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044182$D68816F0-5DE2-450B-9EE8-7BEF4A634C2B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e435afb031ee44ca6c370c9a4082b74be3491e33","datavalue":{"value":{"entity-type":"item","numeric-id":16498,"id":"Q16498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$D469E5F1-B918-4B3F-9585-441DE3D568A5","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":"Q1044182$D818BC26-149F-4ABD-81F3-5B06A47A7A61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d3a2eaa2275bae299de4e7bad6544bc65089272","datavalue":{"value":"https://doi.org/10.1016/j.scico.2009.09.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q1044182$4A1DF49A-C38B-4C2A-B1FD-E034ECE51687","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"935b0fe4bf10fc138b1edb044c6606770f835788","datavalue":{"value":"W2049413589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044182$D402A8A1-CAF7-49ED-ADB0-FEA3AE4B7F76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e0964a69cdeeb98c62b167ed923916c4e674a8","datavalue":{"value":{"entity-type":"item","numeric-id":1306570,"id":"Q1306570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$FE1E6A8A-9AF9-4833-B82D-27F0728A7D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045e88e4c9f228ff6c1701ba6786b97433ddfc8e","datavalue":{"value":{"entity-type":"item","numeric-id":5287525,"id":"Q5287525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$ADC3F15E-574C-4264-8172-E9E24292C004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d888ce0f9e678e78fbe187beae84a0b88847a07","datavalue":{"value":{"entity-type":"item","numeric-id":1205187,"id":"Q1205187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$7FA08FD7-4F5D-40DE-989F-0FF1B9CB4EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661a35636a8584041bfbde882918d22d545430f2","datavalue":{"value":{"entity-type":"item","numeric-id":5709984,"id":"Q5709984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$55E3A61E-4FFB-4B5D-BD67-578FCFBD49C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$4A4073B3-6333-411F-9D31-D83A56CE22F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$F1824241-F599-4C14-A2AC-50A9E625679D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$269205FC-7492-4D27-89C1-F661854690EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c1575390a21dabffd80a0444998afabd82bc71","datavalue":{"value":{"entity-type":"item","numeric-id":3321419,"id":"Q3321419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$788D87EB-F9E1-4558-9A88-9679C2A8A199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458dfa6fd44072143815c860d3690f1687a12132","datavalue":{"value":{"entity-type":"item","numeric-id":2463543,"id":"Q2463543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$944C9DBD-6A08-4233-BB50-398FF14F6D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed124c730287fa9db6f3d5d7458a719143625619","datavalue":{"value":{"entity-type":"item","numeric-id":1396163,"id":"Q1396163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$F80AE9CC-DAE6-4CBE-97D7-7150F5F02DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$71C8C4C0-4CEC-4C30-B992-1924BD77F995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$375F53B1-91CC-432D-BE3B-A8B5AB37D30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$CF673734-8133-4456-A0B9-A1A20396E83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$E73380D0-8E20-4677-82CF-38977409EA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20e7d7156be4df4962d63fb90bbc1ccd2e1dad2","datavalue":{"value":{"entity-type":"item","numeric-id":910237,"id":"Q910237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$7BF1D4D7-2626-4D9B-BB97-6322DF216549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817a925eb5294986b9f403eea65fb6d1c9bdaaa9","datavalue":{"value":{"entity-type":"item","numeric-id":797985,"id":"Q797985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$3059BBCE-03B7-4F5A-8A18-BAF7BDBC2249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845f50c898faa769e96652dc140b68cd780db83c","datavalue":{"value":{"entity-type":"item","numeric-id":4045610,"id":"Q4045610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$00DB896B-F968-4AE7-86F8-7F99A7B8CBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$A6150BA4-1F53-4F41-8919-F859D7EFF59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae8d4019bbc3963780842028820817d531f0c4a","datavalue":{"value":{"entity-type":"item","numeric-id":4120116,"id":"Q4120116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$25728FA5-7DD2-4AA1-BF56-36EE70391154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1935482434002d0fa3e71ce65d32c6e93232c71","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$0F50A5E1-96F9-4880-BE0E-4ABF70213D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632143a12812e0e87ca17f511a00c35f2ee01dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3452270,"id":"Q3452270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$03B15A58-BCBF-4F21-BC80-5104C2599012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd6bade1c3454eda14333c0a2ad28ec83785b4","datavalue":{"value":{"entity-type":"item","numeric-id":5781189,"id":"Q5781189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$7AB44EA1-9504-4F99-A8D1-6895ABD6EC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044182$2FBBDE49-8753-46CA-BAC2-43A65AFABCBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"382724cac8b61593751832739379740ddc1334a5","datavalue":{"value":"10.1016/J.SCICO.2009.09.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044182$2E92C2E5-EA2E-44BC-8C86-759B132AB499","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63d80bdcdebe851301d356436d7699a81810d650","datavalue":{"value":{"entity-type":"item","numeric-id":1306570,"id":"Q1306570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"834d8aa3ea1f96b3325bf6929605f3111b0c6fe5","datavalue":{"value":{"amount":"+0.90757143","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":"Q1044182$228CEBCF-2D4E-4EBC-A50C-DA44E61EFDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d7ee2ac5a305bfce5bf77fc17088fcdd0865fa","datavalue":{"value":{"entity-type":"item","numeric-id":3321419,"id":"Q3321419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b15c3d7f13790dfb6831285062d8bbaeb1defb54","datavalue":{"value":{"amount":"+0.86488473","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":"Q1044182$CBE19DFE-047F-47D2-94F9-A7221CFC01D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d2fd1d686ff69b9e2737d454e6e166187562309","datavalue":{"value":{"entity-type":"item","numeric-id":6060345,"id":"Q6060345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f64ee64d57ba582f96b6d7c65e80f5653f8c96f","datavalue":{"value":{"amount":"+0.841891","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":"Q1044182$12CE94C5-C451-4894-95C8-7AF7B358851E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f1ab42347132194a4620ab8227caf321ce7cc3","datavalue":{"value":{"entity-type":"item","numeric-id":3585023,"id":"Q3585023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4671ef35c29bbe2343b6555e189c6ee69623cfd","datavalue":{"value":{"amount":"+0.8417237","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":"Q1044182$FAA5F6B2-94CB-4CC6-A235-161A403E0B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90c6bf25f429d89fc51ef053d7769f0eab0a1e2","datavalue":{"value":{"entity-type":"item","numeric-id":3687706,"id":"Q3687706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e6e84eaac3a09af4a13453a23b7e8ef8947f1f7","datavalue":{"value":{"amount":"+0.8379577","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":"Q1044182$17F100FF-549C-4954-B0DD-E0508DE10F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb7c90b510a5f1e67bc4c689204ae8e96e26c107","datavalue":{"value":{"entity-type":"item","numeric-id":6177467,"id":"Q6177467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d698faa716598df0de62cb4dc5203a5b843f436c","datavalue":{"value":{"amount":"+0.8365392","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":"Q1044182$6ADC8898-FDBC-4764-816F-4B91A418C4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4023710e1967ed72c2048bc32c2a1c87c7360c87","datavalue":{"value":{"entity-type":"item","numeric-id":5250218,"id":"Q5250218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871bcfc87baa4ac12be084b16b41827200aeea7c","datavalue":{"value":{"amount":"+0.83628136","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":"Q1044182$87F42805-0070-4DAE-88F8-3022F3313454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed4ea288c445342da98868de81eb995dee7cc2d","datavalue":{"value":{"entity-type":"item","numeric-id":2457644,"id":"Q2457644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85813091457763e3aa41e89a9fd249f212543070","datavalue":{"value":{"amount":"+0.83456683","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":"Q1044182$E7C2300A-18EE-4A45-A117-F9523FBDAF55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematics for reasoning about loop functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematics_for_reasoning_about_loop_functions"}}}}}