{"entities":{"Q1919763":{"pageid":1930505,"ns":120,"title":"Item:Q1919763","lastrevid":78072710,"modified":"2026-05-06T10:43:11Z","type":"item","id":"Q1919763","labels":{"en":{"language":"en","value":"Normal forms for second-order logic over finite structures, and classification of NP optimization problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 909717"}},"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":"Q1919763$0A06B1B8-084C-4531-90DC-E37F2F8A9AC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a34e8dcbbad5ec3e3aa5b69a186572ae356127d","datavalue":{"value":{"text":"Normal forms for second-order logic over finite structures, and classification of NP optimization problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1919763$9BF24690-C675-4AA2-84F0-1BAA9BCCD938","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"690984d20eda2a39b178d5ba94a31374c987402b","datavalue":{"value":"0883.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919763$30C8BD7E-3EEB-48C6-A645-454B4640C001","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"777b2e456a23f9c5b929ae0d575a2113441683ab","datavalue":{"value":"10.1016/0168-0072(95)00033-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919763$08AC39ED-1AF9-40FD-BB93-370B79F536B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919763$494166CD-2EFB-431F-991B-6398D8EEE654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea9f01e952d7c8681ab3cdbdd2dab7be8167564","datavalue":{"value":{"entity-type":"item","numeric-id":202112,"id":"Q202112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919763$792FB9A2-9127-4CBF-AB95-B70B6EF29E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919763$91357906-C101-4F4D-85EC-79348116D85E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919763$E7443329-F0B4-422A-A09B-4575F6DA5FE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fccc18d6c4a5ac2eec70cdab732eae3cab6f1c7","datavalue":{"value":{"time":"+1996-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1919763$6A4D8925-CE9B-4069-909D-81BB328AA7F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919763$5E8E4F27-FAE6-4EAC-A677-36BE8C21908E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919763$AA6FBF3A-704D-41D5-A2FF-017DB72F3E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919763$2266A578-E912-4EA7-80D5-5F9EE8E68723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919763$38F74910-2403-4CD3-8DF6-5926A0380FA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e6169e159430b2ca4d13411472bfc5ad6dec439","datavalue":{"value":"909717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919763$22687633-B88D-4CC8-87B0-7357A3E8FB51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c86df7f9e490d572c36edb42a278d14f729fd3f","datavalue":{"value":"second-order definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919763$B6D238A0-14C4-406A-A4E0-8CF598D35E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31615e02e407713676537a42c683f2db5eef06b2","datavalue":{"value":"polynomially bounded NP optimization problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919763$D3681A27-4B9A-4149-B2A9-50B34EDC33F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919763$8226C652-D977-4E36-9B57-5D2396E631BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71034c1713dfa83483e70c9250a80790ca5714d0","datavalue":{"value":"finite successor structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919763$86721677-3205-452C-B1E8-C5FD9AAB0EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5829ccac3a3ca1d5608d0ccde04b577385035326","datavalue":{"value":"Kolaitis-Thakur hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919763$841EF1BD-445E-4E05-AAA0-94E9BCB15341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"292d204ab95c6067d9ac782b2ef8b513765ed062","datavalue":{"value":"minimization problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919763$3889E4A7-E79F-4A4A-8886-16569A9B4DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"240cff58847f7b6678953333f2589317534af071","datavalue":{"value":"maximization problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919763$E8B6820F-9F36-45A3-AA61-2FECE90735DA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919763$ADA248C1-8FB5-4047-A9A1-62FC6B12940B","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":"Q1919763$A97DECB6-4722-4509-A88C-30F230F96EAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919763$4689D37C-D9F4-40BA-B8FA-3882EAA5E88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919763$2E861143-9ECD-42C8-A32D-AE4FCA0430C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919763$7769BE5B-A777-4D74-B8C0-E3782309A9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919763$2339DBFD-D87C-451A-A2F7-0CF4A9B70903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80e7a1380ec025afaec5721f2a48c29a99d902d","datavalue":{"value":{"entity-type":"item","numeric-id":1342522,"id":"Q1342522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919763$BAEE3B2E-E5BE-484E-8BA1-C396D3C2199E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051bb91a42a31736fdd8d09157004cdcec793d8","datavalue":{"value":{"entity-type":"item","numeric-id":920075,"id":"Q920075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919763$70757A59-B57E-4D46-A195-534317F6E548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4ff9c0bc839db785d823b1defade22b16954cd","datavalue":{"value":{"entity-type":"item","numeric-id":1123616,"id":"Q1123616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919763$22D476F8-1590-4B70-9EF3-AD3ADD4BF115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377ed731f07311f288ac913a00f1999b3f92d3b1","datavalue":{"value":{"entity-type":"item","numeric-id":4286756,"id":"Q4286756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919763$EB14590C-B011-4A71-9501-3BE7A0556543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2edf29e9487f26e7f77999c1de0d2e4561bfeff","datavalue":{"value":{"entity-type":"item","numeric-id":1208413,"id":"Q1208413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919763$D7A3674C-8761-4F73-A3DB-8966CFA44D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6133d293bb8bfa149948ffdc9b0f276ef45523","datavalue":{"value":{"entity-type":"item","numeric-id":1186548,"id":"Q1186548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919763$1C72AB03-D10E-4737-AC9F-80DEB7921F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a41df49f51cef3a910ecbc6a3cd38f47613084b","datavalue":{"value":{"entity-type":"item","numeric-id":3358723,"id":"Q3358723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919763$5AFC5DE3-60C3-40D3-8232-17B20129AD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75dd641ec30f32007603a70a63b69f926c6196c","datavalue":{"value":{"entity-type":"item","numeric-id":4342090,"id":"Q4342090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919763$1C7069A2-8DCD-47CD-9B1A-6C1826E8DEC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430dd206dd8a23e4d6f9019a0a1e7772e4551c87","datavalue":{"value":{"entity-type":"item","numeric-id":4842629,"id":"Q4842629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8949cf3ba0d9c9985c656998e98f7ca7e86533e","datavalue":{"value":{"amount":"+0.719304621219635","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":"Q1919763$0478F8F6-614E-4652-B068-B217FA607C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2507ef675a2f783fdac68486608078e50a32ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3376539,"id":"Q3376539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4882c3bef765c00df06c540d1f523203bd77f7f","datavalue":{"value":{"amount":"+0.7153682112693787","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":"Q1919763$8DBB7130-F07E-453D-A64B-CEAF40730998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b98b2be42061537bcf29d269fcd1c2e38e788664","datavalue":{"value":{"entity-type":"item","numeric-id":1342522,"id":"Q1342522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80643550ea81adefec2c01b2aef821bd0105b79","datavalue":{"value":{"amount":"+0.7153505682945251","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":"Q1919763$39BBAF44-6DAC-48F6-93B7-AD0F5B7411A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66783e7ce9ae0bfcda0dba6ba5b0dd0e1477d4d3","datavalue":{"value":{"entity-type":"item","numeric-id":5492881,"id":"Q5492881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ffe34f407f052fa39adfe25424b57629b6f2f92","datavalue":{"value":{"amount":"+0.7132161259651184","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":"Q1919763$3877D8D2-705C-45F6-8767-2912D36F994E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3405230daf567a63c6022fdd30298026eb83d5f6","datavalue":{"value":{"entity-type":"item","numeric-id":5414565,"id":"Q5414565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9787c38dc59490ba3790734a9c75047699df644","datavalue":{"value":{"amount":"+0.7128814458847046","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":"Q1919763$89188D45-4DAA-4E53-A84C-3D4A73C14018","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal forms for second-order logic over finite structures, and classification of NP optimization problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normal_forms_for_second-order_logic_over_finite_structures,_and_classification_of_NP_optimization_problems"}}}}}