{"entities":{"Q2388433":{"pageid":2399176,"ns":120,"title":"Item:Q2388433","lastrevid":48549079,"modified":"2026-01-05T04:43:14Z","type":"item","id":"Q2388433","labels":{"en":{"language":"en","value":"Quantified propositional calculus and a second-order theory for NC\\(^{\\text \\textbf{1}}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2204868"}},"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":"Q2388433$51B5980C-191E-4A75-802A-1937B31C1647","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6839934fd55f348d8f17ef9d8d31dd14a8bb7e3e","datavalue":{"value":{"text":"Quantified propositional calculus and a second-order theory for NC\\(^{\\text \\textbf{1}}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2388433$035231B6-3575-4DC6-A899-5362EE92003A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a185166ed7d5fb2a964d0e0a4a5318087a46ad5","datavalue":{"value":"1090.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388433$78F2F78F-1D66-406A-8ACD-E06B03470D92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00ef32c5864b607ccf80c983c44b8c3fc4484c5b","datavalue":{"value":{"entity-type":"item","numeric-id":1096389,"id":"Q1096389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$8227FDDE-6DE9-437A-A036-ED57B3DA7CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc743f7d6abe2ac79b92f8d37da0f559ce69c62c","datavalue":{"value":{"entity-type":"item","numeric-id":2388432,"id":"Q2388432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$1257204B-38FA-41BF-9E94-03156ECEB74E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$0EC8C80F-1355-468E-878F-4FAC1E321C62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55ab6e805551e7b791a259ed3bf364368e8696b2","datavalue":{"value":{"time":"+2005-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2388433$79B172B1-3136-4A4A-A1F6-5126D6F9ED4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388433$B9B5D445-9C3B-4F2E-B0D5-3824D7D7F36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388433$0268023D-8EC4-4B7C-AD9D-70162E70717C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f947cc3014598df5a591a7fdf8211b1b25ddeeb1","datavalue":{"value":"2204868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388433$3BF38721-13E3-48C3-81AE-90B90822F52D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2388433$AB71198C-085F-402D-BB34-C5192389834E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2388433$93D3C0AE-E40A-4140-B4FD-DB3A0958B88C","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":"Q2388433$4D7CCAE3-55E6-4400-B0A2-35C84DD23D05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"869b97f7e8a88b321a4c860eff49abda46d89111","datavalue":{"value":"https://doi.org/10.1007/s00153-005-0282-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2388433$CC47AA8A-CFE4-4156-A18C-06452CDAAF85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9217d47d231b194d1b99f00a7f58fc0f789dcd4e","datavalue":{"value":"W2055138800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388433$92F59309-0BA8-4740-85EF-7B4FF6A058C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"325e5b70e68353c122a492feffe6afe0b7e4681a","datavalue":{"value":{"entity-type":"item","numeric-id":1977488,"id":"Q1977488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$FBAA64CF-5C5F-4D84-8185-5E0D6E3550BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5592afdbc278531a8faff3dfe5516c2b3be670a","datavalue":{"value":{"entity-type":"item","numeric-id":2640342,"id":"Q2640342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$840D7CC3-1BC7-4B69-B82A-0E99F818E6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145db2d6e46a06cd634c4810cc8c691a66452769","datavalue":{"value":{"entity-type":"item","numeric-id":3476809,"id":"Q3476809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$BB026F38-65CA-4927-91C3-EA354D31ACC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268508f11a93ad9daf989654e9defbf367898cdf","datavalue":{"value":{"entity-type":"item","numeric-id":1177033,"id":"Q1177033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$F3CDF6D9-6E84-4438-9B5F-E463068AFF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d76a8cc0e2db7b2fe667c0ce2455c20994ee07","datavalue":{"value":{"entity-type":"item","numeric-id":3140633,"id":"Q3140633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$BE8E911D-DA52-4287-AC6A-56FA1E61A199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c967ae4b0fba59ac6a0c72fafaafab5e42d0c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4215631,"id":"Q4215631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$95316F11-910B-4600-8EF0-7FB977D0444D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$AD67D266-1E6A-432B-88B9-CF2E7AF762C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d1b169c78093ce8db60dab660d64c1863559c8","datavalue":{"value":{"entity-type":"item","numeric-id":1908818,"id":"Q1908818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$6DBAE56E-C044-426B-9A06-E2AC4BCB2CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f5fbbc92e48b0fa7019594a4c948774bfa54ea","datavalue":{"value":{"entity-type":"item","numeric-id":4308607,"id":"Q4308607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$7E6E5204-DADF-460F-B1DD-C52427C85590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e28f114266a72b393c5e456942cc74929f9e1ae","datavalue":{"value":{"entity-type":"item","numeric-id":4227882,"id":"Q4227882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$4BA21717-25CC-4C39-AE46-23D8428EF6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80b71aac6c156cc5e731feb5af69cb1501263ac","datavalue":{"value":{"entity-type":"item","numeric-id":1353980,"id":"Q1353980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$658AA4F5-1DE7-4188-A161-C8A4F37E2C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311a34b230176ceecc0b30267639c631ee13e2ee","datavalue":{"value":{"entity-type":"item","numeric-id":4035303,"id":"Q4035303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$669798EB-7917-4DD9-95B4-18A37EA8C1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"984975ecbccfcfe41323be323bdb608bb03eb8bf","datavalue":{"value":{"entity-type":"item","numeric-id":5465359,"id":"Q5465359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$CF87AF4E-89F2-4D52-A7EC-944732AD27DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e15917c4e8ccef174fcd7fb9ba0adcd7fa5bce","datavalue":{"value":{"entity-type":"item","numeric-id":1412837,"id":"Q1412837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$6C9507EF-64D7-47AE-A28F-C1208F110644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842af2467e6c06f3199c66287f8b0603947136cb","datavalue":{"value":{"entity-type":"item","numeric-id":5277762,"id":"Q5277762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$D8FAFE51-0A18-4374-AEDF-2CFE8BF74CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$D983EE14-F34F-4277-828A-3302DA02604D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$CD751117-A495-4146-92D0-118D8A443BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c568fbb12fc5452c9699a0a3e0159154b2a6454a","datavalue":{"value":{"entity-type":"item","numeric-id":4385525,"id":"Q4385525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$29E14C7F-ADF0-4F9D-9D31-3E67D08EEFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302adbaf2b8357f20069be2a0dab5e3eb2168585","datavalue":{"value":{"entity-type":"item","numeric-id":1109573,"id":"Q1109573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$946E32F3-F58F-4B81-9D5E-04AB126B1821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f905912f2ec63a5e06b29b829589aeea25563459","datavalue":{"value":{"entity-type":"item","numeric-id":922540,"id":"Q922540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$434762F7-FD9F-4CAB-9A05-6CDBC9CE5EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7193bf226c837bc3c141fd64fb71109ac76581c8","datavalue":{"value":{"entity-type":"item","numeric-id":3137488,"id":"Q3137488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$726D3D2C-B380-4ADF-87D8-B58EE654C87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$18389B22-E258-4E2C-BFA3-665BC3D8FF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bde2c1667b403bd07f99472a13c7986b2f5411","datavalue":{"value":{"entity-type":"item","numeric-id":3472099,"id":"Q3472099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$380BCC51-1FFA-4B83-AC40-97E5215BF600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"055742d10f105b1812e0f5afc9cc4e1b47ddcc2c","datavalue":{"value":{"entity-type":"item","numeric-id":1125060,"id":"Q1125060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$83E698AB-19C1-4326-B978-F6C68326DB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e6be7acbf09a11ec0fd4a4ec57114b3d73a0849","datavalue":{"value":{"entity-type":"item","numeric-id":3140640,"id":"Q3140640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$E57E056A-AA6B-42BA-9C4D-3A975D016FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$B462A807-8725-468E-BB1E-4349615FF015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c45ca7e85b7fc779ac39c5df64bc8fcd404d7c","datavalue":{"value":{"entity-type":"item","numeric-id":5687325,"id":"Q5687325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388433$23D24479-16ED-404A-B0F6-A5EAE024AD41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"820602b01e41ca34fc11e30baf04b2666eeb7f34","datavalue":{"value":"10.1007/S00153-005-0282-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388433$3EC6AB80-30FC-49FD-882D-84D0508B96F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22429a65a09e2be64934dd4fe3beeb889db2682b","datavalue":{"value":{"entity-type":"item","numeric-id":638497,"id":"Q638497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d5ff6e2c53bc35e0af5b34876d772e143fdf757","datavalue":{"value":{"amount":"+0.7857353687286377","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":"Q2388433$6E2F1B0B-6D64-4A02-8A4F-42138DFB1557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73d28562eb7da4d49051d080abe4925b24b95fc","datavalue":{"value":{"entity-type":"item","numeric-id":3617380,"id":"Q3617380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eadab3cc4713994d51bc6b98390af03c5a36c8c4","datavalue":{"value":{"amount":"+0.7797197103500366","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":"Q2388433$7D0E1FA4-65AD-4592-A481-3D0FAAB3EE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c22a86a4c68b942ede25df9ea7713b7d0d3197c","datavalue":{"value":{"entity-type":"item","numeric-id":5394598,"id":"Q5394598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"792f37a13ac948cdcb90e55876526d74d124a6f0","datavalue":{"value":{"amount":"+0.7768791317939758","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":"Q2388433$6F39DCA0-DF2C-4CEB-BBEB-082401DDD983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c5b8dd6791f78e7b793561563d968e38e159c31","datavalue":{"value":{"entity-type":"item","numeric-id":4913779,"id":"Q4913779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a33d4d82dba8e09bcacc1def1997147d484a3d8f","datavalue":{"value":{"amount":"+0.7664821743965149","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":"Q2388433$714C19A0-969C-4EB5-8EC7-11CA182846FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1407f3ca8105aeda9083a07c03e039872a0b8a11","datavalue":{"value":{"entity-type":"item","numeric-id":4375787,"id":"Q4375787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"009ae7051b0bf5489d31b20847143fabd0dd1dae","datavalue":{"value":{"amount":"+0.7620145678520203","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":"Q2388433$B333C0D6-1B48-4962-B562-A2D155DE1B9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2388433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2388433"}}}}}