{"entities":{"Q290253":{"pageid":292020,"ns":120,"title":"Item:Q290253","lastrevid":52545977,"modified":"2026-01-22T22:35:28Z","type":"item","id":"Q290253","labels":{"en":{"language":"en","value":"Languages represented by Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6588310"}},"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":"Q290253$C57E0457-4F16-4D53-B8DB-80E305FF4D1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abe1a34129fd597b5e0510c984b696f9435b4691","datavalue":{"value":{"text":"Languages represented by Boolean formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q290253$8C49EF26-562A-4F92-9D93-A48D24F15993","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e235153efec45e7264788fed0c9e0a30338678d","datavalue":{"value":"1337.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290253$5069E996-DB37-492D-807B-A8208C1F375E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44f8ecfe86807cb88a09de629e94a16a65fe3174","datavalue":{"value":"10.1016/S0020-0190(97)00134-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290253$668024D4-F01F-4BC1-801B-8881EBD5221A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab766bab7d2d121997187bafff958b477c6b8a01","datavalue":{"value":{"entity-type":"item","numeric-id":234696,"id":"Q234696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290253$34B06B85-49B7-45B7-9ED0-478962D79E60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290253$34EB0C96-1ECC-49E5-81ED-B6BBB2F1D62F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"820ba18c7a13536fc1adc31f1ad62c0297cf8fc2","datavalue":{"value":{"time":"+2016-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q290253$C6BC3307-9A3C-42ED-9B23-2667091BC7E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290253$AD10B4D0-40A4-435B-B32C-043433BDD7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290253$DCA36CD8-688C-49B8-AD4B-24AFAD554854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290253$AE59519C-4892-4341-A3DA-366C5B8A0980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290253$09D83ACC-79AE-4DCC-BBE0-390C6B83D926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290253$DDEE221B-FA37-4413-98D9-5CF164081D69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3053124db2d29d698d557f487b50d4d150c36bd","datavalue":{"value":"6588310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290253$D87C2273-B77A-4A93-88AD-404C209AF8DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q290253$227A6257-E68A-44B0-B1E2-EE0951892C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e4ea30093d8fa32dfa08d62053fb8ff3268739","datavalue":{"value":"descriptive complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q290253$E4114A46-D447-41DF-BB91-5C72F1791C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33030392b5fcb435cb3eac5d99460d5c2545b065","datavalue":{"value":"succinct problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q290253$7A0038D0-687B-46ED-9865-43DB521F3B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q290253$5E9FD197-2F4A-4C52-B028-84868D3DAE79","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290253$44BEDDCC-CB55-4F5B-A8B6-0C6DF86B0728","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":"Q290253$04C6F078-2D72-4CD7-82E4-B5217E5B98FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4df9dc94c3bdcd2e19020be54c6a77a49bc18e0","datavalue":{"value":{"entity-type":"item","numeric-id":671606,"id":"Q671606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290253$261AB6A0-2498-4645-8526-00477B6C59D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70d25d335984640e6dfdb95e29f1c296c0c5fbb","datavalue":{"value":{"entity-type":"item","numeric-id":3325058,"id":"Q3325058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290253$2398169B-EDB8-4602-A186-E370090CF1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290253$F48D5821-708C-42D3-B464-F1BCD615A5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c12ec0e8970a0988eedd5ea2b9890da1191ca68","datavalue":{"value":{"entity-type":"item","numeric-id":3569000,"id":"Q3569000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290253$68AE45B5-91B5-474F-B01D-754A15E54A1E","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":"Q290253$BAEB2DCD-84D7-4E26-A2B0-97A9B5EB8F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8463e96f319f7ef1eb5f43167693f85c586bfc3d","datavalue":{"value":{"entity-type":"item","numeric-id":3801600,"id":"Q3801600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290253$0723600B-C48A-4E5F-B3DB-453140E2B45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0d54883ad4665b2b52862a5654937010b15ff1","datavalue":{"value":{"entity-type":"item","numeric-id":3359769,"id":"Q3359769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290253$129728B0-4049-4022-ACD4-E987FE2E346D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab3c8b875b594f41fc66a3cd10dbe8edbcf78c9f","datavalue":{"value":{"entity-type":"item","numeric-id":1185244,"id":"Q1185244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290253$DFA66CFB-E494-401C-99F4-319A0C510637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7e2eba4b949c6a06c4afb0b8dc3c238c22d93d","datavalue":{"value":{"entity-type":"item","numeric-id":4694758,"id":"Q4694758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290253$FCD20F54-29D3-4D2F-892D-9E8B3D07A2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290253$96986831-C540-4FFA-9546-A00DA9593DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c1e845270f8722a572f77f99ea7688c7ac33ef","datavalue":{"value":{"entity-type":"item","numeric-id":4725746,"id":"Q4725746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290253$C602D0A4-BB68-41EA-9FD6-836FE8C2B6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5da0bfbd2107be109d29e75596dd74000605b91","datavalue":{"value":{"entity-type":"item","numeric-id":685391,"id":"Q685391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290253$2299CE59-257F-48C9-A4A5-6FB6B8B0315E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d34494a0690392e1628506f797b10a22a38455","datavalue":{"value":{"entity-type":"item","numeric-id":1271623,"id":"Q1271623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290253$827A53A4-5733-4614-BAF6-0139C7ACC358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e1c59b20b978e8e0de5a32fdeb6c212dbd6e1a","datavalue":{"value":{"entity-type":"item","numeric-id":1090455,"id":"Q1090455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290253$B1D55561-4ACD-4BFF-8835-B17220DDD32F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b149dec33b308c4d0da2288ebb1d4185a0eda936","datavalue":{"value":{"entity-type":"item","numeric-id":1090455,"id":"Q1090455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6ac27583122766687a6f1d6a65927177f387fc","datavalue":{"value":{"amount":"+0.7378343343734741","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":"Q290253$D7302515-31A1-4BF2-B3C8-B626A5331A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf4fdfae046558a1524910a4a5109a858b1c6b0","datavalue":{"value":{"entity-type":"item","numeric-id":5431351,"id":"Q5431351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d8b61f7cf7b61e02893368a0feee6cbb627b55","datavalue":{"value":{"amount":"+0.7340339422225952","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":"Q290253$5158756D-5E3E-42F2-B7BE-097993EF2A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f00b3334fa57b42ca73059a8b39be91a546b996","datavalue":{"value":{"entity-type":"item","numeric-id":2771060,"id":"Q2771060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ecfbbdf477743ea1f10616fc47ff71a19f1968","datavalue":{"value":{"amount":"+0.7336507439613342","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":"Q290253$57B226D1-18E3-4F2B-A214-CB14EF6A853C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0be797cf568eac61c70d1dcf6a6fc1fcb7c69b8b","datavalue":{"value":{"entity-type":"item","numeric-id":4277694,"id":"Q4277694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"985ed20c524a940ae5c7784f413f815b83df1aea","datavalue":{"value":{"amount":"+0.7336502075195312","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":"Q290253$BD7395BF-0FD2-4D4D-AFA5-BBE24FAA2DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2611d4b6015e00a68ae8aa1f67b99c07a91973c2","datavalue":{"value":{"entity-type":"item","numeric-id":3742714,"id":"Q3742714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef918c511b51d9fbe6092d73574ca0791ac56ea","datavalue":{"value":{"amount":"+0.7295539975166321","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":"Q290253$0C462AA1-F542-4935-8AB4-53F485AE4766","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:290253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:290253"}}}}}