{"entities":{"Q1745728":{"pageid":1756470,"ns":120,"title":"Item:Q1745728","lastrevid":53066087,"modified":"2026-01-24T03:59:45Z","type":"item","id":"Q1745728","labels":{"en":{"language":"en","value":"Towards a unified complexity theory of total functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6861265"}},"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":"Q1745728$118028AD-AA92-479B-AC42-0DC9ADDEE912","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ad880ce275e5d51d4f97824fd884b7d6680402c","datavalue":{"value":{"text":"Towards a unified complexity theory of total functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1745728$1ECE08A8-5BA2-4026-B583-E93F4020872E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6adc0c7a387735485144436dd6c0c895225d0e9","datavalue":{"value":"1393.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745728$2C3C5095-A0C2-4B00-B2F7-C5587E219EAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9b02539c371f9730641a548b6eb8daaaae20b2c","datavalue":{"value":{"entity-type":"item","numeric-id":242859,"id":"Q242859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$FD6F1D40-511A-40A8-986C-D6083C88A8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4703623e4fcbefcd3931d7b75f8faed8c58b1ed6","datavalue":{"value":{"entity-type":"item","numeric-id":222484,"id":"Q222484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$9C122A2E-E006-491B-A53D-CB5C20B8058E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$76C2E72B-2157-4CA9-A72B-92D85D3D3AFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3c7d9692f5333e2f04da676c6d873cf90782793","datavalue":{"value":{"time":"+2018-04-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1745728$386082AB-CF42-4BCE-A030-443EA4BF3799","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"879845257f8a21cfffafb2b502f89915e7ed6908","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2018/8340/","type":"string"},"datatype":"url"},"type":"statement","id":"Q1745728$3FF8B13E-BDF7-4BAE-9834-7728878D6439","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"727ff94df6cfd3ca9095a5a2283ec82ee464ae9b","datavalue":{"value":"TFNP (Total Function Nondeterministic Polynomial) is the complexity class of functions \\(f\\) of the following form. There is a PTIME query \\(R\\) and a polynomial \\(p\\) such that for any input \\(I\\), there is at least one witness \\(f(I)\\) such that \\(|f(I)| \\leq p(|I|)\\) and \\(R(I, f(I))\\). TFNP and some subclasses are described in [\\textit{N. Megiddo} and the second author, Theor. Comput. Sci. 81, No. 2, 317--324 (1991; Zbl 0731.68036)]. This article presents a ``WrongProof'' problem that is hard for some of these subclasses, and defines a class PTFNP as the class of problems reducible to WrongProof. In WrongProof, one is given a readily confirmed contradiction together with a proof, and the output is the location of an error in the proof. Exponentially large proofs are represented by polynomial-sized Boolean circuits enumerating the lines of the proof as in [\\textit{J. Kraj\u00ed\u010dek}, J. Symb. Log. 69, No. 2, 387--397 (2004; Zbl 1069.03053)]. Some problems known to be complete for some subclasses of TFNP are reduced to WrongProof.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745728$355E9894-5C7A-4C9B-9CD9-9B208A96AC93","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4c2e453a383fe1e064f27e4ca3ff49f8a1646b9","datavalue":{"value":{"entity-type":"item","numeric-id":587174,"id":"Q587174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$E2DD5A56-8B5B-4800-AA79-318DCC2EFD84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745728$2ED7946B-2F38-4086-9DA1-FEB6EE36F3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745728$1B042654-5954-4F64-A5E8-324789EE3B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745728$DCFB551F-C347-486C-9FC7-1E187021EBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745728$29F23EF4-21A7-437B-8F62-D6F21D6E8142","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81f0dd707f23d9b5941e900302e18207368400ae","datavalue":{"value":"6861265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745728$C671920A-672B-4A4D-8F09-98325EB3D610","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745728$D14781FE-44FA-4C77-AF5F-3F2F37D3F9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745728$BAB3B941-D146-455B-8164-DFF41F2A818E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"876021ca20145d39ae78fa44f1788e9f50a66118","datavalue":{"value":"NP search functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745728$9E36B86A-9357-4F73-B6C8-D2E2015065C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31812b1d918585e455bbaa5c718a973fa4c78b08","datavalue":{"value":"PLS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745728$E6F8D57A-BAEE-4558-BD13-9F31CE4F5D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f20dadf35c75fa60da5cf59f11f656db3bad210b","datavalue":{"value":"PPA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745728$2DE87BB5-3E48-4125-BB5B-D4F8E813B4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e62559a04f580a77ee3676b3a7230a2f2addaa32","datavalue":{"value":"PPAD","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745728$28329F03-0CE2-43DC-AE3B-53028CCF2407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aee8cf534629ee3f269afabf4ff1445c44207457","datavalue":{"value":"PPADS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745728$420ECAAA-859B-429C-8521-9A51B74F01E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5f058ae2dac045c3910cd510d98e413c4d05f62","datavalue":{"value":"PPP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745728$0002302A-76E1-4957-8BC5-69523BB449DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745728$57059417-EE44-407D-9AB1-0B380BE226A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"645f355bfce2b56ddcc0a50b9d76eb626f7374fb","datavalue":{"value":"TFNP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745728$7611B9CB-E99B-4CB0-B35A-91780F005063","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":"Q1745728$80C46247-0F93-4C30-9340-607E56D6B215","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60308e3bc26dfdd2249af9a83b383d1e2856c0de","datavalue":{"value":"W2776865190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745728$235469F7-1989-4F64-8FC9-BBBF24F0693B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0206d3a695d8d8e1728212c926a47f4d0e22e7","datavalue":{"value":{"entity-type":"item","numeric-id":1273858,"id":"Q1273858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$A0544755-A1DB-48FD-83FE-C39BE99F4EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeebd466643aa876c1932f0bfc7bb13b63abb5a2","datavalue":{"value":{"entity-type":"item","numeric-id":5410329,"id":"Q5410329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$55E0570C-A2AD-4CD9-A109-D2624BBCE3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9e474471355578fce2d1c0796465df620cc2b2","datavalue":{"value":{"entity-type":"item","numeric-id":5278209,"id":"Q5278209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$4E8D4121-F0C9-463E-AB67-0E19614969E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$3AC45EB4-BC67-4014-AFB5-EBC41F475F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31cbeafb74eb2331031a6d2305fa02411af3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$744522FC-82C0-44E8-9341-C87EEE5C6436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4efc758b393bfca7e5de457ca3a2ef28a58c2b55","datavalue":{"value":{"entity-type":"item","numeric-id":2344736,"id":"Q2344736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$C5503A4F-D815-4B50-9004-BA5CD55EA096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aa0d6b54f6be3a440a4bb5a78e5668dceeb60c0","datavalue":{"value":{"entity-type":"item","numeric-id":435190,"id":"Q435190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$971D8F43-4104-4140-A11E-D04DE3A41332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f5fbbc92e48b0fa7019594a4c948774bfa54ea","datavalue":{"value":{"entity-type":"item","numeric-id":4308607,"id":"Q4308607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$9A4CCCCE-9CEB-4EFF-8D22-143C65AC9D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c285d1072f0184748c90a27f2836f96203c48e3","datavalue":{"value":{"entity-type":"item","numeric-id":3452212,"id":"Q3452212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$3D24E0FB-26DB-409A-BB1A-5B342E00E66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$615EEBA0-EAEE-4BAF-9C7E-07A68BCC5C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d464bc327ad5754f00804854b55b3ed552dbbc79","datavalue":{"value":{"entity-type":"item","numeric-id":5189544,"id":"Q5189544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$EA8A8C64-3E3A-4B0F-A7E7-43AF7CCB6D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625529be9cbb76c2b436d7af2d11d74a8f6bffaf","datavalue":{"value":{"entity-type":"item","numeric-id":5402564,"id":"Q5402564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$436C756D-77FA-495A-BB30-12280C911071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9a0aaf3aa441e2c4bbe8dd9d407cf298ec7d0bc","datavalue":{"value":{"entity-type":"item","numeric-id":5230276,"id":"Q5230276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$F27E7C4E-76EC-48F3-A0AB-7FA5D73D1E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd07bc9a9b69ce8a80cf38ac60dbedf570ebf67d","datavalue":{"value":{"entity-type":"item","numeric-id":1109566,"id":"Q1109566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$84B41B03-4D67-41A0-B75D-9B5FFBF0B493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3049397185803a2386147b2c4db5afa3cf4e87","datavalue":{"value":{"entity-type":"item","numeric-id":3399180,"id":"Q3399180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$97DFB1A1-C2CE-47D7-AA5B-549B918C0F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d6d6bb98a4be44fa616cf22c42136791c2ced9","datavalue":{"value":{"entity-type":"item","numeric-id":896029,"id":"Q896029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$21DF16A3-D520-4F00-8999-FF2130E4546D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d95378a8c31d7715b88a9854f2b8f7d5953534","datavalue":{"value":{"entity-type":"item","numeric-id":639650,"id":"Q639650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$A8E06633-AACE-4842-B183-13E9F7AECEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d151091cd142eaef42486ea82a7e7398444c02a0","datavalue":{"value":{"entity-type":"item","numeric-id":5311729,"id":"Q5311729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$EB7D340D-ECC8-40B7-9F71-366B92CC656E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e24264391f8b0196d0caf2bfc9afe17fcbec210","datavalue":{"value":{"entity-type":"item","numeric-id":5739904,"id":"Q5739904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$8A071ACA-E0D9-4954-BE22-6600BB1380C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bde2c1667b403bd07f99472a13c7986b2f5411","datavalue":{"value":{"entity-type":"item","numeric-id":3472099,"id":"Q3472099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$D163BFBF-583B-4D5F-912B-7C26B51FEF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59453e58f7cfaf844d3b63583cdaa54741e69f19","datavalue":{"value":{"entity-type":"item","numeric-id":1383164,"id":"Q1383164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$81712E9E-993D-44E1-8EAB-3953F9DAF305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b3f42e6c054135450cfd1bfab079b29b703868","datavalue":{"value":{"entity-type":"item","numeric-id":5294030,"id":"Q5294030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$7624447C-7685-4C2D-8D61-51FC9FE9CA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a35ee073efb257c2ff6944a7cc91fcd0fe8bb82","datavalue":{"value":{"entity-type":"item","numeric-id":1329155,"id":"Q1329155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$5527EA1D-B749-4148-85F1-FE79712A40C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b936472256c474ab8250b72e7c010873198894","datavalue":{"value":{"entity-type":"item","numeric-id":4206725,"id":"Q4206725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$6AD59238-3375-4E70-BFF0-21070AA070EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d7511d270f64486d840c0978a8069f4bf37c1a","datavalue":{"value":{"entity-type":"item","numeric-id":4281694,"id":"Q4281694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$633C673A-092E-4208-8F7B-301DAFD00512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee6f22012716acbd7337e204ea81532bb7502603","datavalue":{"value":{"entity-type":"item","numeric-id":892133,"id":"Q892133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$64B5F585-C268-4258-ADEA-8EA7368A0ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a6a6af974a4419b7b3acbd103c48728b5d4ef1e","datavalue":{"value":{"entity-type":"item","numeric-id":1601038,"id":"Q1601038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$01ADC623-77A7-4082-9F1D-9E1760AC8CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80187e65c3d02218a1c1b84468898391dd828b52","datavalue":{"value":{"entity-type":"item","numeric-id":4145254,"id":"Q4145254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$34C61563-3F6D-4165-BBAC-9939FAD902D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb2c936121f4f1d6e6f7ab70089a797e73426bb","datavalue":{"value":{"entity-type":"item","numeric-id":3662618,"id":"Q3662618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$DEBA13BC-CDB4-4A9E-B950-69609E12F594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a9683707f23c99ef0bd410759df23b90dda92b","datavalue":{"value":{"entity-type":"item","numeric-id":5466546,"id":"Q5466546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$9911C47E-9346-493E-9E74-ED16EF68BEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbff7fccb24b79b684abc97ac3c1bcc3f5f92c4","datavalue":{"value":{"entity-type":"item","numeric-id":3018648,"id":"Q3018648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745728$43EFED9D-7A00-4E72-9E8A-496000F5E1FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"433d038a5b3f4dbff23abf28c8eaa9e8bbaa5ce8","datavalue":{"value":"10.1016/J.JCSS.2017.12.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745728$19E9E507-92BA-47F1-910F-598120F7913B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef819654a8b43c010dd6c6be56a2056fe3ae1db9","datavalue":{"value":{"entity-type":"item","numeric-id":4993302,"id":"Q4993302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62766e5ab06c004845073699747edef49433eb71","datavalue":{"value":{"amount":"+0.9999991655349731","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":"Q1745728$5E5E9038-7853-44E4-AA5C-646F9B6F937F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff8238612bf4a09d62d16303bbe3258017322d8","datavalue":{"value":{"entity-type":"item","numeric-id":808245,"id":"Q808245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"442232bd35227d9779c79085e28c41073cf20938","datavalue":{"value":{"amount":"+0.8132553696632385","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":"Q1745728$2182AB7C-E86C-42CD-8541-4D90C62BB713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7bc92e08faa2a642e2d8b65c07376e36b43f342","datavalue":{"value":{"entity-type":"item","numeric-id":435190,"id":"Q435190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8541dc7918c2452a1e48d36aa22e61f3cc2c14fb","datavalue":{"value":{"amount":"+0.7732396125793457","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":"Q1745728$C30ECF00-6D9C-4A55-981A-5FD788B1E4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95a7e9adb316f709e3b9e805745cd08aaad7011","datavalue":{"value":{"entity-type":"item","numeric-id":5283350,"id":"Q5283350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a4f65b1e2aec7aa657e6228b2391ed3e5d8b6ed","datavalue":{"value":{"amount":"+0.7660654187202454","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":"Q1745728$A542E762-50D0-467E-9653-CE6309C5B020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545a51bd3daeac44426518bd3bcfb62e5d4734f8","datavalue":{"value":{"entity-type":"item","numeric-id":4638115,"id":"Q4638115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395fa9f451829c6eb6cfd69ce8d3f3e34555e558","datavalue":{"value":{"amount":"+0.7645711898803711","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":"Q1745728$65AFC5A6-5A63-4663-BA5C-A68E3818D521","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1745728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1745728"}}}}}