{"entities":{"Q4286111":{"pageid":6315712,"ns":120,"title":"Item:Q4286111","lastrevid":47240320,"modified":"2026-01-01T02:40:18Z","type":"item","id":"Q4286111","labels":{"en":{"language":"en","value":"COMPLEXITY OF UNIVERSAL CIRCUMSCRIPTION"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540222"}},"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":"Q4286111$1FBFCFA8-6F41-404B-AF72-E483334348CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"388f56dcbf41edcfd043ea969170a38fe5baff2d","datavalue":{"value":{"text":"COMPLEXITY OF UNIVERSAL CIRCUMSCRIPTION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4286111$4DACCF79-5A18-46AD-9416-4DB5E873AAB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d45a69ee5d0f22748890cf4c85ccddd4fdf238bd","datavalue":{"value":"0802.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286111$E321B866-4915-4BF1-BF78-592E9C5184C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a909d6a3479053c9ba60cbb2b043b59a874d7384","datavalue":{"value":"10.1142/S0129054193000158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286111$CC093D6D-6772-4A8A-9A9B-271D56C9C02E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286111$6376DA2E-555B-44AF-9E5E-BD1302386619","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"594eddb6445f88a77e66aaf7d63c86b52ec53a66","datavalue":{"value":{"time":"+1994-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4286111$15B2CD4F-3308-49AA-9A13-D3D47660D7E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286111$91DEC438-FBB9-4932-A6B3-B560786E0510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286111$54D79202-7805-461D-9F75-CB3CCBC5FD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286111$96933A48-7E49-46BC-A20D-CE3D84664150","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f607ae3d4c2a4995904681fee4386ce2bc6fadab","datavalue":{"value":"540222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286111$ED57A6D3-17C0-43E8-9CA2-BAEDAED3EECA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286111$C2D1A6AF-D82D-4BCF-B3CD-5F7A8BA754BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e0fe0bce87626381907fa5b3342fcc9ce9f8ea5","datavalue":{"value":"CoNP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286111$536B39CC-4D06-4E2F-BF3F-F189947DD820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286111$685A6B3B-EE28-4978-A750-6B3C2749153E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286111$8E364219-8D55-4CD8-A83D-F545133E36E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95e9100254d03da2193ebcb0473e06193cec5626","datavalue":{"value":{"entity-type":"item","numeric-id":1662268,"id":"Q1662268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286111$C297E0E8-C33E-41D4-9301-7F9BCD7B75C0","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":"Q4286111$9FEC4118-EAEF-4D9C-8994-FED39A7D04E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76202ec0a00a954ca952df802d0485a35628bd7b","datavalue":{"value":"https://doi.org/10.1142/s0129054193000158","type":"string"},"datatype":"url"},"type":"statement","id":"Q4286111$0FBBEA11-EDE8-4F88-AB68-2F7BCD10CAE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3a789cc88f6dc19756a25a20a5561ee5c21ea8e","datavalue":{"value":"W2058110110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286111$15D93E5D-A33F-449A-8405-DC587A2530D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973cbc9e42ec91838cc8091badb1697ce4ac0db1","datavalue":{"value":{"entity-type":"item","numeric-id":3474909,"id":"Q3474909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d8b66d7c8776188b4b4aaf9ac64372315027402","datavalue":{"value":{"amount":"+0.8827421069145203","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":"Q4286111$FD47DEDE-1891-47C0-8ACD-9D72F46C9D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab7f8552e21f052ff6f192f2dac9acfc95b1f03","datavalue":{"value":{"entity-type":"item","numeric-id":1205713,"id":"Q1205713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"500c845c6de7f4f729685dcfbb855acf0a2be4c3","datavalue":{"value":{"amount":"+0.8644357323646545","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":"Q4286111$C8DA9839-3C7F-43D0-9860-83E9F227E9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca5a4f18a59d4d4d18cfff9e925df9ca360218e","datavalue":{"value":{"entity-type":"item","numeric-id":4799291,"id":"Q4799291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e851056665a2cfb2c7d676927373227a49445c30","datavalue":{"value":{"amount":"+0.8116828203201294","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":"Q4286111$7EA9A170-0BF1-4E2F-B88C-4134B22C71C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d7356fa328ff416f9a821b42a22942a60a5e9d","datavalue":{"value":{"entity-type":"item","numeric-id":1098651,"id":"Q1098651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ada2cb44d101f141e2ca2d934ec8ee24a35d0f","datavalue":{"value":{"amount":"+0.8063689470291138","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":"Q4286111$8C2E450D-1D3A-44BA-8728-78CE985807FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c8052d035c8e4728bae6a6352f5c139bf48fcd","datavalue":{"value":{"entity-type":"item","numeric-id":579240,"id":"Q579240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d56fd57d6704c222fa400cfd340b1b29f3cf9e","datavalue":{"value":{"amount":"+0.7986977696418762","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":"Q4286111$CA016E31-1A8E-4BF8-9376-2C6619FF5B7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4286111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4286111"}}}}}