{"entities":{"Q6906353":{"pageid":20937724,"ns":120,"title":"Item:Q6906353","lastrevid":84168833,"modified":"2026-05-12T22:55:25Z","type":"item","id":"Q6906353","labels":{"en":{"language":"en","value":"Intersection classes in TFNP and proof complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8115399"}},"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":"Q6906353$7044756E-8B61-4091-8CA6-C73858AACA3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c29aa069a3a1237f5de87484df85de7ccb98d036","datavalue":{"value":{"text":"Intersection classes in TFNP and proof complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6906353$E641A7BB-6946-4018-935F-659E39FCEB5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69451bd54821cec484d2f37432944c6956b4d04f","datavalue":{"value":"10.4230/LIPICS.ITCS.2024.74","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6906353$6E83DDF8-2D10-4FB0-A591-10751BF5A291","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15ee9ed32ffff94d0e7e33d36d63cc3f925b22a2","datavalue":{"value":{"entity-type":"item","numeric-id":1637929,"id":"Q1637929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906353$2AF8D929-6788-4EF1-AA9C-9DEAA49D9AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e7771b655df3ef6dceea1d7f7c6f3f22415937e","datavalue":{"value":{"entity-type":"item","numeric-id":2169431,"id":"Q2169431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906353$97FB9D5D-A5CD-43D1-B3B7-B5C375C80038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7749ea419a7c3b783242f22f32dec4d05237622f","datavalue":{"value":{"entity-type":"item","numeric-id":2040599,"id":"Q2040599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906353$2123F6DC-AF0A-4FFD-A71A-3E4D5D4BEDA9","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":"Q6906353$955931C8-92AF-40D8-A625-BC5CF0481198","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6906353$FB3D55FB-D7B5-44A1-A6D3-FA3AA6ACEAF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e33aa88bebb7de7896eba1a6e3eb613a619d0669","datavalue":{"value":"8115399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6906353$88D27B2F-510A-4CC2-8887-ED64E0B99F39","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":"Q6906353$C307E07F-F67D-4C82-AE22-3A7A88626DDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"645f355bfce2b56ddcc0a50b9d76eb626f7374fb","datavalue":{"value":"TFNP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6906353$610B4531-3352-4C44-BFA3-9005713EE6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6906353$9052B1CB-6685-4455-A8B3-E13EBE776AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7af5426f3c4bd1f4be07fcb346ff7215ee7ccad8","datavalue":{"value":"intersection classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6906353$FA21C880-F62F-425D-83CC-E7B5E10CBF16","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":"Q6906353$2621DFAC-9EDD-417F-B5F1-D5F29C333159","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":"Q6906353$C4983879-3FE2-4D1E-B12A-13ECF4C25E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd43402025d571689c01b41295c7c01edca971bd","datavalue":{"value":{"entity-type":"item","numeric-id":6649455,"id":"Q6649455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906353$8BB55FB0-86CA-40AC-ADE1-14658FC36D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610d863194f6caaa65390859158e7dffb2e3640f","datavalue":{"value":{"entity-type":"item","numeric-id":6610293,"id":"Q6610293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906353$AA8CFD6F-EC0D-49C0-8DF3-1E6962079FA6","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":"Q6906353$FF381AFC-BEE2-4759-B089-3361BD7E3A50","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":"Q6906353$4E3AEF9D-D04C-4D73-9206-D5783530157A","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":"Q6906353$12585F7A-87D3-41E5-9F78-F866CFCA040A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3acfba31d4ad20847eda140003623ea8ae607255","datavalue":{"value":{"entity-type":"item","numeric-id":5171211,"id":"Q5171211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906353$5F1F2EEA-5C9A-4BAB-B582-3A351C8D28BA","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":"Q6906353$A1C33689-03D1-4C03-B296-BCEA99FAA841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7a9de9c314aeae2e9dd1ae8bd4f032f0ddf271","datavalue":{"value":{"entity-type":"item","numeric-id":2941529,"id":"Q2941529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906353$ABAC768E-9A08-4D9C-8C00-D260F3534ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bab5fbf010a38376a28bb1fffea9e24e7df2b417","datavalue":{"value":{"entity-type":"item","numeric-id":4640292,"id":"Q4640292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906353$EB030634-C031-49E4-91BB-3810CE87D488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7c0995024b8c2d7abd4b1321e483a011122130","datavalue":{"value":{"entity-type":"item","numeric-id":959811,"id":"Q959811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906353$60844F55-FBCA-421F-90A6-B7AE5ECFEC3C","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":"Q6906353$910E28FC-7763-482C-AB33-358BE25E24A5","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":"Q6906353$535CF099-0907-43B8-B255-A4E5BD04F318","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":"Q6906353$332105BA-C769-48C7-8780-9E173DEFE654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af69a2a2bdc6c43a47a3fef3cb8babeb7b3f579","datavalue":{"value":{"entity-type":"item","numeric-id":2194856,"id":"Q2194856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906353$67EE207A-7F5E-4B23-BC30-DF4D375B1E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd01ae611bdc1621b0ff2ccac7d01bf6e7f3b87","datavalue":{"value":{"entity-type":"item","numeric-id":5215904,"id":"Q5215904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906353$1177084B-3107-42D0-9A10-8B069680E88E","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":"Q6906353$611874CC-8131-45D8-9942-D6FC0CA2A6E2","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":"Q6906353$6BB1072A-B766-4C8D-A78F-36AF8C8C5760","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":"Q6906353$DD4B5A0B-67E9-4997-941F-475719811A94","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":"Q6906353$2D342EB6-770B-4B39-9920-311F8B500EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60239ca3157ed98d51bcfd9900afb82df0f39de2","datavalue":{"value":{"entity-type":"item","numeric-id":5941296,"id":"Q5941296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906353$6A19C9F8-CE51-4B0B-A338-20177EBCD7B6","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":"Q6906353$CC711DCC-935F-4C5E-A963-09688AB6507C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302adbaf2b8357f20069be2a0dab5e3eb2168585","datavalue":{"value":{"entity-type":"item","numeric-id":1109573,"id":"Q1109573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906353$E11AD97A-5591-420D-8655-61D22EC7DD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75ffdd4e4fbbb4e5abbbbf93026701fe0c34d73d","datavalue":{"value":{"entity-type":"item","numeric-id":4554071,"id":"Q4554071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906353$C1B8C931-D4A2-4877-915D-6BA2E6CFB808","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":"Q6906353$64A696DA-A4CC-412A-9441-6173DA7CA693","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":"Q6906353$1D68BF88-CCF8-4F5A-9D37-D9EBB5376F68","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":"Q6906353$38B6ECDE-7C37-4808-BE86-8771D594B2D3","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":"Q6906353$C5CEC7FD-4F66-4357-ABF7-3C78591BAC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f54e09132b99bd89721843b6f55072758b48be","datavalue":{"value":{"entity-type":"item","numeric-id":3204045,"id":"Q3204045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906353$44768602-0A50-4697-8D1C-CB4FCF51B5EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intersection classes in TFNP and proof complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intersection_classes_in_TFNP_and_proof_complexity"}}}}}