{"entities":{"Q6604680":{"pageid":14215837,"ns":120,"title":"Item:Q6604680","lastrevid":40586212,"modified":"2025-03-07T10:50:16Z","type":"item","id":"Q6604680","labels":{"en":{"language":"en","value":"A SAT attack on higher dimensional Erd\u0151s-Szekeres numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7912972"}},"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":"Q6604680$05611ACC-C78A-4651-8557-540820AEE957","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c29f32070c7138cc391f6641dcdd47d5099cd36","datavalue":{"value":{"text":"A SAT attack on higher dimensional Erd\u0151s-Szekeres numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6604680$75FB5743-4E1D-4723-BC48-053128F17482","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c0fa29c89b218059dd1e943475258ee65e0b71e","datavalue":{"value":"10.1007/978-3-030-83823-2_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6604680$A9FC58BE-D724-4789-BED5-7FBFD134E7EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd199820a214f8e99c670412840f20553d7909e3","datavalue":{"value":{"entity-type":"item","numeric-id":827301,"id":"Q827301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$64F9AD2B-92C9-4F36-862D-27ECF6AC23F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a848dfc87132e68be776a9e5e9186f0b24654d3a","datavalue":{"value":{"time":"+2024-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6604680$5CABD668-30A2-459C-BC7B-F228D4FE785D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1a97a7188d4143e338e99eba7d65493911702cf","datavalue":{"value":"05Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6604680$D0B34AFB-0117-4AD8-98C7-350C674E71E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4998752fb8ca779ebc009b6d218a147d9481fe33","datavalue":{"value":"7912972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6604680$D694204B-A004-4F6D-BFD2-40443CA659F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55296d66e7c498642e5ee052aca05b744860c425","datavalue":{"value":"Erd\u00f6s-Szekeres theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6604680$706E4694-422A-4A7D-9D16-0536E0BB7AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea259e8b5a915d9de06eae1ed14c0ff2de34b669","datavalue":{"value":"higher dimensional point set","type":"string"},"datatype":"string"},"type":"statement","id":"Q6604680$0B5D7BD4-F03F-4830-BE4F-F74D5996217E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3191786151a8b4f7a78b75973fb841bcad915c6b","datavalue":{"value":"chirotope","type":"string"},"datatype":"string"},"type":"statement","id":"Q6604680$355E406E-78F2-4205-8905-A7FC12F8BC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b59b64272cfeb3469d221970775faa04ead3700f","datavalue":{"value":"Boolean satisfiability (SAT)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6604680$6DFBD78D-A57A-4706-8941-92B41BDBEAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52d191be1a64d2a823d7f6d3cbe6390d1f4c93a7","datavalue":{"value":"computer-assisted proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q6604680$077A0BDB-13ED-47A5-8057-95C8A98532A5","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":"Q6604680$3E5148A6-CC01-4959-8180-39A46D9AB185","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ccbe85787a3dceacadcac51ada0a961f7750346","datavalue":{"value":{"entity-type":"item","numeric-id":1346996,"id":"Q1346996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$A7871E55-42F0-461A-910F-5730673A75B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd78af2158b3baa2e491d7eda5d70896d3c644df","datavalue":{"value":{"entity-type":"item","numeric-id":1335532,"id":"Q1335532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$FC3F0AF8-956F-42AE-BE04-87A743C59D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e967531edb96b719c0ec1c68e0d3562e3128f8","datavalue":{"value":{"entity-type":"item","numeric-id":4705312,"id":"Q4705312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$EE8DFC30-9C43-4E36-99DD-BE2D1FC8CF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"454c8ec15bc38825137b423b375c851948576460","datavalue":{"value":{"entity-type":"item","numeric-id":3207683,"id":"Q3207683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$05E4B6DD-96B1-4404-83F9-DE75B947670E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9df05cfadd429c919e2c6f49687688f6d1327d","datavalue":{"value":{"entity-type":"item","numeric-id":5759552,"id":"Q5759552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$16DDBD6C-1ACB-4596-87BF-ACAE491AB110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67d678df7d6b6756f513559a207b13d9d8015eaa","datavalue":{"value":{"entity-type":"item","numeric-id":5088968,"id":"Q5088968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$845485B6-6EE5-4F73-930F-76AD9F865ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6152a59844a2f06ccfde4ae86eec280110c3170c","datavalue":{"value":{"entity-type":"item","numeric-id":2482196,"id":"Q2482196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$E27F6713-3D0F-487E-B92C-3808158B711D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ef1ddad18a2d517ded8d358f3690d57f482b45","datavalue":{"value":{"entity-type":"item","numeric-id":1253812,"id":"Q1253812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$E6B81DA2-D2D2-477F-A649-851A6C087548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b34ce0297b5448033a17491114c32fd69594e74","datavalue":{"value":{"entity-type":"item","numeric-id":2216751,"id":"Q2216751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$A48FC72C-AF6A-41F6-807C-68B3A42FFFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6175dab652551b56ea1ab3e59569e9c643ea56","datavalue":{"value":{"entity-type":"item","numeric-id":3670079,"id":"Q3670079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$F3690843-4B01-43EB-8EF8-01EF29D136B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5817c691369b6fb8e41694a0b116f21a54918b66","datavalue":{"value":{"entity-type":"item","numeric-id":5628820,"id":"Q5628820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$32574A01-8907-4CE8-9164-9B32F0863880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df079d0ad4783402f7bf2e702524a3c3b77692d6","datavalue":{"value":{"entity-type":"item","numeric-id":5929326,"id":"Q5929326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$6AF42161-39DE-4E43-A261-9DA0CAD424B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5936b11c7b25d746804e92b3703ee2d63a7a30d1","datavalue":{"value":{"entity-type":"item","numeric-id":1423586,"id":"Q1423586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$DB50A45D-E72C-4305-B133-9B9BD113592A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"982c4208d2c87fd937fe078b867b32a55f9ea8e3","datavalue":{"value":{"entity-type":"item","numeric-id":670696,"id":"Q670696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$92585562-157D-4CAD-98E3-42EF7B33CDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2314b127b791b7931f481e3fdfab75fcb3bac30d","datavalue":{"value":{"entity-type":"item","numeric-id":4501063,"id":"Q4501063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$16F23387-5493-4BB1-84D8-9D53CBD0FEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6d14f6c62e7a4683fa9be638e7e10233224dcd","datavalue":{"value":{"entity-type":"item","numeric-id":2464368,"id":"Q2464368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$BE085790-DDB5-43F4-82A6-4BC5D56D7715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87256dab7ace89ae3ac74184ea6c603f8110fe4","datavalue":{"value":{"entity-type":"item","numeric-id":1864134,"id":"Q1864134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$A8E1CC40-1C6F-45E4-907A-8C8F55DAE2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45642af347b3b2d3847b7b6d4ff937c4eff48288","datavalue":{"value":{"entity-type":"item","numeric-id":827302,"id":"Q827302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$173762F2-8B14-4524-8CCE-18C240B1FE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae8aa99fea269dd328651f815c4f4c75fe7db260","datavalue":{"value":{"entity-type":"item","numeric-id":5280069,"id":"Q5280069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$250EC54E-23BA-466E-ADF3-6355838CA17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2995e895172c75ee038401663ed2df02ae1373","datavalue":{"value":{"entity-type":"item","numeric-id":3541568,"id":"Q3541568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$8D44F7F8-9AB4-4BDF-B97F-DA82A72E0C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bf9b727851b60bc52c798392a0099228290cbd6","datavalue":{"value":{"entity-type":"item","numeric-id":5290279,"id":"Q5290279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$E3095979-FBA1-4A70-94C5-51E68350AE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db76a2eaea21abbfada093e05a43fb0a1374d4bc","datavalue":{"value":{"entity-type":"item","numeric-id":1201240,"id":"Q1201240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$CCF0934E-38E7-42CC-9A9E-E8E60F568633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604680$84B73487-B1E4-4424-8046-89F40F96123D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6604680","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6604680"}}}}}