{"entities":{"Q935168":{"pageid":937016,"ns":120,"title":"Item:Q935168","lastrevid":65493570,"modified":"2026-04-12T02:59:06Z","type":"item","id":"Q935168","labels":{"en":{"language":"en","value":"The complexity of Tarski's fixed point theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5306545"}},"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":"Q935168$74F3E548-B55D-45DB-A5F2-4B97CB427C7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6227c8ad2e2ccbcff9aa5a3cea0c3f70d44523ec","datavalue":{"value":{"text":"The complexity of Tarski's fixed point theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q935168$BC3DD61E-F180-4287-97FD-FDB35224FCE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a730cc2df8c00df41ec72350697421746a0a846","datavalue":{"value":"1146.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935168$C6741136-C09E-4F03-BE0A-981219F21333","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b0b95f3c4128eb185c1ecc69459be3a1d28342","datavalue":{"value":{"entity-type":"item","numeric-id":340555,"id":"Q340555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$3B4363AB-825C-42D7-A79F-153ABD67BED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa4cd45d3440eccc9b65f4691638d184706f317f","datavalue":{"value":{"entity-type":"item","numeric-id":272650,"id":"Q272650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$5B06EB03-AB00-4F0B-8D9E-B318F10F36C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ef86906bdafb09d33292d25eb96fa3be473df74","datavalue":{"value":{"entity-type":"item","numeric-id":545997,"id":"Q545997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$91753985-C07F-48A5-8CE4-551AEFB9DAF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$883B8D0C-E87B-45B4-B9E3-E4756EAD7938","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d7bf80e07847c0b262029f7e143cabd4beaa66d","datavalue":{"value":{"time":"+2008-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q935168$F20F9F34-1D8A-436C-BAE9-F43064146669","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54391017a821dcc28a3eedb4a05f66a256eedabd","datavalue":{"value":"The Knaster-Tarski theorem says that for every complete lattice \\(L\\), every order-preserving mapping \\(f:L\\to L\\) has a fixed point. This paper studies the query complexity of this problem. The authors present an algorithm that, for a given complete finite lattice \\(L\\) and an order-preserving mapping \\(f\\) of \\(L\\) given by an oracle, finds a fixed point of \\(f\\) and requires \\(O(| M| \\log(\\max\\{| x| \\mid x\\in M\\}))\\) queries to an oracle, where \\(M\\) is the set of all maximal chains of \\(L\\). Thus if \\(L\\) is a finite chain then \\(O(\\log| L| )\\) queries suffice to find a fixed point. On the other hand, if both a finite complete lattice \\(L\\) and the order-preserving mapping \\(f\\) are given by oracles, then the expected numbers of queries is \\(\\Omega (| L| )\\) for every random algorithm finding a fixed point of \\(f\\). Also, every deterministic algorithm constructing a fixed point of \\(f\\) has to require \\(\\Omega (| L| )\\) queries.","type":"string"},"datatype":"string"},"type":"statement","id":"Q935168$15AB4361-3C11-4F28-980E-797C0A034FFB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$0A09DE90-1152-4C2D-9F11-74F9C5332CCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935168$EFE9B2A9-BDF8-4E70-812A-C20D152CE580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935168$FA6E7EB8-E4EA-491F-BA5A-77C2104C6902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935168$224AE018-4D9E-468A-890A-D3705767AE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935168$DB2B790E-03EA-4C79-B0C5-DEF27C7FB285","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cbd3587fd56f86f77254af8effade91e546462e","datavalue":{"value":"5306545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935168$F33194A0-C7DB-44FF-948E-E59AF4C05C61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q935168$7A5B81F1-8685-47C2-8434-4AD2B060BD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c8611342813832b89e61c1e76c2698256b30a69","datavalue":{"value":"order-preserving mapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q935168$2F51B8B9-FCA4-4036-8B89-2535DE5DE548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q935168$AAE35C38-CE59-4C9B-9C74-5F3345FCD935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b82cc4d40a1fd319ab13e6b68f0a1940966ab0f7","datavalue":{"value":"Knaster-Tarski theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q935168$BBD9C96A-BF4E-49A6-B108-5333BFC8537A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8745712302d28813999fe70c270cd7743c07054b","datavalue":{"value":"query complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q935168$60853AF3-ED3A-468C-B2BD-A788C94AA1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac873341ab34d6db98676ef037e18583cae25841","datavalue":{"value":"oracle","type":"string"},"datatype":"string"},"type":"statement","id":"Q935168$5C2F2FD4-4F8C-4CA0-8211-656CC00B53B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2832e5ae4fc414c772c86f6023e26d563dd35e6","datavalue":{"value":"randomized algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q935168$DA93B9A7-CAB7-4187-AFF2-21ED118085B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0391133adfa18d7a3e9478fc3195b383d89af53","datavalue":{"value":"Tarski's fixed point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q935168$E950CB39-BDD7-4D0F-A8FD-30785C2E7F7B","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":"Q935168$7FFE2342-E378-465D-A709-98607F042CA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d218c18d1513e6621964671ed689ea42dc1d9b49","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.05.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q935168$E3FE3495-C582-41EC-BE5D-2CC5FEA20B9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d3740486758a46724766dbe41a0f1c3f73c7800","datavalue":{"value":"W1968084917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935168$4A564662-67BE-4001-9B78-880B23D2B68C","rank":"normal"}],"P223":[{"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":"Q935168$50284EDC-DE00-4AA1-98B7-5B8B8C5AC963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"722e6764a5b1c423f659904eb24f07acea7589ef","datavalue":{"value":{"entity-type":"item","numeric-id":2653568,"id":"Q2653568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$E66E5C44-2F5B-4DA6-B812-97342A43F697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$0BF4D84D-ED13-437F-83FE-64E05B0D464B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81b22866abb7fa0b9d31d600a4ec75aab2cca049","datavalue":{"value":{"entity-type":"item","numeric-id":2487964,"id":"Q2487964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$964D70C8-2E96-4FC3-B4D7-5BFAD1649DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$8E019BC2-55F6-4B1D-986D-4D296975C76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"285c2f3fd55d573faf91da40a606ce324a8bb2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3872239,"id":"Q3872239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$53F11523-3BF4-45A8-A3CF-B8C8A371FD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46fbf4df682dd2a02552012c238efa01835645c","datavalue":{"value":{"entity-type":"item","numeric-id":1919715,"id":"Q1919715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$AD712D59-9B02-4FD6-B4A0-6B198F3F608D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adfde36fd2863ca3cde98b7442a1956dd49d4f54","datavalue":{"value":{"entity-type":"item","numeric-id":4158830,"id":"Q4158830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$6A809615-4C1D-4CAB-BC7F-8F38AE8504FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae25ed548ce683be35e8a85b13a4506f4248415f","datavalue":{"value":{"entity-type":"item","numeric-id":920858,"id":"Q920858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$34AB692D-B5BC-47AE-8FAA-052DCC53EAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73620ed1360c61999c9e84bb99cf61c3b8969cca","datavalue":{"value":{"entity-type":"item","numeric-id":1416759,"id":"Q1416759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$4314D8E2-B057-43CB-84C9-9A23111C1267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d297d40c2ea6a942c56750a26ad110d1d0ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":1978730,"id":"Q1978730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$A652BF69-FB01-40FC-ABAB-FE198723E2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7030b57c284ec709a3c6f8db8847681babbcca2d","datavalue":{"value":{"entity-type":"item","numeric-id":3754456,"id":"Q3754456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$D3D697E9-64BB-4571-9D20-FD83FF8891E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232584c272f02ece20f3e76bff9d2e7dd5dd0326","datavalue":{"value":{"entity-type":"item","numeric-id":3977678,"id":"Q3977678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$0E38E9A5-E570-4379-B735-9E3BA69A55CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3dc9ddbc6cb9b168d022ab0a758ff847259c949","datavalue":{"value":{"entity-type":"item","numeric-id":3974413,"id":"Q3974413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$52EDC7F2-152D-40A4-9E3B-AB4ED37BF631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23d285b53c3197115893f720b8802b1468a917e","datavalue":{"value":{"entity-type":"item","numeric-id":4487279,"id":"Q4487279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$C2FCF90A-315D-457A-A11A-5181777C72C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9393b42a89db709a1810e63354bd87bc393c7f4c","datavalue":{"value":{"entity-type":"item","numeric-id":4421936,"id":"Q4421936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935168$33B6C6C0-A9F3-433E-9D52-15D383BB8DD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc1308ccf45ac435bcbe50157c77128fd1c25308","datavalue":{"value":"10.1016/J.TCS.2008.05.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935168$1DCC80E6-51BD-4395-A226-70F3DE8B11ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd24d5d34b4a5ef60aaa10bdb6efe1367228ee81","datavalue":{"value":{"entity-type":"item","numeric-id":1354627,"id":"Q1354627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d8d65664bd9796a2c19d50662251f540f79a66","datavalue":{"value":{"amount":"+0.93443257","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":"Q935168$FAC42E1A-178B-4601-8981-E7F88D48ADA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0698c1678bee9fc80ce63a6b726ce6df0d6ad7","datavalue":{"value":{"entity-type":"item","numeric-id":1101185,"id":"Q1101185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a6e9c8ec6ea4d7b0686bcf1673619aee0653619","datavalue":{"value":{"amount":"+0.9134942","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":"Q935168$CEC91938-AD82-45B8-8D00-7CE15ECA9A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8610d660f16a92d1153e7a3d9ccfb80ca2679f08","datavalue":{"value":{"entity-type":"item","numeric-id":4713865,"id":"Q4713865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"986b56c69846220e0c60c4f082dbfc18f44fe137","datavalue":{"value":{"amount":"+0.9081384","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":"Q935168$D4C93997-D19A-430A-BE82-2F74FEC43168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e9e07fdd4a1e338c66a0dc830107cc3647b759","datavalue":{"value":{"entity-type":"item","numeric-id":2431381,"id":"Q2431381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3f748dc7a3ee0f558963833383b4b20a5c24701","datavalue":{"value":{"amount":"+0.9079518","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":"Q935168$B63A1886-9FD7-4000-8F7F-2542A794BAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"151f9749cb382c5a0c487d32fb2c674612c5989c","datavalue":{"value":{"entity-type":"item","numeric-id":2032159,"id":"Q2032159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7914dc9db3b612104e18877e919de8e3d4b4cfe","datavalue":{"value":{"amount":"+0.901458","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":"Q935168$75AB0405-899D-4585-8BAA-1F7B354EDDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"631f6519a0a6856f63c9d270f3b2e977c4c8b983","datavalue":{"value":{"entity-type":"item","numeric-id":4623274,"id":"Q4623274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48d466756ccafbe0ccb6a0fa608d2226bb78e98","datavalue":{"value":{"amount":"+0.89918464","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":"Q935168$26977819-B0AD-4589-B182-83F264BD1FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b30cefc0567a1799d2422bf40d9123d00f024ad","datavalue":{"value":{"entity-type":"item","numeric-id":2944797,"id":"Q2944797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ecc7e091f9b6593229e12f99f23075fab6a68c1","datavalue":{"value":{"amount":"+0.89791346","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":"Q935168$49EAC67B-8738-47EA-BEA3-5DE89F49DED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b740e4ae19100c56f40c040b1099272f9c8a9e0","datavalue":{"value":{"entity-type":"item","numeric-id":3483265,"id":"Q3483265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e23f68658616ac72ad0fb586698be269a2c1f48b","datavalue":{"value":{"amount":"+0.8977533","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":"Q935168$1D16B583-3FDA-43EF-8339-440B4512DCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd00874fc6c3ad969ec7240276c8b4a5d6f74c0","datavalue":{"value":{"entity-type":"item","numeric-id":1637226,"id":"Q1637226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa8ee7a2ab3d7a191dc94fefa577e4e17984e6c","datavalue":{"value":{"amount":"+0.8915815","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":"Q935168$A6348848-E14E-4C58-82D8-1283E5AE50A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of Tarski's fixed point theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_Tarski%27s_fixed_point_theorem"}}}}}