{"entities":{"Q5245724":{"pageid":7275292,"ns":120,"title":"Item:Q5245724","lastrevid":58495641,"modified":"2026-04-05T11:32:49Z","type":"item","id":"Q5245724","labels":{"en":{"language":"en","value":"One quantifier alternation in first-order logic with modular predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6425195"}},"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":"Q5245724$6CA202DD-D493-4830-9E3F-0F8AC4C76E2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1f8bb2f43224e778ad3d7aa30719856c97132da","datavalue":{"value":{"text":"One quantifier alternation in first-order logic with modular predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5245724$97AB2316-1F38-4BE3-A793-C4E8CC6DD729","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c77a32df3ab77964050c722fc7474ef55644c017","datavalue":{"value":"1339.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5245724$ED45BF4A-EA53-4125-BC43-AB897EB2745D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee0de4af1b7c20aa534acd2585628b6cd288f3b0","datavalue":{"value":{"entity-type":"item","numeric-id":263827,"id":"Q263827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$71B53FC8-F8E6-45A6-B7AA-1C2AC5E5502B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fea355cf013cd172d035402244dbc73d9f6a71bc","datavalue":{"value":{"entity-type":"item","numeric-id":1635803,"id":"Q1635803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$FE302FAC-0AF3-4B61-B3BA-1FB35B2C8A48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$81E31AC9-B293-4598-A947-C3A27E55022C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93fd6275c53972dc29e27fe1419d8d46854b0530","datavalue":{"value":{"time":"+2015-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5245724$CA252F40-F65A-406F-89B1-709DCE4F3E2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bf915eabdad96bd087ea33418c4f24e69068ed2","datavalue":{"value":"https://arxiv.org/abs/1310.5043","type":"string"},"datatype":"url"},"type":"statement","id":"Q5245724$42506E21-90AB-41DE-91E0-8361264D2851","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5245724$40C4A66B-8934-406C-9712-9ACC43D62731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5245724$B1C6D1A6-AEED-42EC-823C-96D175C3B2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5245724$ABA13F84-3DA8-4C3F-A2FE-6B752537DFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5245724$E62F25F8-B41E-4C52-AB2F-BD11D8ADD4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5245724$BC281698-120A-4F0C-8C7A-D00584E3A3A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dce86ab4786702d0efbc38ae29b45b7bf65abd8","datavalue":{"value":"6425195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5245724$B1C8EA19-7B66-4341-A9B0-C5C8E5764475","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"013ea0ae18b29892b5726356388c7d5d42063956","datavalue":{"value":"finite monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q5245724$BC091EBF-EE4F-40FF-B05B-2BD9027C9920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1074478189a1dae728dbac437998d5ebbdac6430","datavalue":{"value":"syntactic homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5245724$A767B2BE-AFF3-4267-B0C2-476C075A32A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"824d3ae3b5e4575215f8f1e1fb0d0f541dff38a5","datavalue":{"value":"logical fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5245724$49461A52-44C0-461B-A743-9D9D66CEE928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5245724$C71F2BCD-9A63-4E97-8A47-2F5C9CEC3665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"387eb5b3f7d0dc699b98a215384705855a451ba8","datavalue":{"value":"modular predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q5245724$1521D114-8E5D-4F8D-9B93-B8E805983E89","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":"Q5245724$42A3CF4E-4479-4208-8639-C4CF3F8B92D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d620b41898410e6f87135448f18270f4f26464e","datavalue":{"value":"W2964015538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5245724$9F192119-255F-4811-A1B5-589E1EEF7801","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05c91997778e8de9ca78a693c546b2e0bca4d440","datavalue":{"value":{"entity-type":"item","numeric-id":1183588,"id":"Q1183588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$032ED067-F78D-4DB0-8270-88BF9BC89B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288f37d8a837249ff4cf0b134db1dbee259d89ad","datavalue":{"value":{"entity-type":"item","numeric-id":1191027,"id":"Q1191027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$83D72C8B-C8C7-49C6-89EE-EBEAB9B0F055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d8b8473de24241db97261b3037ac2ffa272b41","datavalue":{"value":{"entity-type":"item","numeric-id":2490810,"id":"Q2490810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$5DA9D8A7-53BD-4B2A-82F6-2470511024F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e59ae5c8b9bd41395abdf0589230adbea47a374","datavalue":{"value":{"entity-type":"item","numeric-id":2957895,"id":"Q2957895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$8540266B-4F51-436D-8C41-8D364E1644BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0224cc11e92917094ceee66bf62982a9eb25550a","datavalue":{"value":{"entity-type":"item","numeric-id":3538848,"id":"Q3538848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$1EB05269-5149-4069-B5C7-D6F79810B993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68a600f90e826363fe64c7222921012bfedc4edf","datavalue":{"value":{"entity-type":"item","numeric-id":4439449,"id":"Q4439449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$A8B3E9B2-0A86-4C1F-974B-2DF545028524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb197a8c9307a817f39d56e1c4032c14b61d6618","datavalue":{"value":{"entity-type":"item","numeric-id":4467896,"id":"Q4467896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$62EF4415-7448-40EC-9438-455330EA246B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396933aff002ed85940dd86a62e348f0c1c41f66","datavalue":{"value":{"entity-type":"item","numeric-id":2912759,"id":"Q2912759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$82E480AA-0709-4422-852C-E64E3F53A853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7652d490ab2a9fb81e9bf70bafa845632a1d46","datavalue":{"value":{"entity-type":"item","numeric-id":3167018,"id":"Q3167018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$2A851470-32D2-4A7F-ACC9-2C3BE42F2006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1673272fa2a13a719051ee9e8d5ff4220ac18e51","datavalue":{"value":{"entity-type":"item","numeric-id":2904628,"id":"Q2904628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$1650C4BF-E55F-4165-A916-C0E4541B87F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$81295D0F-4232-4E93-BB51-7F15F7FC1197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a816d15f1a3851350199122015284909d8230ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1361889,"id":"Q1361889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$1D4B5D04-0786-4695-8112-DEDCAC920AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b211a1fc1f90b175d7bc8d5aa34cee0bf358fd","datavalue":{"value":{"entity-type":"item","numeric-id":4531139,"id":"Q4531139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$8926AB2B-34CB-4D44-9F4A-07E68DC05044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$6A7AADD1-9E50-435C-9753-9AE25EA48CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c71bf5594d80706e33dcbc13841c2d147bc380","datavalue":{"value":{"entity-type":"item","numeric-id":4077455,"id":"Q4077455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$4D54D50B-E092-4ADC-845A-BA776B863212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"406bf4098a1ddb2d0ade5ddcf4b35c26106e18fb","datavalue":{"value":{"entity-type":"item","numeric-id":1150445,"id":"Q1150445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$82DE0599-C6E2-41C0-991B-C337970AF893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad71e0c47b486677961310ebe80bdd31a6c3125","datavalue":{"value":{"entity-type":"item","numeric-id":2266068,"id":"Q2266068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$1827E527-660C-4459-80A5-55A58150D404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$0B3F99C5-464D-4E77-93AA-D6B4FB9F6F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b113992ed619428b1b3229f72aa33ebdb82b8beb","datavalue":{"value":{"entity-type":"item","numeric-id":3044353,"id":"Q3044353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$B9065915-38BC-4E7F-9BD2-894F668D9593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30aaf34bfb733fcee44609be6a99d8b046e5bff","datavalue":{"value":{"entity-type":"item","numeric-id":1405799,"id":"Q1405799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$273A50FD-78F9-4AA4-83F6-28A96A13B423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9197bb6f0e12accf079e71a6d1aab815fc96359b","datavalue":{"value":{"entity-type":"item","numeric-id":1892890,"id":"Q1892890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$0502D519-F5B5-4573-8F3F-2D24AD183195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"337efcaa3ae20f38fff20af4d53f2602d2e9e5c4","datavalue":{"value":{"entity-type":"item","numeric-id":4407441,"id":"Q4407441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$A0A5E67D-75C6-4F9A-B61A-E9F08F61A9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ddf6cebb41dcd6f276c486ae807a1c96140cd1","datavalue":{"value":{"entity-type":"item","numeric-id":1157412,"id":"Q1157412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$DE49F087-88DB-490F-B4CA-87D59B7B76BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b4aceb094ef820b31d63ffcc39dc6e58d4c0fe","datavalue":{"value":{"entity-type":"item","numeric-id":4542541,"id":"Q4542541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$D4BF1274-B5F3-4EE9-AA80-3C837274912B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee6d83667516f08e057d913a2b054f4d07e596f","datavalue":{"value":{"entity-type":"item","numeric-id":1173413,"id":"Q1173413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5245724$333C00BC-179F-4F8C-A4CA-766FA3DE84AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04601572a9c04b1f78a5587760b5194703f18e4c","datavalue":{"value":"10.1051/ITA/2014024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5245724$B59E2EFE-B845-412F-9FFF-5F915A7301D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c096d9b988dc033dd6f0a2088eda170d0398bb0","datavalue":{"value":{"entity-type":"item","numeric-id":2957895,"id":"Q2957895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63db0ff777854a628a6af3e2eae7637b897f75f3","datavalue":{"value":{"amount":"+0.8450779914855957","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":"Q5245724$141FD8AE-0DE7-4047-BCCB-0A200A8057F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28960c1b77eaeeee4e6c9304c76ebe8fac61a6c8","datavalue":{"value":{"entity-type":"item","numeric-id":3538848,"id":"Q3538848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da3c0b2ecae44081b77d578483f717811d0731d","datavalue":{"value":{"amount":"+0.8155019283294678","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":"Q5245724$6D0C5BAD-57FA-4364-A344-F03851FB640A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1488782acc25ac678b0149c20a5939eaf313de95","datavalue":{"value":{"entity-type":"item","numeric-id":4649563,"id":"Q4649563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8bdb9f2262c2777f29d9751bc0ca5ce449845c","datavalue":{"value":{"amount":"+0.8140949606895447","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":"Q5245724$701C55A1-93B2-4F6A-8E26-7622D9E6431F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cb2bf362bb02d254fc35081851106d451401676","datavalue":{"value":{"entity-type":"item","numeric-id":2947877,"id":"Q2947877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4446544104705104247ddfdaf4dcbdbd0f81559e","datavalue":{"value":{"amount":"+0.8128107786178589","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":"Q5245724$E727B5AB-10D5-4333-B203-3E3CBFEA2A30","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":"642bf43295ad4d2348b52df454a744e536c457f6","datavalue":{"value":{"amount":"+0.8069837689399719","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":"Q5245724$AEA6813B-EF5A-475F-BE91-B53BC4D3F7D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5245724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5245724"}}}}}