{"entities":{"Q4358054":{"pageid":6387653,"ns":120,"title":"Item:Q4358054","lastrevid":46510683,"modified":"2025-12-24T22:47:30Z","type":"item","id":"Q4358054","labels":{"en":{"language":"en","value":"Relativized logspace and generalized quantifiers over finite ordered structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1067269"}},"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":"Q4358054$27FD8340-042A-4C64-87E3-405AAEA76B4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a80fbe8f4ae1c307c1808ae47a80f3acb6d1273f","datavalue":{"value":{"text":"Relativized logspace and generalized quantifiers over finite ordered structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4358054$888F503C-7970-4AEB-838C-DBF5DA3B3708","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b948d12c06d7ce371b3efaff0f0bf9463855021b","datavalue":{"value":"0882.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358054$7C6A7DF1-53CA-478F-B3A6-CD51BC5FE612","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95545c03bfa8b67f9d3ad878b59508a65442881d","datavalue":{"value":"10.2307/2275546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358054$AEDC6609-CFE6-4633-9F54-95C22C4CBDE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea9f01e952d7c8681ab3cdbdd2dab7be8167564","datavalue":{"value":{"entity-type":"item","numeric-id":202112,"id":"Q202112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$925D50E3-5FA7-4E83-A77E-F7F287E8C6FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$754386D2-B4A0-416F-AB01-889899F8BE0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38961a0cc03656d93c55389df82ea588cabb3525","datavalue":{"value":{"time":"+1997-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4358054$8DF0D700-1762-433D-8C61-B918A03BDDE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358054$F558B65D-A7EE-4545-A4E1-EFA6E6361338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358054$4358689C-5C77-4DDD-A228-35D75B5206AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358054$16287004-0E88-47D2-8D5E-8AF2FBC01BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358054$5FB92BCC-16DC-4A54-8ACC-D8031246786A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"906f4f5c4491ede97ae857b80e16407806f021ce","datavalue":{"value":"1067269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358054$85D329E8-A233-4435-BE16-4B8330942172","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06059c11269d258bbccac60c4e9a619d8f9e5b9a","datavalue":{"value":"relativization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358054$68E5B1D0-2592-4F88-8C8D-6FF41E6E8485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb41bef4f95010ffe7ecae9642a3a5dca3e09e6","datavalue":{"value":"logspace","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358054$4570C11E-384D-457A-B6F9-351ABEC4743F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de7c8d0e133d05e230c44991611004a38c7ba3b","datavalue":{"value":"bounded queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358054$CE182E31-7734-4CEF-A93C-23C75CD536AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358054$0A2410C2-86F9-47F3-85E6-EF616854E937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b962e0bbfd0f483cf784e46a6268553fe66f39f","datavalue":{"value":"first-order logic with generalized quantifiers over finite","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358054$42DD83C7-AD38-4ACD-80FB-885E5E68A757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75594ac136f9b33a56ba5453f9c36aa75387b338","datavalue":{"value":"ordered structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358054$B7266A12-498A-4F40-8B31-041DF8E78D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8db1726c03c7059c08d69b8aca64a6baa1151a9","datavalue":{"value":"complexity class","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358054$A9EDB4B3-5D0E-4BAE-91E4-977041991F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac873341ab34d6db98676ef037e18583cae25841","datavalue":{"value":"oracle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358054$295B7C2E-A500-44AD-9A0E-3B4A5B12CC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa7375a8be181c3039c91f3ce4d4f578384a46f0","datavalue":{"value":"Henkin quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358054$3FAEC7BD-E583-4E7E-BDC5-BC0DDE0CA37B","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":"Q4358054$EAAE4D27-41E0-4B33-AA4F-E22990A81806","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c94b75dd5ac96158bf0cf5f04537bb6f5d5a855","datavalue":{"value":"https://doi.org/10.2307/2275546","type":"string"},"datatype":"url"},"type":"statement","id":"Q4358054$7789B425-E41E-45EE-BED7-8FD01EF73F8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b2a54895915fd55005b6359846700842ae17817","datavalue":{"value":"W2007155273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358054$AB47548F-0587-417F-A4BE-C597AAD74448","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb667404a39901ce6c0edc1677f1ad3f74156ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3034828,"id":"Q3034828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$100DA568-3218-45E7-9A7D-756597BBC34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf316364cd2756f2c4e6fc67ebc0fbec7faf6f2","datavalue":{"value":{"entity-type":"item","numeric-id":3763591,"id":"Q3763591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$39107748-150F-40FE-B19E-FB819F9DCA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1f5d749e4775b9ff8ad70d19f88e3741e680ea","datavalue":{"value":{"entity-type":"item","numeric-id":3495646,"id":"Q3495646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$DF3EC96A-A9A1-4E6B-BF0B-0BD758836ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186efa9cbcaad91d0d4ad1f36de56ca7d39bfe2e","datavalue":{"value":{"entity-type":"item","numeric-id":1099620,"id":"Q1099620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$1DF6F59F-75AB-4EB9-B2C3-A8CBEADDE56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19525a32770bc0161d21fb40f62cd8531fc10179","datavalue":{"value":{"entity-type":"item","numeric-id":4763536,"id":"Q4763536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$D3FC58B9-D359-4641-AD94-347942424FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f0851c1c3e7f0248633a4ab6c353496d818cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4835862,"id":"Q4835862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$4DA33874-CF36-491E-B82B-C38BF73C2E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3b46b9da48bff75c2bd4f718684407674ec7147","datavalue":{"value":{"entity-type":"item","numeric-id":1111024,"id":"Q1111024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$9D829D98-5A29-4AA4-AEAD-9EA1BC7A8FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc8e4c28e30c65d198db4a55fa2cb136b42d5736","datavalue":{"value":{"entity-type":"item","numeric-id":1198664,"id":"Q1198664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$C4E1F5D8-B241-4391-85FF-DBA17338ED01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e95288fb3703a153af69a0fa87ef12ad85fe48","datavalue":{"value":{"entity-type":"item","numeric-id":1088983,"id":"Q1088983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$EA280461-E2EC-4692-85C9-6B8E6EE5EF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec8eedbc1eea9bb665df31ece605b933e9684fb","datavalue":{"value":{"entity-type":"item","numeric-id":3988061,"id":"Q3988061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$760B6DE6-8568-4FA3-BFA1-48812BFB8BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4f9b219f54da4cc88e481211745b7b70548f30","datavalue":{"value":{"entity-type":"item","numeric-id":4039803,"id":"Q4039803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$6DD6BEFD-9581-4954-86D6-1BF777DD76B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a41df49f51cef3a910ecbc6a3cd38f47613084b","datavalue":{"value":{"entity-type":"item","numeric-id":3358723,"id":"Q3358723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$016B8550-48F4-426E-A3DC-BFF1D22E61D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc2e91d403af34902703eaf4e4f9ce9f55ed6c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4298368,"id":"Q4298368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$DB9B19AB-7301-4AAA-99AA-6FE9FC66C182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab6b4339377d2c10b1d3ba77afac2f8d207ef1de","datavalue":{"value":{"entity-type":"item","numeric-id":1242686,"id":"Q1242686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$3FC6136E-BEBD-46BF-8BB3-FDF2F20C2DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d15acf9b2dc594da15dc289088a8a93d59b4f8","datavalue":{"value":{"entity-type":"item","numeric-id":1223166,"id":"Q1223166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$10398A61-F4B3-4A39-A10E-21F0392611CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a14259755a9136b7b26201f5111f10df5b52f768","datavalue":{"value":{"entity-type":"item","numeric-id":4109299,"id":"Q4109299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$5DC19AAE-FBBA-4754-BD3C-CB987650EF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e172b6c4797917c0c7ab35b6d560ba28d2c6c64","datavalue":{"value":{"entity-type":"item","numeric-id":1892941,"id":"Q1892941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$2C08DAB6-FA66-400B-B48D-8F3EAD1EC9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c767919e94a3332b8d198174b1921d5e4026fe","datavalue":{"value":{"entity-type":"item","numeric-id":3821586,"id":"Q3821586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$5E119008-5611-4349-B43D-9C512A6E6D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$E7051BC2-4F0C-4708-A92B-9EC90B15A4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9abc53cbf0ac81fde0cd742d6e31091fd72cdf1d","datavalue":{"value":{"entity-type":"item","numeric-id":1824614,"id":"Q1824614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$58729B47-E89D-48E8-BE7E-7D5E6851F74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12018d0a9e97c6cf951a4ec0fa485747d4a7f934","datavalue":{"value":{"entity-type":"item","numeric-id":1243269,"id":"Q1243269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358054$2A75702A-9D4F-45A2-B2AB-C137D2B9E0A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf862075fa66de9be3ea83bc01d235528cea151e","datavalue":{"value":{"entity-type":"item","numeric-id":1908344,"id":"Q1908344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03fdf21d18731d6688fc6d06c991dfedbecfba31","datavalue":{"value":{"amount":"+0.8630751371383667","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":"Q4358054$74834DF3-3DCC-4ADB-8A02-FD04D2D12EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d98bc805cac53d33a25307b97dfae271d3a8c60","datavalue":{"value":{"entity-type":"item","numeric-id":4763536,"id":"Q4763536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0b50db11efdf73c394e26eed596af0f9ee7f49","datavalue":{"value":{"amount":"+0.8171629905700684","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":"Q4358054$19AADAEE-751D-493A-B585-730EF3516130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe20ce0c443125a2bcddb30f2b99b32ba01be45d","datavalue":{"value":{"entity-type":"item","numeric-id":3006117,"id":"Q3006117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2eb91d4d0044bdca09e3f3cd12ae44e4878532","datavalue":{"value":{"amount":"+0.810663104057312","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":"Q4358054$2F08F885-F700-40D4-AD62-4BFAC8932656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14d0f66dd459ee91871a105336c2ef77830b0a9","datavalue":{"value":{"entity-type":"item","numeric-id":1612478,"id":"Q1612478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a7d0bf289991d8d4cc4fb20bf18e2a1d343a56","datavalue":{"value":{"amount":"+0.8076738715171814","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":"Q4358054$8DA06BAD-D56B-4705-A833-36078C71EACA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4358054","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4358054"}}}}}