{"entities":{"Q6906366":{"pageid":20937802,"ns":120,"title":"Item:Q6906366","lastrevid":84168800,"modified":"2026-05-12T22:54:35Z","type":"item","id":"Q6906366","labels":{"en":{"language":"en","value":"TFNP intersections through the Lens of feasible disjunction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8115388"}},"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":"Q6906366$AC269617-0A60-43D4-85C9-1DCBF5F8D086","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"798c484557b3399c8d14c7e40171fbfcc7fc0dad","datavalue":{"value":{"text":"TFNP intersections through the Lens of feasible disjunction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6906366$C49587F8-BCFC-4C6C-BCB2-994E79E206DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd5bc6205e57746479c66d322b4fe39de9457070","datavalue":{"value":"10.4230/LIPICS.ITCS.2024.63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6906366$CFE8F966-746E-4A0E-8B20-58667C3D204D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f18c5c2c76b8c72b73a3b271c88b32a5d4b364e","datavalue":{"value":{"entity-type":"item","numeric-id":506538,"id":"Q506538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$E2C07755-DC0E-4514-A373-F26224C10069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0be0da6e28d93880cbc639d1c84e853363b9cde","datavalue":{"value":{"entity-type":"item","numeric-id":2074811,"id":"Q2074811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$820422AF-E2D8-4CE9-8588-571491BCB33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20891ef55d2a5c027c71fa5443ab52ee86634717","datavalue":{"value":{"entity-type":"item","numeric-id":647333,"id":"Q647333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$15296752-B7AF-427F-A557-65F432FF029D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57d1246c8339bcdec3a59483c632c6d106ca03b0","datavalue":{"value":{"time":"+2025-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6906366$5524719C-32DB-483E-819A-B38E54D43E94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6906366$40B1120B-29CC-4401-A9B7-B1C920821DA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"269cf5ba335ef7b0b89ca51044376700e28e856a","datavalue":{"value":"8115388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6906366$27C0A47A-4D45-43DC-8665-BD2CC40E56E1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$E0F361F1-CF56-4CCE-BCF9-59633A7A4C91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"645f355bfce2b56ddcc0a50b9d76eb626f7374fb","datavalue":{"value":"TFNP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6906366$AF9E6870-312D-4526-80BD-33A4C0B4BDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c91d5d9ad2deccefd78f82317990d612ca3fac08","datavalue":{"value":"feasible disjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6906366$99605CC4-7F39-4908-83CC-82321C03B065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6906366$C59C80BE-5C8C-417D-8F19-8B063919DB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ba26d88066db8c9e7115a196215af5a6878f8b","datavalue":{"value":"TFNP intersection classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6906366$0B504FAE-39FD-41BA-9504-C7711005E7D7","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":"Q6906366$FF91893E-7607-4934-A39C-A870070AFEAA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"465f736e3553ade7935865484c1b908a1260691b","datavalue":{"value":{"entity-type":"item","numeric-id":5277920,"id":"Q5277920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$44743BBF-465C-4137-A1E2-7DA57C284FEB","rank":"normal"},{"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":"Q6906366$336819D3-762E-44C3-9269-7A372404361B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4543d8f2ef36738c645393aea2d2e60cd486df7c","datavalue":{"value":{"entity-type":"item","numeric-id":3654387,"id":"Q3654387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$815D2B2F-66FE-4E43-9537-B0BCB3617047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a22c61ff46032f453cfb06239aff4f9e4d83e0f","datavalue":{"value":{"entity-type":"item","numeric-id":4375786,"id":"Q4375786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$5CF63065-2393-4B6A-A5B7-75E2B9337437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fa561ac7459cf3efc368cd16b5bfdab0b68ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$D3438693-09F5-4E39-AC1A-D7B766483DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23400c278c34c4952b60ea1739aefeaf237f99e0","datavalue":{"value":{"entity-type":"item","numeric-id":2921008,"id":"Q2921008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$FA469DEF-A4E0-489C-8E35-909ACACF41CF","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":"Q6906366$4AB529E7-486C-432F-A01F-0CBA78834FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cfc6d1ca649e77a169b6cd08a9283c8c165615","datavalue":{"value":{"entity-type":"item","numeric-id":1304542,"id":"Q1304542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$6168A1D1-DB92-4373-8C63-212BD2F3363B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc668831a6565a498110f2aeac4eebcb5e83ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4228469,"id":"Q4228469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$AEA93CFB-DA97-40A8-9D29-EC7CDFD1429C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa27c581a15695ca87477e8f2501fcec44c07e4","datavalue":{"value":{"entity-type":"item","numeric-id":1019183,"id":"Q1019183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$37A395DE-688A-4BD6-BCC2-24BE22F36EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38364b8cd83db9ca27dea92c068e7e67289a49f4","datavalue":{"value":{"entity-type":"item","numeric-id":5365081,"id":"Q5365081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$8D2F3437-42B4-4C8E-8EB9-24C732BE604B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af15aeef62e9ce7edff9246026ba260e783bcc7f","datavalue":{"value":{"entity-type":"item","numeric-id":5230275,"id":"Q5230275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$FE78D672-3D4E-4EFC-9E56-B6C915CD2E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc05422a99f9e21c00f2f5346fee3d76edcee0d","datavalue":{"value":{"entity-type":"item","numeric-id":6640374,"id":"Q6640374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$396425AD-44DD-4F93-AA5A-1C75EA0D61F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03b63801858b254d2de663d8877e0b162b74edb","datavalue":{"value":{"entity-type":"item","numeric-id":6942965,"id":"Q6942965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$1552CC0B-8DF7-42CF-8304-58454CF14088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efe781128856eb796cc05ac182996049d2dcf1b4","datavalue":{"value":{"entity-type":"item","numeric-id":6567266,"id":"Q6567266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$E01DE518-EFF9-4BAD-A873-7B87DEAE95CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f9b90bac6f37bb0792aee048caa2f96ce1f3b3e","datavalue":{"value":{"entity-type":"item","numeric-id":5090415,"id":"Q5090415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$5A462103-718B-4B5A-BE3F-00D35F4E179B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab03f010457457d287a95ea9432dcb34211e154d","datavalue":{"value":{"entity-type":"item","numeric-id":6568376,"id":"Q6568376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$E0701A14-D67D-44A1-9F94-B300BDBC231B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5deea84536a13c245ba51a2fdb97437a6ef30b7","datavalue":{"value":{"entity-type":"item","numeric-id":6942976,"id":"Q6942976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$FB9ACFCF-E8E6-4EC0-AC71-34C2F26C76B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc766c8b3a4376dff43108ffa0c137c39f10c9b1","datavalue":{"value":{"entity-type":"item","numeric-id":5092469,"id":"Q5092469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$2E5013A5-C018-41ED-B0DF-A47A26923064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df219f4b1d6b6cae04e4aab265b23d28d5a214b","datavalue":{"value":{"entity-type":"item","numeric-id":6842509,"id":"Q6842509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$F360CFAE-9D81-4E71-A5CE-5BE844C057C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efde4648303a9722fdee8cffbcce8a612c80f3d3","datavalue":{"value":{"entity-type":"item","numeric-id":5918090,"id":"Q5918090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$F9AA3AAF-B3A3-495E-B8E5-D69D68A77167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a585eeece6aa1e9af44e7d63b581872e074f5f1","datavalue":{"value":{"entity-type":"item","numeric-id":2037189,"id":"Q2037189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$2DC2C178-520B-466B-AF24-D6380605B1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59762ea941e3b0d6cc2dff73c50067cf74f9b543","datavalue":{"value":{"entity-type":"item","numeric-id":4976395,"id":"Q4976395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$779E024E-A537-453F-B275-E7D5014B5989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea72334575ec9f68c192adc857ab078ff1e97f3","datavalue":{"value":{"entity-type":"item","numeric-id":2503409,"id":"Q2503409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$109DDE60-6E18-4F7F-ADFE-DA7F7DE2C537","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":"Q6906366$F5729EA0-01FC-45DD-8B2F-A2B23B28FAB4","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":"Q6906366$3DEA2DBC-0FF3-4E39-8431-F886D5F34C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5b38c212374844175353723e629ef713d64f34","datavalue":{"value":{"entity-type":"item","numeric-id":5055313,"id":"Q5055313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$B4ABB350-E8D9-42FB-9A7E-21B92D776376","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":"Q6906366$4DE5F94D-4AF0-44BA-9657-AB05532C8939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$1572B7BA-39D2-4F34-BDE5-3EC8BF0FAC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$5D6535E4-B308-4417-B397-1A4CB6E22449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274d4deafe51d5af32b6fc7fab2c3a66cc1cc195","datavalue":{"value":{"entity-type":"item","numeric-id":6906353,"id":"Q6906353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$974385C0-4C60-4F5E-8B6B-6C3B99114D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6fd229e4e2bb54aca43f407945c6513ae824bd","datavalue":{"value":{"entity-type":"item","numeric-id":808245,"id":"Q808245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$C131AC33-C5FD-4144-95FD-3C3DAA517F15","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":"Q6906366$EC616AA3-E998-4043-91F4-DE1A38F3F3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$730F4A3D-9219-44F3-B88C-1F74D9C0F340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f45d398cee7029b6c4eb7c6c0e2a1a407fff02c","datavalue":{"value":{"entity-type":"item","numeric-id":4934563,"id":"Q4934563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$05B48D4C-6F0E-4B53-A06D-BEAA013D5BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37793be3730796c8bd8943b2c004c4b13247fb3","datavalue":{"value":{"entity-type":"item","numeric-id":1401249,"id":"Q1401249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906366$FEAD2F99-95E0-48D5-8530-B55D5B032196","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":"Q6906366$A9FC3F95-9591-4249-9823-2BAEACC4BA81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"TFNP intersections through the Lens of feasible disjunction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/TFNP_intersections_through_the_Lens_of_feasible_disjunction"}}}}}