{"entities":{"Q4617974":{"pageid":6647557,"ns":120,"title":"Item:Q4617974","lastrevid":53343818,"modified":"2026-01-24T18:56:25Z","type":"item","id":"Q4617974","labels":{"en":{"language":"en","value":"Some subsystems of constant-depth Frege with parity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7014563"}},"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":"Q4617974$8C0E2315-5C6E-4593-82D7-3F4E5FBA0BAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"833dc30b8f5693dc8f87d20a5a235345fe7e9128","datavalue":{"value":{"text":"Some Subsystems of Constant-Depth Frege with Parity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4617974$D86A49FE-C690-49CB-A607-1C6DC2190618","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0030584b8b0a9442187f169434afabfdf32a1600","datavalue":{"value":"1407.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617974$94AD3BC1-1CF3-440C-94EC-C6CAA8F10355","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55403f18e979452b432aee1c3f1ff2b07f8262f4","datavalue":{"value":"10.1145/3243126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617974$CB5D1341-E295-4537-A781-39D316D0C395","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d1e78f24de2e0af3b81e99cbfe00a1cf71bfac5","datavalue":{"value":{"entity-type":"item","numeric-id":506953,"id":"Q506953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617974$B21239C2-F491-4217-BD11-18365C098BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a3ffa17224212fea08254d92b99acde6ca1f899","datavalue":{"value":{"entity-type":"item","numeric-id":476118,"id":"Q476118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617974$7E0E3429-A7F5-43D6-83E0-1CA3BA25D1D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617974$A86CA906-39C1-4E89-A9EA-910CC685BBFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1e8b10b8228a853731f31266f45b016182aec93","datavalue":{"value":{"time":"+2019-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4617974$419806AF-9066-4775-8380-AE2EA959A6BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbf6108f7b82c2ffac002bc03fd460c6d2e2d0ce","datavalue":{"value":"http://hdl.handle.net/2117/180024","type":"string"},"datatype":"url"},"type":"statement","id":"Q4617974$F5F8DD30-C785-4F08-B057-D9F013B7F927","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617974$8089B9CE-3003-45F3-9886-00703EC222B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617974$66BE2C17-BD0B-4014-B16C-B17109F205A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bba1097ae933c5714c1f7ad63c329af32b2377d0","datavalue":{"value":"7014563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617974$8AEB1866-0EFB-4902-8455-D98B1FF1BBCE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f120118c5491084454bdd24da0aafc987e81677","datavalue":{"value":"constant-depth Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617974$23B7F629-87E6-400C-9A62-0EFCF287ED86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b62ff32bf510f3c5ce3eccda6685726b37fb6da5","datavalue":{"value":"counting axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617974$9E450D30-4941-497C-A1EE-2CFFE668E54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b63a89d8f401d1620dcdd692ee409438d085ecb3","datavalue":{"value":"modular counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617974$FBB99332-1FC9-4659-989E-F29D340C2780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617974$14701BF1-B530-4014-BC2D-131AF0AC97DC","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":"Q4617974$934723AE-33AB-4A43-ACEF-CDA73652505D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ff2c11b0f69f9c82e898bc8dafc4fbfe4adef6c","datavalue":{"value":"W2901148730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617974$90D85A4F-A724-489B-91DE-36E6D740B702","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ea5cf7cb0e23e6cfd1151eb8ebd39ce739b9d","datavalue":{"value":{"entity-type":"item","numeric-id":5145666,"id":"Q5145666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ffa8e4c14012063972d84e0aa9ed60c1b4e8f67","datavalue":{"value":{"amount":"+0.8146600127220154","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":"Q4617974$A9214F93-BBA7-463F-892C-293494281097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08c6881b84c84e5d1e29ecd8bb56ae2054a2d02d","datavalue":{"value":{"entity-type":"item","numeric-id":475337,"id":"Q475337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"162f458373ea72cc627e81132b722efe562c0031","datavalue":{"value":{"amount":"+0.7870466113090515","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":"Q4617974$559AB940-0D03-487F-A3ED-D58FDEB1F341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f38c3aac9d00f968ca79ace778cd5a8a513b702b","datavalue":{"value":{"entity-type":"item","numeric-id":2944868,"id":"Q2944868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47f29010779d71707baa9643d8a9be5bb2a58d1f","datavalue":{"value":{"amount":"+0.7825688123703003","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":"Q4617974$C2E232C3-441B-4C6E-B5CD-18A9A821D1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8111f0c19f92dbadfd4732ee48029b08b6bd9bfd","datavalue":{"value":{"entity-type":"item","numeric-id":4027856,"id":"Q4027856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46619024393fcf27667dd5ac2b916844b5ba71a7","datavalue":{"value":{"amount":"+0.7776840925216675","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":"Q4617974$53EC982B-A6E9-4CD5-9AE5-B749B5FFD591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"045e1726bef472b5048e086c8f8115678a1b9781","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c47bcad1678537db01f75153b93b47bbc1f3429c","datavalue":{"value":{"amount":"+0.7763498425483704","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":"Q4617974$BD136C46-6659-4C74-A641-C4129E49CC19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4617974","badges":[]}}}}}