{"entities":{"Q5457656":{"pageid":7487215,"ns":120,"title":"Item:Q5457656","lastrevid":50336282,"modified":"2026-01-13T20:35:20Z","type":"item","id":"Q5457656","labels":{"en":{"language":"en","value":"Specification by quantifier-free theory of superlinear inequalities and complexity of its decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5263408"}},"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":"Q5457656$23AA2605-CD4C-45A1-BDB1-D107F4A467F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df18fd44fe1dd3eb95716712673c2d2d2942cde8","datavalue":{"value":"1134.03315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457656$01DCCBB6-A8D6-4616-BC74-2E67318715CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcaa30fcff664c0bbd280ed3900a57d2eb783ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5457654,"id":"Q5457654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5457656$0D73D0BC-4D0D-4513-BCD4-5D10B90AE1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4b93806011dd4e4e38a8034a87ed4d016a969de","datavalue":{"value":{"entity-type":"item","numeric-id":5457655,"id":"Q5457655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5457656$C98ACE11-569D-4F38-85E7-1D25CAA7440E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f9febd79edc09e0529544fa9ed79527a572db90","datavalue":{"value":{"time":"+2008-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5457656$8A27DC56-D08F-4C35-AA1C-8B0B8829164A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457656$A35185CA-DD69-4B38-BAA6-7667E4F3D907","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2435e2dcb57beaf589a0fdc98603d860d1019b53","datavalue":{"value":"5263408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457656$9A989CE1-AB88-4E68-B0DE-69D276BBF705","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cae44e3a67067b0140f3b277d7ccaeacd6c2bdcf","datavalue":{"value":"quantifier-free theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457656$BC840E88-078B-4C29-9513-2103F6C43074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457656$240B99B3-B250-44A8-9B06-47B419CC561F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457656$3288D12E-E23F-4817-9AF9-A0E6BD75522C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457656$2AB16AE0-92B3-4EC4-AC79-5D077A9C31E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3018f13ec4565557bf025633f394ef25a05fe3b","datavalue":{"value":"decision algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457656$0757F0FB-A647-4FFF-A08E-0B2568E3FD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a681bcade860b7e50faf4aa2d985da53feb4dc0","datavalue":{"value":"exp(lin)-time classe of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457656$263CE396-6535-4D3D-8DDB-F0268BC41125","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":"Q5457656$EF2BD17B-BAD9-432F-AD4F-A8BCBE58E154","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"092c7f88d257293e2dd87c8988077f5d57b7dec7","datavalue":{"value":{"entity-type":"item","numeric-id":5957912,"id":"Q5957912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c732001a1555120f1f97e11f424af9c1954e89","datavalue":{"value":{"amount":"+0.7288140058517456","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":"Q5457656$41E2F988-8539-4487-8982-38EA5E34CD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f874c1d73397d07d62dc9c26be0a1271fd19c1e","datavalue":{"value":{"entity-type":"item","numeric-id":3026977,"id":"Q3026977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c732001a1555120f1f97e11f424af9c1954e89","datavalue":{"value":{"amount":"+0.7288140058517456","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":"Q5457656$973A1587-67FD-4C7A-A7D3-EF63C8F525FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60538cba9b2ea45b4f3fd1e9c8c2a2ce39b27192","datavalue":{"value":{"entity-type":"item","numeric-id":1185458,"id":"Q1185458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f2b6d463e724e8236c9f1d076df9ca3b49ec984","datavalue":{"value":{"amount":"+0.7249522805213928","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":"Q5457656$2547F006-6EDB-4F8C-B827-E0CB88BC04A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed35c47223a16298842485a66014826d905e4a1","datavalue":{"value":{"entity-type":"item","numeric-id":5187264,"id":"Q5187264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f2b6d463e724e8236c9f1d076df9ca3b49ec984","datavalue":{"value":{"amount":"+0.7249522805213928","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":"Q5457656$236DFD2B-2E1B-48D4-B558-293E404163CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad7874ece3ff5e22d33ca1837090249d395539f","datavalue":{"value":{"entity-type":"item","numeric-id":3973352,"id":"Q3973352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5aec5f6bc93ec9e38d81c80b8e1e09783523b6","datavalue":{"value":{"amount":"+0.7175633311271667","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":"Q5457656$053D90CD-E38C-4E79-8251-1EAB2C5434A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5457656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5457656"}}}}}