{"entities":{"Q5491530":{"pageid":7521090,"ns":120,"title":"Item:Q5491530","lastrevid":96295364,"modified":"2026-06-05T10:52:57Z","type":"item","id":"Q5491530","labels":{"en":{"language":"en","value":"Logic(s), formal languages and complexity for computer science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5060907"}},"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":"Q5491530$E5E3FF4F-756C-4A57-962F-3ED010DC581E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"017f26ff7220014d74f6eb9eaee0da342da18d26","datavalue":{"value":"1104.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491530$FF870B67-9563-4DC7-91F7-3E8C6146FC74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c7e5d5178a16bc5489ce39011cf933ad0b4f4d6","datavalue":{"value":{"entity-type":"item","numeric-id":5491529,"id":"Q5491529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491530$6E3FE4A4-0D11-4B00-B60B-AF14ACAF0E3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c154b0b96f34913d00f109294b2dfa67f091267","datavalue":{"value":{"time":"+2006-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5491530$4C65453E-6868-4BF1-AA88-6CB68A392E6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491530$89C7541B-F45E-4E57-9571-1E887E0BF4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491530$63A7EC0A-F67B-4B24-90B5-CBDA6CBCAD03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a90eeb721622897af3ea5f7d02e443e57dd6df6","datavalue":{"value":"5060907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491530$30C0850C-D414-4C73-8C46-26221E92CA38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5491530$E6BA0F71-9C40-4E47-A2DC-946DBFC32F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5491530$8BFAE906-0361-447A-BC81-569BD8FF5524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5491530$BEFB92DC-F2D3-4493-BF1F-6C96389F47A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5491530$022AE3E6-4ECA-4157-B03B-0F40767303D6","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":"Q5491530$16EAD6B1-31B8-46C1-B37F-6CDFEDC87EEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcb4f01f11c619936e189cb98cf26dde0dde986f","datavalue":{"value":{"entity-type":"item","numeric-id":4561681,"id":"Q4561681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8169128c54fabbcd66f6ec0dc62c61a473fda31f","datavalue":{"value":{"amount":"+0.8379992842674255","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":"Q5491530$546804F3-CC9E-4232-A852-D29191F57130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"061eec73e6dd1f3a45722b47cfc991e7ff4fa874","datavalue":{"value":{"entity-type":"item","numeric-id":3998314,"id":"Q3998314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"156636733d6d9b3a5d1b9052b5a0b49b71c76886","datavalue":{"value":{"amount":"+0.8183006644248962","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":"Q5491530$58B62D0F-6D5E-420E-BFC2-73B9D8025D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e9e17b0a81aad215536eb5c0c4137929803b98","datavalue":{"value":{"entity-type":"item","numeric-id":3998237,"id":"Q3998237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c838343841cba3d89673cfcc37ee4a54a6752fc","datavalue":{"value":{"amount":"+0.7954002618789673","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":"Q5491530$AB308A23-A4B8-4CF8-963F-D954CE0C7390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12737f6bbfd1d70aa5fd7a00a4313607a30caf7a","datavalue":{"value":{"entity-type":"item","numeric-id":4301238,"id":"Q4301238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c838343841cba3d89673cfcc37ee4a54a6752fc","datavalue":{"value":{"amount":"+0.7954002618789673","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":"Q5491530$5F778FAD-1D89-4A07-A93B-C90CDDFC5715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a49720b67fea53f3764207d69166b192680ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4735163,"id":"Q4735163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58a49d92b75f1b5e6a9d085af1ad42dae974b2f","datavalue":{"value":{"amount":"+0.7940167784690857","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":"Q5491530$4B8A5AAD-8BC8-4090-AA72-2AB2B171A9C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic(s), formal languages and complexity for computer science","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic(s),_formal_languages_and_complexity_for_computer_science"}}}}}