{"entities":{"Q884960":{"pageid":886808,"ns":120,"title":"Item:Q884960","lastrevid":79758278,"modified":"2026-05-06T14:38:42Z","type":"item","id":"Q884960","labels":{"en":{"language":"en","value":"Generalized quantifier and a bounded arithmetic theory for LOGCFL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5162361"}},"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":"Q884960$FA7C7865-85C5-4A66-9FA6-DB919FE97784","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1ee3d3c7e4d1fbfd0205dce0d7ce7f4ec133b01","datavalue":{"value":{"text":"Generalized quantifier and a bounded arithmetic theory for LOGCFL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q884960$452038D5-2F63-4D82-8FAE-66F97FCE389B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b11079368a2249061b1475ec05ca5d8a86a91f4","datavalue":{"value":"1115.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884960$939BFDBA-961E-44FA-9451-67A773C0E399","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb198915f0eecf0de0ba2bdc999cd6ec059e4289","datavalue":{"value":{"entity-type":"item","numeric-id":884959,"id":"Q884959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884960$4B5A056C-8949-455B-87B1-46D634406E81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884960$91A72D6B-EC3A-4949-AC13-3EB2ABB79651","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d81384269237f7c171ce9e25726671d8695c125f","datavalue":{"value":{"time":"+2007-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q884960$CDA2BDE1-3268-4863-BEB4-9B1C8A853B22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884960$0B22710A-1B4F-4613-A45E-590025D94CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884960$3E23A2D7-B0B0-4ECB-8B02-86B5D0FA4D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884960$48BC2796-56C0-4DBC-80A7-12332F6C79F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884960$86043420-2584-45FF-B9A6-A57419E85B4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c8faece18352f13d3b93ad8457d645d2f116715","datavalue":{"value":"5162361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884960$3C254160-48D2-427A-B7CB-637082765AD1","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":"Q884960$6E4B1405-E196-4B84-BFE2-DCCC787E98B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb33d51d172fbbcb186e2d10616c760d5a452231","datavalue":{"value":"https://doi.org/10.1007/s00153-007-0052-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q884960$79F92A33-C462-4B0A-B4FF-A704D967850C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ea1588300172bab4f08eeadd444ab794bca837e","datavalue":{"value":"W2030330223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884960$7C7D3688-EB54-41BA-912C-3A7B95937BC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"592fa8342cb8c37a19c73d48e2c55dd284b066e8","datavalue":{"value":{"entity-type":"item","numeric-id":1208406,"id":"Q1208406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884960$31CAEEF7-0D56-438C-A5D0-4F583DF8CB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23708f3ee0b536410829c31900335701f20e86cc","datavalue":{"value":{"entity-type":"item","numeric-id":3835019,"id":"Q3835019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884960$A8716130-E3FC-4060-84E4-267BF466D0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884960$74EF3C18-09F8-47CD-A2C1-4D5F96471222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"984975ecbccfcfe41323be323bdb608bb03eb8bf","datavalue":{"value":{"entity-type":"item","numeric-id":5465359,"id":"Q5465359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884960$59A3C676-8012-4043-AEF8-E97C928A6A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"168f388928e0bc61ee938f3f113b3367c93632b5","datavalue":{"value":{"entity-type":"item","numeric-id":5394589,"id":"Q5394589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884960$C3DEB9E2-0445-41FF-80D3-8E40B86B79EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884960$C540A984-0312-44D8-93FF-E54BB473CD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9088162a616aafe4c40ad90a31841c31b07b8c","datavalue":{"value":{"entity-type":"item","numeric-id":5946058,"id":"Q5946058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884960$662C3155-3E1F-48EB-8458-C4A890E5DAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6601e401227e4ccf417963f0654247aa09bd6310","datavalue":{"value":{"entity-type":"item","numeric-id":5310650,"id":"Q5310650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884960$A22A21FE-AD21-4536-BA73-12D823349035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa2be2a790024977ffe2e7d19d01151d207a02d8","datavalue":{"value":{"entity-type":"item","numeric-id":1176109,"id":"Q1176109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884960$9D62169E-BAEF-4603-8547-86651EFA18D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c45ca7e85b7fc779ac39c5df64bc8fcd404d7c","datavalue":{"value":{"entity-type":"item","numeric-id":5687325,"id":"Q5687325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884960$97C72093-AF31-4F0E-ADEF-755A564C1076","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aef85632453e8335e855b9846aeae71b81286d18","datavalue":{"value":"10.1007/S00153-007-0052-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884960$22242AA2-E9BA-46F4-949A-E0798018B1AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27b570b08caf64805665ad5d626e0965e16c643","datavalue":{"value":{"entity-type":"item","numeric-id":4649564,"id":"Q4649564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef6b639385c4f5974cc8c442f0e3f88551719be4","datavalue":{"value":{"amount":"+0.7937638759613037","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":"Q884960$D7952D5A-3F2E-444A-9630-B0507F9DBCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03702b01e39d6a29763f9dab08f65fef5dfa3a52","datavalue":{"value":{"entity-type":"item","numeric-id":5946058,"id":"Q5946058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d6ca149a9d3f87277de8c987989af769be9f66","datavalue":{"value":{"amount":"+0.7469822764396667","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":"Q884960$F3215CCC-5F9B-4DAF-959A-D8B8C28A53E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2452193748cc5ba266bc3360acefd5886e7992b","datavalue":{"value":{"entity-type":"item","numeric-id":1192345,"id":"Q1192345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d99d19470c18a9374fcab3e4f9c694c289b293ae","datavalue":{"value":{"amount":"+0.7424820065498352","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":"Q884960$747ADF50-8DEB-41BD-BA76-C349883C0261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e63a04aa34c6312252de998ad50975aa5a0245","datavalue":{"value":{"entity-type":"item","numeric-id":4251062,"id":"Q4251062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a0c0b083bd67a3c7dee33096ac2eeb8c49caab","datavalue":{"value":{"amount":"+0.7400392889976501","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":"Q884960$5D0465F6-9B42-4060-B036-FFD2F0103926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19cecd3603a6a648e0284a97edfeb22ea293b384","datavalue":{"value":{"entity-type":"item","numeric-id":1176109,"id":"Q1176109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1645a912d3b6c23598dd7bd784c32c652155bda5","datavalue":{"value":{"amount":"+0.7379742860794067","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":"Q884960$4E2A46EB-1BF3-463B-AA2E-7DCBCABEFEA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized quantifier and a bounded arithmetic theory for LOGCFL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_quantifier_and_a_bounded_arithmetic_theory_for_LOGCFL"}}}}}