{"entities":{"Q6156871":{"pageid":13291438,"ns":120,"title":"Item:Q6156871","lastrevid":55456408,"modified":"2026-02-17T16:49:41Z","type":"item","id":"Q6156871","labels":{"en":{"language":"en","value":"Worst-case expansions of complete theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7697359"}},"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":"Q6156871$54C25B23-A9A2-4503-8956-769B2D0BD231","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06d862abd490fa20200bb169ad19e633d14f6708","datavalue":{"value":{"text":"Worst-case expansions of complete theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6156871$DBF76474-6E2E-40AA-BF8E-536746D61B5B","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"aea34f484fd3ca07f4cb652f8b84644132343957","datavalue":{"value":"2107.10920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156871$7E45859D-11ED-4104-9E8B-B5D1118092D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fc8c1a6adfce48c3dd9285db96f4d11f6a20bd7","datavalue":{"value":{"entity-type":"item","numeric-id":504982,"id":"Q504982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156871$616080B8-6507-476F-B554-07FB0F70C7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad82ea677d9252aa5ae95627c4706e056386aa9d","datavalue":{"value":{"entity-type":"item","numeric-id":1203761,"id":"Q1203761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156871$4A736A7E-878B-4FCF-9232-38051AE5723B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"888b10023cb453b96751f1b64a853fce121771e9","datavalue":{"value":{"entity-type":"item","numeric-id":6156869,"id":"Q6156869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156871$58F68F62-3BB9-486A-A5DE-96119B80D3E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1568bcdbc15a3da62bd02289f2e9e5d50d8fef1d","datavalue":{"value":{"time":"+2023-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6156871$BD7FA6F4-75F9-4800-A34A-0AC6456B9AD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4919564ade91825f3fdeba749e728ca0ceb7641","datavalue":{"value":"https://arxiv.org/abs/2107.10920","type":"string"},"datatype":"url"},"type":"statement","id":"Q6156871$5BB4F676-1C0E-4BE9-96A3-E7F4CBBE47AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156871$514DC541-D751-486F-8139-93A037843209","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66c6f6a917a6a67847b694a9536048c071e0d75e","datavalue":{"value":"7697359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156871$AD6227E1-C299-4AD8-B114-875D265D6F8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604ae60c7dfba0e4a964c4f9907196b622fdbbf6","datavalue":{"value":"mutually algebraic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156871$1E3FF8A3-EA58-4DEC-B9DE-72DA0B731C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe8264f07c24b3a40ae926dac63b2248821e7ab3","datavalue":{"value":"monadic expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156871$3BE9F96D-3725-4D52-A41D-896BC26E1A60","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":"Q6156871$312BB6EE-DDC8-4B60-93E4-674BAAD4D77C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8263e3335288567496965e3bb607d62be7854d54","datavalue":{"value":"Q114045324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156871$AF67B837-FC87-4C11-B2B1-43E1EAEA1FBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d6967d1552cf2a2ff7e9382badb22da557c9601","datavalue":{"value":"W3186178098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156871$D9F2B1D0-63F6-4465-84A2-2BEF061833E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef19537f6117a60da11938622219bc015c36a55","datavalue":{"value":{"entity-type":"item","numeric-id":1078169,"id":"Q1078169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156871$17D90012-04F2-4F2A-B699-B96BE6A32F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69b8dcefb24976c912f26a8d106227bc88c1490","datavalue":{"value":{"entity-type":"item","numeric-id":5165493,"id":"Q5165493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156871$0FC0251D-7C44-4535-8497-F62BFAB2CEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87ae0153d7447846044c9fe1f7903f049d7b5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":2155504,"id":"Q2155504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156871$8A95879C-1D27-41C1-90B8-B1AD0DD125B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f9f771d13dc4e79743ab189ee8a37d2386ac3b","datavalue":{"value":{"entity-type":"item","numeric-id":3984436,"id":"Q3984436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156871$4F437934-65A2-4D46-8395-4980013F797B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2812c9024da79909f6586b9ca41afa70ae30b851","datavalue":{"value":{"entity-type":"item","numeric-id":1005929,"id":"Q1005929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156871$F52EF216-56C3-441D-B92E-8897F68D97AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9fa917eaf591e2e2b593c8807ea8f538c1b348e","datavalue":{"value":{"entity-type":"item","numeric-id":4916552,"id":"Q4916552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156871$5E065DD2-C13D-4F61-8B01-93419DB7C83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faced169d3369ff12f2aa66aa1dc6bdf4b268f34","datavalue":{"value":{"entity-type":"item","numeric-id":778731,"id":"Q778731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156871$1029191D-0260-47AA-A555-5F24CCBBBD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da2dfe9c13c96d4ec4060324164badd4d4c82b93","datavalue":{"value":{"entity-type":"item","numeric-id":1058510,"id":"Q1058510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156871$E0EDCE2A-9376-4833-983C-C7E116AED979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9020c959fd2fe6830eb570bdc5090e181554ced","datavalue":{"value":{"entity-type":"item","numeric-id":5255892,"id":"Q5255892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156871$2FD98BF7-FCB6-42F7-977F-0F606FE75C59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7dac19dd14b00b213a0b71106b6be5199085a4e","datavalue":{"value":"10.2140/MT.2022.1.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156871$1F3A08D4-CE98-45C2-87DD-89EAF8E4929E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43be3a819452216498af06fb18cb9872f09ac41","datavalue":{"value":{"entity-type":"item","numeric-id":5165493,"id":"Q5165493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95112ed84c227853c6cbafe0ce2dd7a82266ce36","datavalue":{"value":{"amount":"+0.7148010730743408","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":"Q6156871$6C04168E-9183-4834-9ABA-59291C5DA3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f02487093b360f17abd9d664a5ece60efaa8e8","datavalue":{"value":{"entity-type":"item","numeric-id":3816047,"id":"Q3816047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b565bc49efef006deaadfe781fbc574842239779","datavalue":{"value":{"amount":"+0.6949474215507507","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":"Q6156871$BA347F4B-992A-4FEB-AC80-3744A3B3E536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d844a5a144079046cab315cf4287d45724e700a6","datavalue":{"value":{"entity-type":"item","numeric-id":5163167,"id":"Q5163167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda7447397000ce88b363f3e09d238ef30632bf1","datavalue":{"value":{"amount":"+0.6829712986946106","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":"Q6156871$56805F49-59CA-4880-8B71-A4BC25E5CAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f531bc62fce777759030f7f55975e9b27216c678","datavalue":{"value":{"entity-type":"item","numeric-id":3722479,"id":"Q3722479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8162cc1d9dd09e7e2f4a15737b93f332a45f520","datavalue":{"value":{"amount":"+0.6767207384109497","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":"Q6156871$D5944D7C-6B28-4302-9B99-92A4FB000E4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6156871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6156871"}}}}}