{"entities":{"Q7007748":{"pageid":21549450,"ns":120,"title":"Item:Q7007748","lastrevid":76523589,"modified":"2026-04-24T09:37:11Z","type":"item","id":"Q7007748","labels":{"en":{"language":"en","value":"Proof complexity of positive branching programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8016200"}},"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":"Q7007748$922381B4-8568-4D46-9B4A-662C9497D311","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"391b6895189b56016dc2c8dbcbdf18702e0245cf","datavalue":{"value":{"text":"Proof complexity of positive branching programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7007748$6401AEBB-2DBF-4A71-88FE-848762D580DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7be1bcd45d677e2ad4d1694a72e94a013dd7be5c","datavalue":{"value":"10.46298/LMCS-21(1:23)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007748$85AC6517-FE74-44AD-8C21-012C0AC31D8F","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":"Q7007748$6F8C9748-CAFA-410A-BE4B-9A39E1D99F25","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":"Q7007748$2F53116B-3C8E-43EB-999F-CAA6ABA5FDEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007748$AF656162-C1D6-4150-8F0D-E8212C52F613","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"557ec203c60ba3b58811bdaf67c6999b805da811","datavalue":{"value":{"time":"+2025-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7007748$0A0DAE05-5211-4D76-9BE9-37E8A7406F32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007748$C72C8B49-3AFE-4E29-8696-10ECFE248FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007748$8B8783E2-8471-42AA-B3FA-6BDAFAD99F5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cde9e426ffeb7ddf956f2529ed69a4e71a2b3408","datavalue":{"value":"8016200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007748$350B9626-DB77-4082-8F8E-9E5BBA0C6BB3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007748$120E9CB1-8106-4183-8803-494666C1F0FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007748$0664ACD7-6C70-44FF-84EC-F0783E56034C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86e2cb8623451eacf2b8c06165c1bd90beed6b1","datavalue":{"value":"monotone complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007748$F508DFE7-AC72-444E-AF08-D4AF86524454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec24897927a0742784fae89aed9a922bc2a81fec","datavalue":{"value":"branching programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007748$F10EADFF-3244-4BF7-B9C1-36825CC758A8","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":"Q7007748$14D1946F-14CE-45A6-8BFE-7B9F69831296","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof complexity of positive branching programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_complexity_of_positive_branching_programs"}}}}}