{"entities":{"Q2104254":{"pageid":2114997,"ns":120,"title":"Item:Q2104254","lastrevid":42173437,"modified":"2025-05-27T07:52:20Z","type":"item","id":"Q2104254","labels":{"en":{"language":"en","value":"Proof complexity of monotone branching programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7627919"}},"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":"Q2104254$D999F69C-C688-4742-AEE1-F51A86351293","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb5fbd150e0eb4c14ed023450578177598f922be","datavalue":{"value":{"text":"Proof complexity of monotone branching programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104254$F97B69D5-2562-4203-8714-9EECE7E52886","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ee8fe4ef79352789aa1fa9c46368bf7865dccbe","datavalue":{"value":"10.1007/978-3-031-08740-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104254$B431B789-86DF-46F1-8E2C-EC420C00AFDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c255adfc712bad9b4346c358d68a6d24be790f29","datavalue":{"value":{"entity-type":"item","numeric-id":1694470,"id":"Q1694470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$0C72C782-0E79-4865-9642-A45BBE0D7618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1b9d7f27cc548ef69e8cae99178a7f3a9e8f046","datavalue":{"value":{"entity-type":"item","numeric-id":2104253,"id":"Q2104253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$C5A2E066-3366-4C3E-81CA-DD8168568D14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-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":"Q2104254$8AFE7C51-3B1E-41FB-98A9-F4C687A2F33C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"343e046bcda48ccc5e73959df2db3e175adc6c5c","datavalue":{"value":"https://arxiv.org/abs/2102.06673","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104254$BD821D8A-8564-4F84-A18E-4C5AD239F8AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104254$978FE413-48C9-4EEA-A52C-D97374A60012","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a858cc3e1cf844fb9f16da32c589a6a9403e2e7d","datavalue":{"value":"7627919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104254$66250129-5D02-4AE2-89DC-AC4AE9A498E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104254$15E0AD07-71C9-4C76-AEEE-92B15386EF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec24897927a0742784fae89aed9a922bc2a81fec","datavalue":{"value":"branching programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104254$908CC96C-0773-4AA0-B480-11AC87953BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86e2cb8623451eacf2b8c06165c1bd90beed6b1","datavalue":{"value":"monotone complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104254$FA04F80E-D193-4ED9-8CD4-CF69A78EA4EE","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":"Q2104254$840454D0-74E1-47AC-9CFE-B26F231527EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afe77dda594d17a2b28947767623b8f9c33ce803","datavalue":{"value":"W4285178183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104254$FFAAF6FE-260E-490C-8726-B740B16FD501","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91208a440a6eff9bc47ac1adcf40a48d3c5ee83f","datavalue":{"value":{"entity-type":"item","numeric-id":3778681,"id":"Q3778681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$F8B9D78D-0709-4DEF-A7CD-AE4882A2A9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0303d08991d42fa5d75d1ae8abc23a1131093f3","datavalue":{"value":{"entity-type":"item","numeric-id":2754140,"id":"Q2754140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$0E6A96DA-C926-416E-9698-3CA0302D7614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c57f109ba15c6a048a9a998f89156bed64daa4f","datavalue":{"value":{"entity-type":"item","numeric-id":1872729,"id":"Q1872729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$CC616627-023C-4761-9A5E-4A6B6EB72860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6ea5da3ff957e06a77023261d0f8516a77cbfb","datavalue":{"value":{"entity-type":"item","numeric-id":5874198,"id":"Q5874198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$E6F04384-DDFB-41D6-9999-D07850F4F866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e0b7a9af438c6cf8e6befd1d4b9b6d1b6247934","datavalue":{"value":{"entity-type":"item","numeric-id":4638081,"id":"Q4638081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$F2BFE3F3-3663-4555-94ED-6FB21DD2E7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d2e5035e8c49172e2a82144878400bd13d858ef","datavalue":{"value":{"entity-type":"item","numeric-id":408544,"id":"Q408544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$9FC91771-1E73-46EE-8E0D-6322668F8BEA","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":"Q2104254$8CAFECA6-6847-45D7-81D4-FA69FE93B6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cdd87553e7c9371ab5b565692cd72d9b2cf067b","datavalue":{"value":{"entity-type":"item","numeric-id":2104254,"id":"Q2104254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$A16962DB-A592-41C5-82B6-529C1B21E3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1617fc4f747aad5b4667e2ada209c4dde9486112","datavalue":{"value":{"entity-type":"item","numeric-id":5079742,"id":"Q5079742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$55931A5F-0079-456D-B774-BCE86D61C477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7af8f08834ab198ba9f37ba14ced953c45bb1e3","datavalue":{"value":{"entity-type":"item","numeric-id":4036700,"id":"Q4036700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$BBE5D3B5-41AF-4F10-9226-808A27A1E6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090b5a9e66da2c4550b55359242df7f24f12bd5a","datavalue":{"value":{"entity-type":"item","numeric-id":638498,"id":"Q638498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$73B895AF-AA30-4318-BC06-68C679AB1290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad1714db201637d748b47ebbaf99f9008bc5160","datavalue":{"value":{"entity-type":"item","numeric-id":3472058,"id":"Q3472058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$C11F1292-653E-40ED-AC7B-7BBAD79709E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf9e66e2dc3912d71c8903b7a9bc55c1300c696","datavalue":{"value":{"entity-type":"item","numeric-id":1281503,"id":"Q1281503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$E72E531A-9286-4A89-82AE-0B357C0B2A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb231458d44dcd405c637cec0e63e0ccca186ec0","datavalue":{"value":{"entity-type":"item","numeric-id":5593647,"id":"Q5593647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$A6B02858-7138-40F0-A86B-91503509318E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1fe90047380afc1daf9baef7e2fcc977b0c01c","datavalue":{"value":{"entity-type":"item","numeric-id":4474836,"id":"Q4474836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$52F5C99A-9F25-40E5-9EFB-417D8EF446B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942c3ffeac8339c20eccc6667aba9b8af08cc5f","datavalue":{"value":{"entity-type":"item","numeric-id":3758729,"id":"Q3758729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$6DC3E005-8E25-492D-8CA2-0DD6F8EA1477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14e822d0f6871d5df9de9fd97a15be05d850e629","datavalue":{"value":{"entity-type":"item","numeric-id":1071001,"id":"Q1071001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104254$D506F2C5-CC4E-48C8-97EA-2F30FFBB5C6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b04dec8c26cc8f032b2bf04951e8110c71126f6","datavalue":{"value":{"entity-type":"item","numeric-id":5092485,"id":"Q5092485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61478c7c996b20ff3cecd4cac59bf81f4de41b9d","datavalue":{"value":{"amount":"+0.92227584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2104254$FFE52B00-04DF-4D29-9CE7-DCB60D2485B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3dcf1772c7a456faf18d1999db0201b36a5699f","datavalue":{"value":{"entity-type":"item","numeric-id":5874198,"id":"Q5874198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3cc740754431c48882dceb1eed6289e144b0ac","datavalue":{"value":{"amount":"+0.89996296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2104254$1383FD85-734D-4ECA-96D1-6608B9E7656D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790a13e529330f03f7a7f9443b8f8b2740756d59","datavalue":{"value":{"entity-type":"item","numeric-id":3690219,"id":"Q3690219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed789efdd37e9549a478ecb06363bacc9f63c0a7","datavalue":{"value":{"amount":"+0.8942762","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2104254$E15CA8FE-4B10-4320-918D-345DD01C1E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8cf845b92fca11d3ef94c086cc58b80d7242580","datavalue":{"value":{"entity-type":"item","numeric-id":2084964,"id":"Q2084964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c8b45a10d81f46268b99c50ad9073d18d2d2345","datavalue":{"value":{"amount":"+0.887273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2104254$2D5719A7-A6EC-4D11-B7C2-5B36B584669A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d780ece8df5153523c0cd7b137316b722f11889","datavalue":{"value":{"entity-type":"item","numeric-id":4318222,"id":"Q4318222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1270183d2268ae36d2da34c77ab57f17aedee0db","datavalue":{"value":{"amount":"+0.87874997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2104254$9B4539F8-D350-4EB7-A165-D2E096471FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a63c85571ec1de4afc57a1cb7c3b5eb9a062c47","datavalue":{"value":{"entity-type":"item","numeric-id":3335688,"id":"Q3335688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"453a20c4dac435a4b12296bc11118e2686b76fc9","datavalue":{"value":{"amount":"+0.8779869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2104254$BA21CAA5-BB7D-40E5-8530-899B63D45273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ec16d3363d51d6df70392926a7a449b67e8805","datavalue":{"value":{"entity-type":"item","numeric-id":5496195,"id":"Q5496195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d615678e498d38f549cb252252e0858815018c47","datavalue":{"value":{"amount":"+0.8774046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2104254$17B4F5F2-8547-4344-A350-A946E5D15259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0f4184bade362c6b5d56de519dd032dc436d0af","datavalue":{"value":{"entity-type":"item","numeric-id":896677,"id":"Q896677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d615678e498d38f549cb252252e0858815018c47","datavalue":{"value":{"amount":"+0.8774046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2104254$DE79CB5C-CE0B-45DE-BB0C-C756D651D236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c4591180b2d02b40e176873238da259d4069d29","datavalue":{"value":{"entity-type":"item","numeric-id":4842542,"id":"Q4842542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603b9284182e91fb051c270bf0c8bee7eb133863","datavalue":{"value":{"amount":"+0.8751469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2104254$CB913488-F032-4019-BB94-4D9634EEA8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4de5b0baeb57e2ce7b937581d2c565ecde3887","datavalue":{"value":{"entity-type":"item","numeric-id":4635868,"id":"Q4635868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23eb9292e9c655ae9f7daf3195b30a135d0c5c21","datavalue":{"value":{"amount":"+0.8738196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2104254$369C02F6-AB54-4415-9F5F-FF79D1F4CF12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104254","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104254"}}}}}