{"entities":{"Q2106601":{"pageid":2117344,"ns":120,"title":"Item:Q2106601","lastrevid":55427524,"modified":"2026-02-17T16:10:02Z","type":"item","id":"Q2106601","labels":{"en":{"language":"en","value":"ASNP: a tame fragment of existential second-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7633504"}},"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":"Q2106601$22C7398E-0B38-4A8B-A417-0F271F7BF8DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7883e3910ffbcaf32ee1a30f3d4f447891407826","datavalue":{"value":{"text":"ASNP: a tame fragment of existential second-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2106601$0A6D523C-6FE1-4C42-916B-764CFA9C82D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73fa61be4f2a27b32a0aa7cf8e299bb952978e14","datavalue":{"value":"10.1007/978-3-030-51466-2_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106601$433E775B-EDD2-4591-BC7D-364415E6004A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4755582e657d5373bc1841f6f1020d16c1f93d52","datavalue":{"value":{"entity-type":"item","numeric-id":259042,"id":"Q259042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$7602BFD3-842A-4AFD-8895-D7581420142C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a82d124ad10f35f98b913b2a3db61a61d55034fe","datavalue":{"value":{"entity-type":"item","numeric-id":2106599,"id":"Q2106599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$65E019B9-0CC9-4BD6-8F61-8DBA56404FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebd995f47e42abf0625de07f4bf4222389f1dfa0","datavalue":{"value":{"entity-type":"item","numeric-id":2106600,"id":"Q2106600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$70DB5314-23DF-42B6-BF8C-A78D1F59D07E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9acadd84a8b0de963ab68148d6ca934fa0ce41f5","datavalue":{"value":{"time":"+2022-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2106601$A1374EEA-D12B-40BB-B24D-7E6155F198EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21eff0c9055319f3a29932600a96e390886fb800","datavalue":{"value":"https://arxiv.org/abs/2001.08190","type":"string"},"datatype":"url"},"type":"statement","id":"Q2106601$3F775621-62E4-4789-B048-58238A58946C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106601$21A23854-DE77-4EED-8FA5-0DEA8639E82C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f55eee08bad52d6f0b8edcb8b49d83fb2748a280","datavalue":{"value":"7633504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106601$AA441F03-7249-4AAD-A456-400ED9E47582","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":"Q2106601$2D6E0DD8-48FA-45D1-83D0-0A63A25D9C18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b816ad5ec53861dc765bf1ebcf3de9deee11fa33","datavalue":{"value":"W3038004136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106601$D4277F62-3279-4F71-9E7C-D8226E7AA90C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44430a5d89449c1e2afa453a676907429dc1a0f6","datavalue":{"value":{"entity-type":"item","numeric-id":4973030,"id":"Q4973030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$9A1E8DE1-D058-40A9-A327-0A90333E6DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e92bdede00e391a5e4d976814ab00724e26d024","datavalue":{"value":{"entity-type":"item","numeric-id":4635922,"id":"Q4635922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$9F432EC0-CE3B-42C7-B2C4-4DBC99CAC170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114435c252a8610f347a9e06345bbd9bd1d2e43f","datavalue":{"value":{"entity-type":"item","numeric-id":5012511,"id":"Q5012511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$F98A025F-0BCE-417B-AF74-819F53B629C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8a7219a33517e94c6eaa97235309fab848647c3","datavalue":{"value":{"entity-type":"item","numeric-id":1936249,"id":"Q1936249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$40CD1F3B-AC7B-452B-9973-FE1474C52472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4cc1eecf48ee078b8a08b9cea2a5f1f3c5d84b1","datavalue":{"value":{"entity-type":"item","numeric-id":5145282,"id":"Q5145282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$B50C236E-29A9-4CEA-B4EA-2DE0EF6F1E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c96c196a60d1ac0e87d9d43894e0b53943e04962","datavalue":{"value":{"entity-type":"item","numeric-id":5000252,"id":"Q5000252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$03B86142-D895-4532-84C2-BA001B22C116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3fffa0c4b75747ce353808cef520c06ae5c3724","datavalue":{"value":{"entity-type":"item","numeric-id":5145634,"id":"Q5145634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$9E19A956-0668-4440-BCA9-C7D8E183E43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a9691df3749f2125edb5d7ac13b8a5670d4fc0","datavalue":{"value":{"entity-type":"item","numeric-id":1293133,"id":"Q1293133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$B122C88F-3170-4B5A-BC07-D790617BFC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$AA606D20-7B73-4FF6-B077-668B08BF5265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$50DC3A1F-6039-4FAD-B949-91C19D344E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$C068A863-E365-4E8F-BA66-80754679E001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9120165a90f157001c3ebf286baf21899fd769f7","datavalue":{"value":{"entity-type":"item","numeric-id":2427538,"id":"Q2427538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$2D579FDD-DB5C-4BD1-8941-17E74F6A42B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632317fe51438065bf57941f71730a4664ec3cc8","datavalue":{"value":{"entity-type":"item","numeric-id":3758820,"id":"Q3758820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$F5911889-C83E-44AB-B51C-54ECC8935E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$14F26BD9-7368-49EA-A39B-BA520170B564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75ebd76518f872d3df1e33713eb004824e5850f1","datavalue":{"value":{"entity-type":"item","numeric-id":4583880,"id":"Q4583880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$B58B4EC9-25C1-4D34-B0D3-DF2BB910E35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548a2ea69c501d94311db9cdca6f43c45df07c7b","datavalue":{"value":{"entity-type":"item","numeric-id":2439829,"id":"Q2439829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$068557D9-6463-4F33-991C-E1956CAD9F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2654c1ad3008ab65ddf962a999d4d8045dcdea","datavalue":{"value":{"entity-type":"item","numeric-id":4085242,"id":"Q4085242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$BE793767-0188-4C25-A455-DF7A2A1B4095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5faee6eafeca9da131bf8c4c3c999502f91edd7e","datavalue":{"value":{"entity-type":"item","numeric-id":3613358,"id":"Q3613358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106601$BA5165BC-204D-4598-A3D4-A7E2FDA66F98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96727c0fbd36dfd8c1a5eaee9df99644f7d7c44b","datavalue":{"value":{"entity-type":"item","numeric-id":5145282,"id":"Q5145282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d8cc1e8b2627d190fd52d972f7da50e40a031b","datavalue":{"value":{"amount":"+0.7742124795913696","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":"Q2106601$6D2C269B-949D-4A98-956D-8D3441E2D563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6442b68cb1c5b31c224b1aefb0f7ee5624fd871","datavalue":{"value":{"entity-type":"item","numeric-id":1024818,"id":"Q1024818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efbd956749fbf90223d05575eb065208e930f1b1","datavalue":{"value":{"amount":"+0.7690730094909668","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":"Q2106601$63EC33FF-0E70-4728-8DBF-F0055D2E1683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d133f96e609523c2fa65d864b352085d53b4593e","datavalue":{"value":{"entity-type":"item","numeric-id":6149045,"id":"Q6149045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab8ceae67d1fef5304600c74539ed741a687444","datavalue":{"value":{"amount":"+0.7585726976394653","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":"Q2106601$FCD3BA66-6F04-4B7A-996A-AAE460BDA3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350e30e0f0af00e4fdad1a661a092e8b85c5c27d","datavalue":{"value":{"entity-type":"item","numeric-id":4957913,"id":"Q4957913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5edcd3c7c635ef7e5f8c5bc95008e37702a71aca","datavalue":{"value":{"amount":"+0.7477448582649231","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":"Q2106601$98717AB8-EF25-469A-A6CB-54E7EC097294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913bf2f44a6b812d5f0bc1843b2b2553d02fe725","datavalue":{"value":{"entity-type":"item","numeric-id":2902910,"id":"Q2902910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"139b2cd513dbbb227ba07592a27ac45fbc47ce3f","datavalue":{"value":{"amount":"+0.7302197217941284","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":"Q2106601$525A99D7-C57E-4016-9CEA-5D3CA8D2257F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2106601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2106601"}}}}}