{"entities":{"Q6135757":{"pageid":13270064,"ns":120,"title":"Item:Q6135757","lastrevid":58710429,"modified":"2026-04-06T10:26:09Z","type":"item","id":"Q6135757","labels":{"en":{"language":"en","value":"SAT-Inspired Higher-Order Eliminations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7731920"}},"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":"Q6135757$A70A67C3-23C5-474B-B16F-1576428FF0C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28ba58362eec0480e3fc09dd5e14d2ed19911b43","datavalue":{"value":{"text":"SAT-Inspired Higher-Order Eliminations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6135757$01773669-3DDE-41E2-B5E1-7EBEC0641691","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c29c686dffd678d9f155b05a4a1aa93e85953c","datavalue":{"value":{"entity-type":"item","numeric-id":287335,"id":"Q287335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$07BCA9DF-E885-48CD-ACE3-B4AF2E2155D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bdfb0e05a7f9b26ddc4864b42413727acf0142d","datavalue":{"value":{"entity-type":"item","numeric-id":2051563,"id":"Q2051563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$CAD5F9AF-D494-4435-BFA6-5B7C10BCD2B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$0813E916-40DB-4757-AF99-985F956624BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b7666770f35571057e67aecf4ce96423667a54c","datavalue":{"value":{"time":"+2023-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6135757$9CC549D6-D005-4832-BB6D-62A39BE3BF24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b62054650cba949e5bddfcd787811ea59a1e3142","datavalue":{"value":"https://arxiv.org/abs/2208.07775","type":"string"},"datatype":"url"},"type":"statement","id":"Q6135757$52CA672A-B16E-4D1C-8F87-215E4C111453","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135757$EF6267DA-0695-4790-B68D-692275994343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135757$3F58AFE9-7469-422F-9C71-CBFB700866A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6178c1c76f769a2db7d0c7dacf829f59b791ff1","datavalue":{"value":"7731920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135757$783FDBAF-0982-4208-B7A8-1710E75B5F23","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":"Q6135757$A86821AC-9AA8-444C-B2DD-2272837070B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cae959bd5228390b7a90c8905a786b9761de8c3e","datavalue":{"value":"W4375860224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135757$158D2EA3-E67B-457A-8B08-769AC6A1E178","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f8c21e6d82f31fa2f7618306ddf28c9bb5b315","datavalue":{"value":{"entity-type":"item","numeric-id":2055874,"id":"Q2055874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$97F9C687-274D-4B05-B52A-A231A71CEF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$8E5577E7-5891-44AE-8B2B-BA4462CA02D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb7b45117e264afac6f1770faf1f5ba4803f555d","datavalue":{"value":{"entity-type":"item","numeric-id":4249891,"id":"Q4249891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$2B69FB53-DB67-4803-9E35-49DFBF641997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7ce665db3435fa98f1acda442e827ec5d171f3","datavalue":{"value":{"entity-type":"item","numeric-id":2096452,"id":"Q2096452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$5CE722F5-17C1-42D4-8C59-0CC029995C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c9398475f7fa9379872481d74552458b55195f","datavalue":{"value":{"entity-type":"item","numeric-id":2723442,"id":"Q2723442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$B0D5606F-6C92-4881-ACF1-C9C16146B03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$74E5D466-4473-47D0-B0EC-516651669209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bebb311f3b828ed54a337cc22ee8307930b24","datavalue":{"value":{"entity-type":"item","numeric-id":1406610,"id":"Q1406610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$1232C334-BC50-4500-81F3-08D2E4B7481E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af94c709eb1c0b81e0a0e19178c175655fe836e4","datavalue":{"value":{"entity-type":"item","numeric-id":3007684,"id":"Q3007684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$299864D0-A3A3-4E5E-8DBB-411A1A0CB5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f829d586193236a297f70521b500446992eec7c3","datavalue":{"value":{"entity-type":"item","numeric-id":2818027,"id":"Q2818027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$FF93A21E-8D30-463E-9393-A5D314536960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$1F528EEE-1345-4139-8377-80328E1FCE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f7bde98f6f58c8179ea127c9661d428732962c","datavalue":{"value":{"entity-type":"item","numeric-id":4647510,"id":"Q4647510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$5621E386-44BA-4CE9-9794-A61C09D83C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1bdd6abc4d3cf5dea2b7602404acd1281c9b7d","datavalue":{"value":{"entity-type":"item","numeric-id":1799072,"id":"Q1799072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$FDFF0C66-582A-49D7-8400-E9CE1FF28D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cafb1aab48a88bd1a080c979a206fc7fd624f321","datavalue":{"value":{"entity-type":"item","numeric-id":2666959,"id":"Q2666959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$70128E39-ACFA-4EF4-83C8-CCB6524E0833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ea05e6ba45e2c68d92f5c8b742132b4d21f715","datavalue":{"value":{"entity-type":"item","numeric-id":5069650,"id":"Q5069650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$4A0E2C16-E206-4BA5-9996-5C86C29827E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822937a9d01cc9dda5e4376303179bea61b01a37","datavalue":{"value":{"entity-type":"item","numeric-id":5714759,"id":"Q5714759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$6BE96B46-8639-4140-99B2-00A4CAD6E104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$576A6096-F559-4356-A0E8-F088A29636D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"460b4ac3d5fcbf54c94d3ace4c894ddc3cc814e6","datavalue":{"value":{"entity-type":"item","numeric-id":5918575,"id":"Q5918575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$0AC86517-77B4-41FC-A1C1-B7F2D177E63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856cb3bdd13bf8f452e0e5c787446dd3b2227178","datavalue":{"value":{"entity-type":"item","numeric-id":5875949,"id":"Q5875949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135757$A53B6850-B24C-4F1C-A3E5-8D2010B523E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08ce750ce51b67f1694b6c6e68bc5d3ba41f66ae","datavalue":{"value":"10.46298/LMCS-19(2:9)2023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135757$F30DD578-1A34-40BE-98B6-13A2EE45232E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0880741c3c12b53e29e3e6a1d6dce99a7cfef870","datavalue":{"value":{"entity-type":"item","numeric-id":5200021,"id":"Q5200021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f9894d8ba36b9bc549eb7a1818e70e1c66c718","datavalue":{"value":{"amount":"+0.7960517406463623","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":"Q6135757$1A991292-BDFC-4B41-A662-6D05E08EFFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb2237d5df6fc81179b573483e3885ede02944bc","datavalue":{"value":{"entity-type":"item","numeric-id":2351156,"id":"Q2351156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b36e8a4b6af5e39f1117cca853a24a181e37f9e","datavalue":{"value":{"amount":"+0.7925248742103577","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":"Q6135757$7D8124B2-0D42-4F89-BE80-305CE30FFFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9ee3fedb306e15b25ac18e1c056a5542779645","datavalue":{"value":{"entity-type":"item","numeric-id":2405255,"id":"Q2405255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8e3776b217a4c39ae549fc610bb01be22ec8c9f","datavalue":{"value":{"amount":"+0.7856703400611877","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":"Q6135757$D664CB33-F343-4E2F-A559-EC9C596D0EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4418053e795a7f2fd48d66bea18b47267bbc9cb0","datavalue":{"value":{"entity-type":"item","numeric-id":2818027,"id":"Q2818027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f2ff36a4e8ffe6029cf680b61aac44c536eb1c","datavalue":{"value":{"amount":"+0.7806798219680786","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":"Q6135757$6B24F56E-FA50-4E3B-8320-49A79891A3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af0cef260fd5715d276a6fa5c33ddfa938220ef","datavalue":{"value":{"entity-type":"item","numeric-id":5918575,"id":"Q5918575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f7dded47c1af9b799bfdf168b6c3e39f4871c2","datavalue":{"value":{"amount":"+0.754883348941803","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":"Q6135757$FF24A96B-3594-481D-AAC2-E699C82E448A","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":"Q6135757$A87694F3-E4FD-42B9-A2EE-95AAE7B1851C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6135757","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6135757"}}}}}