{"entities":{"Q6360479":{"pageid":13494755,"ns":120,"title":"Item:Q6360479","lastrevid":103072691,"modified":"2026-06-06T06:14:31Z","type":"item","id":"Q6360479","labels":{"en":{"language":"en","value":"Proof complexity of positive branching programs"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6360479$8416B2E5-ACEE-4BA8-A1F9-5B710B171DCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc16115bc20ec07c69d512e55acff91bd000c17b","datavalue":{"value":{"time":"+2021-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6360479$87CC1B16-9D26-4678-967E-DB299877F4CC","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"7354a1f2a72ec82ad72fe1d6c11a2d3b373c69c0","datavalue":{"value":"2102.06673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6360479$2538A1DC-B76E-4E3E-98C1-0107EDA5185B","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"beea17b17b8d1b5a9f9834b620089ca44509579a","datavalue":{"value":"cs.CC","type":"string"},"datatype":"string"},"type":"statement","id":"Q6360479$2D0D485F-C2CA-469C-8862-3280E05F6E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6360479$0399E1E5-7FE3-42B1-85A5-8415DE066362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6360479$ABC8B84F-97CC-4BF6-A6B6-00EE8870B8F6","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":"Q6360479$C945EBE5-85F8-48C7-8E07-40C55134A5B1","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":"Q6360479$24CBA4F5-7D12-4DE9-9180-3F6631FB18A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6360479$D972DBE3-92A1-44A0-885B-49DC5A6E6AAB","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":"Q6360479$66CF6433-E00F-48D6-860B-3620F3B6C45A","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":"Q6360479$ECE3C807-90CC-4C6C-A7E6-E4640D1DEE7F","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"e351cdc6583c2c24123fb42f2b5019e4cbd3d387","datavalue":{"value":{"entity-type":"item","numeric-id":2104254,"id":"Q2104254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6360479$6A7EADB9-0F3A-44A0-A859-3F36B2B9E748","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof complexity of positive branching programs (scientific article)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_complexity_of_positive_branching_programs_(scientific_article)"}}}}}