{"entities":{"Q7007746":{"pageid":21549438,"ns":120,"title":"Item:Q7007746","lastrevid":82703411,"modified":"2026-05-06T21:42:51Z","type":"item","id":"Q7007746","labels":{"en":{"language":"en","value":"Alternating quantifiers in uniform one-dimensional fragments with an excursion into three-variable logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8016202"}},"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":"Q7007746$353DB379-C26E-49EB-8F41-E0CAF5CD0BF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f435d7deca9364ffa1a1dae2ccc619471c97827","datavalue":{"value":{"text":"Alternating quantifiers in uniform one-dimensional fragments with an excursion into three-variable logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7007746$BB55B91C-037D-4DC2-8007-512204CD2AA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7e7cc3c93e237597e746f005be6c4774f1d8183","datavalue":{"value":"10.46298/LMCS-21(1:25)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007746$F69BBD11-8F05-4D2B-AC41-BA57C9B275C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc66923e6ce3db3406e75452a7ab358251569968","datavalue":{"value":{"entity-type":"item","numeric-id":6160750,"id":"Q6160750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$9BA2C875-4F7B-409B-931B-3B4F7D0916F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd410d92a5a623419be489b4cef5a0bf226c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":859826,"id":"Q859826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$F6C65C37-1F1C-403C-9F04-0872B78A0EA9","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":"Q7007746$CA12776B-A9B6-41C7-B8ED-76312BA87CBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"557ec203c60ba3b58811bdaf67c6999b805da811","datavalue":{"value":{"time":"+2025-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7007746$781CD77C-2AC0-412F-BD2C-493627AC806A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007746$B5DF7E3D-71EE-4930-8786-D94DECFA97D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007746$D89F230D-8DBB-45A0-9C6C-1CD66AD17EE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dd1240182a97678d64ed666db28b16afe45af90","datavalue":{"value":"8016202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007746$7450EA62-65A5-4D96-8F29-9500F0FC9D9D","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":"Q7007746$C850EC45-5246-470A-A0E0-5E1DA6538CF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007746$66F15595-88E0-4E35-A2E9-B9F82223DFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007746$080779C4-B65E-4778-95ED-49FCD77A1B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67bac5db6596496ff8ed84b773cebfaa6f28caf6","datavalue":{"value":"uniform one-dimensional fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007746$6FC90FC3-E094-4768-828D-E85312555710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9da6d101b03228f7ff3138761eb39aa946a2604e","datavalue":{"value":"three-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007746$707B5811-6F8D-4DF2-9D44-A735397DF898","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":"Q7007746$01FA5C8A-D38C-4A90-941E-8029CB58FB13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$BE273AF7-5B77-4E43-A65B-0C342C66D8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f875d952ba614f855bfa7c40fafda2fecf04aee","datavalue":{"value":{"entity-type":"item","numeric-id":5278193,"id":"Q5278193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$266490C8-776C-4A48-9E74-91B8E182F327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb4a91e9cc7eca8e9ff5f00e4ce6d5e415cf749","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$0B7F3823-6493-4418-B14A-7A7D62875903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a1b3d5d8226c2288fd7c98020e4e6f3c9264f6","datavalue":{"value":{"entity-type":"item","numeric-id":6638118,"id":"Q6638118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$5FBFD58D-2D07-435D-A798-821F337B5083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adcbc6e8d38ad12947422bf8aaf5bde83c86299","datavalue":{"value":{"entity-type":"item","numeric-id":5144619,"id":"Q5144619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$F73CA28E-1FD0-4BAA-B5FE-B7E652624955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b57d5224096e5b1977c4ed46b0dfb10c94f703d","datavalue":{"value":{"entity-type":"item","numeric-id":3452211,"id":"Q3452211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$FE214E02-0716-4576-97E8-912AC01ACBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdaae28851795a558e4c2a6375c70d9103384c68","datavalue":{"value":{"entity-type":"item","numeric-id":5890544,"id":"Q5890544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$A35E6400-B430-4061-A30A-F41BD8AFCCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a0c20658d52692a35b482a0d99019a4c8cb225","datavalue":{"value":{"entity-type":"item","numeric-id":5739893,"id":"Q5739893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$50E4D008-2825-4653-BFEC-99636535E443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d725ee5f807cfbf08e422a4304ee2e6a3b9ed68e","datavalue":{"value":{"entity-type":"item","numeric-id":5278191,"id":"Q5278191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$2C855B1A-D199-4B98-995F-5A628A7CE092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d9fb240a076872aab8d43aeaec5a17f34fbf29d","datavalue":{"value":{"entity-type":"item","numeric-id":7025218,"id":"Q7025218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$593212C8-6B91-4D15-BB5F-264EEDC57370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3baf4f4fb8998b494d6ab139f2aecc08e5756ece","datavalue":{"value":{"entity-type":"item","numeric-id":6970242,"id":"Q6970242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$06556E96-DDEA-4AE4-BC60-C1827059C585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$F9DE4BE0-DB69-464A-95BE-951A6B3E1F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc87ad8b718d652fb612db8e727345bcdad12278","datavalue":{"value":{"entity-type":"item","numeric-id":3695253,"id":"Q3695253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$D82282B4-C965-41CC-B6EE-10EC18011167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda69dba3c99a3e340009f86f74dfc005acc4573","datavalue":{"value":{"entity-type":"item","numeric-id":3317081,"id":"Q3317081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$D4A00177-80C0-41D9-818B-B830EE7BF65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299c95531b5545caf6e3aadb2249a8295f13d08e","datavalue":{"value":{"entity-type":"item","numeric-id":2611401,"id":"Q2611401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$0151C715-E64A-445C-985A-74DC55A6C742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a30f9226d075a014d29ada2c1344a894704fce2","datavalue":{"value":{"entity-type":"item","numeric-id":4636298,"id":"Q4636298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$1EDBF874-9B83-4F47-8928-BF8DB134B62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a22c350dc45e2a157901b8e3689289f2a56813b0","datavalue":{"value":{"entity-type":"item","numeric-id":4263163,"id":"Q4263163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$5F3C277B-BA15-44E0-8BDA-26ABA8C28914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b325ce1a576881b11260db294d6b2b694a76ea","datavalue":{"value":{"entity-type":"item","numeric-id":5394585,"id":"Q5394585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$8F795694-B034-4A26-82F6-EAACEEDDD41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd82af28b2380983d738d181f5d4b339909b9fb4","datavalue":{"value":{"entity-type":"item","numeric-id":5092374,"id":"Q5092374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$28225223-BA82-4F23-BE42-8DF1C7228776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef41b074ac5377b596af99855f8606cb34663bdd","datavalue":{"value":{"entity-type":"item","numeric-id":6940548,"id":"Q6940548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$5BAE6B97-04D1-4244-A17E-EADA6932D6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57051d75714f24389c768017d9959a9ec3341024","datavalue":{"value":{"entity-type":"item","numeric-id":2922030,"id":"Q2922030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$ADA887C3-0992-4903-BC36-C7A5B3257A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e77b7a3cc9785060a74d7dfac1986704fab0de","datavalue":{"value":{"entity-type":"item","numeric-id":5351985,"id":"Q5351985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$847F3BFD-584C-4B2D-9C85-AC83B3400AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ffd5b8c522826fd5982993c1a1c8232a97dcea","datavalue":{"value":{"entity-type":"item","numeric-id":5129940,"id":"Q5129940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$536BAF23-09E6-4247-88F4-6A2B3A2EC193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def66741257d563bc142c4ecec014e9928994fde","datavalue":{"value":{"entity-type":"item","numeric-id":5895185,"id":"Q5895185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$4A0436E8-224C-47D0-97F7-503B10B7E20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda2db14c950cfacb2d9bab387b35d1aadfc67b0","datavalue":{"value":{"entity-type":"item","numeric-id":3284606,"id":"Q3284606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$7DA6AA70-289C-43E7-BA64-C58EBC351CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30fc8a40eb42fdedd457402fd39fbf66c1808e11","datavalue":{"value":{"entity-type":"item","numeric-id":2915891,"id":"Q2915891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$0A3E0961-D67D-413D-8F97-95AFD50A59D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad52ec64cea34959c078926692150e184ed1cc49","datavalue":{"value":{"entity-type":"item","numeric-id":6651967,"id":"Q6651967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$BB210184-B4DF-4747-A5FB-AA0FFAD59C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6e5a2ec66a572177ef7c34d7ff9e3c5a3050d5","datavalue":{"value":{"entity-type":"item","numeric-id":1157324,"id":"Q1157324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$58F992C7-C930-47DE-A7C4-EB8322C5E095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$07F53D10-A647-4DDB-A59C-59757A9B46F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f516c986958c7d247b27840aad1e360580d7d84f","datavalue":{"value":{"entity-type":"item","numeric-id":5351988,"id":"Q5351988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$888EA1A6-4D1B-4CEE-AFE0-08A2CEAE56D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29cac0f07e33291d0529245afbf79c4094ee1d5e","datavalue":{"value":{"entity-type":"item","numeric-id":4931588,"id":"Q4931588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$380AB0C0-91CF-425F-A685-6212F9125605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b385791b5f19cf0803fb8b62a394b0fef7fade8","datavalue":{"value":{"entity-type":"item","numeric-id":3460527,"id":"Q3460527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$EB9AC89D-42DC-4207-82D7-B1BFA2C06A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160d3bef2e7f4e951540a88ba607fc24c5162a91","datavalue":{"value":{"entity-type":"item","numeric-id":5195057,"id":"Q5195057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$3C900CC0-E944-4D05-BCD9-275BA1FF134F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e88bd544aac0a525f64e894c53ef71e6aeac48","datavalue":{"value":{"entity-type":"item","numeric-id":5222982,"id":"Q5222982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$40D16367-EB21-4FA1-BBA3-55C24F4ADF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6be2bed4a9592ec6a2729b97e265dcf368f6612","datavalue":{"value":{"entity-type":"item","numeric-id":2848370,"id":"Q2848370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007746$BF032C1C-E437-47D7-BF33-62C816D20EC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alternating quantifiers in uniform one-dimensional fragments with an excursion into three-variable logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Alternating_quantifiers_in_uniform_one-dimensional_fragments_with_an_excursion_into_three-variable_logic"}}}}}