{"entities":{"Q4635812":{"pageid":6665393,"ns":120,"title":"Item:Q4635812","lastrevid":89906315,"modified":"2026-06-04T18:35:02Z","type":"item","id":"Q4635812","labels":{"en":{"language":"en","value":"The complexity of boundedness for guarded logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863397"}},"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":"Q4635812$9B398E67-16D0-4A7D-A2BE-50648ADCEB1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e96d77072766c44cf05bffa82856468c0fa3305","datavalue":{"value":{"text":"The Complexity of Boundedness for Guarded Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635812$1063B994-4C82-470D-83F3-94A2CF5272F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f8f3331a0d03a9281ea3a843f747556ecc9485f","datavalue":{"value":"1401.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635812$DAF8C9BD-A9DE-4E5A-8E1F-2DE5D720EC6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6204706c8ef5a0b77c8d77260f516bdc50168a6b","datavalue":{"value":"10.1109/LICS.2015.36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635812$63761ED6-5087-41D0-AA3E-D7806AA56D4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67705e1e44642039902bf4ef21e5fd6d7a30c49f","datavalue":{"value":{"entity-type":"item","numeric-id":394743,"id":"Q394743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635812$FBE0E0A3-4A04-4253-A441-C8261A7D8805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a531f2e925d43508482b1d4b7ad4f917bc51fb11","datavalue":{"value":{"entity-type":"item","numeric-id":269314,"id":"Q269314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635812$7445BE70-5DEF-4116-BD46-F75D04865C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d5c4492b308512708deea353b9e0181d35ce9e3","datavalue":{"value":{"entity-type":"item","numeric-id":290902,"id":"Q290902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635812$703BC189-8B60-43AB-AAFA-5D8DCCA59000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16c811cb9ecfa8c76252a584ba1589af7f86a94","datavalue":{"value":{"entity-type":"item","numeric-id":2911612,"id":"Q2911612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635812$8660691C-4D12-4477-9DAC-22825AA6B9A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83d65420a138b2c4ae4851502a73366edaf00743","datavalue":{"value":{"entity-type":"item","numeric-id":4635786,"id":"Q4635786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635812$A00F51FB-A603-4ABB-B1DE-91659FF2213B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635812$A478A4B6-66AE-4631-9B97-405703256EF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635812$C45349DB-322A-4626-8947-49EC616007CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635812$C3E14D13-3E5A-49BE-8EFF-D4D49D13DA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635812$EFCC0543-7389-46D6-ABF5-C30AE12C2C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635812$28BE457C-A466-4075-A11A-A3870CD4D652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635812$167B2514-73C8-492F-9AE7-7D8F248FB9D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"084f66cec80310ade809315d8ec7e245ccff5b84","datavalue":{"value":"6863397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635812$3DD397CA-47C4-4D55-81A4-138EC0F8DC73","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":"Q4635812$29DBC984-5929-4849-9BAE-41365C964057","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a6d01cb5faa2f6bffd458b373d91a87539ff697","datavalue":{"value":"https://doi.org/10.1109/lics.2015.36","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635812$11791F2D-AEF6-43A3-8AFF-E61FFFED5932","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f5491f1296a809654aeaedb5cd448ab67d40af6","datavalue":{"value":"W1566071135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635812$1BDC4AB8-7C90-4874-91E1-271589587C77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911f5586efcefddc5e7a7651b547e47916b65011","datavalue":{"value":{"entity-type":"item","numeric-id":1853504,"id":"Q1853504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c0e7936b5e05fd93849db91c1c683745b2f64d","datavalue":{"value":{"amount":"+0.8283556699752808","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":"Q4635812$FB50E971-3BB7-44F9-ACF1-A6A4585F878D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6cd1c0f25dd0342adf67d97d4fd01ece315ad29","datavalue":{"value":{"entity-type":"item","numeric-id":5892612,"id":"Q5892612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df04ec94c7087051c26be4a075178a265d087dd7","datavalue":{"value":{"amount":"+0.8261990547180176","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":"Q4635812$98ECCE15-0CBE-4100-9317-3CAF2D6099E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c26a15eb0b947bf49662a2112338c07dfca5a15","datavalue":{"value":{"entity-type":"item","numeric-id":5890544,"id":"Q5890544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86272f6dad4b67ceee0e0e729426dd61f274ff0e","datavalue":{"value":{"amount":"+0.822910726070404","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":"Q4635812$E6D5225D-65BA-4C80-83AF-21ED5E76F90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacbc1696578e74951632106c423907bfba23299","datavalue":{"value":{"entity-type":"item","numeric-id":4263155,"id":"Q4263155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c64c1fb8d916989a3968b09fa4e9dad2e79d30","datavalue":{"value":{"amount":"+0.8220949172973633","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":"Q4635812$DFBE1074-77CA-4DF8-8FA7-7D54DE438AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf4b983e611ee0a623929239399fefd296a43294","datavalue":{"value":{"entity-type":"item","numeric-id":4412842,"id":"Q4412842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c64c1fb8d916989a3968b09fa4e9dad2e79d30","datavalue":{"value":{"amount":"+0.8220949172973633","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":"Q4635812$0660C091-3CD7-4389-A763-E0CCDB2520AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of boundedness for guarded logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_boundedness_for_guarded_logics"}}}}}