{"entities":{"Q890867":{"pageid":892715,"ns":120,"title":"Item:Q890867","lastrevid":65130261,"modified":"2026-04-12T00:31:26Z","type":"item","id":"Q890867","labels":{"en":{"language":"en","value":"Generic complexity of first-order theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6508974"}},"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":"Q890867$6AE547F9-9CF3-4F47-9461-FB2A0BDA71E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee01eaeca8629aa8eb5eff2f4cb97457a5ecf98b","datavalue":{"value":{"text":"Generic complexity of first-order theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q890867$885C4991-08DE-4669-BA91-AB2131804DC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c8ea955c87fd32bdd044e9132a4ea9eb90f87c0","datavalue":{"value":"1329.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890867$BD5095DA-40C0-479B-9540-1D08D6F4E64A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"131a03240a96d8a43afa3dc4fe75ccf4a3545045","datavalue":{"value":{"entity-type":"item","numeric-id":285910,"id":"Q285910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890867$7127D65F-B09A-4F82-9427-716080396057","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"297f0407fe0411bc487575336ea9699ef4593706","datavalue":{"value":{"time":"+2015-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q890867$6B113B89-3BE6-448D-A846-716C639A4C83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f03d90e36b6c13869ab390ee4d105be2847b9fea","datavalue":{"value":"http://semr.math.nsc.ru/v8/p168-178.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q890867$13FC1956-98F0-44FE-AEA7-EF2896D183B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890867$DEE86175-93FF-4F9A-B76D-76D598C2B653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890867$A9E4C924-1CEF-430C-A106-EF391B180BC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e40773675c4b814b0d5f31fc4e5b4345146bc86","datavalue":{"value":"6508974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890867$4B32CF47-FDB8-429A-9C8C-F536C369B86A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5e1c8cb5c3f592609cefa3e00954794a9632ba4","datavalue":{"value":"generic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q890867$25A42F21-8A6B-4A32-8A5D-4D9E8C70E581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q890867$C110445F-E2B0-48B1-9F0F-DEAFEF7AA52B","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":"Q890867$220FD153-E22C-4A6B-A8A6-E806E9AE7EE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890867$7E0D636F-ED0F-470C-AFF8-16E6633E2CD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b3c6a5e062a47a55b9b2e545999f9a3f3814f0b","datavalue":{"value":{"entity-type":"item","numeric-id":2334766,"id":"Q2334766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbe5da183f4375edbcd243f1d37f7549033aaa4e","datavalue":{"value":{"amount":"+0.8406063318252563","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":"Q890867$6622862F-F085-47A7-9AA5-56CC9261E7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31aab157b1a64a7cc0c7c65a7f4e1f9b77773670","datavalue":{"value":{"entity-type":"item","numeric-id":848747,"id":"Q848747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d29eca15a3729f3daf68a2362636b2bf8a9b52","datavalue":{"value":{"amount":"+0.7836088538169861","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":"Q890867$0C2B00CB-535A-4BAD-B3DC-1A57B133C3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"289332b3f58f6bb4183d886b74a5fd8319f77061","datavalue":{"value":{"entity-type":"item","numeric-id":3499785,"id":"Q3499785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"700db0a02e3a98208d4c060b146d1a050e273d74","datavalue":{"value":{"amount":"+0.7806937098503113","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":"Q890867$22BF2EE3-2357-40C3-A590-E7D26355F6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d962bdf26bb22179c6e9a9ef351d1be935fb9ab3","datavalue":{"value":{"entity-type":"item","numeric-id":5151458,"id":"Q5151458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc1818862d39c2980150268884e9401ca9522db9","datavalue":{"value":{"amount":"+0.769791305065155","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":"Q890867$A4112F38-343E-42C6-BD84-F779387D81D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281a2da786d74d04f76e8a079302ce326111f517","datavalue":{"value":{"entity-type":"item","numeric-id":5150742,"id":"Q5150742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ec48a8f026c50ca085e58d1500458e0532a846","datavalue":{"value":{"amount":"+0.7694383859634399","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":"Q890867$C7EBBCEE-0886-4A1F-8791-C4624A91B877","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generic complexity of first-order theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generic_complexity_of_first-order_theories"}}}}}