{"entities":{"Q7007748":{"pageid":21549450,"ns":120,"title":"Item:Q7007748","lastrevid":82702100,"modified":"2026-05-06T21:42:39Z","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"}],"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":"Q7007748$37FFB8F8-9F9B-4F42-A78E-D9CF75D48BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90ea88dd04cbe12ac74b1b9a1e33051fb26a7ce","datavalue":{"value":{"entity-type":"item","numeric-id":2765569,"id":"Q2765569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007748$CA624933-2376-4A5D-8E55-53863EDEB98D","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":"Q7007748$EEC7761A-103A-4AF5-83C7-FD2924C893EB","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":"Q7007748$083CE86F-77D7-45E7-8A02-87407DF05844","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":"Q7007748$D69F1822-9C17-4510-B4F9-26E96268A746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31cbeafb74eb2331031a6d2305fa02411af3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007748$4E01F665-6DB0-459A-AF12-DD3AE00EB117","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":"Q7007748$CE03703F-21F8-48DA-96D9-10D3770A7621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad8cc9b1ac9554ff4a70a106dee8357520e9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007748$C1FBFAB4-6716-4B9B-917A-E7C54B362879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007748$CE3840C8-F47C-483D-A7EE-58A903DB5993","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":"Q7007748$5DC94D49-9EDC-4445-A218-40A3F6A34718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0035448ff80ba4b02455e344299bd5112229aa96","datavalue":{"value":{"entity-type":"item","numeric-id":4635868,"id":"Q4635868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007748$F29FA082-AF13-4C57-A301-268608721A34","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":"Q7007748$40E047AA-2F1E-42A2-BB31-EB1644BDB57F","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":"Q7007748$614967B7-2164-4F03-96CF-6CB270E77E9F","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":"Q7007748$74CF2669-D365-4B4B-A294-B5D041DFC867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"415bf483704832dfb1db3c30f31c6afc6a0cd336","datavalue":{"value":{"entity-type":"item","numeric-id":1322486,"id":"Q1322486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007748$7BB98AF4-10C7-4773-91D0-042E81313CF7","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":"Q7007748$EC8D2847-3B46-4B13-A332-69302117848A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62aa631933778e6ef54f7853454e6ee73ef5f90","datavalue":{"value":{"entity-type":"item","numeric-id":2888631,"id":"Q2888631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007748$D79A8793-DEBE-4DDF-9E27-9134016E8A70","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":"Q7007748$32DE089C-4FA3-4D27-A357-0D767BD2094F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327b8b07bae5edb39d51392add68b3d240b76011","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007748$A6BC7B75-E213-4B6A-A3C7-55BFC426A212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704b67c0c7a5a44ff323d18e1363803acffd4565","datavalue":{"value":{"entity-type":"item","numeric-id":4071737,"id":"Q4071737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007748$8B1FDF3A-4933-46CC-B8D8-E377E2AEA311","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":"Q7007748$25E4681E-CBEF-4552-BE25-52C2BAD831F8","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":"Q7007748$E80AD9BE-8704-4F12-86A1-2A6FDB10F44F","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":"Q7007748$9228705E-51E6-4D86-B62D-AE3DAB711E2B","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":"Q7007748$8A07014B-CE35-4ABB-93B4-9B33628C15A4","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":"Q7007748$120BA72E-11E8-40B6-A043-E3CA2085AD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186efa9cbcaad91d0d4ad1f36de56ca7d39bfe2e","datavalue":{"value":{"entity-type":"item","numeric-id":1099620,"id":"Q1099620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007748$85525FE1-92B9-4124-BB95-55829A5F3899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007748$F859555B-CA22-428E-B43D-FF05370A6CCC","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"}}}}}