{"entities":{"Q2946761":{"pageid":2957481,"ns":120,"title":"Item:Q2946761","lastrevid":58064895,"modified":"2026-04-03T16:13:55Z","type":"item","id":"Q2946761","labels":{"en":{"language":"en","value":"Bounds for the quantifier depth in finite-variable logics: alternation hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483252"}},"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":"Q2946761$732E3078-6150-49D3-8DE3-315216DAA650","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d39ab1737b68bcb8eb94a800cc5afdb0b9e12cd1","datavalue":{"value":{"text":"Bounds for the Quantifier Depth in Finite-Variable Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946761$BCD4FC7E-C8B2-4109-9FD4-C546DE9CE804","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad1ddb22b27d9f33769498656c26733e9062cda0","datavalue":{"value":"1354.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946761$736FC688-E4EA-4A6F-BFA3-CE91132E1507","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18070f41d792c59332505b8a9ba738234d300d6a","datavalue":{"value":"10.1145/2732409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946761$16E7BC86-AD53-4BF9-8A9A-7080AF63D715","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0128a57e2d201f8381841a7d6f4fb2d72285a97","datavalue":{"value":{"entity-type":"item","numeric-id":2398206,"id":"Q2398206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946761$109DC9EF-823F-4FFC-B5E1-0C16F3F882F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2544a2aff544dc84ffd23bad61458f6d1fd945ff","datavalue":{"value":{"entity-type":"item","numeric-id":347113,"id":"Q347113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946761$EFD2F56B-D0F2-434A-971A-856603E01978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d4e03f109ceb4ac5ef6232e2470c42de5582cda","datavalue":{"value":{"entity-type":"item","numeric-id":259080,"id":"Q259080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946761$3F0E7A1A-48DE-4CAA-ABF4-9FB87B7AFC70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946761$AB8C67C3-041D-44DD-BE6B-AF02E02801B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946761$1814F086-268C-4219-887F-0428E6DC76D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb63d0e8905109254b8d99eb45d6747473cfc159","datavalue":{"value":"https://arxiv.org/abs/1212.2747","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946761$AD45A5AB-8FCF-49F5-B88D-5E8554C4081E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946761$0961824F-39ED-4114-9C6E-B71FB8C3D5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946761$2FA94C9D-26B2-4C2A-B6E1-6325C8CDEF2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7c2a33056a78649853f30d06a45ad3d5fb1515f","datavalue":{"value":"6483252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946761$138FB3F6-96F7-42AD-BD16-D2160DA00A74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"085ef413298529287aada489e73f3fd01de600da","datavalue":{"value":"alternation hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946761$851F3C65-967B-422E-B750-79B587A55BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d62bf018b57c0df328170749a191e0c7d35f2c4","datavalue":{"value":"finite-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946761$394543E2-AEAC-470C-828E-ACAA822060BF","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":"Q2946761$AE18BB38-331F-4D30-B503-22F57D294553","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b4171728b40b548a6498d9b7c3411d3af1b940b","datavalue":{"value":"W2115765086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946761$3B06D418-0A44-4E4B-A695-174E276A571F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9ff1fa0637afe4c2d206f8abeb077057424b8f","datavalue":{"value":{"entity-type":"item","numeric-id":2958513,"id":"Q2958513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946761$D699157F-C361-4CE3-B153-3D3204CF0824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632f3f3ad3266f07ed73ecf9baab61e9d104ee6f","datavalue":{"value":{"entity-type":"item","numeric-id":2849906,"id":"Q2849906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946761$585023A8-13D0-4E50-B69F-DD0A08C3F31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207fe11e890496516434bc3ee50b5c99ac0185fe","datavalue":{"value":{"entity-type":"item","numeric-id":1204528,"id":"Q1204528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946761$C25EB34D-FDE6-47A2-94DB-58B48728728F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04199e03d1d3ec0d2b5fbfff526a164b91654871","datavalue":{"value":{"entity-type":"item","numeric-id":1838840,"id":"Q1838840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946761$B35DF7CE-FCC2-4DB2-AC97-9E73E8832B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c96fb590a8a14ff5629ca877091a92ef28bc5c3","datavalue":{"value":{"entity-type":"item","numeric-id":3768428,"id":"Q3768428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946761$59FBA800-A54C-49D9-9BA5-0EF8667FA683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946761$C100D98D-81F9-40CF-A411-768BD7388F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b682838d45b4e37c6ad49cb3a1e9fd8b51c28c5","datavalue":{"value":{"entity-type":"item","numeric-id":1977423,"id":"Q1977423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946761$828D5ECF-D4CA-4980-9386-49ED828148B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67ee9815f7ab3c8b2b4907677d99ca915d101b0","datavalue":{"value":{"entity-type":"item","numeric-id":1164622,"id":"Q1164622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946761$95F111DA-35DC-4785-AE41-214B7B8A2870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa83ce08e81f681ff8711a2598a37848faf844d","datavalue":{"value":{"entity-type":"item","numeric-id":2368907,"id":"Q2368907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946761$8BA87314-6ED6-4659-BE83-9544482BD498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa64b2d0b154e9c30a9a3c248c555bc9a11b0ac2","datavalue":{"value":{"entity-type":"item","numeric-id":3118383,"id":"Q3118383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946761$8EADF772-64FB-4E7D-AD19-D82B052D18A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838da7f5f8986c2db0b16b41cbca0b484d9d0936","datavalue":{"value":{"entity-type":"item","numeric-id":1104118,"id":"Q1104118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946761$066EB43C-B95A-4BEF-A3F5-047AF91FB116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fedaa1226af33f3e132239a703d6971d476d26","datavalue":{"value":{"entity-type":"item","numeric-id":3395099,"id":"Q3395099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946761$F2815DE8-0C2D-45E8-9B1A-F4398FE47124","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6443ef501f1ab1f4bb8e9c93aeb98927891fed20","datavalue":{"value":"Q130878644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946761$D8C09A06-3305-46D4-BE46-170289F40ACF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eeff9275ba68d8354eb67a3c3d1dada8f4fa11a","datavalue":{"value":{"entity-type":"item","numeric-id":2958513,"id":"Q2958513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68090902d527d7a4795f98daa6562bde87a36549","datavalue":{"value":{"amount":"+0.9971289038658142","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":"Q2946761$7F156F78-CB20-4420-90A3-960D46E54FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9cc68b5d48f81cb53cadcf6989f9231f671ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3608423,"id":"Q3608423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"967411fcb0373c29d1b797c993a360b35754f5cc","datavalue":{"value":{"amount":"+0.798172652721405","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":"Q2946761$EB075023-4709-4475-A458-201F65D2B159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a776ab8a8d508b2ddc32e000ace1519752bf461","datavalue":{"value":{"entity-type":"item","numeric-id":3395099,"id":"Q3395099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c87759513295fd0fc08adc953d546e37deb87da","datavalue":{"value":{"amount":"+0.7942957878112793","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":"Q2946761$2496F076-8AE3-4566-8EC9-286B77316A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e70b918d8a19174da7027b32bd3b40e1678fd77","datavalue":{"value":{"entity-type":"item","numeric-id":4608719,"id":"Q4608719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9ed7d08ff9db5c656b534678a2e558619d2631","datavalue":{"value":{"amount":"+0.775611400604248","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":"Q2946761$41125C94-9B6D-488E-A392-7CCF888C9837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed1ff33206813d17f95c87da088cf1a9ffff730","datavalue":{"value":{"entity-type":"item","numeric-id":2957893,"id":"Q2957893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cf136f8b79f172660f190d53db26b7021030dc3","datavalue":{"value":{"amount":"+0.762599766254425","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":"Q2946761$B5275B3D-0540-4FE3-AA12-BB4DDB32F192","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946761","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946761"}}}}}