{"entities":{"Q391791":{"pageid":393558,"ns":120,"title":"Item:Q391791","lastrevid":61531449,"modified":"2026-04-10T23:58:08Z","type":"item","id":"Q391791","labels":{"en":{"language":"en","value":"On the complexity of quantified linear systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244500"}},"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":"Q391791$61A76ADF-5B69-4FF2-BF49-FA6EF5730E0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e2d6e507d798ba3f99f2730e1a0afc3a5647ae1","datavalue":{"value":{"text":"On the complexity of quantified linear systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q391791$9B7CDB0A-2868-4232-9634-4471EDE927C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a86fbadea35e171247ca1b598f244d0967805b31","datavalue":{"value":"1358.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391791$5E85089C-06A2-4252-AEDD-A5922CC6728E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cde3caecd984a5906252a2e7e554f44887be84a9","datavalue":{"value":{"entity-type":"item","numeric-id":293339,"id":"Q293339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$8EA756C2-2E47-4F5C-962E-03061F2B09C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4ce3c9c9914265fc17ef90d3b9bcaa663dd15b5","datavalue":{"value":{"entity-type":"item","numeric-id":261360,"id":"Q261360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$BA3E4163-0585-42D3-AEC8-98887B670FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$778EC31C-F75F-4159-99F2-68F245FC7A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09fecd042f765d4f9a49a91ca3baa11cd4be1e9f","datavalue":{"value":{"entity-type":"item","numeric-id":624349,"id":"Q624349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$08E864BE-3FFC-422B-B7FA-392A04AAAEDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$B9F581AE-24E3-45A1-AD3F-33E5C426EBBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a7f0ce9f8644dc92186acf7aa59a26f9b811cbd","datavalue":{"value":{"time":"+2014-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q391791$953BDA24-3C40-4306-B76B-7B994BF91F2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391791$A40204E1-4426-4E27-B0AD-7E129563F596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391791$7A7AAC48-5D5C-4A94-92D8-35E6A0D4291C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391791$E2BA7F0B-C046-46B0-8C9A-06C90DE565F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391791$3551B36B-AE7D-42BB-8DC4-5AE14C7714DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a3a892d87f461c06d431c4806726a9e569fddc9","datavalue":{"value":"6244500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391791$E1B87570-CB79-420B-8573-11A3C635793D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82dc61abfb6abd660a25aa66ca1fc7c8b9f3df0a","datavalue":{"value":"quantified linear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q391791$6A67BBF0-A514-417D-BA69-DB38A779A92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6c36a3b775a1cde96564ef2cf04a9172a586bc2","datavalue":{"value":"theory of real numbers with addition","type":"string"},"datatype":"string"},"type":"statement","id":"Q391791$C6EBAEB7-04D6-4210-ADD8-EE1C34AB0A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q391791$01176C2B-8307-498C-9E2F-6B25F31CCAC7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$F7610432-CAE4-43BD-8E8E-FE39C9BD5BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$8272AD80-BD89-4592-BC5D-5830DFB3A305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$DBAF7444-6181-4EA5-BB4D-7DD8E46D144D","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":"Q391791$FE0FEB88-ACC3-42BB-8A1E-A32F04AD3C64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"148924b6687bbaeacca34feb1c2d1e1237f3ba65","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q391791$B26C498F-8233-42F2-8593-13F757F18C9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5484d06af434cb5662b0566e7be9a305f7e2a97d","datavalue":{"value":"W2157787341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391791$CD75ABD0-0EEA-4DAA-9157-F31657732842","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$E4EB1AAF-C4B8-4009-8082-32916F930E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08eaa6c03390b94af9efd4280f970d5d0809ce58","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$B597A42B-9FF0-4F3A-B418-194C2AED1ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9ef86b2ad7fb68ccf2a951e8b468542d85fcab","datavalue":{"value":{"entity-type":"item","numeric-id":1185458,"id":"Q1185458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$E62E184D-7A7F-4CD6-BE03-FA88DFA59F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e252b0603cec3a7f962e5b5f55184d47bfe852e","datavalue":{"value":{"entity-type":"item","numeric-id":3158549,"id":"Q3158549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$9A08E3C3-3BAE-4288-BD6F-6E8CF21B8637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfce0c06de5645e33e81141a9d32398ea1f4d485","datavalue":{"value":{"entity-type":"item","numeric-id":1063589,"id":"Q1063589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$A2251ABA-70C1-4FE2-89A3-B70BFDCF4F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5800d93eb4f8caa03263f0b51c3001208ff1e9ad","datavalue":{"value":{"entity-type":"item","numeric-id":3050157,"id":"Q3050157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$0680B4A1-E14F-45CA-8C2E-71461298A443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b1084f552b72c969bd4feb6fb1c5a8e2058162","datavalue":{"value":{"entity-type":"item","numeric-id":3813613,"id":"Q3813613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$C455EAB4-A3FD-4146-9AF4-F8CD8BEDF828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2837eb28569a008677bba2643bbc6df5d206bee8","datavalue":{"value":{"entity-type":"item","numeric-id":4247790,"id":"Q4247790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$33E41C8A-8E8F-4BAD-998B-02E865BBF3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cfea5fcebfb4162710425692e427cbf2157a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1103602,"id":"Q1103602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$DD69F309-E2E1-44B4-8A6E-BF3D6BBF4DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017dca64578e6979a09aeeb8b382b1388bace1b7","datavalue":{"value":{"entity-type":"item","numeric-id":4810199,"id":"Q4810199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$25C75304-12AC-4EEC-B4AD-A4BC995DCFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e63bab69bf3dbb3d827a603c12c64f6ff4700f","datavalue":{"value":{"entity-type":"item","numeric-id":1272610,"id":"Q1272610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$95DEE612-BE8F-4366-B375-D128352214D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd173596d7a74de8f64338b828f706cbd4fbeca3","datavalue":{"value":{"entity-type":"item","numeric-id":5277761,"id":"Q5277761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$3636ED9D-4C98-4017-87F3-C16F42421DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8661438afabfc55e25d2d4bf6b19e2486427094","datavalue":{"value":{"entity-type":"item","numeric-id":4371694,"id":"Q4371694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$B7BD0661-66E3-4AAA-80B0-EF95AAA911C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfdf450746c95865439cf08883bd3a1c78d6c83","datavalue":{"value":{"entity-type":"item","numeric-id":1114669,"id":"Q1114669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$A4640EAB-9EDD-4259-956E-0C5D202B29C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$F161A633-F75C-4613-94FB-38DCEC052F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74eec834971a75b92aae841b2c83f9c1a887997","datavalue":{"value":{"entity-type":"item","numeric-id":1159661,"id":"Q1159661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$A5750066-701E-4440-9BE4-6E762D59DD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e964255fd2b71664bdf9f3c39ab4b43d431c3a98","datavalue":{"value":{"entity-type":"item","numeric-id":3716806,"id":"Q3716806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$98EBB0B8-A55D-4DA6-9E7D-5757002FF089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22db67c7d880676e127230be74be323d08c34af8","datavalue":{"value":{"entity-type":"item","numeric-id":3491308,"id":"Q3491308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$988F386F-9839-4773-9EBF-B995AE10A57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b89e1fdcaf9a6d7891299317d2e1c70d2d9388d","datavalue":{"value":{"entity-type":"item","numeric-id":1184517,"id":"Q1184517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$31E8FBFF-43C9-42A0-AEB4-D8EA3DA8BAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8b86e3b06060cdb443b11baf6a3d547e878cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3671749,"id":"Q3671749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$1C3D5670-BF39-4613-883E-267E38540C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b093d6d82e4d1ce925a202839a1ba515b2b7a986","datavalue":{"value":{"entity-type":"item","numeric-id":2462634,"id":"Q2462634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391791$AD047F3A-D60F-4A56-914C-AC8A66A5A8CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02d587f96f54fcecf4c15ea5f209e74661302b71","datavalue":{"value":"10.1016/J.TCS.2013.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391791$EFB886C4-98ED-48C3-9F6A-AA1E38FDBCFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471ae9a5152b8af18c6dfac8b081d190d064d2d9","datavalue":{"value":{"entity-type":"item","numeric-id":513354,"id":"Q513354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aafe0a80774c3d46023516323ee6e4673db72f41","datavalue":{"value":{"amount":"+0.748246431350708","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":"Q391791$0FD1B0D3-C542-4DAF-A029-6826C38DE7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20144824755ce67035036226fb663b727c819291","datavalue":{"value":{"entity-type":"item","numeric-id":5111426,"id":"Q5111426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc59da86bc3faaddd290755987d69eb21a18e2b","datavalue":{"value":{"amount":"+0.7429208159446716","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":"Q391791$690713C8-6709-4295-94C9-E7AC73185244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"363417256d8968c5d759791de63bd8286fb13ad2","datavalue":{"value":{"entity-type":"item","numeric-id":1959381,"id":"Q1959381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01ef026c4c56c0a5f9810c301d44c11bf36d916","datavalue":{"value":{"amount":"+0.7374971508979797","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":"Q391791$6388224E-9636-4928-A4CF-833BB01B855D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4048e1ff823dbd3c370164b4e7d8484fc67d13d8","datavalue":{"value":{"entity-type":"item","numeric-id":955019,"id":"Q955019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f88455478e28072616a5fc4b5b524355755df1bf","datavalue":{"value":{"amount":"+0.7356083393096924","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":"Q391791$E7829A55-2AC1-4DB0-93A9-55D535C79FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e186ef02b7953b9d686514f1185146f2c2d58fe1","datavalue":{"value":{"entity-type":"item","numeric-id":1898469,"id":"Q1898469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c63758a00b487b78a728f76f08c00a55e29e44f","datavalue":{"value":{"amount":"+0.7199726700782776","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":"Q391791$B7093603-5167-42C8-8038-C5366B4FC6DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of quantified linear systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexity_of_quantified_linear_systems"}}}}}